*Smbolos:

Scholz

CONECTIVOS LOGICOS
1. NEGACIN:
*Smbolos
Scholz
Peano-Russell
Hilbert
Lukasiewicz

3. DISYUNCIN INCLUSIVA:
p
p
-A
Np

*Palabras usuales:
no, Nunca, Jams, Es falso
que, No es posible que, Es mentira
que, No es cierto que, De ninguna
forma, Es absurdo que, etc.
*Tabla de verdad:
p
V
F

p
F
V

2. CONJUNCIN:
*Smbolos:
Scholz
Peano- Russell
Hilbert
Lukasiewicz

pq
P. q
AB
Kpq

*Palabras usuales:
...y, adems, tambin, ...sin
embargo, no obstante, tal
como, al igual que, as como,
incluso..., pero, aunque, a
la vez, etc.
*Tabla de verdad:
p
V
V
F
F

q
V
F
V
F

*Smbolos:
Scholz

pq

Hilbert

AB
Apq

Lukasiewicz

q
V
F
V
F

V
V
F
F

pq
V
V
V
F

4. DISYUNCION EXCLUSIVA:
*Smbolos:
Scholz

Peano- Russell

Hilbert

A B

Lukasiewicz

Jpq

pq
V
F
V
V

pq

*Palabras usuales:
.si siempre que ,
si es que,
debido a que, dado que, puesto
que, ya que, porque, etc.
*Tabla de verdad:
p
q

*Palabras usuales:
O.... o...,
O bien o bien.,
O es que.. o es que..., etc.

V
V
F
F

V
F
V
F

*Smbolos:
Scholz

pq
V
V
F
V

1 2

pq

Peano- Russell

pq

Hilbert

AB
Epq

Lukasiewicz

*Palabras usuales:
...si y solo si, siempre y cuando, es
idntico a, equivale a que, es,
.....Entonces
y
solo
entonces,siempre
que
y
solo
cuando,es una condicin necesaria y
suficiente., etc.
*Tabla de verdad:
p
q
V
V
F
F

pq
V
F
F
V

V
F
V
F

8. Negacion Conjunta:
*Smbolo:
Scheffer
pq
Noy no, Ni

*Palabras usuales:
ni
*Tabla de verdad:
p
q
V
V
F
F

pq
F
F
F
V

V
F
V
F

*Equivalencia: p q p q

7. Bicondicional o doble implicacion:

pq
V
V
F
V
F
V
F
V
V
F
F
F
5. implicacion material o condicional:
p

V
F
V
F

6. Replica material:
*Smbolo:
Scholz

*Tabla de verdad:
pq
V
F
F
F

AB
Cpq

*Tabla de verdad:
p
q

*Tabla de verdad:

V
V
F
F

pq

Hilbert

*Palabras usuales:
Si.entonces.....,..por
lo
tanto.,
.por consiguiente., .luego, ....en
consecuencia.,
....por
ello.,
.implica que., de modo que ,
es obvio que, etc.

*Palabras usuales:
o,salvo que, a menos
que,excepto que, etc.

Peano- Russell
Lukasiewicz

pq

Peano- Russell

pq

9. Negacion alterna:
*Smbolo:
Scheffer
*Palabras usuales:
*Tabla de verdad:
p
q
V
V
V
F
F
V
F
F
*Equivalencia:

pq

No o no
pq
F
V
V
V

pqpq
La Lgica est presente en todo
acto humano.
LEYES
DEL
ALGEBRA
PROPOSICIONAL
1. Leyes de la conjuncion:
1.1 p p p (Idempotencia)
1.2 p q q p (Conmutativa)
1.3 (p q) r p (q r) (Asociativa)
1.4 p p F (No contradiccin)
1.5 p V p
1.6 p F F
2. Leyes de la disyuncion:
2.1 p p p (Idempotencia)
2.2 p q q p (Conmutativa)
2.3 (p q) r p (q r) (Asociativa)
2.4 p p V (Tercero Excluido)
2.5 p V V
2.6 p F p
3. Leyes distributivas:
3.1 p (q r) (p q) (p r)
3.2 p (q r) (p q) (p r)

