TUGAS 3 PDM

1. Modus Ponen
p ⇒ q
p / ∴ q
[(p ⇒ q) ∧ p] ⇒ q
≡ [(¬p ∨ q) ∧ p] ⇒ q (imp)
≡ [(¬p ∧ p) ∨ (q ∧ p)] ⇒ q (dist)
≡ [F ∨ (q ∧ p)] ⇒ q (komp)
≡ (q ∧ p) ⇒ q (id)
≡ (¬q ∨ ¬p) ∨ q (imp)
≡ (¬q ∨ q) ∨ ¬p (aso)
≡ T ∨ ¬p (komp)
≡ T (id)

2. Modus Tollens
p ⇒ q
¬q / ∴ ¬p
[(p ⇒ q) ∧ ¬q] ⇒ ¬p
≡ [(¬p ∨ q) ∧ ¬q] ⇒ ¬p (imp)
≡ [(¬p ∧ ¬q) ∨ (q ∧ ¬q)] ⇒ ¬p (dist)
≡ [(¬p ∧ ¬q) ∨ F] ⇒ ¬p (komp)
≡ (¬p ∧ ¬q) ⇒ ¬p (id)
≡ (p ∨ q) ∨ ¬p (imp)
≡ (p ∨ ¬p) ∨ q (aso)
≡ T ∨ q (komp)
≡ T (id)

3. Silogisme
p ⇒ q
q ⇒ r / ∴ p ⇒ r
[(p ⇒ q) ∧ (q ⇒ r)] ⇒ (p ⇒ r)
≡ (p ⇒ q) ⇒ [(q ⇒ r) ⇒ (p ⇒ r)] (eksp)
≡ (p ⇒ q) ⇒ [(¬q ∨ r) ⇒ (¬p ∨ r)] (imp)
≡ (p ⇒ q) ⇒ [(q ∧ ¬r) ∨ (¬p ∨ r)] (imp)
≡ (p ⇒ q) ⇒ [(q ∧ ¬r) ∨ (r ∨ ¬p)] (kom)
≡ (p⇒ q) ⇒ [(q ∧ ¬r) ∨ r] ∨ ¬p (as0)
≡ (p ⇒ q) ⇒ [(q ∨ r) ∧ (¬r ∨ r)] ∨ ¬p (dist)
≡ (p ⇒ q) ⇒ [(q ∨ r) ∧ T] ∨ ¬p (komp)
≡ (p ⇒ q) ⇒ (q ∨ r) ∨ ¬p (id)
≡ (¬p ∨ q) ⇒ q ∨ r ∨ ¬p (imp)
≡ ¬(¬p ∨ q) ∨ (q ∨ r ∨ ¬p) (imp)
≡ ¬(¬p ∨ q) ∨ (¬p ∨ q) ∨ r (aso)
≡T ∨ r (komp)
≡ T (id)

4. Distruktif Silogisme
(p ∨ q)
¬p /∴ q
[(p ∨ q) ∧ ¬p] ⇒ q
≡ [(p ∧ ¬p) ∨ (q ∧ ¬p)] ⇒ q (dist)
≡ [F ∨ (q ∧ ¬p)] ⇒ q (komp)
≡ (q ∧ ¬p) ⇒ q (id)
≡ (¬q ∨ p) ∨ q (imp)
≡ (¬q ∨ q) ∨ p (aso)
≡ T ∨ p (komp)
≡ T (id)

