Menerapkan aturan pada teorema

Aturan inferensia boleh diterapkan bukan hanya pada aksioma, melainkan juga pada teorema. Semua pernyataan yang bisa diturunkan dari aksioma adalah termasuk pernyataan dalam sistem ini, jadi boleh dipakai juga oleh aturan inferensia.

Diagram penarikan kesimpulan

Pembuktian di atas juga dapat dituliskan dari aksioma, tetapi akan sangat tidak praktis.

Diagram penarikan kesimpulan

Panjang sekali, bukan? Usahakan untuk membuktikan berdasarkan teorema yang sudah diperoleh, jadi tidak perlu memulai dari titik awal.

Setelah kita dapatkan kesimpulan, grafnya akan menjadi lebih lengkap lagi.

Graf berarah dengan tambahan T8.
AmburegulBahrelwayEmeseyuTitanigo
AmburegulT1A1T7
BahrelwayT6T2A2A3
EmeseyuT8T5T3
TitanigoT4

Nah! Sejauh ini, daftar aksioma dan teorema yang kita miliki adalah:

A1

ng(Amburegul, Bahrelway)

A2

ng(Bahrelway, Emeseyu)

A3

¬ ng(Bahrelway, Titanigo)

T1

ng(Amburegul, Amburegul)

T2

ng(Bahrelway, Bahrelway)

T3

ng(Emeseyu, Emeseyu)

T4

ng(Titanigo, Titanigo)

T5

ng(Emeseyu, Bahrelway)

T6

ng(Bahrelway, Amburegul)

T7

ng(Amburegul, Emeseyu)

T8

ng(Emeseyu, Amburegul)

Baiklah, sampai di sini, kamu sebaiknya berlatih mengerjakan dengan tanganmu sendiri beberapa kasus di bawah ini.

Berikutnya: Latihan

Ditulis oleh
Pak Ari
Ditulis pada
Terakhir diupdate
Dipublikasikan
Frase kunci
logika sistem deduktif relasi biner