Penarikan Kesimpulan Dalam Logika Matematika
Dalam kehidupan sehari-hari, terkadang kita memerlukan pengambilan keputusan atau kesimpulan tertentu akan berbagai hal. Penarikan kesimpulan dari beberapa pernyataan [premis] itu dapat dilakukan dengan prinsip logika matematika. Penarikan kesimpulan dari dua/beberapa premis dikatakan sah jika menghasilkan TAUTOLOGI [pertanyataan yang selalu bernilai BENAR untuk apapun premis