Contesta los siguientes ejercicios.

Es muy importante escribir todo el desarrollo que llevaste a

cabo para llegar al resultado de cada uno.
I. Si A, B, y C son enunciados verdaderos y X, Y y Z son falsos, determine si el siguiente
ejercicio es verdadero o falso.
{[A (B C)] [(A B) C]} [(Y B) (C Z)]
BC

v = v

A B

v =v

Condicional:

Conjuncin:

Disyuncin:

p q

p q

v =

CZ

YB

v =v

f =f

= v

f = f

= v

v = v

f = v

[(A B) C]

[(Y B) (C Z)]

= f

{[A (B C)] [(A B) C]}

{[A (B C)] [(A B) C]} [(Y B) (C Z)]

v
El ejercicio es falso

[A (B C)]

= f

= v
= f

II. Construya una prueba formal de validez para el siguiente argumento, usando las
abreviaturas sugeridas.
Si Smith una vez derrot al fogonero en el billar, entonces Smith no es fogonero. Smith derrot una
vez al fogonero en el billar. Si el guardafrenos es Jones, entonces Jones no es el fogonero. El
guardafrenos es Jones. Si Smith no es el fogonero y Jones no es el fogonero, entonces Robinson es
el fogonero. Si el guardafrenos es Jones y Robinson es el fogonero, entonces Smith es el
maquinista. Por lo tanto, Smith es el maquinista (U: Smith derrot una vez al fogonero en el billar,
M: Smith es el fogonero, G: el guardafrenos es Jones, N: Jones es el fogonero, R: Robinson es el
fogonero, S: Smith es el maquinista).
Si Smith una vez derrot al fogonero en el billar, entonces Smith no es fogonero.
Smith derrot una vez al fogonero en el billar.
Si el guardafrenos es Jones, entonces Jones no es el fogonero.
El guardafrenos es Jones.
Si Smith no es el fogonero y Jones no es el fogonero, entonces Robinson es el fogonero.
Si el guardafrenos es Jones y Robinson es el fogonero, entonces Smith es el maquinista.
Por lo tanto, Smith es el maquinista

1. U ~M
2. U
3. G ~N
4. G
5. (~M ~N) R
6. (G R) S S
7. ~M
8. ~N
9. ~M ~N
10. R
11. G R
12. S

MP (1,2)
MP (3,4)
Conj (7,8)
MP (5,9)
Conj (4,10)
MP (6, 11)

III. Construya una prueba formal de validez para el siguiente argumento usando la notacin
que se sugiere.
Todo el que pide, recibe. Simn no recibi. Por lo tanto, Simn no pidi. (Px, Rx, s)

1. (x) (PxRx)
2. ~Rs
~Ps
3. PsRs
4. ~Rs ~Ps
5. ~Ps

IU (1)
Trans (3)
MP (2, 4)

IV. Pruebe la invalidez del siguiente argumento, usando la notacin que se sugiere.

Solo los estudiantes son miembros del club. Slo los miembros del club son bienvenidos. Por lo
tanto, todos los estudiantes son bienvenidos. (Ex, Mx, Bx)

1. (x) (Ex Mx)

2. (x) (Mx Bx)
(x) (Ex Bx)
3. Ea Ma
4. Ma Ba
Ea Ba
Conclusion Ea Ba
p q
v
v = v
v
f = f
f
v = v
f
f = v
Ea = verdadero
Ba = falso
Primera premisa Ea Ma
p q
v
v = v
v
f = f
f
v = v
f
f = v
Ea= verdadero
Ma = verdadero
Segunda premisa Ma Ba
p q
v
v = v
v
f = f
f
v = v
f
f = v
Ma =verdadero
Ba = verdadero
NO se puede hacer de esta manera
Otro mtodo: Aplicar un segundo termino, primero eleg a, ahora elijo b.

Ea Ma
Ea Ba
Ma Ba

Eb Mb
Eb Bb
Mb Bb

Sabemos que la unin de las conclusiones debe ser falsa y estn expresando una
conjuncin, por lo tanto una debe ser verdadera y la otra falsa
Conclusin
Ma Ba
V

Mb Bb
F

p q
v
v = v
v
f = f
f
v = v
f
f = v

p q
v
v = v
v
f = f
f
v = v
f
f = v

Ma = verdadero
Ba = verdadero

Mb =verdadero
Bb = falso

Proseguimos con las premisas

Primera premisa
Ea Ma

Eb Mb
V

p q
v
v = v
v
f = f
f
v = v
f
f = v

p q
v
v = v
v
f = f
f
v = v
f
f = v

Ma = verdadero
Ea = verdadero/ falso

Mb = verdadero
Eb = falso

Segunda premisa
Ea Ba

Eb Bb
V

p q
v
v = v
v
f = f
f
v = v
f
f = v

p q
v
v = v
v
f = f
f
v = v
f
f = v

Ba = verdadero
Bb = falso
Ea = verdadero/falso
Eb = falso
El argumento es invlido por:

Ma = verdadero, Ba = verdadero, Ea = verdadero/ falso (no importa si es verdadero o

falso, las premisas se cumplen hacindose verdaderas)
Mb =verdadero, Bb = falso, Eb = falso