Post - 5 - 2200018188 - Farell Cahyaning Bagaskara PDF
Post - 5 - 2200018188 - Farell Cahyaning Bagaskara PDF
NIM : 2200018188
Kelas : D
a. A Λ (¬A → A)
b. (A Λ B) V (¬A Λ B) Ξ B
c. ¬ (¬A Λ (B V ¬ B))
d. ¬A → ¬ (A → ¬ B)
2. a. Hypotethetical syllogism
P : Saya kaya
Q : Saya populer
((P=>Q)^(P=>R)^P)=>R
b.Disjunctive syllogism
((P v Q)^~Q)=>Q