Gua 8

1) Use el mtodo de reduccin al absurdo de asignacin de valores de

verdad para decidir la validez o la invalidez de las formas de argumentos
de los ejercicios de las Pgs. 40 a 43

Ejercicio 1
a) A
AB
Premisas y
Conclusin
A

Valor

AB

b) CD
C
Premisas y
Conclusin
CD

Valor

Como A es Verdadero el nico valor que puede tomar B es

Falso; para hacer falsa la conclusin.
INVALIDA

La conjuncin es verdadero cuando ambos enunciados son

verdaderos, como C es falso; no se puede demostrar su invalidez,
entonces se puede decir que es:
VALIDA

c) E (FG)
~(FG) ~E
Premisas y
Conclusin
E (FG)

Valor

~(FG) ~E

d) H
I
HI
Premisas y
Conclusin
H

Valor
V

HI

e) J (KL)
J (KL)

~E debe ser falso entonces E es verdadero; (FG) debe ser

verdadero, ~(FG) debe ser verdadero; lo cual no es posible.
VALIDA

HI no puede ser falso siendo H verdadero e I verdadero

VALIDA

KL
Premisas y
Conclusin
J (KL)

Valor
V
V

J (KL)

KL
f) M(NO)
O~M
O~N
Premisas y
Conclusin
M(NO)

Para la primera premisa J debe ser falsa ya que KL es

falsa. En la segunda premisa es imposible tener un valor
verdadero.
VALIDA

Valor
V

O~M

O~N

g) (P Q)(R S)
P Q
Premisas y
Conclusin
(P Q)(R S)
PQ
h) T U
(T U) (VT)
Premisas y
Conclusin
TU
(T U) (VT)

i) W X
X (W X)

~N debe ser falso entonces N es verdadero, O es

verdadero, ~M es verdadero por lo que M es Falso, si evaluamos
la primera premisa con N=V, O=V y M=F tendremos un valor
Verdadero, no encontramos contradiccin.
INVALIDA

Valor
V
F

Valor
V
F

(P Q) es falso, en la tabla de la conjuncin

encontramos un valor verdadero solo cuando ambos
enunciados son verdaderos deduciendo as una
contradiccin en la premisa 1.
VALIDA

Al ser verdadero T U, hace verdadera la

conclusin porque en la disyuncin solo es falsa cuando
ambas son falsas de lo contrario es verdadera,
encontramos un contradiccin
VALIDA

Premisas y
Conclusin
WX
X (W X)
j) Y (Z ~Y)
Y
~ (Z ~Y)
Premisas y
Conclusin
Y (Z ~Y)

Valor
V
F

Valor
V

~ (Z ~Y)

k) (A B)(C D)
AC
B D
Premisas y
Conclusin
(A B)(C D)
AC
BD
~F ~G
~E ~H
Premisas y
Conclusin
(E F)(G H)

En la primera premisa X toma el valor verdadero,

en la conclusin el termino (W X) debe ser falso y para
que sea falso X debe ser falsa, X no puede ser verdadera y
falsa a la vez. VALIDA

Valor
V
V
F

Al ser falso ~ (Z ~Y) , (Z ~Y) es verdadero

como Y es verdadero , la primera premisa es verdadera,
no hay contradiccin
INVALIDA

B y D son falsas porque la disyuncin es falsa

cuando ambos enunciados son falsos, Puesto que (A
B) y (C D) deben ser ambas verdaderas, para que
esto se cumpla A y C deben ser falsas, encontrando una
contradiccin en la premisa 2.
VALIDA
l) (E F)(G H)

Para que ~E ~H sea falso, hay una nica forma:

que E y H sea verdaderas.
V
La conjuncin es verdadera solo cuando ambos
enunciados son verdaderos
por lo tanto (E F) y (G H)
V
~F ~G
son verdaderos, para que se cumpla esto F debe ser
F
~E ~H
verdadero, si analizamos la premisa 2, ~G tomara el valor
verdadero al ser ~F falso as vemos que G debe ser falso.
Solo nos falta verificar que G H sea verdadero y notamos que s lo es.
INVALIDA

