Diketahui 5 buah rute sebagai berikut. Buktikan

• A dan B → E
• D → E
• B dan C → F
• B dan D → A
• E → G
• D dan G → C

Diketahui B dan D sebagai fakta. Tuliskan Langkah-langkah berdasar fakta tersebut untuk membuktikan bahwa C bernilai benar.

Langkah-langkah berdasarkan fakta untuk membuktikan bahwa C bernilai benar.

Langkah 1:

Diketahui B dan D adalah benar, maka E yang merupakan rute dari D juga bernilai benar.

Langkah 2:

Setelah E terbukti benar, maka dicari rute selanjutnya yang berhubungan dengan E. Karena G merupakan rute dari E, maka G juga bernilai benar.

Langkah 3:

Setelah G terbukti benar, maka dicari rute selanjutnya yang berhubungan dengan G. Karena C merupakan rute dari D dan G yang sudah terbukti benar, maka terbukti bahwa C adalah benar.

Referensi

• Pembuktian Fakta

Materi-materi yang Masih Berkaitan

• Pola Jaringan Semantik

Materi Induk

• Teknik Informatika
• Kecerdasan Buatan