5. Konstruktif Delema
(p ⇒ q) ∧ (r ⇒ s)
(p ∨ r) / ∴ (q ∨ s)
{[(p ⇒ q) ∧ (r ⇒ s)] ∧ (p ∨ r)} ⇒ (q ∨ s)
≡ [(¬p ∨ q) ∧ (¬r ∨ s) ∧ (p ∨ r)] ⇒ (q ∨ s) (imp)
≡ [(p ∧ ¬q) ∨ (r¬s) ∨ (¬p ∧ ¬r)] ∨ (q ∨ s) (imp)
≡ [(p ∧ ¬q) ∨ (¬p ∧ ¬r) ∨ (r ∧ ¬s)] ∨ (q ∨ s) (aso)
≡ [(p ∧ ¬q) ∨ (¬p ∧ ¬r)] ∨ [(r ∧ ¬s) ∨ (q ∨ s)] (aso)
≡ [{(p ∧ ¬q) ∨ ¬p} ∧ {(p ∧ ¬q) ∨ ¬r}] ∨ [(r ∧ ¬s) ∨ (q ∨ s)] (dist)
≡ [{(p ∧ ¬q) ∨ ¬p} ∧ {(p ∧ ¬q) ∨ ¬r}] ∨ [{(r ∧ ¬s) ∨ s} ∨ q] (aso)
≡ [{(p ∨ ¬p) ∧ (¬q ∨ ¬p)} ∧ {(p ∨ ¬r) ∧ (¬q ∨ ¬r)}] ∨ [{(r ∨ s) ∧ (¬s ∨ s)} ∨ q] (dist)
≡ [{T ∧ (¬q ∨ ¬p)} ∧ {(p ∨ ¬r) ∧ (¬q ∨ ¬r)}] ∨ [{(r ∨ s) ∧ T} ∨ q] (komp)
≡ [(¬q ∨ ¬p) ∧ {(p ∨ ¬r) ∧ (¬q ∨ ¬r)}] ∨ [(r ∨ s) ∨ q] (id)
≡ [(¬q ∨ ¬p) ∧ {(p ∨ ¬r) ∧ (¬q ∨ ¬r)} ∨ q] ∨ (r ∨ s) (aso)
≡ [ {(¬q ∨ ¬p) ∨ q} ∧ {(p ∨ ¬r) ∨ q} ∧ {(¬q ∨ ¬r) ∨ q}] ∨ (r ∨ s) (dist)
≡ [{(¬q ∨ q) ∨ ¬p} ∧ (p ∨ q ∨ ¬r) ∧ {(¬q ∨ q) ∨ ¬r}] ∨ (r ∨ s) (aso)
≡ [(T ∨ ¬p) ∧ (p ∨ q ∨ ¬r) ∧ (T ∨ ¬r)] ∨ (r ∨ s) (komp)
≡ [T ∧ (p ∨ q ∨ ¬r) ∧ T] ∨ (r ∨ s) (id)
≡ (p ∨ q ∨ ¬r) ∨ (r ∨ s) (id)
≡ (r ∨ ¬r) ∨ (p ∨ q ∨ s) (aso)
≡ T ∨ (p ∨ q ∨ s) (komp)
≡ T (id)

6. Distruktif Delema
(p ⇒ q) ∧ (r ⇒ s)
(¬q ∨ ¬s) / ∴ (¬p ∨ ¬r)
{[(p ⇒ q) ∧ (r ⇒ s)] ∧ (¬q ∨ ¬s)} ⇒ (¬p ∨ ¬r)
≡ [(¬p ∨ q) ∧ (¬r ∨ s) ∧ (¬q ∨ ¬s)] ⇒ (¬p ∨ ¬r) (imp)
≡ [(p ∧ ¬q) ∨ (r ∧ ¬s)] ∨ (q ∧ s) ∨ (¬p ∨ ¬r) (imp)
≡ [(p ∧ ¬q) ∨ (q ∧ s) ∨ (r ∧ ¬s) ∨ (¬p ∨ ¬r)] (aso)
≡ [(p ∧ ¬q) ∨ (q ∧ s)] ∨ [(r ∧ ¬s) ∨ (¬p ∨ ¬r)] (aso)
≡ [{(p ∧ ¬q) ∨ q} ∧ {(p ∧ ¬q) ∨ s}] ∨ [(r ∧ ¬s) ∨ (¬p ∨ ¬r)] (dist)
≡ [{(p ∧ ¬q) ∨ q} ∧ {(p ∧ ¬q) ∨ s}] ∨ [{(r ∧ ¬s) ∨ ¬r} ∨ ¬p] (aso)
≡ [{(p ∨ q) ∧ (¬q ∨ q)} ∧ {(p ∨ s) ∧ (¬q ∨ s)}] ∨ [{(r ∨ ¬r) ∧ (¬s ∨ ¬r)} ∨ ¬p] (dist)
≡ [{(p ∨ q) ∧ T} ∧ {(p ∨ s) ∧ (¬q ∨ s)}] ∨ [{T ∧ (¬s ∨ ¬r)} ∨ ¬p] (komp)
≡ [(p ∨ q) ∧ (p ∨ s) ∧ (¬q ∨ s)][(¬s ∨ ¬r) ∨ ¬p] (id)
≡ [(p ∨ q) ∧ (p ∨ s) ∧ (¬q ∨ s) ∨ ¬p] ∨ (¬s ∨¬r) (aso)
≡ [{(p ∨ q) ∨ ¬p} ∧ {(p ∨ s) ∨ ¬p} ∧ {(q ∨ s) ∨ ¬p}] ∨(¬s ∨ ¬r) (dist)
≡ [{(p ∨ ¬p) ∨ q} ∧ {(p ∨ ¬p) ∨ s} ∧ (q ∨ s ∨ ¬p)] ∨(¬s ∨¬r) (aso)
≡ [(T ∨ q) ∧ (T ∨ s) ∧ (q ∨ s ∨ ¬p)] ∨(¬s ∨ ¬r) (komp)
≡ [T ∧ T ∧ (q ∨ s ∨ ¬p)] ∨ (¬s ∨ ¬r) (id)
≡ (q ∨ s ∨ ¬p) ∨ (¬s ∨ ¬r) (id)
≡ (s ∨ ¬s) ∨ (¬p ∨ q ∨ ¬r) (aso)
≡ T ∨ (p ∨ ¬q ∨ ¬r) (komp)
≡ T (id)