Page 8 - BAB 3 - KALKULUS PROPOSISI

p  q = Saya lahir di Jakarta atau di Bandung (tapi tidak kedunya!)

Tabel Kebenaran:
p q p  q

B B S
B S B

S B B
S S S

Perhatikan bahwa pq berarti p benar, atau q benar tapi tidak dua-duanya benar!
Contoh lain :

p : Saya akan melihat pertandingan bola di TV.
q : Saya akan melihat pertandingan bola di lapangan.

p  q : Saya akan melihat pertandingan bola di TV atau lapangan.
Hanya salah satu dari 2 kalimat penyusunnya yang boleh bernilai benar yaitu jika “Saya
akan melihat pertandingan sepak bola di TV saja atau di lapangan saja tetapi tidak

keduanya.

4. IMPLIKASI

Misalkan ada 2 pernyataan p dan q, untuk menunjukkan atau membuktikan bahwa jika p
bernilai benar akan menjadikan q bernilai benar juga, diletakkan kata “JIKA” sebelum

pernyataan pertama lalu diletakkan kata “MAKA” sebelum pernyataan kedua sehingga
didapatkan suatu pernyataan majemuk yang disebut dengan “IMPLIKASI/PERNYATAAN
BERSYARAT/KONDISIONAL/ HYPOTHETICAL dengan notasi “→”.

Notasi p→q dapat dibaca :
• Jika p, maka q

• Jika p, q
• p mengakibatkan q (p implies q)
• q jika p

• p hanya jika q
• p syarat cukup untuk q (sufficient condition) )
• q syarat perlu untuk p (necessary condition))

Contoh:
p = Bunga mawar berwarna merah.

q = Manusia memiliki rambut.
p  q = Jika Bunga mawar berwarna merah maka manusia memili rambut.

2013 8 Logika Matematika Pusat Bahan Ajar dan eLearning
Tim Dosen http://www.mercubuana.ac.id