m) I J

Valor

( I J) (I J)
Premisas y
Conclusin
IJ
( I J) (I J)
n) K (L M)
KL
K M
Premisas y
Conclusin
K (L M)
KL

Valor
V
F

Valor
V
V

KM

o) N (N O)
N N
N O
Premisas y
Conclusin
N (N O)

Valor
V

N N

NO

I J es Falso , en la primera premisa nos

encontramos con una contradiccin.
VALIDA

M es Falso y K debe ser verdadero, en la

primera premisa al ser K verdadero L M debe ser
tambin verdadero y como M es falso L tendra que ser
tambin Falso, al evaluar la premisa 2 encontramos
una contradiccin.
VALIDA

N tendra que ser verdadero y O falso, como N

O es falso y N verdadero hay una contradiccin en la
premisa uno.
VALIDA

Ejercicio 2
1.

p q

p
Premisa y
Conclusi
n

Valor

p q

Para que p.q sea verdadero, ambos tienen

que ser verdaderos, p no puede ser falso.
Por lo tanto la expresin es VALIDA.

2.

p
pq

Premisa y
Conclusi
n

Valor

p q

3.

p q

q tiene que ser falsa para hacer falsa la

conclusin. No se puede demostrar
incongruencia, el argumento es INVLIDO

p
Premisa y
Conclusi
n

Valor

p q

4.

Siendo p falsa, q tiene que ser

verdadera para hacer la conclusin
falsa. No hay incongruencia, el
argumento es INVLIDO

p
pq

Premisa y
Conclusi
n

Valor

p q

5.

Para que pvq sea falso, q puede tomar valores

verdaderos o falsos sin existir alguna incongruencia. El
argumento es INVLIDO.

p
pq

Premisa y
Conclusi
n

Valor

p q

6.

Siendo p verdadero, q puede tomar el valor de falso

para hacer falsa la conclusin. INVALIDO

q p
Premisa y
Conclusi
n

Valor

q p

Siendo p verdadero q puede tomar el valor cualquier

valor. INVALIDO

p q

7.

q p
Premisa y
Conclusi
n

p q

q p

Valor

p q

Para que

sea verdadero p y q pueden tomar los

valores de verdadero y verdadero, al negarlos queda

falso y falso lo cual en un una condicin da como
resultado verdadero, no falso como la conclusin.

p q

8.

p q
Premisa y
Conclusi
n

p q

Valor

Para que

sea verdadero, p y q pueden tomar

ambos el valor de vardad, al negarlos ambos quedan

p q

p q

falso por lo tanto

p q

no puede ser falso.

p (q r )

9.

(q r ) p
Premisa y
Conclusin

p (q r )
(q r ) p
10.

Valor

SI

p (q r )

es verdadero p y (q.r) pueden

tomar los valores de verdad y al negarlos

ambos son falso, quedando una condicin
con dos falsas como conclusin la cual da
como resultado verdad. VALIDO.

p q
Si p es verdadero, q puede ser verdadero o falso y
negado q puede ser falso o verdadero. INVALIDO

p
q
Premisa y Conclusin

11.

Valor

p q

p
q

pq
Premisa y
Conclusi
n

Valor

p q

12.

p.q no puede ser falsa siendo p y q verdaderas.

VALIDO

p q
q p

pq
Premisa y
Conclusi
n

Valor

p q

q p

p q

13.

p q

q p

deben ser verdaderas, por lo tanto p y

q pueden tomar el valor de verdad o falso. INVALIDO

p q
p q

Para que ambas premisas sean verdaderas q debe ser

verdadero. VALIDO

Premisa y
Conclusi
n

Valor

p q

p q

14.

p ( q r )
p q
pr

Premisa y Conclusin

p ( q r )

Valo
r
V

p q

p r

15.

