2) (s ˅ q)

3) (r ˅ p)

4.-  ~ s SIMP 1
5.-  ~ r SIMP 1
6.-  q MTP 2, 4
7.-  p MTP 3, 5
8.-  q  ∧  p  CONJ 6,7



Demostrar q  ∧    ~ r

1.- (p ⊃ q)
2.-  r ⊃ s
3.- p ∧  ~s

4.-  p  SIMP, 3
5.-  q  MPP 1, 4
6.-  ~s  SIMP 3
7.-  ~ r MTT  2,6
8.-    q  ∧  ~ r  CONJ 5, 7




 


5.-   
6
7.- 
8.-



A) Demostrar q

1.- (p ⊃ q)
2.- r
3.- ~ r
4.- p
5.- q

6.-  q  MPP 1, 4

B) Demostrar  "p∧q" 
1.- p

2.- q
3.- 
C ) Demuestra: r

1.    p ∧  q

2.    p ⊃ r

3.- 
4.-