Page 12 - Modul logika Matematika kelas X_Neat

Tabel kebenaran

p q p⇒q

BB B

BS S

SB B

SS B

4. Biimplikasi
Kata hubung “jika dan hanya jika”, simbol “⇔”.
Contoh :
p = Ayah mendapat gaji

q = Ayah bekerja
p ⇔ q = Ayah mendapat gaji jika dan hanya jika Ayah bekerja.

Tabel kebenaran

P Q p⇔q

BB B

BS S

SB S

SS B

5. Pernyataan majemuk yang ekuivalen
Dua pernyataan dikatakan ekuivalen apabila kedua pernyataan tersebut

mempunyai nilai kebenaran yang sama. Dua pernyataan p dan q yang ekuivalen
dinitasikan dengan p = q. untuk menunjukkan bahwa dua pernyataan ekuivalen
atau
ekuivalensi dari dua pernyataan, kita dapat menggunakan tabel kebenaran.

6. Negasi dari pernyataan majemuk
Negasi dari suatu pernyataan majemuk dapat dibentuk dari negasi

pernyataan-pernyataan tunggal dengan menggunakan ekuivalensi, yaitu apabila
negasi pernyataan-pernyataan majemuk itu mempunyai nilai kebenaran yang
sama dengan pernyataan majemuk negasi dari komponen-komponennya. Dalam
hal ini, terdapat ekuivalensi sebagai berikut.

12