9. Leyes de absorcion:
9.1 p ( p q ) p
9.2 p ( p q ) p
9.3 p ( p q ) p q
9.4 p ( p q ) p q
CUANTIFICADORES
Cuantificadores:
Palabras
que
anteceden a las proposiciones para dar
una proporcin de verdad:
Todo S es P
( x ) ( Sx Px )
Ningn S es P
( x ) ( Sx Px )
Algn S es P
( x ) ( Sx Px )
Algn S no es P
( x ) ( Sx Px )
Negacin de Cuantificadores:
[ ( x ), Px ( x ) / Px
[ ( x ) / Px ( x ), Px
LEYES DE LA INFERENCIA
Son inferencias que por su estructura
siempre resultan ser vlidas.
1. Modus Poniendo Ponens (PP)
PQ
P

4. Ley de la condicional:
p q p q
5. Leyes de bicondicional:
5.1 p q (p q) (q p)
5.2 p q (p q) (p q)
6. Leyes de disy. Exclusiva:
6.1 p q (p q)
6.2 p q (p q) (p q)
7. Ley de doble negacion:
(p)p
8. Leyes de morgan:
8.1 (p q) p q
8.2 (p q) p q

( PP )

2. Modus Tollendo Tollens (TT)

PQ
P

PQ
Q

Q (IE )

P ( IE )

1.

5. Silogismo Hipottico (SH)

PQ
QR
P R ( SH)
6. Conjuncin (C)

P
Q
P Q (C)
4
7. Simplificacin (S)

PQ

PQ

P (S)

Q (S)

8. Adicin (A)

P
P Q ( A )
9. Dilema Constructivo (DC)

P R
QS
PQ
R S ( DC )

PQ
10. Dilema Destructivo (DD)

Q
P

( T T)

3. Silogismo Disyuntivo (SD)

PQ

PQ

Q ( SD)

P R
QS
R S
P Q ( DD )

P ( SD)

PRCTICA
4. Inferencia Equivalente (IE)

2.

Determine cules de la siguientes

expresiones son proposiciones y
cules no. Justifique en cada caso.
Las
mejores
canciones
del
repertorio de Pavarotti.
Horas dramticas de la humanidad
Oh querido Hector, igual a Jpiter e
prudencia!
Los temas centrales de las obras de
Arguedas son los problemas
sociales.
Coprnico estudi astronoma en
Cracovia.
Porque no te enfrentaste al
enemigo?
ala que Carlos Felipe triunfe en las
olimpiadas.
Seor, que florezca la rosa, no la
dejeis n la sombra.
Barnard transplant por primera vez
el corazn humano.
El nico satlite terrestre rece de
atmsfera, agua y luz propia.
Lance la bola tan lejos como pueda
y verifique su puntuacin.
El jefe de la blindada sali corriendo
y dijo a su lugarteniente: Es una
orden! Tienes que quedarte
El bien siempre triunfa sobre el
mal?
Adn comi la manzana prohibida
del paraso.
Las
importaciones
estn
aumentando porque el gobierno
est aplicando una economa liberal.
De los siguientes enunciados,
Cules son proposiciones simples
y
cules
son
proposiciones
compuestas?
El elefante es un paquidermo

O los soldados van a la guerra o se

rinden incondicionalmente.
Hitler y Mussolini fueron los
representantes del fascismo en
Europa.
Juan Carlos I de Espaa se cas
con Sofa en 1962.
La capital del Per no es la nica
ciudad desordenada en Amrica del
Sur.
SI el rey no hubiese actuado rpido,
la victoria se habra perdido.
Si sale el sol o no llueve, las
competencias
deportivas
sern
exitosas.
Las selecciones de ftbol de Per y
Chile competirn el prximo verano
en un pas neutral.
En la Cordillera Blanca del
departamento
de
Ancash,
el
Huascarn es el pico ms elevado
del Per.
El generalsimo don Jos de San
Martn, libertador de Amrica, no
luch en la batalla de Ayacucho.

Pitgoras fue matemtico puesto

que Lutero fue protestante.
a. ~ p q r
c. ~ p ~ (qr)
d. ~ (p q) r
e. p q r ~ s p r
3.

p (q r)
d.

(p q) r
2.

Cul es la formalizacin que

representa a: No es el caso que si
amanece nublado la temperatura
baje, ya que ser un da nublado.
a. ~ p q r
b. ~ p s
c.

~ p ~(q r)

7.

~(p q) r
e. N. A.
4.

Cul es la representacin simblica

de Rogelio no trabaja en la
empresa, sin embargo visita la
empresa todos los das y se rene
con los trabajadores
a. ~ p (q r)
b.

Formalizar:
Pitgoras
fue
matemtico a menos que filsofo,
pero Lutero fue protestante siempre
y cuando no se someti al
Catolicismo.
Por
consiguiente

c. (~ p q) r

d.

(~ p q) r
e. (~ p q) r
5.

9.

La proposicin: Es falso que Juan

se diserta a menos que sea liberar,
equivale a:
a. Juan no se divierte porque es
liberal.
b. Si Juan se divierte es obvio que
no es liberal.
c. Juan no se divierte as como no
es liberal.
d. Juan no es liberal a menos que
no se divierta.
e. De ninguna forma si Juan se
divierte entonces es liberal.

La proposicin: Es falso que vivo

luego respiro, o no es verdad que
respiro por tanto vivo, equivale a
decir:
a. Vivir equivale a respirar
b. NO Vivo y no respiro a menos
que no viva y respire.
c. No vivi a menos que no respire o
vivo salvo que respire.
d. Es falso que viva siempre que y
slo cundo respira.

8.

La proposicin: Es absurdo que si

hay paz en consecuencia hay
violencia, equivale a:
a. Hay paz pero no violencia
b. Es mentira que si no hay
violencia, no hay paz.
c. No hay violencia, sin embargo
existe la paz.
d. Es falso que haya paz, salvo que
haya violencia.
e. No es verdad que haya violencia
excepto que no haya paz.
La proposicin: No es cierto que la
materia se crea as como se
destruye, equivale a:
a. La materia no se crea y no se
destruye.
b. Es falso que la materia se crea o
se destruye.
c. Es innegable que la materia se
crea porque se destruye.
d. La materia se crea pero no se
destruye.
e. N.A.

La Proposicin: No es innegable
que la gravedad no es atraccin
luego es rechazo, equivale a:
a. La gravedad no es atraccin
salvo que no sea rechazo.
b. Si la gravedad es atraccin es
obvio que o sea rechazo.
c. Del rechazo gravitatorio deviene
la no atraccin.
d. De ninguna forma la gravedad es
atraccin o tambin rechazo.
e. N.A.

10. Hallar el equivalente de: Es falso

que, si no estudias ingresas.
a. No es el caso que, Magali no
escucha chismes o no es feliz.
b. No es el caso que, Magali no
escucha chismes y es feliz.
c. No es el caso que, Magali
escucha chimes o no es feliz.
d. No es el caso que, Magali
escucha chismes y no es feliz.

d.

~ p q r)

Formalizar:
Coln
descubri
Amrica, sin embargo Pizarro
conquist el Per salvo que leg por
el norte
a. p (q r)
b.
c. p (q r)

6.

b. ~ p s

PROBLEMAS
1.

e. Todas

11. Hallar el equivalente de No es el

caso que iremos al cine a menos
que no iremos al concierto.
a. Iremos al cine pero no al
concierto.
b. Ni iremos al cine ni iremos al
concierto.
c. No iremos al cine a menos que
iremos al concierto.
d. No iremos al cine e iremos al
concierto.
12. Hallar p V, q F, r F indique el
6

valor de verdad de las siguientes

proposiciones:
I. ~ p (q r)

II.

p q ~ p ~q ~p q ~q q
III. ~p q p ~r q r
a. VVV
d. FVV
13. Si

b. VVF
e. FFF

la

siguiente

c. VFV

proposicin:

qr~p q , es falsa, hallar los

valores de verdad de p, q y r.
a. VFF
b. FVF
c. FFF d.
VVF
14. Si Las proposiciones (a) y (b) son
falsas, halle los valores de verdad
de I, II, III.

A. ~ P q r s r
B. ~ p q

I. n p ~r p
II. s (p r)
a. VVV
d. FVV

b. VVF
e. VFF

c. VFV

15. Si la proposicin siguiente: (~tt)

(s~r) es falsa, hallar los valores de
verdad de:
I. r s
II. t ~ s
III.~ r v t
a. VVV
b. VFF
c.
FFV
d. VFV
e. VVF
16. Indica cuales de las siguientes
proposiciones son contradicciones:
I. ~ (p q) (p ~ q)
II. ~ (p q) (p ~q)
a. Slo I
III
d. Todas

b. Slo II
e. N.A.

2. (~ p q) ~ (p q)

c. Slo

21. Simplificar:

3. (~ p q) ~ (q ~ q)

a. p q
c. ~ p q
p

18. Cuntos esquemas moleculares

tautolgicos se observan?
I. p (p ~ q)

22. Simplificar:

b. Slo 2

III. p q q p
IV. ~ p q p ~ q
V. p q p p ~ q
VI. ~ p (p ~ q) (~p q) p
b. 2

c. 4

d. 4

28. Simplificar:

p ~(qp)~q

e. N.A.

a. p v ~ q

a. p q

b. q p
d. ~ q ~

b. p

24.

II. ~ ~ p q p q
III. ~p q p ~p qp ~ q

b. Slo II

c. Slo

c. q

d. V

e. ~

b. B v C
eAvC

c. A & C

p q. r. q r . p p

a. p

b. p r

d. r . p

e. p

c. q r

e. N.A.

p q q p p v q

III. p q ~ p q

b. q

d. ~ r

e. ~ s

31. Simplificar:
~ p (p v ~ q)
a. p q
c. p ~ q
e. p v q

b. q p
d. q v ~ p

~ ~ (p q) ~ q) q

