Argumento Y Regla

Demostrar: (p ∧ q)

Premisas dadas

1) (a⊃ b)

2) (b ⊃ s)

3) [(a ⊃ s)] ⊃ [(p ∨ w) ∧ (~q ⊃ r)]

4) (~w ∧ ~r)

Colocar la regla aplicada Renglón de donde se obtiene la nueva premisa

5) [(p ∨ w) ∧ (~q ⊃ r)]

6) (p ∨ w)

7)~W

8)p

9) (~q ⊃ r)

10) ~r

11) q 12) (p ∧ q)

SIMP

SIMP

SIMP

MTP

SIMP

SIMP

MTT

CONJ 3

5

4

6,7

5

4

9,10

8,11

Demostrar: [(p ⊃ s) ∧ (s⊃ q)]

Premisas dadas

1) [(p ⊃r) ∧ (r ⊃ s)] ∧ [(s ⊃ w) ∧ (w ⊃q)]

Colocar la regla aplicada Renglón de donde se obtiene la nueva premisa

2) (p ⊃ r) ∧ (r ⊃ s)

3) (p ⊃ r)

4) (r ⊃s)

5) (p⊃s)

6) (s ⊃ w) ∧ (w ⊃ q)

7) (s ⊃ w)

8) (w ⊃ q

9) (s ⊃q)

10) [(p ⊃ s) ∧ ( s ⊃q)] SIMP

SIMP

SIMP

SH

SIMP

SIMP

SIMP

SH

CONJ 1

2

2

3,4

1

6

6

7,8

5,9

...