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.

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

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.

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

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

Berikutnya: Latihan