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
(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)
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)
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