Si a p, q, r, se les asigna valores de verdad, las dos

premisas son verdaderas ms sin embargo la
conclusin es verdadera no falsa. VALIDO

( p q ) ( p r )
p
q r

Premisa y
Conclusin

Valor

( p q ) ( p r )

P es verdadero, para que la premisa 1 sea

verdadera ocupa que q y r sean verdaderos. Por lo
tanto qvr no puede ser falso. VALIDO

qr

16.

p (q r )
p q
p r

Premisa y

Valor

Las variables p,q,r pueden tomar cualquier valor, no

existe contradiccin. INVALIDO

Conclusi
n

p ( q r )

p q

p r

17.

( p q ) ( r s )
p r
qs

Premisa y Conclusin

Valor

( p q ) ( r s )

p r

qs

Para que la conjuncin sea verdadero, los dos

condicionales incluida en el deben ser
verdaderos, esto se logra se todas las
variables son verdaderas, de esta manera la
premisa 2 tambin seria verdadera asi mismo
la conclusin pero esto no es cierto. VALIDA

18. ( p q ) ( r s )

q s

p r
Premisa y
Conclusin

Valor
V

( p q ) ( r s )
q s
p r

La conjuncin debe ser verdadera, esto significa

que las condicionales dentro de la conjuncin
deben ser verdaderos esto se logra si todas las
variables son falsas. Al negarlas se hacen

q s

verdaderas y hacen que

verdadera, de igual manera la conclusin

sea

19. ( p q ) ( p q )

p q

pq
Premisa y
Conclusin

( p q ) ( p q )
p q

Valor
V

Para que p.q sea verdadera ambas variables

tienen que ser verdaderas. De esta forma pvq es
verdadero lo cual es una incongruencia. VALIDO

p q

p ( q p )

20.

p
(q p)
Premisa y
Conclusi
n

Valor

P es verdadera asi que

es falso. Sabiendo esto

para que la premisa 1 sea verdadera q puede tomar los

valores de verdadero o falso. Por lo tanto no se puede

p ( q p ) V
p

V
F

(q p )

21. ( p q ) ( p q )

( p q)
( p q)
Premisa y
Conclusin

( p q ) ( p q )

Valor
V

( p q)

(pq)

Para que

( p q ) sea verdadero, p v q tiene que ser falso,

la nica forma de que suceda es si p y q son falsos. De esta

forma p.q seria falsa y al negarla seria verdadera lo cual es una
contradiccin. VALIDA

Ejercicio 3
1. Si Alicia es elegida presidenta del grupo, entonces o Betty es elegida vicepresidenta o
Carolina es elegida tesorera. Bety es elegida vicepresidenta. Por lo tanto, si Alicia es
elegida presidenta del grupo, entonces Carolina no es elegida tesorera.

p (q r )
q

Al ser q verdadero;

p r

Premisas y
Conclusin

Valor

( q r ) tiene que ser

verdadero y para eso r puede tomar valor de

verdad o falso, por lo que p puede tomar
tambin ambos valores y no se puede
demostrar una invalidez.
INVALIDA

p ( q r )

p r

2. Si Alicia es elegida presidenta del grupo, entonces o Betty no es elegida vicepresidenta o

Carolina es elegida tesorera. Carolina no es elegida tesorera. Por lo tanto, si Bety no es
elegida vicepresidenta, entonces Alicia no es elegida presidenta del grupo.

p ( q r )
r
q p

Premisas y
Conclusin

p ( q r )
r
q p

Valo
r
V
V
F

Debe ser verdadero, r es falso. Con esta

condicin para que la premisa 1 sea verdadera

p y q pueden tomar el valor de verdadero o
falso.
INVALIDO

3. Si Alicia es elegida presidenta del grupo, entonces Betty es elegida vicepresidenta y

Carolina es elegida tesorera. Bety no es elegida vicepresidenta. Por lo tanto, Alicia no es
elegida presidenta del grupo.

