Tautologi dan Kontradiksi, Aljabar Logika, Negasi Lingkaran

• Tautologi
Adalah proposisi komposit yang selalu bernilai benar untuk setiap nilai kebenaran dari proposisi.
Contoh: (pɅq)→p selalu bernilai benar.
• Kontradiksi
Adalah proposisi komposit yang selalu bernilai salah untuk setiap nilai kebenaran dari proposisi elementernya.
Contoh: pɅ(pVq) selalu bernilai salah.
• Negasi ingkaran
Adalah suatu pernyataan yang nilai kebenarannya berlawanan dengan nilai kebenaran dari pernyataan semula, Negasi dari P ditulis ~P atau P̅
Sifat Negasi : Jika P benar, maka ~P salah dan P salah, maka ~P benar.
• Logika aljabar
Pernyataan dan Pernyataan Gabungan
Prinsip dasar sebuah pernyataan gabungan adalah bahwa nilai kebenarannya sangat ditentukan oleh nilai kebenaran masing-masing pernyataannya dan bagaimana pernyataan tersebut dihubungkan.
Pernyataan

∞ Pernyataan akan dinyatakan dengan p, q, r
Prinsip dasar sebuah pernyataan adalah bahwa pernyataan hanya memiliki satu nilai, benar atau salah, tidak keduanya.
Benar atau salah sebuah pernyataan disebut nilai kebenaran.
Beberapa pernyataan merupakan gabungan dari dua pernyataan atau lebih dengan kata penghubung.

Pernyataan Gabungan – Contoh
Mobil sedan beroda empat dan mobil bis beroda enam” merupakan pernyataan gabungan dua buah pernyataan “Mobil sedan beroda empat” dan “mobil bis beroda enam”
Dia sangat pandai atau dia belajar setiap malam” merupakan pernyataan gabungan dua buah pernyataan “Dia sangat pandai” dan “dia belajar setiap malam” .
Hendak pergi kemana adik?” bukanlah sebuah pernyataan karena tidak memiliki nilai kebenaran.