Post Test Pertemuan 5

Nama : Farell Cahyaning Bagaskara

NIM : 2200018188

Kelas : D

1. 1. Proses Penyederhanaan dari pretes.

a. A Λ (¬A → A)

b. (A Λ B) V (¬A Λ B) Ξ B

c. ¬ (¬A Λ (B V ¬ B))

d. ¬A → ¬ (A → ¬ B)

2. a. Hypotethetical syllogism

Dengan contoh argument :

Jika saya kaya maka saya juga populer.

Jika saya populer maka relasi saya menjadi sangat luas.

Saya kaya

Jadi Relasi saya sangat luas

P : Saya kaya

Q : Saya populer

R : Relasi sangat luas

Contoh diatas memiliki pernyataan kondisional yang berkoresponden yaitu :

((P=>Q)^(P=>R)^P)=>R

b.Disjunctive syllogism

Tina ada di Surabaya atau Jakarta.

Tina tidak ada di Surabaya.

Jadi, Tina ada di Jakarta.

P : Tina ada di Surabaya

Q : Tina ada di Jakarta

Contoh diatas memiliki pernyataan kondisional yang berkoresponden yaitu :

((P v Q)^~Q)=>Q