Advertising 468 x 60

(MTK) Ekivalensi, Tautologi, Kontradiksi dan Kontingensi

Dua pernyataan majemuk p dan q dikatakan ekivalen jika memiliki nilai kebenaran yang sama, ditulis p ≡ q
Salah satu cara untuk membuktikan ekivalensi ini ialah dengan menggunakan tabel.
Sebelumnya akan diingatkan kembali nilai kebenaran untuk empat pernyataan majemuk yakni konjungsi, disjungsi, implikasi dan biimplikasi.


Untuk lebih jelasnya tentang ekivalensi, ikutilah contoh soal berikut ini :
01. Dengan menggunakan tabel, buktikanlah setiap ekivalensi berikut ini :
(a) –(p→q) ≡ p Ʌ –q
(b) p ↔ q ≡ (p →q) Ʌ (q →p)
Jawab
(a) –(p → q) ≡ p Ʌ –q
Karena kolom ke 5 dan ke-6 dari tabel diatas mempunyai isi yang sama maka kalimat majemuk tersebut terbukti sebuah ekivalensi.

(b) p ↔ q ≡ (p →q) Ʌ (q →p)
Karena kolom ke 5 dan ke-6 dari tabel diatas mempunyai isi yang sama maka kalimat majemuk tersebut terbukti sebuah ekivalensi

02. Dengan menggunakan tabel, buktikanlah setiap ekivalensi berikut ini :
(a) p Ʌ (q V r) ≡ (p Ʌ q) V (p Ʌ r) 
(b) p →(q v r) ≡ (p →q) v (p → r)

Jawab
(a) p Ʌ (q V r) ≡ (p Ʌ q) V (p Ʌ r)
Karena kolom ke 7 dan ke-8 dari tabel diatas mempunyai isi yang sama maka kalimat majemuk tersebut terbukti sebuah ekivalensi

(b) p →(q v r) ≡ (p →q) v (p → r)
Karena kolom ke 7 dan ke-8 dari tabel diatas mempunyai isi yang sama maka kalimat majemuk tersebut terbukti sebuah ekivalensi


Tautologi ialah suatu pernyataan majemuk yang selalu bernilai benar
Jika pada tautologi tersebut memuat implikasi, maka tautologi tersebut dinamakan Implikasi logis. Sedangkan Jika pada tautologi tersebut memuat biimplikasi, maka tautologi tersebut dinamakan Bimplikasi logis.

Kontradiksi ialah suatu pernyataan majemuk yang selalu bernilai salah

Kontingensi ialah suatu pernyataan majemuk yang nilai kebenarannya memuat benar dan salah.

Untuk lebih jelasnya tentang tautologi, kontradiksi dan kontingensi, ikutilah contoh soal berikut ini :

04. Dengan menggunakan tabel, selidikilah apakah pernyataan majemuk berikut ini tautologi, kontradiksi atau kontingensi
(a) (p → –q) ↔ (q → –p)
(b) [p V (q → r)] Ʌ [p V r]
(c) (p → q) ↔ (p Ʌ –q)

Jawab
(a) (p → –q) ↔ (q → –p)
Karena kolom terakhir berisi nilai benar semua, maka kalimat majemuk tersebut terbukti sebuah tautologi

(b) [p V (q → r)] Ʌ [p V r]
Karena kolom terakhir berisi nilai benar dan nilai salah, maka kalimat majemuk tersebut terbukti sebuah kontingensi

(c) (p → q) ↔ (p Ʌ –q)
Karena kolom terakhir berisi nilai salah semua, maka kalimat majemuk tersebut terbukti sebuah kontradiksi



0 Response to "(MTK) Ekivalensi, Tautologi, Kontradiksi dan Kontingensi"

Posting Komentar

Iklan Atas Artikel

Iklan Tengah Artikel 1

Iklan Tengah Artikel 2

Iklan Bawah Artikel