p (q r )
q
p

p (q r )

Premisas y
Conclusin

p ( q r )
q

Valo
r
V

es verdadero y q es falso, la expresin

q.r debe ser falso por lo tanto p tiene que ser

falso para poder hacer la premisa 1 verdadera. Si
p es falso entonces

es verdadero.

V
F

4. Si Alicia es elegida presidenta del grupo, entonces Betty es elegida vicepresidenta y

Carolina es elegida tesorera. Bety no es elegida vicepresidenta. Por lo tanto, Alicia es
elegida presidenta del grupo o Carolina es elegida tesorera.

p ( q r )
q es falso. Para que la premisa 1 sea
verdadera r tiene que ser falso y p puede
tomar los dos valores por lo tanto no se puede
demostrar una invalidez.
INVALIDA

q
p r
Premisas y
Conclusin

p ( q r )
q

p r

Valo
r
V
V
F

5. Si el catlogo de semillas es correcto, entonces si las semillas se siembran en abril,

entonces las flores se abren en julio. Las flores no se abren en julio. Por lo tanto, si las
semillas se siembran en abril, entonces el catlogo de semillas no es correcto.

p ( q r )
r

q p

Premisas y
Conclusin

p ( q r )
r

Valo
r
V
V

Caso parecido al anterior, el valor de r

es falso pero p puede tomar ambos
valores y no se puede demostrar alguna
incongruencia.
INVALIDO

q p

6. Si el catlogo de semillas es correcto, entonces si las semillas se siembran en abril,

entonces las flores se abren en julio. Las flores se abren en julio. Por lo tanto, si el
catlogo de semillas es correcto, entonces las semillas se siembran en abril.

p ( q r )
r
pq

Premisas y
Conclusin

p ( q r )

Valo
r
V

r es verdadero, sabiendo esto para que la

premisa 1 sea verdadera la expresin

(q r )

tiene que ser verdadera y p puede tomar

cualquier valor as que no se puede
determinar alguna incongruencia.

q p

7. Si el catlogo de semillas es correcto, entonces si las semillas se siembran en abril,

entonces las flores abren en julio. Las semillas se siembran en abril. Luego, si las flores
no se abren en julio, entonces el catlogo de semillas no es correcto.

p ( q r )
q
r p
Premisas y
Conclusin

Valo
r
V

p ( q r )
q

r p

q es verdadero. Para que

verdadera, la expresin

p ( q r )

sea

( q r ) puede

tomar el valor falso, esto hara que r sea

falso y el valor de p sea falso. Al negar p
y q quedan ambas con el valor de

8. Si el catlogo de semillas es correcto, entonces si las semillas se siembran en abril,

entonces las plantas florecen en julio. Las plantas no florecen en julio. Luego, si las
semillas no se siembran en abril, entonces el catlogo de semillas no es correcto.

p ( q r )
r
q p
Premisas y
Conclusin

p ( q r )
r
q p

Valo
r
V

q debe ser falso y p verdadero al suponer que la

INVALIDA

conclusin es falsa, r se supone falso y al ser

qr

verdadero r es como se supuso falso.

9. Si Eduardo gana el primer premio, entonces o Federico gana el segundo o Jorge queda
decepcionado. O Eduardo gana el primer premio o Jorge queda decepcionado. Luego,
Federico no gana el segundo premio.

p (q r )
p r

 q
q es verdadero, podemos decir que p es verdadero por lo

p ( q r )

Valo
r
V

p r

INVALIDA

Premisas y
Conclusin

que

( q r ) debe ser verdadero tambin, luego r es falso,

no encontramos contradiccin.

10. Si Eduardo gana el primer premio, entonces o Federico gana el segundo o Jorge queda
decepcionado. Federico no gana el segundo premio. Por tanto, si Jorge queda
decepcionado, entonces Federico no gana el primer premio.

p ( q r )
q

r q

Premisas y
Conclusin

p ( q r )
q
r q

Valo
r
V
V
F

