Membahas Tautologi dan Kontradiksi, Aljabar Logika, dan Negasi Ingkaran

1. Tautologi adalah pernyataan majemuk yang selalu bernilai benar untuk semua kemungkinan nilai  kebenaran komponen-komponennya.
2. Kontradiksi adalah pernyataan mejemuk yang selalu bernilai salah untuk semua kemungkinan nilai kebenaran komponen-komponenya.

Contoh :
Buktikan dengan tabel kebenaran (p ~ q) => ~ (p =>q)
Penyelesaiannya :









Logika Aljabar

• Pernyataan / Proposisi
  Pernyataan adalah suatu kalimat yang mempunyai nilai kebenaran (benar atau salah), tetapi tidak keduanya.
  
  Prinsip dasar sebuah pernyataan gabungan adalah bahwa nilai kebenarannya sangat ditentukan oleh nilai kebenaran masing-masing pernyataannya dan bagaimana pernyataan tersebut digabungkan.
  Pernyataan
  Pernyataan akan di nyatakan 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.
  Ingkaran atau Negasi dari suatu pernyataan adalah pernyataan yang mengingkari pernyataan semula.

         Ingkaran dari pernyataan p dikonotasikan ~ p dibaca "bukan p" atau "tidak p"
         Tabel kebenarannya sebagai berikut :        

p	~ p
B	S
S	B