a. p v ~ q

b. ~ p q

c. p q

d. ~ p

e. p v q

33. Simplificar:

20. Si (p q) significa ni p ni q.
Cules
de
las
siguientes
proposiciones son tautologas?

II. ~ p q p q

c. ~ p

a. p

32. Reducir:
25. Simplificar:

~p q ~ q p r p q

26. Simplificar:

I.

~p p r s v t ~p ~r rv s

~ ~ p q ~ q p q

a. Slo I
III
d. Todas

e. ~ q p

30. Simplificar:

C v - A & B& A CB
a. A v B
d. A & C

c. ~ p

b. V

c. ~ q

e.

~ (~ p q) ~(p q) p (~p.r)

d. p ~ q

~ p p q ~ p~q
b. P

e. p ~ q

29. Simplificar:

a. F

23. Simplificar:

a. F

c. ~ p v q

b. p . q

d. ~ p . ~ q

d. ~ p v q

19. Cul de las siguientes proposiciones

es una tautologa?
I.

c. II y

p ~q ~ p p ~q

II. ~(p ~ q) (q ~ q)

a. 1
0

b. II y III

~ p p ~ q q ~p q

c.

a. Slo 1
Slo 3
d. Slo 1 y 3

III. ~ (p q) (~ p ~q)

a. I y II
III
d. Todas

