1. Di suatu pulau terdapat dua jenis penghuni, yakni: Penjujur dan Pembohong.

Penjujur adalah orang yang

senantiasa berkata jujur dan Pembohong adalah orang yang senantiasa berkata bohong. Pada musim dingin,
si Unyil berjalan-jalan di pulau tersebut dan bertemu dengan dua orang, A dan B. Si A berkata kepada si Unyil
bahwa B adalah pembohong. Selanjutnya si B berkata kepada si Unyil bahwa kami mempunyai tipe yang
berlainan.
Tentukan manakah yang Penjujur dan Pembohong? Berikan alasannya.
penyelesaian :
Andai A Penjujur dan B Pembohong
A penjujur maka pernyataan “B adalah pembohong” adalah benar
B pembohong maka pernyataan “Kami mempunyai tipe yang berlainan” adalah salah sehingga kontradiks i.

Andai A Pembohong dan B Penjujur

A pembohong maka pernyataan ““B adalah pembohong” adalah salah, maka B adalah penjujur.
B penjujur maka pernyataan “Kami mempunyai tipe yang berlainan” adalah benar.

maka A adalah Pembohong dan B adalah Penjujur

2. Determine whether each of the following statements is true or false, based on the truth or falsehood of the
component simple statements!
a. It is not the case that 5 is not an odd integer. (~(~𝐹) = 𝑩 )
b. The sum of two even integers is even and it is not the case that the product of two odd integers is odd.
(𝑇 ∧ 𝐹 = 𝑭 )
c. April is not the name of a month, and September is not the name of a month, and Wednesday is not the
name of a month.
(𝐹 ∧ 𝐹 ∧ 𝑇) = 𝑭 )
d. If either 2≠5 or 4+5=9, then 52 ≠25.
(T ∨ T) → F = F
e. If the moon is made for the green cheese, then the derivative of a linear function does not equal its slope.
F→ 𝐹 = F
3a. pernyataan [~𝑝 → (𝑞 ⋀ ~𝑞)] → 𝑝 termasuk tautologi

𝑝 𝑞 ~𝑝 ~𝑞 𝑞 ∧ ~𝑞 ~𝑝 ⇒ (𝑞 ∧ ~𝑞) [~𝑝 ⇒ (𝑞 ∧ ~𝑞)] ⇒ 𝑝

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

3b. pernyataan [𝑝 → (𝑞 ∨ 𝑟)] ↔ [(𝑝 ∧∼ 𝑞) → 𝑟] termasuk tautologi

𝑝 𝑞 𝑟 ~𝑞 (𝑞 ∨ 𝑟) 𝑝 → (𝑞 ∨ 𝑟) 𝑝 ∧∼ 𝑞 (𝑝 ∧∼ 𝑞) → 𝑟 [𝑝 → (𝑞 ∨ 𝑟)] ↔ [(𝑝 ∧∼ 𝑞) → 𝑟]
B B B S B B S B B
B B S S B B S B B
B S B B B B B B B
B S S B S S B S B
S B B S B B S B B
S B S S B B S B B
S S B B B B S B B
S S S B S B S B B
3c. pernyataan 𝑝 ∨ 𝑞 → 𝑟 ↔ 𝑝 → 𝑟 ∧ 𝑞 → 𝑟 termasuk kontingensi

𝑝 𝑞 𝑟 𝑝∨𝑞 (𝑝 ∨ 𝑞) → 𝑟 ((𝑝 ∨ 𝑞) → 𝑟) ↔ 𝑝 (((𝑝 ∨ 𝑞) → 𝑟) ↔ 𝑝) → 𝑟 ((((𝑝 ∨ 𝑞) → 𝑟) ↔ 𝑝) → 𝑟) ∧ 𝑞 (((((𝑝 ∨ 𝑞) → 𝑟) ↔ 𝑝) → 𝑟) ∧ 𝑞) → 𝑟

B B B B B B B B B
B B S B S S B B S
B S B B B B B S B
B S S B S S B S B
S B B B B S B B B
S B S B S B S s B
S S B S B S B S B
S S S S B S B S B

dari pernyataan 𝑝 ∨ 𝑞 → 𝑟 ↔ 𝑝 → 𝑟 ∧ 𝑞 → 𝑟 menjadi [(𝑝 ∨ 𝑞) → 𝑟] ↔ [(𝑝 → (𝑟 ∧ 𝑞)) → 𝑟] termasuk Kontingensi

𝑝 𝑞 𝑟 𝑝∨𝑞 (𝑝 ∨ 𝑞) → 𝑟 𝑟∧𝑞 𝑝 → (𝑟 ∧ 𝑞) (𝑝 → (𝑟 ∧ 𝑞)) → 𝑟 [(𝑝 ∨ 𝑞) → 𝑟] ↔ [(𝑝 → (𝑟 ∧ 𝑞)) → 𝑟]