r es verdadero y q falso, la forma de contradecir la

premisa 1 es que

( q r ) sea falso y p verdadero

pero con los calores de q y r ,

( q r ) nunca podr

serlo, as p puede ser verdadero o falso en ambos

casos la premisa nunca se contradecir.
INVALIDA

11. Si Eduardo gana el primer premio, entonces Federico gana el segundo premio, y si
Federico gana el segundo premio, entonces Jorge queda decepcionado. O Federico no
gana el primer premio o Jorge queda decepcionado. Por tanto, Eduardo no gana el
primer premio.

( p q ) ( q r )
qr
p
Premisas y
Conclusin

( p q ) ( q r )

Valo
r
V

qr

V
F

P es verdadero,

( p q ) y ( q r ) ambos deben ser

verdaderos para que la premisa 1 sea verdadera.

Descubriendo que q toma el valor de verdadero y r el
valor de verdadero tambin, al evaluar la premisa 2
vemos que no hay contradiccin.
INVALIDA

12. Si Eduardo gana el primer premio, entonces Federico gana el segundo premio, y si
Federico gana el segundo premio, entonces Jorge queda decepcionado. O Eduardo gana
el primer premio o Federico no gana el segundo premio. Por lo tanto, o Federico no gana
el segundo premio o Jorge no queda decepcionado.

( p q ) ( q r )
p q

q r

Premisas y
Conclusin

( p q ) ( q r )

Valo
r
V

p q

q r

Tanto q como r son verdaderos,

( p q ) y ( q r ) ambos

deben ser verdaderos para que la premisa 1 sea verdadera,

en la premisa dos vemos que p es verdadero, si evaluamos
la premisa 1 no hay contradiccin.
INVALIDA

13. Si el tiempo est agradable y el cielo claro, entonces

vamos a nadar y a pasear en bote. No es el caso que
si el cielo est despejado entonces vamos a nadar. Por tanto, el tiempo no est agradable.

( p q ) ( r s )
(q r )
p
Premisas y
Conclusin

( p q ) ( r s )
(q r )
p

Valo
r
V

P es verdadero, en la premisa 2 r toma el valor de falso y q

el de verdadero, independientemente del valor de s al ser r
falso la premisa 1 ser siempre falsa, por lo tanto hay una
contradiccin.
VALIDA

V
F

14. Si hace una temperatura agradable, y el cielo est

despejado, entonces o vamos a nadar o a pasear en
bote. No es verdad que si el cielo est despejado, entonces vamos a nadar. Por lo tanto, si
no vamos a pasear en bote, entonces no hace una temperatura agradable.

( p q ) ( r s)

( q r )
s p

Premisas y
Conclusin

( p q ) ( r s)

( q r )
s p

Valo
r
V

S y P deberan ser falso y verdadero respectivamente, en la

premisa 2 q es verdadero y r falso, en la premisa 1 hay una
contradiccin
VALIDA

V
F

15. Si el tiempo est agradable y el cielo est despejado,

entonces o vamos a nadar o vamos a dar un paseo en
bote. No es el caso que si no vamos a nadar entonces el cielo no est despejado. Por lo
tanto, o el tiempo est agradable o vamos a pasear en bote.

( p q ) ( r s )
( r q)
ps

Premisas y
Conclusin

( p q ) ( r s )
( r q)
p s

Valo
r
V
V

P y S deben ser ambos falsos, r es falso y q es verdadero en

la premisa 2, al ser el antecedente de la premisa 1 falso, esta
premisa siempre ser verdadera independientemente del
consecuente.
INVALIDA

2) Use el mtodo de reduccin al absurdo de asignar valores de verdad para

establecer que los enunciados de los Ejercicios I y II de las Pgs. 79-80
son tautologas.

Ejercicios I
a) P(QP)

Tautologa

P Q
QP P(QP)
V Aunque Q sea V o F el valor de la siguiente columna siempre ser F
F
verdadero, hay contradiccin.
b) [P(QR)][(PQ)(PR)] Contingencia
[P(QR)]
V

