Sabtu, 28 Oktober 2017

Ekivalensi, Tautologi, Kontradiksi dan Kontingensi

MaMaS Materi Matematika SMA
Dua pernyataan majemuk p dan q dikatakan ekivalen jika memiliki nilai kebenaran yang sama, ditulis p ≡ q
Salah satu cara untuk membuktikan ekivalensi ini adalah 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 adalah 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 adalah suatu pernyataan majemuk yang selalu bernilai salah

Kontingensi adalah 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 komentar

Posting Komentar