Contoh Tautologi, Kontradiksi, Kontingen dan Ekuivalensi Logis serta Tabel Kebenarannya

Assalamualaikum wr.wb
Pada kesempatan kali ini, saya akan memaparkan hasil yang sudah saya buat yaitu membuat contoh dari tautologi, kontradiksi, kontingensi dan ekuivalen logis serta tabel kebenarannya.

1. Contoh Tautologi dan Tabel Kebenarannya
   
    *(p ʌ ~q)  p

    Pembahasan:
   

Ini adalah tabel kebenaran yang menunjukkan Tautologi dengan alasan yaitu semua pernyataannya bersifat benar atau True (T). maka dengan perkataan lain pernyataan majemuk (p ʌ ~q)  p selalu benar.

2.  Contoh Kontradiksi dan Tabel Kebenarannya

     

     *P ʌ (~p ʌ q)

     

     Pembahasan:

Ini adalah tabel kebenaran yang menunjukkan kontradiksi dengan alasan yaitu semua pernyataan bernilai salah (F).

3.  Contoh Kontingensi dan Tabel Kebenarannya

     *(p v (q → r)) Ʌ (p v r)

     Pembahasan:

     

     

Ini adalah tabel kebenaran yang menunjukkan kontingensi dengan alasan yaitu semua pernyataan bernilai benar (True) dan salah (False).

4. Contoh Ekuivalen Logis dan Tabel Kebenarannya

   

  *(1). Indah sangat cantik dan peramah.

    (2). Indah peramah dan sangat cantik.

     Kedua pernyataan diatas, tanpa pikir panjang, akan dikatakan ekuivalen atau sama saja.      

     Dalam bentuk ekspresi logika dapat ditampilkan berikut ini :

A = Indah sangat cantik

B = Indah itu ramah

     Ekspresi logikanya adalah :           (1). A ^ B

                                                            (2). B ^ A

     Jika dikatakan kedua ekspresi logika tersebut ekuivalen secara logis, maka dapat ditulis:

     ( A ^ B ) ≡ ( B ^ A ).

     Ekuivalen logis dari kedua ekspresi logika dapat dibuktikan dengan Tabel Kebenaran:

     

 

   Sekian dari saya untuk tugas ini, kurang lebihnya saya mohon maaf.

   Wassalamualaikum wr.rb