B B B B B B B B B
B B S B S S S B S
B S B B B S S B B
B S S B S S S B S
S B B B B B B B B
S B S B S S B S B
S S B S B S B B B
S S S S B S B S S
4. Simbolkan pernyataan-pernyataan berikut lalu tunjukkan keabsahannya
a. Jika 5 + 7 = 12, maka 6 > 8. Jika 5 + 7 = 7 + 5, maka 5 + 7 = 12. Tetapi 5 + 7 = 7 + 5. Sehingga dapat
disimpulkan bahwa 6 > 8.
jawab :
p : 5+7 =12
q:6>8
r : 5+7=7+5
Jika 5 + 7 = 12, maka 6 > 8 adalah p→q (1)
Jika 5 + 7 = 7 + 5, maka 5 + 7 = 12adalah r→p (2)
Tetapi 5 + 7 = 7 + 5 adalah r (3)
Dari premis (2) dan (1)
𝑟→𝑝 … (2)
𝑝→𝑞 … (1)
𝑟→𝑞 (2, 1 Silogisme) ….(4)

Dari premis (4) dan (3)

𝑟→𝑞
𝑟
∴𝑞 (Modus Ponens)
Jadi kesimpulannya adalah 6 > 8.

b. Kami belajar atau bermain setiap hari. Tidak benar bahwa kita belajar dan bermain setiap hari. Jika kita belajar setiap
hari, hidup kita akan sukses. Hidup kami sukses dan kami belajar setiap hari. Karena itu, kami tidak bermain setiap
hari.
misal:

No Premis Keterangan
1 Kami belajar atau bermain setiap hari 𝑝∨𝑞 P1
2 Tidak benar bahwa kita belajar dan bermain setiap hari ~(𝑝 ∧ 𝑞) P2
3 Jika kita belajar setiap hari, hidup kita akan sukses 𝑝→𝑟 P3
4 Hidup kami sukses dan kami belajar setiap hari 𝑟∧𝑝 P4
5 Karena itu, kami tidak bermain setiap hari ~𝑞
6 ~𝑝 ∨ ~𝑞 2, Hukum DeMorgan
7 𝑝 → ~𝑞 6, Hukum Implikasi
8 p 4, Aturan Penyederhanaan
9 ~𝑞 7, 8 Hukum Modus Ponens
Jadi kami tidak bermain setiap hari
5. pernyataan-pernyataan yang setara dengan (𝑝 ∧ 𝑞) → ~𝑟

a. (𝑝 ∧ 𝑞) → ~𝑟 ≡ 𝑟 → ~(𝑝 ∧ 𝑞) (Hukum Transposisi/Kontraposisi)

≡ 𝑟 → (~𝑝 ∨ ~𝑞) (Hukum DeMorgan)

6. Carilah kesimpulan dari tiga premis berikut.

(1) 𝑝 → 𝑞 (2) 𝑞 → 𝑟 (3) ~𝑟
penyelesaian :

1. 𝑝 → 𝑞
2. 𝑞 → 𝑟
3. ~𝑟
4. 𝑝 → 𝑟 (1,2 silogisme)
5. ~𝑝 ( 4, 3 Modus Tollens)
kesimpulannya adalah ~𝑝
Tabel Kebenaran Operasi Logika Matematika
Pernyataan Negasi Pernyataan Disjungsi Konjungsi Implikasi Biimplikasi
p Q ~p ~q pvq p^q p→q p↔q
B B S S B B B B
B S S B B S S S
S B B S B S B S
S S B B S S B B
Definisi masing-masing nilai kebenaran operasi logika matematika:
 Jika p adalah pernyataan yang bernilai benar, maka ~p bernilai salah.
 Jika p adalah pernyataan yang bernilai salah, maka ~p bernilai benar.
 p v q benar, jika salah satu di antara p dan q benar atau p dan q dua-duanya benar.
 p v q salah, jika p dan q dua-duanya salah.
 p ^ q benar, jika p benar dan q benar.
 p ^ q salah, jika salah satu p atau q salah atau p salah dan q salah.
 p → q salah, jika p benar dan q salah.
 Dalam kemungkinan yang lainnya, p → q dinyatakan benar.
 p ↔ q benar, jika τ(p) = τ(q) (p dan q mempunyai nilai kebenaran yang sama.).
 p ↔ q salah, jika τ(p) ≠ τ(q) (p dan q mempunyai nilai kebenaran yang tidak sama.).
Tabel Kebenaran Implikasi, Konvers, Invers, dan Kontrapositif
Pernyataan Negasi Pernyataan Implikasi Konvers __Invers__ Kontrapositif
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
Dari tabel di atas, dapat dilihat bahwa nilai kebenaran implikasi sama dengan nilai kebenaran kontrapositifnya dan
nilai kebenaran konvers sama dengan nilai kebenaran invers. Jadi, implikasi ekuivalen dengan kontrapositifnya dan
konvers ekuivalen dengan invers. Secara notasi, dapat dituliskan sebagai berikut.
 (p → q) ≡ (~q → ~p)
 (q → p) ≡ (~p → ~q)