17. Hallar cules son tautologas:

1. (p ~q) ~(q ~p)

~ (~ q p) (~ p q)

a. p q
d. p v q

b. p q
e. p q

c. p q

(~ q ~ r) (~ p q) (p l r)

b. T
e. r q

b. ~ p

d. ~ q

c. q

e. p v ~ q

27. Simplificar:

a. p I q
d. ~ rp

a. p

c. F

34. La proposicin equivale:

~ p q ~ r p ~ qp
a. p v q

b. ~ p q

c. p v ~ q

d. p

e. q

p*p * q * p * r * t
35. Simplificar:

p q ~ q ~p p q

a. p v q
b. ( ~ p v q) ( ~ p r)

a. p q
c. ~ p q

c. ( ~ p v q)

b. p v q
d. p ~ q

e. q v ~ p

B & A B A A B& A B

a. A
b. B
c. A & B
d. A v B
e. A ?B
37. Simplifica: ENpApNq
8
a. KNpq
b. NApq
c. KpNq
d. Nkpq
e. Anpq
38. (Likasiewich; Polonia; 1878 - 1956)
Simplifica: JNKNpqCNqp
a. Np
b. Cpq
c. Nq
d. Kpq
e. Jpq
39. Simplifica: NENKpNqCNpq
a. Nq
b. Kpq
c. Jpq
d. KNpq
e. N.A.
la tabla de verdad

