TUGAS 3

1.Modus Ponens (MP)
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 (MT)
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)] (komp)
≡ (p→q)→[(q∧ ~r) ∨ r] ∨ ~p (aso)
≡ (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 (DS)
(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 Dilema (KD)
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)] (dis)
≡ [{(p∧ ~q) ∨ ~p}∧ {(p∧ ~q) ∨ ~r}] ∨ [{(r ∧~s)∨ s} ∨q] (aso)
≡ [{(p ∨~p) ∧ (~q∨ ~p)} ∧ {(p∨ ~r) ∧ (~q∨ ~r)}] ∨ [{(r∨ s) ∧ (~s∨ s)} ∨ q] (dis)
≡ [{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}] ∨ [( s)] (dis)
≡ [{(~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. Destruktif Dilema (DD)
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)] (dis)
≡ [{(p∧ ~q) ∨ q}∧ {(p∧ ~q) ∨ s}]∨ [(r∧ ~s) ∨ ~r}∨ ~p] (aso)
≡ [{(p∨ q)∧ (~q ∨q)} ∧ {(p ∨s) ∧ (~q ∨s)}] ∨ [{(r∧ ~r) ∧ (~s∨ ~r)} ∨ ~p] (dis)
≡ [{(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) (dis)
≡ [{(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)