Martnez 1

Juan Manuel Martnez Brambila

Prof. Andrs Hernndez Villarreal
Lgica Clsica
20 Enero 2016
Copi 8.4
I.

En las pginas siguientes, el lector encontrar un grupo de argumento (Grupo A,

de la a a la o) y un grupo de formas argumentales (Grupo B, de la 1 a la 24). Para cada

uno de los argumentos, indique de cul forma argumental en el grupo B es una instancia
de sustitucin, si es que lo es de alguna de ellas. Adicionalmente, para cada argumento
del grupo A indique cul de las formas argumentales del grupo B es su forma especfica.
Grupo A, argumentos.
1. 3
2. 6
3. 4
4. 9
5. 10
6. 16
7. 8
8. 11
9. 12
10. 23
11.
12.
13.
14. 21
15. 24
II.
Use las tablas de verdad para probar la validez o invalidez de cada una de las
formas argumentales del grupo B, de arriba.
1. Vlido
p

~p

~q

~q ~p

Martnez 2

2. Vlido
p

~p

~q

pq

~p ~q

3. Vlido
p

p*q

F
4. Vlido

pvq

Martnez 3
5.

Invlido

p q

V
6. Vlido

p q

p*q

p (p *
q)

7. Vlido
p

pvq

p*q

(p v q)
(p *
q)

pq

qp

(p q) * (q
p)

8. Invlido
p

~p

~q

pq

Martnez 4
9. Vlido
p

~p

~q

pq

10. Vlido
p

p*q

F
11. Vlido

qr

p (q r) p q

pr

12. Invlido
p

pq

pr

rp

Martnez 5
V

13. Vlido
p

qr

p (q r) p q

pr

14. Vlido
p

~p

q*r

p (q *
r)

qvr

(q v r)
~p

Martnez 6
F

15. Invlido
p

qr

p (q
r)

pr

q (p
r)

pvq

(p v q)
r

16. Vlido
p

pq

rs

(p q)
* (r
s)

pvr

qvs

Martnez 7
F

17. Vlido
p

~p

~q

~s

p
q

r
s

(p
~q v
q) * (r ~s
s)

~p v
~s

18. Invlido

Martnez 8
p

qr

p (q
r)

rs

q (r
s)

ps

19. Vlido
p

qr

p (q
r)

(q r)
s

ps

Martnez 9
V

20. Vlido
p

p
q

p*q

(p *
q)
r

(p q) * r s p
[(p * q)
(r
r]
s)

ps

Martnez 10
F

21. Vlido
p

pvq

p*q

(p v q) (p ~(p v q)
* q)

~(p * q)

22. Vlido
p

pvq

p*q

(p v q) (p
* q)

23. Vlido
p

p*q

r*s

(p * q)
(r *
s)

(p * q) * (p * q) [(p
(r * s)
* q) * (r *
s)]

Martnez 11
V

24. Invlido
p

p*q

r*s

(p q) *
(r s)

pq

Martnez 12
F

III.
Use las tablas de verdad para determinar la validez o invalidez de cada uno de los
argumentos.
1. Vlido
a

avb

a*b

(a v b) (a *
b)

2. Vlido
c

cvd

c*d

(c v d)
(c * d)

c*d

cvd

3. Invlido
e

ef

fe

evf

Martnez 13
4. Vlido
g

gvh

g*h

(g v h)
(g * h)

~(g * h)

~(g v h)

5. Vlido
i

ivj

i*j

(i v j) (i
* j)

~(i v j)

~(i * j)

6. Invlido
k

~l

7. Vlido
m

~n

n * ~n

m v (n * ~n)

~(n * ~n)

8. Vlido

Martnez 14
o

ovp

(o v p)
q

o*p

q
(o *
p)

(o v p)
(o * p)

9. Vlido
t
rvs

(r v s)
t

r*s

t (r *
s)

(r * s)
(r v s)

10. Invlido
U

VvW

U (V
v W)

V*W

~U

(V * W)
~U

Martnez 15
F

IV. Use tablas de verdad para determinar la validez o invalidez de cada uno de los
siguientes argumentos.
1. Vlido
a

b*c

a (b *
c)

~b

~a

2. Invlido
d

de

(d e)
f

df

3. Invlido

Martnez 16
g

gh

gi

hi

4. Vlido
j

cvl

j (c v l) ~c

jl

5. Invlido
m

no

m (n ~n
o)

om

Martnez 17
F

6. Vlido
i

id

dp

~i

p ~i

~i

7. Invlido
t

tl

~t

~t i

lvi

8. Invlido
r

au

r (a

~a

~u

~r

~u v ~r

Martnez 18
v u)
V

9. Invlido
c

ivr

c (i
v r)

i*r

(i * r)
n

cn

Martnez 19
F

10. Vlido
c

i*r

c (i
* r)

ivr

(i v r)
n

cn