p@q
d. ~ q@p

b. p@q

~ p ~r t

~p
~p

~p

b. q p

a. p
q
d. p ~ q

e. ~ p q

~q

~q

~q

~p

es la expresin ms simplificada de:

e.

proposicin

~p
~q

p
q
~q

a. p q
d. p v ~q

a. p ~ q

b. ~ p v q

c. p v q

d. p v ~ q

~p

p
~q

~q

b. T
e. N.A.

c. p v q

49. Reducir:
p

q
~q
p

46. Reducir el circuito:

~p

~q

p
q
~q

~p

~p

~p

q
p

~r

c.

41. Sea el operador * definido por: p *

q ~ ( ~ p q) Entonces. Cul

d. p v ~ q

q
48. El siguiente circuito:

p
r

c. p q

45. Determinar
la
simplificada de:

e. ~ p@ ~ p

b. q ~ p

~p

b.

e.

c.

a. p ~ q

e. ~ p ~ q

Es:

c. ~

~q

42. Cuntas
afirmaciones
son
verdaderas?
I.
Es idempotente
II. Es conmutativa
III. F es la identidad de
IV. ~ p ~ q p v q
a. 0
b. 1
c. 2
d. 3
e. 4
43. El circuito lgico ms simple de.

d.

~p

p@q
F
V
F
F

Simplifica: q@(p@ ~ q)
a. q@p

~ p q ~ p q p r r t

a.

e.

36. Simplificar:

40. Si Se tiene
siguiente:
p
q
V
V
V
F
F
V
F
F

d.

~p

44. Simplificar el circuito:

~q

b. ~(q ~

a. ~ (p v q)
p)
c. F
d. ~ (p q)
p)