[(PQ)(PR)]
F

PR
F

PQ
V

Comprobar si es Contradiccin o Contingencia

QR
V

P
V

Q
F

R
F

[P(QR)]
V
F

[(PQ)(PR)]
V
F

PR
V
F

PQ
V
V

QR
V
F

P
V
V

Q
V
V

R
V
F

c) [P(QR)][Q(PR)] Tautologa
[P(QR)]
V

[Q(PR)]
F

PR
F

QR
Hay contradiccin

P
V

Q
V

d) (PQ)(~Q~P) Tautologa
(PQ)
V

P
V

(~Q~P)
F

Q
Hay contradiccin

e) ~~PP Tautologa
~~P
V

P
Por la regla de la doble negacin el antecedente y el consecuente son
equivalente por lo que siempre tendrn el mismo valor de verdad y el
enunciado nunca ser falso.
f) P~~P Tautologa
~~P
F

P
Por la regla de la doble negacin el antecedente y el consecuente son
equivalente por lo que siempre tendrn el mismo valor de verdad y el
enunciado nunca ser falso.

g) (AB)[(BC) (AC)] Tautologa

AB
V

(BC) (AC)
F

BC
V

AC
F

A
V

B
contradicci
n

C
F

h) [(AB)(AC)][A(BC)] Tautologa
(AB)(AC
)
V

A(BC)

AB

AC

BC

V/F
V/F
F
Hay contradiccin

Ejercicios II
a) (AB)(A~B)
(AB)

Tautologa

(A~B)

R
F

b) (AB)(~AB)
(AB)
F

(AB
)
F

Tautologa
A
Contradicci
n

(~AB)
F

c) (AB)(BA)
(BA
)
F

d) (AB)(BC)
(AB)
F

f) A(AB)

Contradicci
n

Contradicci
n

Tautologa
A
V

(BC)
F

B
Contradicci
n

C
F

Tautologa

A
Contradicci
n
Tautologa

(~AC)
F

A
F/V
Contradicci
n

B
F

Tautologa

e) (AB)(~AC)
(AB)
F

Contradiccin

AB
F

B
F

C
F

B
F

g) P~~P Tautologa
P
V
F

~~P
F
V

Por el teorema de la doble negacin son equivalentes por lo de

ninguna manera pueden tener distintos valores de verdad

h) A[A(AB)] Tautologa
A

[A(AB)]

AB

V/F contradiccin
F/V contradiccin

F
V

F
V

F
V

3) Use el mtodo de reduccin al absurdo de asignar valores de verdad para

clasificar las formas sentenciales del Ejercicio I, de la Pg. 47, como
tautolgica, contradictorias contingentes.
1. p ~ p Contradiccion
p
~p
V
F
No es tautologa, comprobar cuando el enunciado es verdadero
V
V , hay contradiccin
2. (p ~ p) ^ ( ~ p

p ) Tautologa

~P

V/F
Contradicicon

F/V
Contradiccion

~P

~P
P

3. p ( p p ) Tautolgica
P no puede ser verdadero y falso a la vez.
4. (p p ) p contingencia
P P

V
F
V
F

F
V
V
F

5. p (p ^ p) Contingencia
P

P
F
V
F

P
V
V
F

6. (p q ) p Contingencia
P

F
V
F

V
V
F

7. (p q ) [ ~ ( q ^ r) ~ ( r ^ p )] Tautolgica
p

F/V Contradiccin

~ ( q r) ~ ( r p)

q
V

8. (~ p ^ q ) ^ ( q p) Contradictoria
p

(~ p ^ q )

V
F

F
V

F
V

( q p)
F
V/F Contradiccin

9. [( p q) q] q Contingente
p

[( p q) q]

V
F

V
F

F
F

10. [(p q ) p] p Tautolgica

q

[(p q ) p]

F/V Contradiccin

qr

rp