1. LOGIKA MATEMATIKA
OLEH :
MIRANDA POERNAMASARI
1605045085
PENDIDIKAN MATEMATIKA KONSENTRASI PENDIDIKAN ILMU
KOMPUTER
JURUSAN MIPA
FAKULTAS KEGURUAN DAN ILMU PENDIDIKAN
UNIVERSITAS MULAWARMAN
2016
5. Logika
1) Diberikan nilai dari pernyataan p dan q sebagai berikut :
p q
B S
Tentukan nilai kebenaran dari disjungsi berikut p ∨ q = …
a. p ∨ q = S
b. p ∨ q = B
c. p ∧ q = S
d. ~p ∨ q = B
e. p ∧ q = B
Pembahasan : Jawabannya b. p ∨ q = B .
disjungsi ‘∨‘ ialah suatu
pernyataan majemuk yang hanya
bernilai salah jika kedua
pernyataan pembentukanya
bernilai salah.
2) Perhatikan data berikut ini :
I. √
II.
III. 45 – 12
IV. ∫
Tentukan yang manakah yang termasuk kalimat terbuka dari data diatas ini …
a. I
b. I , II, dan III
c. III, dan IV
d. III
e. Semua benar
Pembahasan : Jawabannya c. III, dan IV. Yang
termasuk kalimat terbuka ialah
semua kalimat yang memuat
variabel.
3) Konvers dari "Jika semua warga negara membayar pajak maka pembangunan berjalan
lancar" adalah....
a. Jika tidak semua warga negara membayar pajak maka pembangunan berjalan
lancar
b. Jika semua warga negara membayar pajak maka pembangunan tidak berjalan
lancar
c. Jika tidak semua warga negara membayar pajak maka pembangunan tidak mugkin
berjalan lancar
d. Jika pembangunan berjalan lancar maka semua warga negara membayar
pajak
e. Jika pembangunan tidak mungkin berjalan lancar maka tidak semua warga negara
membayar pajak
6. Pembahasan: Jawabannya d. Jika pembangunan
berjalan lancar maka semua
warga negara membayar pajak.
Konvers ialah perubahan dari
pernyataan ke pernyataan lain.
4) M = Semua bulu kucing halus
Maka ̃ = ….
a. ̃ = maka semua bulu kucing halus
b. ̃ = maka bulu kucing halus
c. ̃ = tidak semua bulu kucing halus
d. ̃ = bulu kucing semuanya halus
e. ̃ = tidak mungkin bulu kucing halus
Pembahasan : Jawabannya c. ̃ = tidak semua
bulu kucing halus. Ingkaran ‘ ̃ ’
merupakan pertentangan dari
pernyattan asli.
5) Lengkapi tabel kebenaran dibawah ini :
p q p ⇒ q
B B B
B S …
S B B
S S …
a. S
B
b. B
B
c. S
S
d. B
S
e. S
~
Pembahasan : Jawabannya a. S, B. ‘ ⇒ ’
menanyakan implikasi.
6) ‘Jika jalan Kenangan tidak banjir maka hujan turun tidak sangat lebat’.
Tentukan kovers dari pernyataan diatas …
a. Jika jalan Kenangan tidak banjir maka hujan turun sangat lebat
b. Jika jalan Kenangan banjir maka hujan turun tidak sangat lebat
c. Jika hujan turun tidak sangat lebat maka jalan Kenangan tidak banjir
d. Jika hujan turun tidak sangat lebat maka jalan Kenangan banjir
e. Jika hujan turun sangat lebat maka jalan Kenangan banjir
Pembahasan : Jawabannya e. Jika hujan turun
sangat lebat maka jalan
Kenangan banjir. Konvers ialah
7. perubahan dari pernyataan ke
pernyataan lain.
7) ‘Jika ibu memasak maka adik sarapan di rumah’
Tentukan invers dari pernyataan diatas …
a. Jika ibu tidak memasak maka adik tidak sarapan di rumah
b. Jika ibu tidak memasak maka adik sarapan di rumah
c. Jika ibu memasak maka adik tidak sarapan di rumah
d. Jika adik tidak sarapan di rumah maka ibu tidak memasak
e. Jika ibu tidak sarapan maka adik tidak memasak di rumah
Pembahasan : Jawabannya a. Jika ibu tidak
memasak maka adik tidak
sarapan di rumah. Invers ialah
lawan dari pernyataan
sesunguhnya.
8) Pernyataan majemuk yang selalu bernilai salah disebut …
a. Implikasi
b. Kontradiksi
c. Kalimat terbuka
d. Invers
e. Tautologi
Pembahasan : Jawabannya b. Kontradiksi.
Kontradiksi ialah Pernyataan
majemuk yang selalu bernilai
salah.
9) Tentukan rumusan yang kosong pada tabel kebenaran dibawah ini :
p q ̅ ( p ∨ q ) …
B B S B B
B S S B B
S B B B B
S S B S B
a. ( p ∨ q ) ∧ q
b. ( p ∧ q ) ∨ q
c. ( p ∨ q ) ∨ ̅
d. ( p ∧ q ) ∨ ̅
e. ( p ∧ q ) ∧ ̅
Pembahasan : Jawabannya c. ( p ∨ q ) ∨ ̅
Jawabannya merupakan rumusan
tautologi karena pada tabel
hasilnya menyatakan semua
pernyataan majemuk yang selalu
bernilai benar.
8. 10) Lengkapi tabel kebenaran dibawah ini :
p q ̅ ̅ …
B B S S B
B S S B S
S B B S S
S S B B B
a. ( p ∧ q ) = ( ̅ ∧ ̅ )
b. ( p ⇔ q ) = ( p ∧ q )
c. ( ̅ ⇔ q ) = ( p ⇔ q )
d. ( p ⇔ ̅) = ( p ∨ q )
e. ( p ⇔ q ) = ( ̅ ⇔ ̅ )
Pembahasan : Jawabannya e. ( p ⇔ q ) =
( ̅ ⇔ ̅ ). Merupakan penerapan
konsep biimplikasi yang berarti
pernyataan majemuk yang bernilai
benar apabila kedua pernyataannya
bernilai sama.