9
e. ~(~ q

a. p ~ q

b. q p

c. ~ p ~ q

d. ~ q v ~

p
e. p v ~ q

50. Al simplificar:
~q

~p
~r

r
p

p
~q

47. La proposicin simplificada de:

a. (p v r) v (q ~ r)

~q
~r

b. (p v r v ~ q) (p r)
c. (r v p) (q ~ r)
d. (r v p v ~ q) ~ (p r)
e. n.a.
51. Simplifica la proposicin:
No viaja pues no logr pasaje,
vendr a la fiesta pues no viaja, en
consecuencia vendr a la fiesta si
no logr pasaje
a. p q
b. (p q)
~r
c. (p r) v q
d.
e. T
52. Simplifica: Si el conocimiento es
hipottico, se prueba; y si se
prueba, entonces es eficaz; luego,
es eficaz cuando es hipottico.
a. r
b. p v r
c. T
d.
e. (p v ~ q)
53. Kant fue fsico as como filsofo
salvo
que
Leibnitz
fuese
antroplogo. Pero Leibnitz no fue lo
antes dicho. Por l tanto:
a. Leibnitz tambin fue fsico
b. Kant tambin fue antroplogo
c. Leibnitz fue filsofo
d. Es innegable que Kant fue filsofo
incluso fsico
e. Kant no fue fsico ni filsofo
54. Negar: El Argumento: Alan es
10 culpable del conflicto, porque Maria
dice la verdad o Eduardo dice la
verdad
es:
a. Vlido
b. Invlido
c. Verdadero

d. Ambiguo
e. Falso
55. La teora de la relatividad no es
exacta, porque la materia se
destruye y Dios existe. La teora de
la relatividad es exacta. Luego no es
el caso que Dios existe y la materia
se destruye es un razonamiento.
a. Vlido
b. Invlido
c. Singular
d. Poco increble
e. Abstracto
56. Has decidido estudiar Medicina
Humana
y
especializarte
en
Traumatologa. Por tanto, Has
decidido estudiar: Medicina Humana
y especializarte en Traumatologa, o
estudias Fsica Nuclear. Es una
inferencia
a. Vlida
b.
Cuestionable
c. Indemostrable
d. Invlida
e. Probablemente cierta
57. Ral es un charlatn, pero no
convence a nadie; Si el fuese
menos ignorante, tendra reparo en
lo que dice; sin embargo no repara
en sus afirmaciones. Por lo tanto:
a. Ral es buena gente
b. Ral no es menos ignorante
c. Ral no es charlatn
d. Ral no me convence
e. N.A.
58. Mario estudia Biologa o Qumica;
pero no ambos a la vez; Mario
estudia qumica entonces: No se
puede determinar algo cierto:
a. Quiz Mario no estudie
b. Mario estudia qumica
c. Mario no existe

d. Mario no estudia Biologa

59. Si aprueban el examen, entonces
ingresarn; adems si estudian
entonces aprobarn el examen; por
lo otro lado es innegable que
ustedes, estudien entonces:
a. Ustedes ingresarn
b. Ustedes no aprobarn el examen
c. Ustedes no estudian
d. Todas
e. N.A.
60. Es inferencia Vlida:
a. ~ (p . ~ q )

p v q q. ~p v q ~ q
c. p v q . ~ p q
d. p q ~ q ~p
e. p . ~ q ~ ~p v q
b.

61. Si estudio, triunfar. Pierdo el

tiempo si y slo so no estudio. Pero
no triunfar. Por lo tanto:
a. Triunfar
b. Estudi
c. Pierdo el tiempo
d. Juego
e. N.A.

M N = 5

63.

x2 3 m n 5

(2 + 5 = 8 B x A 10) . x2 > 3
Por tanto:
a. A x B 10
b.

c. m - n 5
d. 2 + 5 8
e. N.A.

64. La frmula x Hx se leer as:

a. Es absurdo que para toda x, x no
es un rbol.
b. Sean todos los x, tal que sean un
rbol.
c. No todo lo que sea x, x es un
rbol.
d. No es cierto que cualquier fosa
que sea x, x no es un rbol
e. Es falso que existe al meno una
x, tal que x no es un rbol.
65. La

frmula

x (Mx) tiene

como

equivalente la frmula::
a. (x) Mx
b.

62. Si cumplo con mi deber, entonces

recibo
recompensa.
Si
soy
perezoso, entonces no recibo
recompensa.
Soy perezoso; por lo tanto:
a. Recibo recompensa
b. Cumplo con mi deber
c. No soy perezoso
d. No cumplo con mi deber
e. N.A.

2 v A x B 10

c.
d.
e.

x Mx
x Mx
xMx

x Mx

66. La frmula x Ax.Mx se leer as:

a. Existe al menos un x tal que x es
humano y x es mortal.
b. Existe al menos un x tal que x no
es humano y x es mortal.
c. Dada cualquier x, si x es humano,
x no es mortal.
11

d. Cualquier cosa que es humano es

tambin mortal.
e. No hay humano que sea mortal.
67. La frmula:

xGx Mx

se

leer:
a. Un gorrin es un mamfero
b. Cualquier cosa que sea gorrin
es mamfero
c. Los
gorriones
son
todos
mamferos
d. Los gorriones no son nunca
mamferos
e. N.A.
68. La frmula:

xBx Cx

se

leer:
a. Es falso que haya un burro con
dos cabezas.
b. No hay nada que sea burro, pero
que no tenga 2 cabezas.
c. No es cierto que haya ningn
burro de 2 cabezas.
d. Ningn burro tiene dos cabezas.
e. Los burros tienen dos cabezas.
69. Cuntas
de
las
siguientes
proposiciones son ciertas en
A = {1,3,5,7,8}
I. x, y/xy x
II.

x/y; xy y

III. x, y ; xy x
IV. x/y; xy y
a. 1
N.A.

b. 2

c. 3

d. 4

e.

70. Si la subcontradictoria de la
contradictoria de la contraria de la
contradictoria de la subalterna de
ningn incapaz es principista es

12

falsa. Cul de las siguientes

proposiciones es verdadera?
a. Algunos
incapaces
son
principistas.
b. Muchos antiprincipistas no son
incapaces.
c. Ningn antiprincipista capaz.
d. Todo incapaz es principista.
e. Ciertos
incapaces
no
son
principistas.

71. Todos los desclasados no son

ridculos.
a. Algunos desclasados no son
ridculos.
b. Ningn ridculo es desclasado.
c. No es cierto que, ciertos
desclasados no sean ridculos.
d. No todos los desclasados son
ridculos.
e. N.A.
72. La negacin de:
Algunas mentiras son piadosas es:
a. Algunas
mentiras
no
son
piadosas
b. Ninguna mentira es piadosa
c. Algunas piadosas son mentiras.
d. Todas las mentiras son piadosas.
e. Ninguna mentira es agradable.
73. Obtenga la conclusin
que se
deduce lgicamente de cada
conjunto de premisas que aparece a
continuacin,
y
justifique
la
conclusin derivada mediante una
regla lgica.
73.1. Si el cielo est nublado y hace fro,
entonces no se llevar a cabo el
concurso de natacin. Ocurre que el

cielo est nublado y hace fro.

Luego,
73.2. Si Carlota visita los museos y asiste
los
conciertos,
entonces
es
aficionada al arte. Pero Carlota no
es aficionada al arte. Por lo tanto,
73.3. O el festival se celebrar al aire
libre si no llueve, o se celebrar en
el coliseo cerrado si hace fro. Pero,
no es el caso que si no llueve, el
festival se celebre al aire libre.
De ah que,
73.4. El avin llegar a la hora exacta si
no tuvo problemas en el aeropuerto.
Los pasajeros asistirn al festival si
el avin lega a la hora exacta. Por lo
tanto,
73.5. O el incendio en la fbrica fue
premeditado o se produjo por
combustin espontnea, si y slo si
se cort el fluido elctrico. El
accidente no se produjo en horas de
la madrugada si y slo si se cort el
fluido elctrico. En consecuencia,
73.6. Si los artculos bajaron de precio,
entonces aument la importacin si
se liberaron los impuestos. Los
artculos bajaron de precio, porque
el gobierno aplic una economa
liberal y control la inflacin. De
modo que,
73.7. La paradoja de Rusell no tiene
solucin si todo conjunto no se
contiene a s mismo, y si todo
conjunto se contiene a s mismo
entonces el concepto de inclusin
es abstracto. Pero, todo conjunto, o
se contiene a s mismo o no se

contiene
a
s
mismo.
En
consecuencia,
73.8. El gobierno controla la inflacin y
aplica una economa liberal, a
menos que los partidos polticos y
los empresarios estn descontentos.
No es e caso que el gobierno
controle la inflacin y aplique una
economa liberal. Luego, .
74. Use la prueba directa y demuestre
la validez de cada una de las
siguientes inferencias. Al demostrar,
justifique cada paso mediante la
abreviatura de la regla lgica
aplicada e indique los nmeros de
las lneas de las que ha sido
derivado.
74.1. P1) p q
P2) p
P3) q r // r
74.2. P1) p ~ q
P2) r q
P3) p // ~ r
74.3. P1) ~ p
P2) q p
P3) ~ r v q // ~ r
74.4. P1) ~ p ~ q
P2) ~ q (r s)
P3) (t r) v p // t s
74.5. P1) ~ (p v q)
P2) r (p v q)
P3) r v (s p) // ~ q ~s
74.6. P1) (p v r) ~q

