Page 33 - LOGIKA MATEMATIKA OKE

E-Modul Logika Matematika ntuk SMK Kelas XI

Selain itu negasi dari biimplikasi juga dapat
diperoleh dengan menghasilkan salah satu
pernyataannya, yaitu sebagai berikut.
~( ⟺ ) ) ≡ ⟺ ~

~( ⟺ ) ) ≡ ~ ⟺

Contoh Soal

Tentukan ingkaran dari kalimat majemuk
biimplikasi “9 merupakan bilangan kuadrat jika
2
dan hanya jika 3 = 9”.

Penyelesaian

Diketahui kalimat majemuk

⟺ : 9 merupakan bilangan kuadrat jika dan
2
hanya jika 3 = 9.
Ingkarannya adalah
⟺ ~ : 9 merupakan bilangan kuadrat jika
2
dan hanya jika 3 ≠ 9.

~ ⟺ : 9 bukan merupakan bilangan kuadrat

2
jika dan hanya jika 3 = 9.
( ∧ ~ ) ∨ ( ∧ ~ ): 9 merupakan bilangan
2
2
kuadrat dan 3 ≠ 9 atau 3 = 9 dan 9 bukan

merupakan bilangan kuadrat.

2022, Pendidikan Matematika, FKIP Universitas Peradaban
30