1.

No son proposiciones lógicas: d) ( p �Ů٬

�
� q r) � (s
s� t)
1. El Sol es una estrella que se extinguirá en
millones de años. e) ( p ‫�ڬٮ‬
�
� q r) � (s
s� t)
2. Vladimiro Montesinos fue un engendro del
7. Dado el siguiente esquema:
mal.
3. La obra “los 3 chanchitos” es maravillosa. {�
: p ��Ů�‫ڬ‬
� � s}
( q r) � t ( : u v)
�
� w�
�
4. En el Perú la justicia es injusticia y lo bueno es
Hallar, en la matriz principal, los valores en las
malo.
posiciones 34, 172 y 254.
5. Adolfo Hitler escribió “My life”.
a) F, F, F.
Son ciertas:
b) V, V, V.
a) 1, 2 y 3.
c) V, F, V.
b) 2, 3 y 4.
d) F, F, V.
c) 3, 4 y 5.
e) V, V, F.
d) 1, 3 y 5.
8. Dado el siguiente esquema:
e) Sólo 1.
( p ��‫���ٮ‬
: q r : s t) �
u
� (: v w) �
�, el
cual tiene 2 valores falsos en su matriz principal.
2. Son proposiciones simples: ¿En que posición estarán dichos valores falsos?
1. El término “honrado” es igual a “honesto”. a) 82, 83.
2. El Perú es un país pobre con muchas ganas de b) 90, 94.
progresar.
c) 72, 73.
3. Es obvio que en el Perú hay 53% de pobreza.
d) 124, 125.
4. En Chile un funcionario público gana más de
1000 dólares aunque un empleado del sector e) 64, 65
público gana más.
9. Hallar el equivalente de A � B si:
5. Le llamaban “La Mariscala”.
A: ((p|p)|(q|q))|((p|p)|(q|q))
Son correctas:
a) 1, 3 y 5. B: (p|(q|q))|(q|(p| p))

b) 2, 3 y 4. a) pDq
c) 1 y 3. b) : p
d) Sólo 2. c) : p �q
e) Todas. p�q
d)
3. La proposición: “China, Italia y Japón son
e) p �q
productores de arroz, salvo que de cacao”. Se
formaliza:

a) ( p �q �r ) �( s �: t �u ) 10. El siguiente esquema molecular:

b) ( p �q �r ) �( s �t �u ) : ( p � : q) �( : p D q ) �
�
� ��p
c) ( p �q �r ) �( s �t �u )
Tiene como expresión equivalente a:
d) p �q
e) ( p �q) �( r �s ) �( t �u ) 1. ( : p ��ū
�
� : q) (p : q) �
� p
4. La proposición: “Si es falso que la lógica y la
matemática sean ciencias formales, ni la lógica ni la 2. ( p �ź�
�
� q) (p q) �
� p
matemática utilizan la inducción para demostrar sus
principios”. Se formaliza: 3. ( p � : q) � ( p � q) �
�
� �� p
a) : ( p‫ ٮ‬q) ( r | s) : q
4.
b) ( p �‫ٮ‬
: �
� q) (r s) �
� 5. : p
c) ( p‫ ٮ‬q)
: �
� ( r | s) �
� Son ciertas:
d) : ( p �‫ٮ‬
q) (r s) a) 1, 2 y 4.

e) q) : ( r
: ( p �‫ٮ‬ s) b) 1, 2, 3 y 5.
5. “Es falso que si ingreso, celebro; o sólo es mentira c) 4 y 5.
que siempre que celebro, ingreso”. Se formaliza:
d) 2, 4 y 5.
a) : ( p �Ů
q) : (q p) e) 1, 2, 3, 4 y 5.
b) : ��( p �Ůq) : (q p) �
� 11. “SI la pizarra es una roca es obvio que posee
capas arcillosas, pero el granito está formado por rocas
c) ( : p ‫�ڮ‬q) (: q p)
eruptivas esto trae consigo que son de gran dureza,
d) : ( p ‫�ڮ‬
q) : (q p) pero a menos que la pizarra es una roca, el granito
está formado por rocas eruptivas”. Luego:
e) ( p ‫�ڮ‬q)
: �
� : (q p) �
�
1. Es falso que la pizarra no posea capas
6. La proposición: “Si el calentamiento de las aguas
arcillosas tanto como el granito no sea de gran
del mar, de los ríos o sólo de los lagos, da lugar a la
dureza.
evaporación. El surgimiento de la evaporación es
necesaria para la formación de nubes”. Se formaliza: 2. La pizarra es una roca o posee capas
arcillosas.
a) ( p ‫�ڮڮ‬
�
� q r) � (s
s� t)
3. Si la pizarra no posee capas arcillosas
entonces el granito es de gran dureza.
b) ( p �Ů‫ڬ‬
�
� q r) � (s
s� t)
4. La pizarra posee capas arcillosas o también el
granito es de gran dureza.
c) ( p ٬ ‫ڮ‬q ‫�ڮڮ‬
�
� r) � (s
s� t)
 5. Es falso que el granito sea de gran dureza.
Son ciertas:
a) 1 y 2.
b) 1, 3 y 4.
c) Sólo 2 y 4.
d) 3 y 5.
e) Todas.

12. Simplificar la siguiente expresión compuesta:

Podemos decir que:
“Todos los números enteros son impares y
1. El término medio es “M”.
existen números reales irracionales, si existe algún
entero par; si y solo si, hay algún número real 2. La premisa menor es “S o M”.
irracional o cualquier número entero es impar, ya
que cada número real es racional”. 3. La conclusión es “S o P”.

Su esquema correcto es: 4. El término distribuido en la premisa

mayor es “P”.
a) " x �Z , x es impar � $ x �R / x es
5. El término distribuido en la conclusión
irracional.
es “S” y “P”.
b) $ x �R / x es irracional � $ x �Z / x es Son ciertas:
par.
a) 1 y 2.
c) " x �Z , x es impar � $ x �R / x es
b) 3 y 4.
irracional.
c) 5
d) " x �Z , x es impar � " x �R , x es
racional. d) a, b y c.
e) Sólo 4 y 5.
e) $ x �Z , x es par � $ x �R / x es
irracional.
13. ¿Cuál de las siguientes proposiciones sobre Q
corresponde a la negación de “Para todo número
racional r, existe un número entero p talque
p �r < p + 1 ”?

a) $ r �Q / " p �Z, p + 1 > p > r

b) $ r �Q / " p �Z, p < p + 1 < r

c) $�
r "Qγ�
/ +<
p Z, p r p 1 r

d) $ r �Q / " p �Z, p > r � p + 1 �r

e) $ r �Q / " p �Z, p < r � p + 1 �r

14. De las siguientes premisas:

� ___
�
F �K = f �
P1) : �
� �
__
P2) A �F = f

Se infiere:

a) AǹK f
___
b) Aǹ K f
� ___ �
c) : �A � K = f �
� �
�___ ___ �
d) : �A � K = f �
� �
e) : ( A ȹK f)

15. Dado el siguiente diagrama que representa un

silogismo válido:

Su modo y figura es:

a)aei, I b) aee, II c) aaa, I d) aee, IV e)eio, III

16. Dado el siguiente diagrama que representa un

silogismo válido.