LOGIKA MATEMATIKA

A. Pernyataan, Kalimat Terbuka dan Ingkaran

1. Pernyataan adalah suatu kalimat yang mempunyai nilai benar saja atau salah saja, tetapi tidak
sekaligus benar dan salah.
Pernyataan dinotasikan dengan huruf p , q , r , s , …
2. Kalimat terbuka adalah kalimat yang masih memuat variable dan belum dapat ditentukan benar dan
salah.
3. Ingkaran adalah pernyataan baru dengan nilai kebenaran berlawanan dengan nilai pernyataan
semula. Dinotasikan dengan “ ~ “

B. Operasi Logika
1. Konjungsi
Konjungsi dari pernyataan p dan q ditulis “ p ∧ q “
Konjungsi bernilai benar jika p dan q keduanya bernilai benar, sedangkan yang lain bernilai salah
2. Disjungsi
Disjungsi dari pernyataan p dan q ditulis “ p ∨ q “
Konjungsi bernilai salah jika p dan q keduanya bernilai salah, sedangkan yang lain bernilai benar
3. Implikasi
Implikasi dari pernyataan p dan q ditulis “ p → q “
Implikasi bernilai salah jika p benar dan q salah, sedangkan yang lain bernilai benar
4. Biimplikasi
Biimplikasi dari pernyataan p dan q ditulis “ p ↔ q “
Biimplikasi bernilai benar jika kedua pernyataan mempunyai nilai kebenaran yang sama ( p dan q
keduanya benar atau p dan q keduanya salah ) sedangkan yang lain bernilai salah.

Tabel Kebenaran

p q Konjungsi Disjungsi Implikasi Biimplikasi

p∧q p∨q p→q p↔q
B B B B B B
B S S B S S
S B S B B S
S S S S B B

C. Pernyataan Majemuk yang Ekuivalen

1. p → q ≡ ~ p ∨ q
2. ~ (p → q) ≡ p ∧ ~ q
3. p ∧ ~ q ≡ ~ ( q ∨ ~ p)

Negasi Pernyataan Majemuk

( p ∧q )≡ p ∨ q
( p ∨q ) ≡ p ∧ q }
Hukum De Morgan

Matematika IPA / Totok Hariyamto / SMA Patra Dharma 1

D. Konvers, Invers dan Kontraposisi
Dari Implikasi p → q dapat dibentuk implikasi lain, yaitu :
q → p adalah konvers dari p → q
~ p → ~ q adalah Invers dari p → q
~ q → ~ p adalah kontraposisi dari p → q
Tabel Kebenaran

p q ~p ~q p→q q→p ~p→~q ~q→~p

B B S S B B B B
B S S B S B B S
S B B S B S S B
S S B B B B B B

sama
sama

E. Penarikan Kesimpulan
1. Modus Ponens
Premis 1 : p → q benar
Premis 2 : p benar
Konklusi : ∴ q benar

2. Modus Tollens
Premis 1 : p → q benar
Premis 2 : ~ q benar
Konklusi : ∴ ~ p benar

3. Silogisma
Premis 1 : p → q benar
Premis 2 : q → r benar
Konklusi : p → r benar

Matematika IPA / Totok Hariyamto / SMA Patra Dharma 2