Menarik kesimpulan

Graf berarah Krucing yang menampilkan ketiga aksioma pertama.

Pernyataan yang kita miliki hingga saat ini baru sejumlah tiga yaitu ketiga aksiomanya. Hanya tiga pernyataan ini yang kita ketahui benar (atau setidaknya diasumsikan benar). Tujuan kita adalah mencari kebenaran dari keenambelas pernyataan yang mungkin dibuat.

Tidak tentu semuanya bisa diketahui, tetapi setidaknya kita ingin mengetahui lebih dari yang tiga ini. Baiklah, sekarang waktunya kita akan menarik kesimpulan. Sudah siap?

Berikutnya: Teorema

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