LOGIKA MATEMATIKA
Logika matematika pada hakekatnya adalah suatu metode dalam komputasi menggunakan proposisi atau kalimat deklaratif. Kalimat deklaratif adalah kalimat yang bernilai “benar” atau “salah”. Contohnya, “Kucing adalah binatang berkaki empat” atau “Matahari terbit di sebelah barat”.
Operasi Pengkombinasian konjungsi (dan) p q dibaca p dan q disjungsi (atau) p q dibaca p atau q negasi (ingkaran) p dibaca bukan p Implikasi p q dibaca jika p maka q biimplikasi p q dibaca p jika dan hanya jika q
Untuk p q konvers dari p q adalah q p invers dari p q adalah p q kontraposisi dari p q adalah p q
Tautologi dan Kontradiksi Sebuah proposisi P(p,q,…) adalah sebuah tautologi jika P(po,qo,…) benar untuk sembarang pernyataan po,qo,… Sebaliknya, sebuah proposisi P(p,q,…) adalah sebuah kontradiksi jika P(po,qo,…) salah untuk sembarang pernyataan po,qo,…