P2) r s

pas el da en el club entonces no

P3) (s v ~ r) p

estaba

P4) s q // r t

medioda. Pepe pas el da en el

en

su

casa

antes

del

club. Por lo tanto, el testigo no dice

74.7. P1) ~ (p q)

la verdad.

P2) (q r) (s t)

74.14. Si Carmen es aficionada a la

P3) (p s) k

msica o es aficionada al teatro,

P4) w ~ (t k) // p ~ w

entonces asiste a los conciertos. Si

74.8. P1) ~ (p q)

Carmen no es aficionada al teatro, o

P2) (q r) (s t)

es pianista o es compositora de

P3) (p s) k

zarzuelas. Carmen no es pianista ni

asiste a los conciertos. Luego, es

P4) w ~ (t k) // p ~ w

compositora de zarzuelas.

74.9. P1) ~ (p . . q v r)

74.15. Los helados son caros, si y slo

P2) (t s) v w

so, o se venden en las fiestas o se

P3) w (r p)

venden en las playas. Si hace

P4) (p q) v (k z)

mucho fro entonces los helados no

P5) ~ (s z) // t (k q)

son caros, y si los helados no son

dulces entonces no se venden en

74.10. P1) ~ q v (r s)
P2) ~ (z s)
P3) ~ (t z) ~ (s r)
P4) (~ p q) v q // ~ (z v q)
74.11.P1) r q
P2) p ~ s
P3) (t v z) (~ s ~ p)
P4) q (r v q) . t v p
P5) ~(p ~ s) v ~ q // ~ (z v q)
74.12.P1) p v (~ q r)
P2) ~ t ~ s
P3) ~ (r p . , ~ s t) ~ p
P4) ~ (~q k) // q k
74.13. Si el testigo dice la verdad
entonces Pepe estaba en su casa
antes del medioda; pero si Pepe

