You are on page 1of 1

Actividad demostracin de argumentos

Demuestra lo que se pide en cada caso aplicando las reglas de


inferencia:
1. Demuestra: r
1.
2.
3.
4.

pvq
pr
q (MTP 1,3)
P
(SH 2,4)

2. Demuestra: r
1. pq
2. pr
3. q (MTT 1,3)

3. Demuestra: r
1. pq
2. pr (SIMP 1)

4. Demuestra: r
1. (pq) r
2. P(SIMP 1,3)
3. q (MTT 2)

5. Demuestra: s
1.
2.
3.
4.

pvq
qr
rs (MTP 1,4)
p (MTT 2,3)

6. Demuestra: r
1. (pq) r
2. pt (SIMP 1,3)
3. q
(SIMP 2)

7. Demuestra: r
1. p
2. (pvq) r (CONJ 1)