TUGAS 3 PDM

Pembuktian Aturan Penyimpulan:

1. Silogisme (Sil)
p→q
q→r
.˙. p→r

(p→q)Λ(q→r) →(p→r)
ek [~(p→q)v~(q→r)]v(p→r) (imp)
ek [~(~pvq)v~(~qvr)]v(~pvr) (imp)
ek [(pΛ~q)v(qΛ~r)]v(~pvr) (DM)
ek {[( pΛ~q)vq]Λ[(pΛ~q)v~r]} v(~pvr) (dist)
ek {[( pvq)Λ(~qvq)]Λ[(pv~r)Λ(~qv~r]} v(~pvr) (dist)
ek {[( pvq)ΛT]Λ[(pv~r)Λ(~qv~r]} v(~pvr) (komp)
ek [( pvq)Λ(pv~r)Λ(~qv~r)]v(~pvr) (id)
ek {[(pvq)v~p]Λ[(pv~r)v~p]Λ[(~qv~r)v~p]}vr (dist)
ek{[(pv~p)vq]Λ[(pv~p)v~r)]Λ[(~qv~r)]}v r (asso)
ek [( T vq)Λ(Tv~r)Λ[(~qv~r)]}v r (komp)
ek [(TΛTΛ(~qv~r)]vr (id)
ek (~qv~r)vr (id)
ek ~qv(~rvr) (asso)
ek ~qv T (komp)
ek T (id)

2. Distruktive Silogisma (DS)
pvq
~p
.˙. q
[(pvq)Λ~p]→q
ek (pΛ~p)v(qΛ~p)→q (dist)
ek Fv(qΛ~p)→q (komp)
ek (qΛ~p)→q (id)
ek ~(qΛ~p)vq (imp)
ek (~qvp)vq (DM)
ek (pv~q)vq (kom)
ek pv(~qvq) (asso)
ek pv(qv~q) (kom)
ek pvT (komp)
ek T (id)

3. Konstruktive Dilema (KD)
(p→q)Λ(r→s)
(pvr)
.˙.qvs
{[(p→q)Λ(r→s)]Λ(pvr)}→( qvs)
ek [(~pvq)Λ(~rvs)Λ(pvr)]→(qvs) (imp)
ek [(pΛ~q)v(rΛ~s)v(~pΛ~r)]v(qvs) (imp)
ek [( pΛ~q)v(rΛ~s)v(qvs)]v(~pΛ~r) (asso)
ek {[( pΛ~q)vq]v[(rΛ~s)vs]}v(~pΛ~r) (asso)
ek {[qv( pΛ~q)]v[sv(rΛ~s)]} v(~pΛ~r) (kom)
ek {[(qvp)Λ(qv~q]v[(svr)Λ(sv~s)]}v(~pΛ~r) (dist)
ek [(qvp)ΛT]v[(svr)ΛT]v(~pΛ~r) (komp)
ek [(qvp)v(svr)]v(~pΛ~r) (id)
ek (qvpvsvr)v(~pΛ~r) (asso)
ek (qvs)v(pvr) v(~pΛ~r) (asso)
ek (qvs)v[(pvr)v~(pvr)] (DM)
ek (qvs)vT (komp)
ek T (id)

4. Distruktif Delema (DD)
(p→q)Λ(r→s)
~qv~s
.˙.~pv~r
{[(p→q)Λ(r→s)]Λ(~qv~s)}→ (~pv~r)
ek [(~pvq)Λ(~rvs)Λ(~qv~s)}→ (~pv~r) (imp)
ek [(pΛ~q)v(rΛ~s)v(qΛs)]v(~pv~r) (imp)
ek [(pΛ~q)v(qΛs)]v[(rΛ~s)v(~pv~r)] (asso)
ek{[(pΛ~q)vq]Λ[(pΛ~q)vs]v[(rΛ~s)v(~pv~r)]} (asso)
ek {[(pvq)Λ(~qvq)]Λ[(pvs)Λ(~qvs)]v[(rΛ~s)v(~pv~r)]} (dist)
ek {[(pvq)Λ(~qvq)Λ(pvs)Λ(~qvs)]}v{[(rΛ~s)v~r]v~p} (asso)
ek {[(pvq)Λ(~qvq)Λ(pvs)Λ(~qvs)]}v{[(rv~r)Λ(~sv~r)]v~p} (ek
ek {[(pvq)Λ T Λ(pvs)Λ(~qvs)]}v{[ T Λ(~sv~r)]v~p} (komp)
ek [(pvq)Λ(pvs)Λ(~qvs)]v[(~sv~r)v~p] (id)
ek [(pvq)Λ(pvs)Λ(~qvs)v~p]v(~sv~r) (asso)
ek [(pvq)Λ(pvs)Λ(~qvs)v~p]v(~sv~r) (asso)
ek [(pvq v~p)Λ(pvs v~p)Λ(~qvs v~p)]v(~sv~r) (dist)
ek {[(pv~p)vq]Λ[(pv~p)vs]Λ(~qvs v~p)]v(~sv~r) (asso)
ek [( T vq)Λ( T vs)Λ(~qvs v~p)]v(~sv~r) (komp)
ek (TΛ T)Λ(~qvs v~p)v(~sv~r) (id)
ek (~qvs v~p)v(~sv~r) (id)
ek (sv~sv)v(~pv~qv~r) (asso)
ek T v (~pv~qv~r) (komp)
ek T (id)



Pelatihan 8
4.a 1. [(a∨c)∧~b]⇒[(d⇒c)⇒t]
2. ~a⇒b
3. ~b
.˙.(d⇒c)⇒f
4. a (2,3 MT)
5. a∨c (4 add)
6. a∨c∧~b (5,3 konj)
7. (d⇒c)⇒f (1,6 MP)

b 1. e⇒(f∧~g)
2. (f∨g)⇒h
3. e
.˙.h
4. f∧~g (1,3 MP)
5. f (4 simp)
6. f~g (5 add)
7. h (6 MP)

c 1. e⇒f
2. e⇒g
.˙.e⇒(f∧g)
3. ~e∨f (3 imp)
4. ~e∨g (4 imp)
5. (~e∨f)∧(~e∨g) (konj)
6. (~e∨f)∧g (Dist)
7. e⇒(f∧g)(Imp)

d.1. (~u ∨ v) ∧ (u ∨ v)
2. ~x ⇒ ~w
.˙.v ∨ x
3. w ⇒ x (2 trans)
4. ~u ∨ v (1 simp)
5. u ⇒ f) w (1 simp)
6. v ∨ ~u (4 kom)
7. ~v ⇒ ~u (6 impl)
8. ~u ⇒ ~w (5 impl)
9. ~v ⇒ w (7,8 HS)
10. ~v ⇒ x (9,3 HS)
11. v ∨ x (10 impl)

e. 1. e ⇒ f
2. g ⇒ f
.˙.(e ∨ g) ⇒ f
3. (e ⇒ f) ∧ (g ⇒ f)
4. (~e ∨ f) ∧ (~g ∨ f) (impl)
5. (~e ∧ ~g) ∨ f
6. ~(~e ∧ ~g) ⇒ f (impl)
7. (e ∨ g) ⇒ f

f. 1.(s⇒t)∧(u ⇒ v)
2. w ⇒(s ∨ u)
.˙. w ⇒(t ∨ v)
3. (s⇒t) (1 simp)
4. (s⇒t)∨ u (3 add)
5. (s ∨ u)⇒(t ∨ v) ( 4 dist )
6. w ⇒(t ∨ u) (2,5 MT)
7. (u ⇒ v) ( 1 simp )
8. (u ⇒ v) ∨ t ( 7 add)
9. (u ∨ v)⇒ v ∨ t ( 8 dist )
10. (t ∨ u)⇒(t ∨ v) ( 7 kom)
11. w ⇒(t ∨ v) (6,8 MT)

5. a 1.b ⇒ n
2.~b ⇒ s
.˙. n ∨ s
3.~n ⇒ ~b
4.~n ⇒ s
5.n ∨ s

b 1. (p ∧ n)⇒ h
2. (n ⇒h) ⇒s
3. p
.˙.s
4. p⇒(n⇒h) (1 eksp)
5. p⇒s (4,2 Sil)
6. s (5,3 MP)

c 1.(h ∨ u)⇒(a ∧ i)
2. a ⇒ k
3. ~k
.˙.~h
4. ~a (2,3 MT)
5. ~a ∨ ~i (4 add)
6. ~(a ∧ i) (5 DM)
7. ~(h ∨ u)
8. ~h ∧ ~u
9. ~h

d 1. b ∨ k
2.(b ∨ m)⇒(l ∧ m)
3. ~l
4. ~b⇒k (1 Imp)
5. ~(b ∧ m)∨(l ∧ h) (2 Imp)
6. ~(b ∧ m) (5 1d)
7. b ∨ m (6 DM)
8. ~b⇒m (7 Imp)
9. m⇒~b (8 Komp)
10. m⇒k (4,9 sil)
11. ~m ∨ k (10 Imp)
12. k (11 Imp)