las fiestas o no se venden en las

13

playas.
74.16. Si en la Luna no hay oxgeno,
entonces o hay agua ni aire. Si no
hay oxgeno ni hay agua, entonces
no hay plantas. No es el caso que
en la Luna haya oxgeno o no haya
plantas. En consecuencia, la Luna
est hecha de queso verde.
74.17. Si los fenmenos de la naturaleza
son observables, entonces el
conocimiento emprico es exacto si
la ciencia posee instrumentos
poderosos. El mtodo cientfico es
universal si y slo si la ciencia
fctica informa los resultados de sus
investigaciones. No es el caso que
la ciencia fctica informe los
resultados de sus investigaciones y
el conocimiento
emprico sea

exacto. Pero, los fenmenos de la

naturaleza son observables. En
consecuencia, si el mtodo cientfico
es universal entonces la ciencia no
posee instrumentos poderosos.
75. Use la
prueba condicional y
demuestre la validez de cada una
de las siguientes inferencias. En el
proceso
de
la
demostracin
justifique cada paso mediante la
abreviatura de la regla lgica
aplicada e indique los nmeros de
las lneas de las que ha sido
derivado.
75.1. P1) p (q ~ r)
P2) s r // p ~ s)
75.2. P1) p v (r q)
P2) (s v ~ t) ~ r
P3) s ~ q // s ~ r
75.3. Si el contrato no se cumple
entonces la construccin del edificio
no terminar a fin de ao. Si la
construccin del edificio no termina
a fin de ao entonces el banco
pierde el dinero. Por lo tanto, si el
banco no pierde dinero entonces el
contrato se cumple.