Nama : Cindy Rahayu

NIM : 1114091000079

Exercise Metode Formal

Tugas

1. Buat kalimat berdasarkan contoh dari 1.5 – 1.16

2. Kerjakan Exercises 1.7
a. 1.1 (1-2)
b. 1.2 (1)
Jawab

1. (1.5) p∧q, r |⎯ q∧r

p = Kakek pergi ke ladang
q = Nenek pergi ke pasar
r = Aku berangkat kuliah
 Kakek pergi ke kantor dan Nenek pergi ke pasar. Aku berangkat kuliah.
Therefore, Nenek pergi ke pasar dan Aku berangkat sekolah.
(1.6) (p∧q)∧r, s∧t |⎯ q∧s
p = Hari ini hari kamis
q = Aku berangkat ke kampus
r = Hari ini cerah
s = Hari ini wajib bawa bekal
t = Febri teman sekelasku
 Hari ini hari kamis dan aku berangkat ke kampus yang harinya cerah. Hari
ini wajib membawa bekal dan Febri teman sekelasku. Therefore, Aku
berangkat ke kampus dan membawa bekal
(1.7) p, ¬¬(q∧r) |⎯ ¬¬p∧r
p = Aku sakit demam
q = Aku pergi sekolah
r = Aku belajar
 Aku sakit demam. Aku tidak tidak pergi kesekolah serta belajar.
Therefore, Aku tidak tidak sakit demam dan belajar
(1.8) p→q |⎯ p∧r → q∧r
p = Aku haus
q = Aku minum
r = Adikku minum
 Jika Aku haus maka Aku minum. Therefore, Jika Aku haus dan Adikku
makan maka Aku minum dan Adikku minum.
(1.9) p∧q→r |⎯ p→(q→r)
p = Dia jodohku
q = Aku menikah
r = Kamu patah hati
 Jika dia jodohku dan aku menikah maka kamu patah hati. Therefore, Jika
dia jodohku maka apabila aku menikah maka kamu patah hati.
 (1.10) p→(q→r) |⎯ p∧q→r
p = Aku tersakiti
q = Aku pergi
r = Dia bahagia
 Jika aku tersakiti maka apabila aku pergi dia akan bahagia. Therefore, jika
aku tersakiti dan pergi maka dia bahagia
(1.11) p→q |⎯ ¬q→¬p
p = Hari ini mendung
q = Aku membawa payung
 Jika hari ini mendung maka Aku membawa payung. Therefore, Jika Aku
tidak membawa payung maka hari ini cerah.
(1.12) p→(q→r), p, ¬r |⎯ ¬q
p = Ada rapat
q = Aku lelah
r = Aku pulang
 Jika ada rapat maka jika Aku lelah maka Aku pulang. Therefore, Aku tidak
lelah.
(1.13) p→¬q, q |⎯ ¬p
p = Aku rindu
q = Aku lupa
 Jika Aku rindu maka Aku ingat. Therefore, jika Aku lupa maka Aku tidak
rindu.
(1.14) p → p |⎯ p→ p
p = Aku bosan
 Jika Aku bosan maka Aku bosan. Therefore, Aku bosan maka Aku bosan.
(1.15) (q → r) → ((¬q→¬p)→(p→r))
p = Mia kenyang
q = Mia mengantuk
r = Mia tidur
 Jika apabila Mia mengantuk maka Mia tidur maka apabila Mia tidak
mengantuk maka Mia lapar jika Mia kenyang maka Mia tidur.
(1.16) p→(q→p)
p = Hari ini libur
q = Aku tidak mandi
 Jika hari libur maka apabila aku tidak mandi karena hari libur.

1.1.

1a. p → 𝑞

1b. 𝑝 ⋁ 𝑞

1c. 𝑝 → (𝑞 ∨ 𝑟)

1d. 𝑝 → (𝑞 ∨ ¬𝑟)

1e. ¬𝑝 → (𝑞 ∧ 𝑟)
1f. 𝑝 → ¬𝑞

1g. . 𝑝 → (𝑞 ∨ ¬𝑟)

1h. (𝑝 ∨ 𝑞) ∧ ¬(𝑝 ∧ 𝑞)

1i. 𝑝 → (𝑞 ∨ 𝑟)

1j. ¬𝑝 ∧ ¬𝑞 ∧ ¬𝑟

1k. 𝑝 ∧ (𝑞 ∧ 𝑟)

1.2.

1a. (𝑝 ∧ 𝑞) ∧ 𝑟, 𝑠 ∧ 𝑡 ⊢ 𝑞 ∧ 𝑠

(𝑝 ∧ 𝑞) ∧ 𝑟 Premis

𝑠∧𝑡 premis

𝑝∧𝑞 ∧ 𝑒1 1

q ∧ 𝑒2 3

s ∧ 𝑒1 3

𝑞∧𝑠 ∧ 𝑖 4,5

1b. 𝑝∧𝑞 →𝑞∧𝑝

𝑝∧𝑞 Premis

P ∧ 𝑒1 1

q ∧ 𝑒2 1

𝑞∧𝑝 ∧ 𝑖 3,4

1c. (𝑝 ∧ 𝑞) ∧ 𝑟 ⊢ 𝑝 ∧ (𝑞 ∧ 𝑟)

(𝑝 ∧ 𝑞) ∧ 𝑟 Premis

𝑝∧𝑞 ∧ 𝑒1 1

r ∧ 𝑒2 1

p ∧ 𝑒1 2

q ∧ 𝑒2 2

𝑞∧𝑟 ∧ 𝑖 5,3
𝑝 ∧ (𝑞 ∧ 𝑟) ∧ 𝑖 4,6