Logica Basico01

RAZONAMIENTO LÓGICO
OBJETIVOS
Al finalizar el presente capítulo, el estudiante estará en la capacidad de:

 Determinar cuando un enunciado es una proposición.
 Diferenciar una proposición simple de una compuesta.
 Reconocer las propiedades intrínsecas de las proposiciones.
INTRODUCCIÓN
Una de las disciplinas de la lógica formal es la lógica proposicional, que se encarga de

estudiar las leyes lógicas que existen en las relaciones entre las “proposiciones” a través
de los operadores proposiciones. La propiedad de ser verdadera o falsa es esencial a la
proposición y, es también exclusiva. Por ejemplo: “Lima es la capital del Perú” y “El
camarón es un mamífero” son proposiciones, pues la primera es verdadera y la segunda
falsa. Pero los ejemplos: “ ¿Qué hora es?”, “cierra la puerta”, “Blanca nieves se escapó del
bosque”, no son proposiciones, porque no puede decirse que son verdaderas o que son
falsas. Cuando se hace una pregunta nadie puede pensar que la pregunta sea verdadera o
falsa, cuando se narra un cuento no tiene sentido averiguar si lo que se dice es verdadero
o falso dado que los cuentos no describen hechos reales. A continuación precisamos la
definición de proposición.
I. DEFINICIÓN DE PROPOSICIÓN
Es toda expresión aseverativa (afirma o niega algo), cuya característica fundamental

es ser verdadera o falsa con respecto a una realidad. Esto trae como consecuencia
las siguientes consideraciones:
1. NO SON PROPOSICIONES LÓGICAS

– Los Mitos, leyendas, fábulas, refranes, metáforas y los
proverbios.
Ej.: Los hermanos Ayar fundaron la ciudad del Cusco (Leyenda).
Ej.: La virgen de la puerta es milagrosa (creencia).
Ej.: A Dios rogando y con su mazo dando (refrán)
Ej.: El Perú es un país enfermo (metáfora).
1 Prof. Miguel
Valverde Morales
Ej.: Las palabras son enanos, los ejemplos son gigantes. (Proverbio Suizo)
– Las doxas o enunciados de opinión

Ej.: El mejor jugador de fútbol es Messi.
Ej.: La fidelidad es lo más hermoso de un hombre. (Valoraciones)
– Los enunciados que usan personajes ficticios:
Ej.: Sarita Colonia es la santidad más milagrosa. (De la Religión)
Ej.: Romeo amaba a Julieta. (De la literatura)
Ej.: Superman está bailando en el techo. (De los Cómics)
Ej.: La pelona se aparecerá en tu departamento a las 12 de la noche. (supersti)
– Los enunciados abiertos (indefinidos)
Ej.: x + 5 =11.
Ej.: Es el Director de la UNT.
– No se usa correctamente los niveles del lenguaje (Metalenguaje)

Ej.: Mouse tiene 5 letras.
Para convertirla en proposición, basta con colocarle comillas a Mouse, ya que
se refiere a la palabra, no al objeto en sí.
– Los enunciados que utilizan o predomina la función expresiva y

directiva:
Ej.: Deseos, anhelos.
Deseo que seas mi enamorada. (Cumple la función expresiva).
Ej.: Dudas, interjecciones, preguntas;

Ojalá pueda ir a la disco. (Cumple la función expresiva).
¡Carajo!, ¡Ah! (Cumple función expresiva)
Ej.: Pedidos, Súplicas:

¡Ayúdenme! (Oración exhortativa, que cumple función directiva).
No termines conmigo, por favor. (Cumple función directiva).
Ej.: Órdenes o mandatos, prohibiciones:

¡Alcánzame el libro! (Oración exhortativa, que cumple función directiva).
¡Prohibido, fumar en lugares públicos!. (Exhortativa, cumple función directiva)
– Sin Sentido:
Ej.: Algunos pitos son dulces a la “ene”.
– Expresiones con más de un sentido (Anfibología):

Ej.: La perra de tu prima está molestando.
Ej.: El chancho de tu vecina está que tose
2. SON PROPOSICIONES LÓGICAS

– Todas las fórmulas de la ciencia que son consideradas leyes o
principios
2 Prof. Miguel Valverde

Morales
2 2 2
Ej.: (a + b) = a + 2ab + b (Es una identidad matemática)
Ej.: –(p  q) = p  –q (Es una equivalencia)
Ej.: y+5=5+y (Es una ley)
Ej.: x+5=x+6 (Es proposición, ya que es un enunciado
falso para cualquier x).
– Los enunciados que respetan correctamente los niveles del

lenguaje (Metalenguaje).
Ej.: "Mouse” tiene 5 letras.
– Los enunciados que se refieren a personajes ficticios,

especificándolos en la realidad
Ej.: Superman es un personaje de una película.
– Los enunciados cerrados (definidos).

Ej.: xN; x+2 > 0
Ej.: “X” trabaja en la UPN, donde “X” es Juan.
– Proposiciones Elípticas o abreviadas: Son aquellas exclamaciones

posibles de traducirlas a oraciones enunciativas, declarativas, aseverativas,
informativas
Ej.: ¡Amanece!.
Debe traducirse como: "En este momento está amaneciendo".
– Proposiciones de existencia:
Ej.: Hay ingenieros.
Debe traducirse como: "Tal lugar está lleno de ingenieros"
II. CLASIFICACIÓN DE LAS PROPOSICIONES
1. Proposición Simple (Atómica, Monádica, Primaria, Fundamental, Sencilla,

Singular, Individual).
Es aquella que carece de conectores y pueden ser:
A) Predicativas:
Son aquellas que atribuyen o describen cualidades del sujeto en la proposición.
Ejemplos:
- César Vallejo fue poeta.
- La matemática es exacta.
B) Relacionales:
Son aquellas que indican relación entre 2 o más sujetos.
Ejemplos:

Morales
- La Libertad está entre Lambayeque y Lima. (Relación de espacio)
- José Carlos Mariátegui y César Vallejo son contemporáneos. (R.de tiempo)
- José y Pedro se pelearon. (Relación de acción)
- Carlos tiene un auto rojo. (Relación de pertenencia)

- José compró lapiceros. (Relación de acción)
- 2+5=7 (Relación de igualdad)
- 7>2 (Relación de desigualdad)
Observaciones
 En la lógica proposicional interesa el significado de una proposición.
 Carlos trabaja en la farmacia: p

 En la farmacia trabaja Carlos: p
 Trabaja Carlos en la farmacia: p
Todas expresan la misma proposición y se formalizan con la misma variable.

 Hay oraciones que utilizan palabras diferentes, sin embargo tienen el mismo
significado.
 Vlady le ganó a Manuel: p
 Manuel perdió con Vlady: p
2. Proposición Compuesta (Molecular, Coligativa, Compleja):

Se caracteriza porque posee conectores lógicos. A continuación describiremos como se
clasifican las proposiciones compuestas:
2.1. Proposiciones Negativas: Su conector es el término "No".
Ej.: Los insectos no viven en el mar
2.2. Proposiciones Conjuntivas: Su conector es el término "y"
Ej.: Héctor es físico y Luis es matemático.
2.3. Proposiciones Disyuntivas Incluyentes: Su conector es el término "O"
Ej.: José es médico o profesional.
2.4. Proposiciones Disyuntivas excluyentes: Su conector son los términos "O...

O..."
Ej.: O la Roberto es ingeniero o contador
2.5. Proposiciones implicativas, o condicionales directas: Su conector son los

términos “Si ...., entonces ...”

Morales
Ej.: Si Jack ingresa a la Universidad Nacional de Trujillo, entonces será

profesional
2.6. Proposiciones Replicativas, o condicionales inversas: Su conector son los

términos ".....Si......" ; "....Porque...."
Ej.: Ingreso a la universidad Si estudio.
2.7. Proposiciones Biimplicativas o Bicondicionales: Su conector son los

términos "... si y solo si ..."
Ej.: Carlos es honesto si y solo si es honrado.
2.8. Proposiciones Inalternativas: Su conector son los términos "ni... ni...".
Ej.: La Historia ni es formal ni es deductiva.
2.9. Proposiciones Incompatibles: Su conector son los términos "no... o no ..."
Ej.: José no es abogado o Carlos no es profesor.
III. PROPIEDADES DE LAS PROPOSICIONES
La propiedad fundamental de toda proposición es ser verdadera o falsa, sin embargo

la proposición también presenta propiedades intrínsecas como: Cualidad, Cantidad y
Modalidad.
1. POR SU CUALIDAD (CALIDAD)

De acuerdo a lo que se le atribuye o rechaza al sujeto en la proposición. Puede ser:
A) Afirmativa: Si el verbo está afirmado.
Su forma lógica es: S es P, Todo S es P, Algún S es P
Ejemplo:
La matemática es una ciencia formal.
B) Negativa: Si el verbo se encuentra negado.

Su forma lógica es: S no es P, Algún S no es P, Todo S no es P
Ejemplo:
La filosofía no estudia las formas de pensamiento.
2. POR SU CANTIDAD:
Está determinada por la extensión en que ha sido tomado el sujeto de la proposición.
Puede ser:
A) Universal: Son aquellas en que el sujeto de la proposición ha sido tomado en

toda su extensión.
Ejemplo:
Todos los perros son cuadrúpedos.

Morales
B) Particular: Son aquellas en que el sujeto de la proposición ha sido tomado en

parte de su extensión.
Ejemplo:
Algunos locos son capaces.
C) Individual (Singular): Son aquellas en que el sujeto de la proposición ha sido

tomado de manera específica.
Ejemplo:
César Vallejo es Liberteño.
3) POR SU MODALIDAD:
De acuerdo al grado de certeza o seguridad de lo que se dice en la proposición.
Puede ser:
A) Asertórica (Empíricas, Sintéticas, Reales, Fácticos, Efectivas):

Son proposiciones cuyo, valor de verdad puede determinarse inmediatamente
comparándolo con la realidad. Son enunciados que describen hechos, además
algunas proposiciones asertóricas están ligadas a las ciencias factuales
(Biología, química, física, historia, geografía).
Ejemplo:
- Any estudia contabilidad en la Universidad Nacional de Cajamarca.

- Trujillo es efectivamente una Provincia.
- Cristóbal colón descubrió América. (En Historia)
B) Apodíctica (Necesarias, Forzosas, Analíticas, simbólicas, Formales)

Estas proposiciones expresan verdades o hechos evidentes, que
necesariamente tienen que darse así y no de otra manera, su valor de verdad
se puede determinar por el análisis lógico de la proposición. Están ligadas a las
ciencias formales.
Ejemplo:
- Necesariamente la ciencia es exacta.

2 2 2
- (a + b) = a + 2ab + b (Ley matemática).
- (p  q)  (q  p) (Ley lógica).
- Todo niño tuvo que ser bebé.
- Los millonarios tienen mucho dinero.
C) Problemática (Probables, Plausibles, Posibles, Hipotéticas):

Son proposiciones cuyo valor de verdad no se puede determinar
inmediatamente, requiere de cierto tiempo o determinadas circunstancias.
Usualmente emplea las palabras: probablemente, posiblemente.

Morales
Ejemplo:
- Probablemente Marcos sea estudiante de física.

- Posiblemente el SIDA tiene cura.
- Alejandro Toledo será elegido presidente en el año 2016.
PROBLEMAS PROPUESTOS
01.Los siguientes enunciados son
proposiciones: 04.- No son proposiciones lógicas:
1. ¡Silencio por favor! 1) a + b = b + a.
2. ¡Siéntate ahora! 2) ¡Qué calor este verano full playa!
3. Regresaré pronto 3) Hueso y pellejo fueron perros
4. Hasta luego salvajes.
5. Llegaré temprano 4) El Perú es mendigo sentado en
No son correctas: un banco de oro.
5) Pitita estudia en Lobachevsky.
a) 1, 2, 3 b) 2, 3, 4 Son correctas:
c) 3, 4, 5 d) Todas a) 1, 2, 3 b) 2, 3, 4
e) N.A. c) 3, 4, 5 d) Todas
e) N.A.
02.Son proposiciones simples:
1) Si llegas temprano haremos 05. Son proposiciones individuales:
fiesta. 1) La Luna es el único satélite
2) Carlos trabaja o juega. natural de la tierra.
3) O tienes sed o tienes hambre. 2) La tierra es el quinto planeta
4) La lluvia moja la pista. más grande del Sistema Solar.
5) La uva es cereal. 3) El sol es una estrella que se
Son incorrectas: encuentra en el centro del
sistema solar.
a) 1, 2, 3 b) 2, 3, 4 4) Sucre es capital de Bolivia.
c) 3, 4, 5 d) 1, 3, 5 5) Santiago no es capital del
e) 4 y 5 Ecuador.
Son no incorrectas:
03.No son proposiciones los siguientes
enunciados: a) 1, 2, 3 b) 2, 3, 4
1) Cinco es un número par. c) 3, 4, 5 d) todas
2) Dios mío, ayúdame. e) N.A.
3) Sería bueno ingresar a la “U”
4) Alan es el presidente. 06. Son proposiciones compuestas:
5) 8 + 5 = 12 1) Si hay lluvia, me mojo
Son incorrectas: 2) Al hacer calor, transpiro
3) Al correr, me deshidrato
a) 1, 2, 3 b) 2, 3, 4 4) Corro o hago planchas.
c) 3, 4, 5 d) 1, 3, 4 5) Si no viajo, entonces estudio
e) 1, 4, 5 Son correctas:

Morales
e) 3, 4, 5
a) 1, 2, 3 b) 2, 3, 4
c) 3, 4, 5 d) Todas 10.Son proposiciones coligativas:
e) N.A. 1) 2 es un número y representa dos
unidades.
07.Son proposiciones lógicas: 2) La palabra “lima” tiene varios
1) A buen entendedor pocas significados.
palabras. 3) 5 es un número primo e impar.
2) Es congresista del Perú. 4) Al ser hoy día jueves, el día
3) 8 + 3 = 6 viernes será mañana.
4) “Plátano”, es una palabra de 5) Los institutos son instituciones
ocho letras. de educación superior.
5) El petróleo es mineral. No son correctas, excepto:
Son correctas:
a) 1, 2, 3 b) 2, 3, 4
a) 1, 2, 3 b) 2, 3, 4 c) 3, 4, 5 d) 1, 3, 4
c) 3, 4, 5 d) 1, 3, 5 e) 2, 4, 5
e) 1, 4, 5
08.Son proposiciones moleculares:
1) No solamente bailo, sino 11.De las proposiciones, es relacional:
también juego.
2) Al llover, la cosecha será muy a) Ellas son extranjeras.
buena. b) Maruja come una manzana.
3) Ya que estudio, seré profesional. c) Nosotros somos peruanos.
4) Siempre que haya producción, d) Juana es Chimbotana.
habrá empleo. e) Lee y escribe a la vez, Lucía.
5) O bien postulo a la “UNT” o bien
trabajo. 12.De las siguientes oraciones:
Son correctas: 1) “La potencia de un producto es
igual al producto de las
a) 1, 2, 3 b) 2, 3, 4 potencias”, es una propiedad del
c) 3, 4, 5 d) Todas algebra.
e) N.A. 2) La chilindrina es un personaje
del Chavo del Ocho”.
09. Son proposiciones atómicas: 3) “La caja Trujillo” es una
1) El Nilo es río americano. institución financiera.
2) El Amazonas es río africano 4) ¿Recuperaré mi dinero?
también americano. 5) Ningún número primo es
3) El Misti es un nevado incluso un divisible por cinco”
volcán. Son proposiciones, excepto:
4) La Universidad Nacional de
Trujillo es una institución a) 1, 2, 3 b) 2, 4 y 5
pública. c) 3, 4, 5 d) 1, 2, 5
5) El Instituto Nacional de Cultura e) Sólo 4
es institución privada.
Es absurdamente falsas: 13.Las proposiciones lógicas son:
1) De carácter bivalente
a) 1, 2, 3 b) 2, 3, 4 2) Válidos no válidos
c) 1, 4, 5 d) 1, 3, 5 3) Verdaderas o falsas

Morales
4) Oraciones discutibles 1) Es el deber primordial de la

5) Enunciados demostrables persona
Son ciertas: 2) x = y, en donde y = 5
3) Sen 30° = 1/2
a) 1, 2, 3 b) 2, 3, 4 4) Cos 60° = x, en donde x = 1/2
c) 3, 4, 5 d) 1, 3, 5 5) y + 4 = 51
e) 2, 4, 5
Son ciertas:
14. Dados los enunciados: a) 1, 2, 3 b) 1 y 5
I. (a+b)2 – (a-b)2 = 4ab; a ,b  R c) 3, 4, 5 d) Todas
II. f(x) = 2x + 2 ; x  R e) N.A.
III. E = mc2 ;
E = energía , m = masa , 18.Son proposiciones sencillas:
c = velocidad de la luz 1) Las empresas peruano
Son proposiciones lógicas: ecuatorianas no son
competitivas.
a) I, II b) II, III 2) x > y
c) I, III d) Todas 3) x > y , donde x es 5
e) N.A. 4) y = 8, donde y > 6
5) Un metal y el oxígeno se
15.De los siguientes enunciados: mezclan para dar lugar a un
I. h2 = a2 + b2, h = hipotenusa; oxido
a,b = catetos
II. sen2 + cos2 Son ciertas:
III. 1 + 2 + 3 + ... + n = a) 1 y 5 b) 1, 2, 3 c) 4,5
n(n  1) d) todas e) N.A.
2 19.Son proposiciones negativas:

Son proposiciones lógicas: 1) Es mentira que sea que haya
tigres blancos y leones
a) I , II b) II, III domésticos
c) I, III d) Todas 2) Es negable que hay vegetales
e) N.a. carnívoros
3) Es imposible que el sol pierda su
16.Es una proposición predicativa: energía en un lustro
4) El Hanta virus no sólo es
a) El país es mío epidémico, también es altamente
b) El protón y el electrón son mortal
partículas atómicas 5) No sólo la Uta es una
c) El agua y el aceite son enfermedad tropical, también la
sustancias incompatibles malaria.
d) El hierro con el carbono no son
sensibles Son inobjetablemente ciertas:
e) Trujillo es la capital de la a) 1, 2, 3 b) 2, 3, 4
primavera. c) 3, 4, 5 d) 1, 3, 5
e) Todas
17.Son enunciados abiertos o
indefinidos: 20.Son proposiciones implicativas:

Morales
1) La familia es la célula básica de 4. Las Relaciones Públicas

la sociedad si garantiza y determinan el éxito de una
ampara la procreación del empresa
género humano 5. Margarita y Raúl firmaron su
2) Porque garantiza y ampara la divorcio el día de ayer
procreación del género humano, Son ciertas, excepto:
la familia es la célula básica de la
sociedad A) 1 y 4 B) Sólo 3 y 5
3) Si la familia es célula básica de C) 1, 2 y 4 D) Sólo 2
la sociedad, luego garantiza y E) 2 y 4
ampare la procreación del
género humano 23. De los siguientes enunciados:
4) La familia es célula básica de la 1. Finlandia es potencia mundial
sociedad, ya que garantiza y tal como lo es Nueva Zelanda.
ampare la procreación del 2. Como soy candidato político,
género humano de allí que tengo el apoyo del
5) Ya que la familia es la célula pueblo
básica de la sociedad, garantiza 3. Aunque Martín y Miguel
y ampare la procreación del aprobaron Química, no
género humano pasaron el año escolar
4. Porque Robert baila, inferimos
Son ciertas: que esta alegre.
a) 1, 2, 3 b) 2, 3, 5 5. Debido a que pago mis
c) 1, 3, 4 d) Todas deudas, así pues no perderé
e) N.A. mi casa.
21. Son proposiciones primarias : No son proposiciones
1. La vid es un vegetal del que se condicionales:
obtiene el vino. A) Sólo 3 B) Sólo 2
2. El vino es licor porque se obtiene C) 2, 3 y 4 D) Sólo 1 y 3
de la uva. E) 2, 4 y 5
3. La televisión es un medio
masivo de la comunicación. 24. Son enunciados en donde no
4. El ácido cítrico es buena para se hace uso correcto de los
la salud. niveles del lenguaje:
5. El ácido sulfúrico es venenoso 1. La tasa es de vidrio
así mismo contaminante. 2. Sol tiene 3 letras
3. Si Willian no aprueba RL, no
No son absolutamente incorrectas: recibirá regalo por su
A) 1, 2, 3 B) 2, 3, 4 cumpleaños.
C) 3, 4, 5 D) 1, 3, 4 4. Mañana tiene 3 sílabas
E) 1, 3, 5 5. La mesa tiene forma de s
22. Son proposiciones Son ciertas:

relacionales: A) 2 y 5 B) 2, 3 y 5
1. No se puede mezclar C) 2, 4 y 5 D) Sólo 2 y 4
nitroglicerina y limaduras de E) Todas
hierro
2. El doctor Luis también Enrique 25. El requisito fundamental de
3. Mecánica, Industrial y Química una proposición es de ser:
tienen el mismo decano A) Aseverativo B) Explicativo

Morales
C) Declarativo D) Descriptivo 29. Dada la proposición: “Débora

E) Verdadera o falsa se resfría en verano o en
invierno”, podemos decir que:
26. La proposición se caracteriza 1. Es una proposición conjuntiva
porque: 2. Es una proposición replicativa
1. Es el significado o el contenido 3. Es una proposición disyuntiva
de una oración aseverativa. 4. Es una proposición alternativa
2. Afirma o niega algo de algo. 5. Es una proposición molecular
3. La oración que lo expresa debe Son ciertas:
tener sentido. A) 4 y 5 B) 1, 3 y 4
4. Se puede atribuir un solo valor C) 3, 4 y 5 D) Sólo 4
veritativo. E) Sólo 3
5. Tiene como atributo la verdad
o la falsedad. 30. Dada la proposición: “Si el
Son ciertas: Perú crece económicamente el
A) 1, 2 y 5 B) 1, 4 y 5 5%, así pues disminuye la
C) 2, 3 y 5 D) 2 y 5 pobreza”, podemos decir que:
E) Todas 1. Es una proposición compleja
2. Es una proposición simple
27. Son proposiciones monádicas: 3. Es una proposición replicativa
1. “El protón y el neutrón forman 4. Es una proposición coligativa
juntos el núcleo atómico” 5. Es una proposición condicional
2. “El protón y el neutrón son 6. Es una proposición implicativa
partículas atómicas” Son ciertas:
3. “El protón y el neutrón no
forman el núcleo” A) 5 y 6 B) 1, 4 y 6
C) 1, 5 y 6 D) Sólo 6
4. Anito estudia aptitud
matemática. E) 1, 4, 5 y 6
31. Son proposiciones
5. Sandalio y Roberto son primos.
Son inciertas, solamente: Compatibles:
1. Las células son seres vivos
A) 1, 3 y 5 B) 4 y 5 aunque también lo son los
C) 2, 3 y 4 D) 1 y 5 órganos.
E) 2 y 3 2. Los peces son acuáticos lo
mismo que los elefantes
28. La proposición: terrestres.
“Milton es amigo de Luis pero 3. No sólo Colón es descubridor
están en distintas secciones de sino también Magallanes lo
clase”. Tiene las siguientes fue.
características: 4. Marte es planeta inclusive
1. Es molecular 2. Es atómica Júpiter también.
3. Es relacional 4.Es predicativa 5. Tanto Lima como Trujillo son
5. Es conjuntiva capitales de departamento.
No son ciertas: Son correctas:
A) 1, 2 y 3 B) 2, 3 y 4 A) 1 y 5 B) 2, 3 y 4
C) 3, 4 y 5 D) 1, 3 y 4 C) 1, 3 y 5 D) Todas
E) 1, 4 y 5 E) N. A.

Morales
32. Son proposiciones disyuntivas 2) Es individual

incluyentes o débiles: 3) Es afirmativa
1. O Bolívar nació en Venezuela 5) Es particular
o en el Perú. Son ciertas solamente:
2. La inflación es causa de la
crisis en el país o lo es la falta A) 1, 2 y 3 B) 2, 3
recursos naturales. C) 2, 3 y 5 D) 5 y 1
3. Es falso que el agua potable E) 3 y 2
sea tóxica o venenosa.
4. Los juegos de video producen 36. Las proposiciones:
dependencia, y/o distracción. 1. Ningún estudiante no es
5. Es inobjetable que el 9 sea un inteligente
número entero además 2. Todos son postulantes
natural. 3. El cloro tiene valencia 1
Son ciertas: 4. El agua y el aceite no se
mezclan
A) 2 y 5 B) 2, 3 y 5 5. Un perro es un vertebrado
C) 2 y 4 D) 1, 3 y 5 Son universales:
E) N. A.
A) 1, 2 y 3 B) 2, 3 y 4
33. Es una proposición conjuntiva: C) 3, 4 y 5 D) 1, 2 y 5
A) Manuel es abogado o en todo E) 1, 4 y 5
caso contador
B) Si no me resfrío, iré a trabajar 35. De las siguientes oraciones:
este lunes 1. Pedro y Luis son hermanos de
C) Jhony vivió hasta los 70 años Carla.
en cambio su hermana hasta 2. “Cajamarca” tiene 9 letras.
los 62. 3. Perú y Brasil son países
D) Ingresaré si y solo si estudie vecinos.
con empeño 4. La biología es una ciencia
E) Ninguna anterior exacta.
34. El juicio: “Mickytoons es 5. Los peces no son mamíferos.
sudamericano” es: Son proposiciones simples:
1. Particular por su cantidad A) 2, 3 y 4 B) 3, 4 y 5
2. Afirmativa por su cualidad C) 1, 2 y 5 D) 1, 2 y 3
3. Probabilístico por su modalidad E) 2, 4 y 5
4. Simple por su estructura
5. Calidad Negativa 38. De las proposiciones:
Es falso que no sean incorrectas: 1. No sólo hoy se inaugura el
mundial de futbol sub-17,
A) 1, 2, 3 B) 2, 3, 4 también juega el Perú.
C) 3, 4, 5 D) 1, 3, 5 2. Trujillo, al igual que Lima, son
E) 1, 3, 5 provincias del Perú.
3. George Bush y Fidel Castro se
35. De la proposición: insultaron verbalmente.
“Tolentino viajará a Río de Janeiro 4. John Lenon, Paul Mcartney y
la próxima semana para bailar Gloria Estefan nunca cantaron
samba” juntos, a menos que hayan
Podemos afirmar: sido contemporáneos.
1) Es universal

Morales
5. Cierto es que Toledo es B) Universal, afirmativa, apodíctica.

Canciller del Perú lo mismo C) Universal, negativa, apodíctica.
que Olivera es presidente, D) Particular, afirmativa apodíctica.
asimismo Belaunde es ex E) Particular, negativa, asertórica.
presidente del Perú.
Son conjuntivas: 40. De las proposiciones:
1. 12+ 12 = 21 incluso 32=23 + 1.
A) 1, 2 y 3 B) 1, 2 y 4 2. Tito así como Tita son amigos.
C) 1, 2 y 5 D) 2, 3 y 4 3. No sólo los Trujillanos son
E) 3, 4 y 5 costeños, también los Iqueños
4. Salvo que la cerámica de los
39. Sea la proposición: “Ningún mochicas fuera escultórica, la
triángulo tiene cuatro lados”. De de nazca fue polícroma.
acuerdo con sus propiedades Sólo son conjuntivas:
intrínsecas, es una proposición: A) 1 y 3 B) 1, 3 y 5
C) 2, 3 y 4 D) 2, 3 y 5
A) Universal, negativa, asertórica.
AV. JUAN PABLO II Nº 261

BÁSICO
Frente a la UNT – Tel.767218
FORMALIZACIÓN
OBJETIVOS
Al finalizar el presente capítulo, el lector estará en la capacidad de:

 Reconocer las diversas estructuras proposicionales y asignar los
conectores apropiados.
 Simbolizar proposiciones lógicas.
 Traducir las fórmulas proposicionales en lenguaje cotidiano o
científico.
INTRODUCCIÓN
El pensamiento humano formulado en un lenguaje ordinario resulta un poco complicado

de analizar, es por ello que en la lógica ha sido factible crear un lenguaje simbólico que
permite expresar sus formas y operaciones más simples.
Aristóteles es considerado el “Padre de la lógica formal antigua”, ya que por primera vez
usó ciertas abreviaturas para facilitar su teoría de silogismos. Posteriormente Gotlob
Frege, elaboró una teoría de formalización, haciendo uso de constantes y variables.
I. DEFINICIÓN

Morales
Es el procedimiento mediante el cual se identifican proposiciones simples y

estructuras lógicas, asignándoles a las proposiciones simples, variables lógicas y a las
estructuras lógicas, conectores lógicos.
1. VARIABLES
1.1 Proposicionales: Son letras minúsculas que representan a una

proposición simple (p, q, r, s,...). Se asignan en forma correlativa
alfabética.
Ejemplo:
El agua es necesario para la vida: p
3+2 = 2+3 : q
1.2 Metalingüísticas: Son letras mayúsculas que son usadas en la

representación de fórmulas u operaciones lógicas (A, B, C,...)
2. OPERADORES O CONECTORES LÓGICOS

Son símbolos convencionales que se usan para representar a las estructuras
lógicas. Tienen la función de relacionar proposiciones simples haciéndolas
compuestas.
Ejemplo:
Dada la siguiente proposición compuesta: “ Si ingreso a la UNC, entonces seré
universitario”.
Estructura lógica: Si ..., entonces ...

Conector lógico : 
Conectores principales:
1) El Negador : “...... no ...... “ ()

2) El conjuntor : “...... y ......” ()
3) El disyuntor incluyente: “...... o ......” ()
4) El implicador : “Si ......, entonces......” ()
5) El Replicador : “...... Si ......” ( )
6) El bicondicional : “...... si y solo si ......” ()
7) El disyuntor excluyente : “o ...... o ......” ()
8) El Inalternador : “ni.....ni......”. ()
9) El Incompatibilizador : “no.....o no......” ( /)
JERARQUÍA DE LOS CONECTORES

Se usa cuando no hay símbolos auxiliares como los paréntesis, corchetes, llaves, etc.

Morales
ORDENANDO DE MAYOR A MENOR JERARQUÍA
Conector      
Ejemplo:
p  q  r (fórmula implicativa)
p  q  r (fórmula biimplicativa)
En el primer ejemplo como “” tiene mayor jerarquía que “” y “”, entonces
agrupamos:
(p  q)  r
Quedando como conector principal (implicativa) el de mayor jerarquía.
3. SÍMBOLOS AUXILIARES DE AGRUPACIÓN

Son símbolos que se usan para agrupar fórmulas lógicas. Estos símbolos dejan
sin efecto a la jerarquía de los conectores.
Los símbolos son: ( ), [ ], { }
Ej.
(p  q)  r
II. PROCEDIMIENTO PARA FORMALIZAR
1. EL NEGADOR (Inversor o Dualizador formal)

Este conector realiza la operación lógica de la Negación, es decir es un conector
unario, monádico o uniproposicional
 Traducción: Es falso que....

 Símbolos : p, p, p
 Ejemplo:
 Es falso que Lima no es capital de Colombia.

p
Formalización: (p)
2. EL CONJUNTOR (Juntor, Compatibilizador)

Este conector realiza la operación lógica de la conjunción, es decir es un
conector diádico o biproposicional
 Traducción: ..... y ......

 Símbolos : pq, p&q, pq, pxq, pq
 Ejemplos:
 Mariátegui fue político, escritor y poeta.
Formalización: p  q  r

Morales
 Los gatos y los perros son vertebrados y carnívoros.
Formalización: (p  q)  (r  s)
3. EL DISYUNTOR INCLUYENTE O DÉBIL (Alternador)

Este conector realiza la operación lógica de la Disyunción, es decir es un
conector binario, diádico o biproposicional.
 Traducción: ..... o ......

 Símbolos : pq, pq, p+q
 Ejemplos:
 Manuel es ingeniero o doctor.
Formalización: p  q
 La matemática es una ciencia formal a menos que sea fáctica.
4. EL DISYUNTOR EXCLUYENTE O FUERTE (Bidisyuntor, contravalorador)
 Traducción: o..... o......

 Símbolos : pq, pq, pq, pq, pq, p q
 Ejemplos:
Se distinguen tres casos:
a) Por su forma: o ..... o .....
 Manuel es ingeniero o doctor.
b) Términos modificadores
Al combinar la “o” con los términos modificadores: sólo, solamente,
únicamente, exclusivamente, prioritariamente; se obtiene una “o”
excluyente.
 Manuel es ingeniero o sólo doctor.
c) Por su contenido
Cuando las proposiciones no pueden ser verdaderas a la vez.

Morales
Ej.
 El Perú se ubica en América o Europa.
En este caso a pesar que sólo tiene una “o” se formaliza con disyuntor
excluyente, dado que si es verdad que Perú está ubicado en América
entonces, sería falso que Perú esté ubicado en Europa y viceversa.
5. EL IMPLICADOR (Condicionador Directo, Hipotetizador)
 Traducción: Si...., entonces.....

 Símbolos : pq, pq
 Ejemplos:
Se distinguen tres casos:
a) Por su forma : Si .... entonces .....

 Si estudias, entonces ingresarás a la Universidad.
Formalización: p  q
b) Por términos modificadores

Al combinar la palabra “si” con los términos modificadores: sólo, solamente,
únicamente, exclusivamente, prioritariamente; se obtiene una estructura
implicativa.
 La demanda aumenta solamente si los precios bajan.

p entonces q
Formalización: p  q
c) Uso de condición suficiente y necesaria
S i h a y in fla c ió n , e n to n c e s s u b e n lo s p r e c io s .
A n te c e d e n te C o n s e c u e n te
C o n d ic ió n C o n d ic ió n
s u f ic ie n t e n e c e s a r ia
En el ejemplo anterior:
 Condición suficiente: Hay inflación

 Condición necesaria: Suben los precios
Luego:

Morales
Hay inflación  suben los precios.

p q
6. EL REPLICADOR (, )
 Traducción: ....si.....
 Símbolos : pq, pq
 Ejemplos:
 El oro es un metal si el plomo lo es.

p q
Formalización: p  q
 Suben los precios porque hay bienestar social.

p q
 Sólo si la demanda aumenta, los precios bajan.

Entonces
7. EL BIIMPLICADOR (Bicondicionador, coimplicador o Equivalorador)
 Traducción: ....si y solo si....

 Símbolos : pq, pq, pq, pq, pq
 Ejemplos:
 Un número es divisible por dos si y sólo si es un número par.
Formalización: p  q
 Es suficiente que la lámpara esté encendida para que

suficientemente haya fluido eléctrico.
 Sólo si Chimbote está al sur de Trujillo, entonces Trujillo está al sur de

Pacasmayo.
8. EL INALTERNADOR (Negador conjunto, Daga de Sheffer, Nand)
 Traducción: ni....ni....
 Símbolos : pq
 Ejemplos:
 Ni llueve ni nieva.

Morales
Formalización: p  q
9. EL INCOMPATIBILIZADOR (Negador disyunto, barra de Nicod, Nor)
 Traducción: no....o no....

 Símbolos : p/q
 Ejemplos:
 El conocimiento no es objetivo o no es subjetivo.
Formalización: p / q
 El que estudie robótica es incompatible con estudie derecho.
Formalización: p / q
EXPLICITACIONES VERBALES DE LOS CONECTORES LÓGICOS
1. EL NEGADOR: A  En absoluto se da A
 No A, Nunca A, Jamás (A) (*)  Es insatisfacible que A
 Es incompatible que A  Es insostenible que A
 Es inconcebible que A  Es inaudito que A
 No ocurre que A  No, no es cierto que A
 No es verdad que A
 No es el caso que A 2. EL CONJUNTOR: A  B
 No acaece que A  AyB
 Es mentira que A  A sino B
 Es inadmisible que A  Aún cuando A, B
 De ninguna forma se da que A  A aunque B
 En forma alguna A  A pero B
 Es incorrecto que A  A sin embargo B
 Es incierto que A  A incluso B
 Nadie que sea A  A es compatible con B
 Es objetable que A  A así mismo B
 Es absurdo que A  A del mismo modo B
 Es falso que A  A aún cuando B
 Es refutable que A  A también B
 Es falaz que A  A de la misma forma que B
 Es rebatible que A  A al igual que B
 Es dual formal de A  Tanto A como B
 Es inconsistente que A  A simultáneamente B
 En modo alguno se da A  A no es incompatible B

Morales
 El que A no excluye que B  Porque A por eso B

 A empero B  Como A es evidente B
 Sin que A tampoco B  Con tal que A es obvio que B
 Siempre ambos A con B  Toda vez que A en consecuencia
 A no obstante B B
 No sólo A sino también B  A consiguientemente B
 A al igual que B  Dado que A por lo cual B
 A a pesar que B  En la medida que A de allí B
 A a la vez B  En virtud de que A entonces B
 A más B  A implica B
 A es innecesario para B
3. EL DISYUNTOR INCLUYENTE: A   A es condición suficiente para B
B  A sólo si B
 A o B (sentido incluyente)  A luego B
 A a menos que B  A trae como consecuencia a B
 a menos que A, B  De A deviene B
 A salvo que B  Partiendo de A llegamos a B
 A excepto que B  De A inferimos, deducimos,
 A o también B coligamos B
 A o bien B  Para A es condición necesaria B
 A a no ser que B  A sólo cuando B
 A o incluso B  Es suficiente A y B necesario
 A y bien o también B  En el caso que A en tal sentido B
 Al menos uno de los dos A ó B
 A o sino B 6. EL REPLICADOR: A  B
 A alternativamente B  Sólo si A, B
 A y/o B  Solamente porque A, B
 A si B
4. EL DISYUNTOR EXCLUYENTE: A  B  A porque B
 A o B (sentido excluyente)  A dado que B
 O bien A o bien B  A ya que B
 A a menos que solamente B  A siempre que B
 A salvo que únicamente B  A puesto que B
 A excepto que sólo B  A es condición necesaria para B
 a menos que sólo A, B  A es insuficiente para B
 A o bien necesariamente B  Es necesario A para B
 A o exclusivamente B  Es insuficiente A para B
 A no es equivalente a B  A cada vez que B
 A no es idéntico a B  A está implicado por B
 A no es lo mismo que B  A con la condición de que B
 Ya bien A ya bien B  Si solamente A cada vez que B
 Sólo A o sólo B  A debido a que B
 a lo más uno de los dos A o B  A depende de B
5. EL IMPLICADOR: A  B  A sigue de B
 Si A entonces B  Únicamente si A, B
 Siempre que A por consiguiente B
 Ya que A bien se ve que B 7. EL BIIMPLICADOR: A  B
 Dado A por eso B  A si y sólo si B
 En cuanto A por tanto B  A por lo cual y según lo cual B

Morales
 A cuando y sólo cuando B

 A cada vez que y sólo si B 8. EL INALTERNADOR: A  B
 Si y sólo si A, B  Ni A ni B
 Porque y solamente por que A, B
 Es suficiente A para que 9. EL INCOMPATIBILIZADOR: A / B
suficientemente B  No A o no B
 Es necesario A para que
necesariamente B
 A es condición suficiente y
necesaria para B
 A siempre que y sólo cuando B
 Siempre que A y siempre que B
 A es equivalente a B
 A es lo mismo que B
 A es idéntico a B
 A implica y está implicado por B
 A se definen lógicamente como B
1. Dada la siguiente proposición persona que lo habita, no se puede

compuesta: “El sillón de mismo ingresar en el domicilio, tampoco
modo como el sofá son muebles, efectuar investigación ”, se
no obstante no se consideran formaliza:
como artefactos” A) (p  q)  (r  s)
¿Por cuántas proposiciones B) (p  q)  (r  s)
atómicas está conformada? C) (p  q)  (r  s)
D) (p  q)  (r  s)
A) 2 B) 4 C) 1 E) (p  q)  (r  s)
D) 5 E) 3
4. La proposición: “Suponiendo que el
2. La proposición: “Si el niño, el ómnibus sale hoy para Ayacucho,
adolescente y el anciano son es obvio que no cayo un huayco o
abandonados, por supuesto serán tampoco hubo un terremoto”, se
protegidos por el estado”, se formaliza:
formaliza:
A) p  (q  r)
A) (pqr)  s B) p  (q  r)
B) (pqr)  (stu) C) p  (q  r)
C) (p  q  r)  s D) p  (q  r)
D) p  (stu) E) N.A.
E) p  q 5. La proposición: “Para que Javier
obtenga un puesto en la Orquesta
3. La proposición: “Sin mandato Sinfónica, es necesario que sea
judicial ni autorización de la

Morales
músico al igual que compositor”, se E) [p  (q  r)]  [r  (p  q)]

formaliza:
10.La proposición: “Es falso que
A) p  q  r B) (p  q)  r vendes tu casa al igual que tu
C) p  (q  r) D) p  (q  r) auto. Sin embrago no vendes tu
E) (p  q)  r casa ni tu auto siempre y cuando
vendas tu empresa”, se formaliza:
6. La proposición: “Es suficiente que,
para que Matilde pague sus A) (p  q)  [(p  q)  r]
tributos es necesario que cobre B) (p  q)  [(p  q)  r]
puntualmente su giro en el banco; C) (p  q)  [(p  q)  r]
para que el banco no decida D) [(p  q)  (p  q)]  r
embargar su propiedad”, se E) N.A.
formaliza:
11.Es incorrecto que 1 y 3 son pares.
A) (p  q)  r Sin embrago 7 y 11 son primos, se
B) (p  q)  r formaliza:
C) (p  q)  r
D) (p  q)  r A) (p  q)  (r  s)
E) (p  q)  r B) (p  q)  (r  s)
C) (p  q)  (p  q)
7. La proposición: “Es incompatible D) (p  q)  (r  s)
que, las peleas callejeras se E) (p  q)  (r  s)
producen por pandilleros salvo que
se produzcan por gente de mal 12.La proposición: “Es mentira que
vivir”, se formaliza: amanecerá nublado salvo que sea
falso que estemos en verano”, se
A) (p  q) B) (p  q)C)(pq) formaliza:
D) p / q E) (p / q) A) (p  q) B) (p  q)
C) p  q D) p
8. La proposición: “Raúl viajará a E) q  p
Londres, puesto que obtuvo la
beca y habla correctamente el 13.La proposición: “Es mentira que
inglés”, se formaliza: Raúl postulará a medicina pero
A) p  (q  r) B) p  (q  r) también es mentira que Rita
C) p  (q  r) D) p  (q  r) postulará a derecho y a
E) N.A. ingeniería”, se formaliza:
A) p  q  r
9. La proposición: “Si el embajador ha B) p  (q  r)
viajado, ha debido ir o a Buenos C) p  (q  r)
Aires o a Brasilia. Debo concluir D) p  (q  r)
que ha ido a Brasilia, pues ha E) N.A.
viajado y no ha ido a Buenos 14.La proposición: “Siempre que es
Aires”, se formaliza: falso que la malaria y el cólera son
enfermedades endémicas
A) [p  (q  r)]  [r  (p  q)] producidas por bacterias; por ello
B) [p  (q  r)]  [r  (p  q)] son curables pues existen
C) [p  (q  r)]  [r  (p  q)] medicamentos de mucha eficacia”
D) [p  (q  r)]  [r  (p  q)]

Morales
A) { (p  q)  (r  s) } D) (p  q)  r
B) { (p  q)  [(r  s)  t] } E) p  (q  r)
C) (p  q)  [(r  s)  t]
D) (p  q)  (r  t) 18.La expresión: “Sólo si juego cuando
E) N.A. no canto, no canto cuando duermo;
en vista de que ni duermo ni canto
15.La fórmula: (q  r) p, se lee cuando juego”. Se formaliza:
correctamente:
1) Es suficiente que me prepare A) [(p  q)  (q  r)]  [(r  q)  p]
pero que no ingrese, para que B) [(p  q)  (q  r)]  [(r  q)  p]
consiga empleo C) (p  q)  [(r  q)  p]
D) (p  q)  [(r  q)  p]
2) Si Raúl enciende la luz del
E) [(p  q)  (q  r)][(r  q) p]
mismo modo como no prende
la lámpara, obviamente que
19.En la siguiente proposición
gastará menos energía
compuesta: “Suponiendo que
3) Es necesario que la proposición
mecánica, metalúrgica, industrial
sea la explicitación del juicio
inclusive también química son
aseverativo, para que tenga
carreras de ingeniería,
coherencia así como no
seguramente no tienen el mismo
ambigüedades.
director de escuela”
4) Los peces respiran por
¿Cuántas proposiciones simples se
branquias porque viven en el
pueden identificar?
mar y no en la tierra
A) 4 B) 5 C) 6
5) Ya que Martín es abogado pero
D) 7 E) 8
no es juez, podrá litigar
tranquilamente en el juzgado
20.La proposición: “Es incorrectamente
Son ciertas:
falso suponer que, si 2 es un
número par entonces su opuesto
A) 1, 2 y 5 B) 1 y 2 C) 3 y 4
es un entero. Sin embargo si es un
D) 1 y 4 E) N.A.
entero el opuesto de 2, luego es
un número negativo”, se formaliza:
16.La proposición: “Si es falso que la
lógica y la matemática sean
A) (p  q)  (r  s)
ciencias formales, ni la lógica ni la
B) (p  q)  (r  s)
matemática utilizan la inducción
C) (p  q)  (q  r)
para demostrar sus principios” Se
D) (p  q)  (q  r)
formaliza:
E) [(p  q)  (q  r)]
A) (p  q)  (r  s)
B) [(p  q)  (r  s)]
C) [(p  q)  (r / s)]
D) (p  q)  (r / s)
E) (p  q)  (r  s)
17.La proposición: “Los números 1, 2 y
CEPUNT II – I SUMATIVO 2008
3 son naturales consecutivos, sin
21.El enunciado: “Si el órgano del olfato
embargo los números 1 y 5 no son
es la nariz obviamente la nariz no
consecutivos” Se formaliza:
sirve para percibir sabores, pero los
A) p  q
sabores son percibidos por el órgano
B) (p  q  r)  (s  t)
del gusto. Consecuentemente, el
C) p  q órgano del olfato es la nariz o el

Morales
órgano del gusto es la lengua”. Se

formaliza: A) p  (q  r)
B) p  (q  r)
A) [ (p   q)  r]  (p  r)
C) p  (q  r)
B) [ (p   q)  r]  (p  r)
D) p  (q  r)
C) [ (p   q)  r]  (p  s)
E) p  (q  r)
D) [ (p   q)  r]  (p  s)
E) [ (p   q)  r]  (p  s)
CEPUNT I – II SUMATIVO 2008
25.La siguiente expresión: “Jamás en
CEPUNT II – I SUMATIVO 2008 verano hace frío, aun cuando en
22.En la expresión verbal: “Es condición invierno no llueve al igual que hay
suficiente la física para la química al eclipse total, asimismo hay
igual que lo es la lógica para la evaporación de agua tal como no
matemática. Por ello las cuatro hay tormenta”.
ciencias son importantes para el Se formaliza:
desarrollo de la sociedad”. Su
formalización correcta es:
A) pqrst
B) pqrst
A) [(p  q) & (r  s)]  (r & u & v
C) pqrst
&w)
D) pqrt
B) (p & q)  (r & s & t & u)
E) p  q  r  s  t
C) [ (p  q) & r]  (s & t & u)
D) [ (p  q) & (r  s) ]  t
EXON. 2008 I – UNT (Ciencias)
E) [ (p  q) & r]  s
26.Raúl, Ervando y Carlos son
hermanos, no obstante, ellos aún no
laboran”.
23.La proposición: “La Psicología
Se formaliza:
estudia la conducta del niño y del
anciano. Pintarse el pelo es una
A) [(p  q)  r]   s
conducta infantil o no infantil; no
B) (p  q  r)  s
obstante, porque estudia la
C) [p  (q  r)]  s
conducta senil, pintarse el pelo no
D) p  (q  r  s)
es infantil. Esto implica en que la
E) p  (q  r  s)
Psicología evolutiva estudia ambas
etapas”.
ORDINARIO 2007 – II UNT (Let.)
Se formaliza como:
27.El Perú saldrá del subdesarrollo
A) {(pq)[(rr)(q r)]}  (st)
cuando tenga una política de
B) {(pq)  [(rr)  (qs)]}  inclusión social y de estabilidad
(tu) monetaria”.
C) {(pq)  [(rr)  (q  s)]}  t Se formaliza:
D) {(pq)  [(rr)  s]}  (tu) A) p  (q  r) B) p  (q  r)
E) {(pq)  [(rr)  (q r)]}  (st) C) (p  q)  r D) (p  q)  r
E) p  (q  r)
CEPUNT I – II SUMATIVO 2008 EXONERADOS 2008 I – UNT (Let.)
24.Si la expresión: “Puesto que hay 28.La proposición: “O bien el fenómeno
globalización, consecuentemente del niño ha ocasionado daños al
hay países con tecnología avanzada Perú ya bien trajo beneficios. Es
al igual que países atrasados”. Se claro que el fenómeno del niño
formaliza: ocasionó daños, pero favorecerá la

Morales
producción. Por lo tanto, el

fenómeno del niño trajo al Perú A) (p  q)  (r  s)
beneficios”. B) (p  q)  (r  s)
Se formaliza: C) p  [q  (r  s)]
D) (p  q)  [(r  s)  (t  u)]
A) [ (A  B)  (C  D) ]  E E) p  [q  (r  s)]
B) [ (A  B)  C ]  D
C) [ (A  B)  (A  C) ]  B ORDINARIO 2007 I–UNT (Letras)
D) [ (A  B)  C ]  D 32.Aristóteles y Platón enunciaron,
E) (A  B)  C respectivamente, que “toda
proposición es verdadera o falsa” al
EXON. 2008 I – UNT (Ciencias) igual que “es imposible que una
29.La proposición: “Si los conceptos, los proposición sea verdadera y sea
juicios y los raciocinios son formas falsa a la vez”. Se formaliza como:
del pensamiento, se colige que son
abstractos, respectivamente”. Se A) pq
formaliza como: B) pq
C) pq
A) [(p  q  r)  s]  (t  u) D) (p   p)  (p   p)
B) [(p  q  r)  (s  t  u)] E) (p   q)  (p   q)
C) [(p  q  r)  s]  (t  s)
D) [(p  q  r)  s]  (t  u) EXTRAORDINARIO 2007– I UNT
E) (p  q  r)  s 33.La proposición: “2, 4 y 6 son
números naturales pares
EXON. 2008 I – UNT (Ciencias) consecutivos, sin embargo los
30.El enunciado: “La modificación de la números 4 y 8 no son primos entre
ley 20530 era necesaria porque sí”. Se formaliza como:
significaba un gran gasto para el
erario nacional. Sin embargo deben A) p  q B) p  q C) p  q
considerarse sus alcances, dado que D) p   q E) p   q
no todos los jubilados perciben
grandes pensiones”. Se formaliza: ORDINARIO 2006 – I UNT (Cienc.)
34.La proposición: “Carlos, el
A) (p  q)  (r  s) basquetbolista, estudia en el colegio
B) (p  q)  (r  s) San Juan ya que vive en a Urb.
C) (p  q)  (r  s) Primavera”.
D) (p  q)  (r  s) Se formaliza:
E) (p  q)  (r  s)
A) p  q B) p  q
C) p  (q r) D) (p  q)  r
E) p  q
EXTRAORDINARIO 2007 I–UNT ORDINARIO 2006 – I UNT (Cienc.)

31.La proposición: “Los musgos así 35.La proposición: “Es falso que, Juan
como los líquenes se reproducen si no sepa jugar ajedrez y que además
viven en los mares y a una no sepa jugar básquet, puesto
temperatura moderada”. Se que es exalumno del colegio San
formaliza como: Juan”. Se formaliza:

Morales
A) (p  q)  r además se representa por un

B) (p  q)  r quebrado donde el numerador es la
C) (pq)  p unidad de medida del dibujo y el
D) (p q)  r denominador es equivalente en el
E) (p q)  r terreno representado, tal como por
una doble línea dividida en
CEPUNT I – I SUMATIVO 2006 segmentos con su equivalencia,
36.La proposición: “La lógica y la respectivamente”.
matemática son ciencias formales, Se formaliza:
pero no fácticas ni experimentales”.
Se formaliza: A) [p  (q  r)]  (s  t)
A) (p  q)  (r  s) B) (p  q)  [(r  s)  (t  u)]
B) (p  q)  (r  s) C) p  {(q  r)  [ (s  t)  (u 
C) (p  q)  r s) ] }
D) (p  q)  (r  s)  (t  u) D) (p  q)  [(r  s)  (t  u)]
E) (p  q)  (r  s)  (t  u) E) [p  (q  r)]  [ (s  t)  u ]
CEPUNT I – I SUMATIVO 2006 CEPUNT I – I SUMATIVO 2005

37.La proposición: “A la vez si la luna 40.La proposición: “Si el oro no es un
es satélite de la tierra forma parte metal, por lo tanto es metal
del sistema planetario, y los astros electropositivo; puesto que, cuando
tienen su propio sistema”. un elemento no es metal tiene
Se formaliza: entonces carga positiva”. Se
A) (p  q) & r B) (p & q) & r formaliza:
C) (p  q) & r D) (p  q)  r
E) (p  q)  r A) (p  q)  (r  s)
B) (p  q)  (r  s)
CEPUNT I – I SUMATIVO 2006 C) (p  q)  (r  s)
38.La proposición: “Sin mandato judicial D) (p  q)  (r  s)
ni autorización de la prensa que lo E) (p  q)  (r  s)
habita, no se puede ingresar en el
domicilio, tampoco efectuar CEPUNT I – I SUMATIVO 2005
investigación”. Se formaliza: 41.La proposición: “En el Perú ni hay
empleo ni justicia; puesto que es
A) (p  q)  (r  s) mentira que si el Estado produce
B) (p  q)  (r  s) gas, aumentará la inversión
C) (p  q)  (r  s) privada”. Se formaliza:
D) (p  q)  (r  s)
E) (p  q)  (r  s) A) (p | q)   (r  s)
B) (p | q)   r
C) (p  q)  (r  s)
D) (p  q)   (r  s)
E) (p  q)   (r  s)
ORDINARIO 2006 – I UNT (Cienc.) CEPUNT I – I SUMATIVO 2005
39.La proposición: “La escala es la 42.El enunciado: “La masa y la energía
relación de medida entre un son incompatibles, puesto que la
territorio y el dibujo que la masa es una magnitud, mientras
representa a no ser que puede ser que la energía no lo es. La masa es
numérica tanto como gráfica; el peso, es incompatible con que sea

Morales
energía pura sin transformarse. De medidas neoliberales, está implicado

todo ello inferimos que la masa sea en la aplicación del modelo
fuerza si la energía es poder”. Se económico neoliberal en nuestro
formaliza: país”.
A) {[(p|q)(r s)]  (s/t)}  (u|v) Se formaliza:

B) {[p  (qr)]  (s/t)}  (u/v)
C) {[p  (qr)]  (s/t)}  (u  v) A) (p  q  r)  s
D) {[p  (qr)]  (s / t)}  (u / v) B) (p  q  r)  s
E) {[p  (qr)]  (s / t)}   (u / v) C) [(p  q)  r]  s
D) (p  q  r)  s
CEPUNT I – I SUMATIVO 2005 E) (p q  r)  s
43.La proposición: “No es cierto que ni
la napa freática disminuya ni que ORDINARIO 2004 – II UNT (Letras)
llueva en Trujillo, salvo que cada vez 46.La proposición: “La lógica es una
que la napa freática no disminuya ciencia formal, tiene aplicaciones
consiguientemente llueva en prácticas; no obstante la lógica no
Trujillo”. Se formaliza: estudia el contenido del
pensamiento, tampoco estudia los
A)  (p /q)  (p  q) valores”.
B)  (p  q)  (p  q) Se formaliza:
C)  (p  q)  (p  q)
D)  (p  q)  (p  q) A) (p  q)   (r  s)
E)  (p  q)  (p  q) B) (p  q)  (r  s)
C) (p  q)  (r  s)
ORDINARIO 2005 – II UNT (Letras) D) (p  q)   (r  s)
44.La proposición: “Los gatos son E) (p  q)  (r  s)
felinos, ya que los leones lo son, en
cambio los conejos no lo son, es ORDINARIO 2004 – II UNT (Letras)
diferente a que los camellos mas 47.La proposición: “García fue
aún los dromedarios pertenecen al contrincante de Toledo porque
orden de los camélidos”. ambos eran candidatos a la
Se formaliza: presidencia de la República”. Se
formaliza:
A) [ (p  q)  r]  (s  t)
B) [ r  (p  q) ]  (s  t) A) p  q B) (pq) (rs)
C) [ r  (p  q) ]  (s  t) C) p  (pq) D) p  (qr)
E) p  (qr)
D) [ (p  q)  r]  (s  t)
E) N.A.
ORDINARIO 2004 – II UNT (Cienc.)

ORDINARIO 2004 – II UNT (Letras)
45.El enunciado: “La privatización de
48.La proposición: “Tanto Carlos como
las empresas del Estado, no
Margarita son amigos de Luis, pero
aumento de los sueldos de los
como Elena es esposa de Luis,
trabajadores y bien o también la
entonces Elena es amiga de Carlos
reducción del sector estatal son

Morales
así como de Margarita”. Se ORDINARIO 2003 – I UNT (Cienc.)

formaliza: 50.La proposición: “El peroxido de
sodio, o también llamado oxilita es
A) (p  q)  [r  (pq)] un compuesto químico binario”. Se
B) (p  q  r)  (s  t) formaliza:
C) (p  q)  r
D) (p  q)  [ r  (s  t) ] A) p B) p  q
E) [(p  q)  r]  (s  t) C) p  q D) (p  q) r
E) p  q
ORDINARIO 2003 – I UNT (Letras)
49.La proposición: “Siempre y sólo
cuando existe desocupación es obvio
que habrá hambre, delincuencia tal
como aumentará el índice de
mortalidad”. Se formaliza:
A) p  (q  r  s)
B) p  (q  r)  s
C) p  q  (r  s)
D) p  (q  r  s)
E) p  (q  r)
INSTITUCION EDUCATIVA
“LATINO”
VERDAD FORMAL
SAN PEDRO DE LLOC
OBJETIVOS

 Manejar las definiciones de las reglas de los conectores lógicos.
 Diferenciar los esquemas tautológicos, contingentes y contradictorios.
 Evaluar esquemas moleculares mediante tablas de verdad.
INTRODUCCIÓN
La tabla de valores de verdad, también conocida como tabla de verdad, es una

herramienta desarrollada por Charles Peirce en los años 1880, siendo sin embargo más
popular el formato que Ludwig Wittgenstein desarrollado en su Tractatus logico-
philosophicus, publicado en 1921.

Morales
Se emplean en lógica para determinar los posibles valores de verdad de una expresión o
proposición molecular, haciendo uso de reglas de conectores lógicos. También se emplea
para demostrar que una inferencia es válida, mostrando que, efectivamente, es una
tautología.
Cada conector lógico posee convencionalmente ciertas reglas, las cuales son derivadas
principalmente de tres principios lógicos o fórmulas tautológicas denominados:
“PRICIPIOS LÓGICOS CLÁSICOS DEL PENSAMIENTO”
1. PRINCIPIOS LÓGICOS CLÁSICOS DEL PENSAMIENTO

Los principios lógicos constituyen las bases de la lógica aristotélica clásica. Estos son:
1.1. Principio de Identidad: (Parménides 515 A.C.)
Este principio establece: “Si una proposición es verdadera entonces es

verdadera”
Esto significa que toda proposición se implica así misma: P  P
Ejemplo:
Si la lógica es ciencia formal, entonces es un una ciencia formal
1.2. Principio de no contradicción: (Platón 428 A.C.)
Este principio establece: “Es imposible que una proposición sea verdadera y
falsa a la vez”
Esto significa que no puede ser cierto que una proposición se acepte
simultáneamente con su contrario:  (p   p)
Ejemplo:
No es el caso que un hombre sea mortal y al mismo tiempo no lo sea.
1.3. Principio del Tercio Excluido: (Aristóteles 384 A.C.)
Este principio establece: “Toda Proposición es verdadera o falsa, la tercera

posibilidad está excluida”
Esto significa que una proposición lógica es de carácter bivalente; solo puede ser
verdadera o falsa: p   p
Ejemplo:
El número 7 es un número impar o no es impar.
2. TABLAS DE VERDAD

Morales
Es una gráfica que sirve para analizar esquemas moleculares, estos esquemas
dependen de los valores de las proposiciones componentes y la correcta aplicación de
las reglas veritativas correspondientes a sus conectores.
Una tabla de verdad tiene elementos, éstos son:
Variables Fórmula
Lógicas p q (p  q)   p
Lógica
1 1 1 0 0
Arreglos 1
1 0 0 1 0
1
0 1 0 1
1
0 0 0Matriz Principal
Para hallar el número de arreglos por columna, hacemos uso de la fórmula:
2n = Nº de arreglos por
Donde:
n: El número de variables con los que cuenta el esquema molecular.
2: Son los valores verdaderos (1) y falso (0) que se van a combinar.
3. REGLA DE LOS CONECTORES LÓGICOS
3.1. EL NEGADOR
“Si una proposición es verdadera, su negación será falsa y viceversa”
A A A -A
V F 1 0
F V 0 1
3.2. EL CONJUNTOR
“Una proposición conjuntiva es verdadera cuando todos sus
componentes son verdaderos. Es falsa cuando por lo menos uno de sus
componentes es falso”
A  B A x B
V V V 1 1 1
V F F 1 0 0
F F V 0 0 1
F F F 0 0 0
3.3. EL DISYUNTOR DÉBIL

“Una proposición disyuntiva es falsa cuando todos sus componentes son falsos.
Es verdadera cuando por lo menos uno de sus componentes es verdadero”

Morales
A  B A + B
V V V 1 1 1
V V F 1 1 0
F V V 0 1 1
F F F 0 0 0
3.4. EL DISYUNTOR FUERTE

“Una fórmula Bidisyuntiva es verdadera cuando sus componentes tienen valores
diferentes. Es falso si sus componentes tienen valores iguales”.
A  B A  B
V F V 1 0 1
V V F 1 1 0
F V V 0 1 1
F F F 0 0 0
3.5. EL CONDICIONAL
“Una proposición condicional solo es falsa cuando el antecedente es verdadero y
el consecuente falso. En los demás casos la proposición será verdadera”.
A  B A  B
V V V 1 1 1
V F F 1 0 0
F V V 0 1 1
F V F 0 1 0
3.6. EL BICONDICIONAL
“Una proposición Bicondicional es verdadera cuando todo sus componentes son
iguales. Es falsa si sus componentes tienen valores diferentes”.
A  B A = B
V V V 1 1 1
V F F 1 0 0
F F V 0 0 1
F V F 0 1 0
4. ESQUEMAS MOLECULARES SEGÚN SU MATRIZ

Según los resultados que se obtengan en la matriz principal en la tabla de verdad, los
esquemas moleculares pueden ser: tautológicos, contingentes y contradictorios
4.1. Tautológico (Satisfacible, Verídico)
Se caracterizan porque en su matriz principal los valores son sólo verdaderos
Ejemplo:

Morales
A B (A  B )   A  B
1 1 1 1 0 1 1
1 0 0 1 0 0 0
0 1 1 1 1 1 1
0 0 1 1 1 1 0
M A T R IZ P R IN C IP A L
Observe que en la matriz principal de la tabla de verdad existen solo valores

verdaderos, entonces el esquema (AB)  (¬A B) es tautológico.
4.2. Contingente
Es aquella que en su matriz principal contiene por lo menos una verdad y una
falsedad.
Ejemplo:
A B (A  B )   A  B
1 1 1 1 0 1 1
1 0 0 1 0 0 0
0 1 0 0 1 1 1
0 0 0 0 1 1 0
Observe que en la matriz principal de la tabla de verdad existen valores verdaderos (1)
y falsos (0), entonces el esquema es contingente. Los valores unos y ceros pueden
estar ubicados de diferente manera.
4.3. Contradictorios (Insatisfacible)

Se caracterizan porque en su matriz principal sólo existen valores falsos.
Ejemplo:
A B (A  B )  A  B 
1 1 1 0 0 0 1
1 0 1 1 1 0 0
0 1 0 0 0 0 1
0 0 0 1 1 0 1
Como en su matriz principal sólo existen valores ceros, el esquema es

contradictorio.
RESUMEN DE LOS CONECTORES LÓGICOS

Morales
p q  p  q p  q p  q p  q p  q p  q p  q p  q p | q
1 1 0 0 1 1 1 1 0 1 0 0
1 0 0 1 0 1 0 1 1 0 0 1
0 1 1 0 0 1 1 0 1 0 0 1
0 0 1 1 0 0 1 1 0 1 1 1
OBSERVACIÓN:
Los esquemas moleculares, según su matriz principal, se puede clasificar
también como:
1. CONSISTENTES.- Si su matriz principal posee al menos un valor verdadero.

Aquí encontramos los esquemas tautológicos y contingentes.
2. INCONSISTENTES.- Si en su matriz principal no existe ningún valor

verdadero, es decir los esquemas contradictorios.
01. La afirmación de G. Bush de que: deportista pero sus notas son
“Bin Laden está vivo o está muerto, excelente”, se pide determinar
no hay otra opción” se basa en la cuál de las siguientes afirmaciones
aplicación del principio lógico es falsa:
llamado:
A) Las notas de Armando son
a) Identidad excelentes salvo que sea buen
b) No contradicción deportista
c) Tercio excluido B) Es falso que Armando o sea
d) Silogistico buen deportista o sus notas no
e) Dialéctico sean excelentes
C) Armando es deportista siempre
1. Con la siguiente proposición y cuando sus notas no dejen
verdadera: “Armando no es se ser excelentes

Morales
D) Armando no es deportista
E) Mas de una es correcta A) p  q B) p
C) q
04. Sean las variables definidas por: D) q  p E) 1
p: Parménides introdujo el
principio de Identidad 07. Si: p * q =  q;
q: los esquemas tautológicos son el valor final de (p * q) * p; es:
consistentes
r: Toda contingencia es A) VVFF B) FFVV
inconsistente C) VFFV D) FVFV E) VFVF
Los valores de verdad de los 08. En la siguiente fórmula

esquemas formales: proposicional:
1) (p  q)  (r  q) (p  q  r)  p
2) (p  r)  (p  q) se puede afirmar que:
3) p  [(q  p)  (r  q) A) Existen 2 lámparas azules
encendidas
Son, respectivamente: B) Sólo 1 foco esta apagado en el
A) 011 B) 100 C) 101 1 arreglo
D) 000 E) 010 C) Existen 6 lámparas apagadas
D) Hay un corte de fluido
05. Si el diseño: eléctrico
A B 1 0 E) Se observa 5 fluorescentes
verdes encendidos
1
0 09. La fórmula lógica:
Corresponde al esquema conectado (B x A) + (A  B)
A  B; luego el diseño: tiene un resultado matricial con las
siguientes características:
B 1 0
A
1 1) Todos los focos se encuentran
0 encendidos
2) Hay 3 focos verdes encendidos
Corresponde a: 3) Después de 2 intentos fallidos,
enciende 1 foco de luz ambar
A) A  B B) A  B 4) Hay 3 fluorescentes de 88 w
C) A  B D) A  B apagados
E) A  B 5) Sólo un foco de color azul
prendió
06. Dada la siguiente tabla veritativa:
Son correctas:
p q p  p q p  q
q 1 1 1
1 1 1 0 0 0
0 0 0 0 1 1
0 1 1 1 0 1
1 0 1 A) 1, 3 y 4 B) 3, 4 y 5
C) 2, 3 y 4 D) Sólo 3 y 4
Determinar: (p  q)  q E) N.A.

Morales
A) 001 B) 010 C) 101

10. En el esquema formal: D) 110 E) 111
p  q  r s  t  u  v  w
 x  y CEPUNT II – I SUMATIVO 2008
Los valores de verdad en los 14.Son expresiones que corresponden a
arreglos 143; 504; 723 son, principios lógicos:
respectivamente 1. El arco iris es un fenómeno físico
o no es un fenómeno físico.
A) 101 B) 000 C)011 2. La geografía es el estudio de la
D) 001 E) 110 Tierra y de los demás planetas.
3. Si el plutonio es un elemento
11. Si: [(p %q)  (p #q)] es una radioactivo entonces es
contradicción, entonces la fórmula: radioactivo.
p %q equivale a: 4. Es absurdo que el galvanómetro
sirva para medir la intensidad de
A) p # q B) p # q la corriente y no sirva para medir
C) p #q D) p # q la intensidad de la corriente.
E) (p #q) 5. Es mentira que Juan sea médico
u no sea cirujano.
12. Dado el siguiente argumento: Son ciertas:

“la predicción es una manera eficaz A) 1, 2 y 3 B) 1, 2 y 4
de poner aprueba la hipótesis, pero C) 1, 3 y 4 D) 1, 3 y 5
también es la clave del control de E) 1, 4 y 5
los acontecimientos. De la misma
manera que, es imposible que la CEPUNT II – I SUMATIVO 2008
predicción no sea eficaz de poner 15. Dado:
aprueba la hipótesis o pueda que no
p ◊ q
sea la clave del control de los
acontecimientos”. Su formalización 1 1 1
denota una matriz 0 0 1
1 0 0
A) contingente 0 0 0
B) contradictoria
C) indeterminada Luego:  (p ◊ q) ◊ (q ◊ p)
D) tautología Tiene la misma tabla de verdad que
E) inconsistente
A) p & q B) p  q C) p
13. Si el esquema molecular D) q E) p  q
[(p  q)  –r]  (–p  q)
es falso, entonces los valores de
16.Dada la fórmula tautológica:
verdad de los siguientes esquemas
 (p @ q)  (p  q)
moleculares
la matriz principal de la fórmula:
1. (p  –q)  [(p  –r)  q] [(p@q)   q] @  q
2. (p  q)  (–q  r) es:
3. [(p  –r)  q]  (–p  q)
A) 0000 B) 1011 C) 1010
Son respectivamente:
D) 1101 E) 1111

Morales
EXTRAORDINARIO 2008 I – UNT 3. [p  (p  q)]  [p  (p  r)]

17.Si: 1 = vivo 0 = muerto 4. [p  (p  q)]  [p  (p  r)]
En la operación “Chavín de Huántar” 5. (p  q)  (p  q)
del gobierno fujimorista, el resultado
lógico fue: Son tautologías:
A) 1, 2 y 5 B) 1, 3 y 4
A) Contradictorio
C) 2, 3, 5 D) 2 y 3
B) Tautológico
E) 3 y 4
C) Contingente
D) Contrapuesta
CEPUNT II – II SUMATIVO 2007
E) Recíproco
22.De las siguientes fórmulas:
1. [(p  q)  q ] p
ORDINARIO 2008 – I UNT (Cienc.)
2. p  (q  p)
18.De las fórmulas lógicas:
3. [(p  q)  q]  (p  q)
1. [(p  q) | (q  p)]  (p  q)
4. (p  q)  (p  q)
2. [(p  q)  (p  q)]  (p  q)
5. [p  (p  q)]  [p  (p  r)]
3. (p  q)  [(q  p) | (q  p)]
Son contingencias:
Son contradictorias:
A) 1, 2 y 3 B) 1, 4 y 5
A) 1, 2 y 3 B) 1 y 2 C) 1 y 3
C) 2, 3, 4 D) Sólo 1 y 2
D) Sólo 2 E) Sólo 3
E) Sólo 2 y 4
EXTRAORDINARIO 2007 I – UNT
19.La fórmula que no presenta matriz
23.La tabla de verdad de la
tautológica, es:
proposición:
A) Si p  q y p, luego q
(p  q)  p, contiene
B) Si p  q y q, luego p
C) Si p  q y p, luego q
A) Un uno B) dos unos
D) Si p  q y q, luego p
C) tres unos D) cuatro unos
E) Si p  q y q, luego p
E) ningún uno
EXTRAORDINARIO 2007 – II UNT
EXTRAORDINARIO 2006 – I UNT
20.Dadas las siguientes proposiciones:
24.Si la fórmula:
A = 1225 > 10000 [(p  q)  (q  r ) ]  (p  r),
B = 105 > 8 20 es falsa. Entonces los valores de
C=a+b>b+a1 verdad de p, q y r son
Hallar la función de verdad de las respectivamente:
siguientes fórmulas proposicionales:
1. (A  B)  C A) 110 B) 010 C) 011
2. (A  B) C D) 100 E) 001
3. (A  B)  C
EXTRAORDINARIO 2006 – I UNT
Son ciertas: 25.De las siguientes proposiciones:
A) 111 B) 001 C) 010 1. p  (p  q)
D) 011 E) 101 2. p  (q  p)
3. (p  q) (q  p)
ORDINARIO 2007 – II UNT (Cien.) 4. p  [ (p  q)  p ]
21.De las siguientes fórmulas: 5. (p  q)  (q  p)
1. p  (q  p) No son tautologías:
2. [(p  q)  q]  q

Morales
A) 2 y 3 B) sólo 4 C) 2 y 5 El valor de verdad de: (R  S) / S

D) 2, 3 y 4 E) Todas es:
EXTRAORDINARIO 2006 – I UNT A) VVFV B) VVVF C) VVVV

26.De la fórmula: D) VFFF E) FFFF
[(p  q)  (p  q) ]  (p  q)
CEPUNT I – I SUMATIVO 2005
Afirmamos que: 30.Sean las proposiciones:
1. Es una contradicción p: Trujillo es la capital del
2. Es verdadera si p es verdadera departamento de la libertad.
3. Es falsa si q es falsa q: E = m c2
4. Es una tautología r: 102 > 210
Son falsas: Y los esquemas moleculares:

A) Sólo 1 B) 2 y 3 1. p  (qr)
C) Sólo 3 D) 1 y 3 E) 1 y 4 2. p  [q  (r | p)]
3. (pq)  (r  p)
EXTRAORDINARIO 2006 – II UNT
27.La tabla de verdad de la Son verdaderos
proposición: A) Sólo1 B) Sólo 2 C) 1 y 2
(p  q)  p, contiene D) 1 y 3 E) 2 y 3
A) Un uno B) dos unos
C) tres unos D) cuatro unos CEPUNT I – I SUMATIVO 2005
E) ningún uno 31.Si:
R = (p  q)  r
ORDINARIO 2006 – I UNT (Letras) S = p  (q  r)
28.Al evaluar el esquema: La matriz para:
T = (R  S)  (R  S)
[(pVq) �‫ٺ‬
(�
p / q)] (p q) Es:
A) 11111011 B) 10011111
C) 01100000 D) 01111110
Podemos afirmar que:
E) 10010000
1. Su matriz principal es 1001
2. Es contradictorio
3. Es contingente
32.Sean las proposiciones:
4. Es tautológico
p: Es falso que en Huamachuco
5. Su matriz principal es
existe una subsede de la UNT.
universalmente verdadera
q: César Vallejo no nació en París
r: 2305 es un número par
Son ciertas, excepto:
A) 1, 2 y 3 B) 1 y 3 C) 1, 3 y Los valores de verdad de los
5 esquemas formales:
D) 2, 4 y 5 E) 4 y 5 1. (p / q)  (p  r)
2. (p  q)  (p  r)
CEPUNT I – I SUMATIVO 2005 3. {[q (p  r)]  p}
29.Si:
Son respectivamente:
R = (p  q)  p
A) 000 B) 001 C) 010
S = (q  p)  q
D) 011 E) 110

Morales

33.Si la proposición: ORDINARIO 2005–I UNT (Cienc.)
(p  q)  ( r  s), es verdadera, 36.Si la fórmula: [p  (qr)] | (rq)
los valores de verdad de las es falsa, entonces el valor de verdad
proposiciones: de las variables p, q y r son
1. (p  q)  r respectivamente
2. [(q  r)  s]   p A) 110 B) 010 C) 001
3. (p  r)  [(p  q )  s] D) 100 E) 011
Son respectivamente: ORDINARIO 2006–I UNT (Cienc.)

A) 000 B) 100 C) 010 37.Si la matriz final de una fórmula H
D) 001 E) 110 es 1001 y la matriz final de una
fórmula G es 1010, entonces en la
EXTRAORDINARIO 2005–I UNT matriz final de la fórmula: (H  G)
34.Si en la fórmula:
(p  q)  (r  s), Se observa:
El valor de verdad es falso, los A) Ningún cero B) Un cero
valores de verdad de: C) Dos ceros D) Tres ceros
1. (p  q)  [(p  q)  q] E) Cuatro ceros
2.  (p  q)   (r  s)
3. (p  q)  (r  s) ORDINARIO 2005–I UNT (Letras)
38.De las fórmulas:
Son respectivamente: I. [(p/q)   (r  p)]
A) 110 B) 101 C) 111 II. [(rp)  (qp)]  r
D) 101 E) 001 III. (q  r)   (p /q)
Podemos decir:
EXTRAORDINARIO 2005–I UNT
1. Sólo I es tautología
35.Dados los valores de verdad:
2. II y III son contradictorios
V(p)=1; V(q)=0; V(r)=0
3. I, II y III son contingentes
Los valores de verdad de:
4. Ninguna es contradictoria
1. (p  q)  r
5. Es falso que alguna sea
2. (p  q)  (r  p)
tautología
3. (p  r)  (q  r)
Son falsas, excepto:
Son respectivamente: A) 1, 2 y 3 B) 1, 2 y 4 C) 2, 3, 4
A) 011 B) 001 C) 000 D) 2, 3 y 5 E) 3, 4 y 5
D) 110 E) 010
“LATINO”
EQUIVALENCIAS
SAN PEDRO DE LLOC
LÓGICAS
OBJETIVOS

Morales
 Reconocer las principales leyes de la lógica formal.

 Aplicar las leyes de la lógica formal a las proposiciones lógicas.
 Determinar cuando un conjunto de proposiciones forman una
inferencia.
INTRODUCCIÓN
El tema central de la lógica es el estudio de las inferencias. Cada inferencia es una
estructura de proposiciones donde a partir de una o más proposiciones llamadas premisas
se deduce otra proposición llamada conclusión.
Con palabras de Quine podemos afirmar que el objetivo más importante de la lógica en su
aplicación a la ciencia y al discurso cotidiano es la justificación y crítica de la inferencia
[Quine, Los métodos de la lógica, p.72]. Esto indica en gran medida que la lógica debe
determinar mediante técnicas o métodos si una proposición sigue necesariamente o no a
otra proposición.
De acuerdo al número de premisas podríamos llamar inferencias Inmediatas a aquellas
que solo constan de una premisa; en caso contrario el razonamiento sería una inferencia
Mediata.
EQUIVALENCIA LÓGICA
La equivalencia lógica es una relación que existe entre dos fórmulas que tienen sus
matrices finales idénticas, de tal manera que al unirlas bicondicionalmente resulta una
tautología.
Ejemplo:
Probar que la formula p  q es equivalente a la fórmula –q  –p
Solución
Pongamos las fórmulas lógicas p  q y –q  –p unidas por el bicondicional en una
tabla de verdad, y analicemos sus valores.
p q (p  q)  ( q   p)
1 1 1
1 0 1 0
1
1 0 0 1 1 0 0
1
Como se observa, tenemos un esquema tautológico; por lo tanto, podemos afirmar que
0 1 1 0 1 1
las fórmulas p  q y –q  –p son equivalentes (), y lo expresamos simbólicamente
1 1 1
como:
0 0 1
p  q  –q  –p
En forma general, “A es equivalente a B”, lo

expresamos simbólicamente, como sigue.
AB
Ejemplo:

Morales
Afirmamos que la proposición, “Es falso que Pepo y Franco son estudiantes de maestría”,
equivale a “Pepo no estudia maestría a menos que Franco no estudie maestría”
Solución
En efecto, formalizando la proposición dada, tenemos (A  B)  A  B. Ahora
analicemos formalmente esta fórmula lógica.
A B  (A  B)  A  B
p)
1 1 0 1 1 0 0 0
1
1 0 1 0 1 0 1 1
1
0 1 1 0 1 1 0
1 1 1
Como obtenemos un esquema 0 tautológico,
0 1 queda 0 demostrada tal afirmación.
Usted puede observar que aparentemente en un lenguaje común tales proposiciones no
son equivalentes, pero, cuando se analiza mediante la tabla de verdad quedan despejadas
las dudas.
Al analizar la equivalencia lógica mediante tablas de verdad, usted podrá deducir que
existe una cantidad infinita de fórmulas equivalentes, puesto que siempre será posible
encontrar esquemas bicondicionales que resulten tautologías, pero este trabajo de la
aplicación de tablas de verdad para verificar esquemas equivalentes es engorroso, por eso
nosotros estudiaremos solamente las equivalencias notables que ya están demostradas.
EQUIVALENCIAS NOTABLES
EQUIVALENCIAS NOTABLES
1. DOBLE NEGACIÓN
La doble negación equivale a una afirmación. El número de negaciones que afectan
una fórmula o esquema pueden eliminarse de par en par.
(p)  p
Ejemplo 1: Las siguientes fórmulas cumplen la doble negación

a) p   p
b) p    p

Morales
c) p  q   p  q
d) p  q   ( p  q)
Ejemplo 2:
Dada la proposición: “Es absurdo que José no sea arquitecto ”, hallemos el equivalente
por doble negación.
Solución: Identificando la variable lógica, p = José es arquitecto. Ahora

formalicemos la proposición dada,
 Formalización: (p)
Luego aplicamos la equivalencia de doble negación
 Regla de equivalencia: (p)  p
Luego el equivalente sería: “José es arquitecto”.
2. CONMUTACIÓN
La conmutación cambia el orden de las variables, manteniendo el signo de cada
proposición y los conectores usados son: (, , , , , /).
pq qp
pq qp
pq qp
pq qp
Ejemplo 1: Las siguientes fórmulas cumplen la conmutación

a) p  q  q  p
b) (p  q)  r  r  (p  q)
c) p  q  q  p
d) p  q  q  p
e) p/qq/p
Ejemplo 2:
Dada la proposición: “Luís juega fútbol además básquet”, hallemos el equivalente por
conmutación
Solución: Asignando variables a las proposiciones

p = Luís juega fútbol.
q = Luís juega básquet.
Ahora formalicemos la proposición dada, y obtengamos la equivalencia.
 Formalización: p  q
 Regla de equivalencia: p  q  q  p

Morales
Luego, el equivalente sería: “Luís juega básquet además juega fútbol ”.
3. LEY DE MORGAN
La ley De Morgan distribuye el negador externo a cada una de las variables incluyendo
al conector principal y los conectores usados son: (, , , /)
(p  q)  p  q
(p  q)  p  q
Ejemplo 1: Las siguientes fórmulas cumplen la ley de Morgan
a) p  q  (p  q)
b) p  q  (p  q)
c) (p  q)  p  q
d) p  q  (p  q)
e) (p  q)  p  q
Ejemplo 2:
Dada la proposición: “Es falso que José es abogado salvo que sea economista ”,
hallemos el equivalente por la ley de Morgan

p = José es abogado.
q = José es economista.
Ahora formalicemos la proposición dada, y obtengamos la equivalencia.
 Formalización: (p  q)
 La regla de equivalencia sería: (p  q)  p  q
Luego, el equivalente sería: “Juan no es abogado a menos que no sea economista ”.
4. DEFINICIÓN DEL IMPLICADOR (IMPLICACIÓN MATERIAL)

Esta regla sólo trabaja con el operador lógico condicional cambiándolo por un
disyuntor incluyente; pero alterando el signo del antecedente mientras que el
consecuente se mantiene igual, los conectores que trabaja son: (, )
p  q  p  q
Ejemplo 1: Las siguientes fórmulas cumplen la definición del implicador

a) p  q  p  q
b) p  q  (p  q)
c) p  q  p  q
d) p  q  p  q

Morales
e) p  q  (p  q)
Ejemplo 2:
Dada la proposición: “Si viajo al extranjero, entonces seré feliz ”, hallemos el
equivalente por la definición del implicador:

p = viajo al extranjero.
q = seré feliz.
 Formalización: p  q
 Regla: p  q  p  q
Luego, el equivalente sería: “No viajo al extranjero a menos que sea feliz ”.
5. CONTRAPOSICIÓN
Esta regla cambia el orden de las variables alterando el signo de cada una de ellas y
los conectores con que trabaja son: (, , )
p  q  q  p
Ejemplo 1:
1) p  q  q  p
2) P  q  q  p
3) p  q  q  p
4) p  q  q  p
5) p  q  q  p
Ejemplo 2:
Dada la proposición: “Si la Tierra gira alrededor del Sol, entonces es el centro del
universo”, hallemos el equivalente por contraposición
p = La Tierra gira alrededor del Sol.
q = La Tierra es el centro del universo.
 Formalización: p  q
 Regla: p  q  q  p
Luego, el equivalente será: “ Si la Tierra no es el centro del universo, entonces no gira

alrededor del Sol”.
6. ASOCIACIÓN
Es un esquema donde hay cadenas de conjunciones, disyunciones o bicondicionales,
sus elementos se pueden agrupar indistintamente. Los conectores usados son: (, ,
, ).

Morales
p  (q  r)  (p  q)  r
p  (q  r)  (p  q)  r
Ejemplo:
Dada la proposición: “Estudio, además trabajo y hago deporte”, hallemos el
equivalente por asociación
Solución:
 Formalización: p  (q  r)
 Regla: p  (q  r)  (p  q)  r
Luego, el equivalente sería: “Estudio y trabajo, además hago deporte”.
7. DISTRIBUCIÓN
Permite distribuir una variable o una fórmula, es aplicable siempre que tengamos
conectores diferentes en el esquema lógico. Los conectores usados son: (, , ).
p  (q  r)  (p  q)  (p  r)
p  (q  r)  (p  q)  (p  r)
p  (q  r)  (p  q)  (p  r)
p  (q  r)  (p  q)  (p  r)
Ejemplo:
Dada la proposición: “Seré feliz, salvo que viaje al extranjero y trabaje”, hallemos el
equivalente por Distribución
SOLUCIÓN:
 Formalización: p  (q  r)
 Regla: p  (q  r)  (p  q)  (p  r)
Luego, el equivalente sería: “Seré feliz a menos que viaje al extranjero; sin embargo
seré feliz salvo que trabaje”.
8. ABSORCIÓN
Es una relación conjuntiva o disyuntiva de una proposición, con la disyunción, o
conjunción, de dicha proposición con otra(s) variable(s)
Caso I
Cuando la variable se repite exactamente, se tiene como equivalencia dicha variable:
p  (p  q)  p
p  (p  q)  p
Ejemplos:

Morales
a) p  (p  q)  p
b) p  (p  q)  p
c) p  (p  q)  p
d) p  (p  q)  p
e) p  (p  q  r  s)  p
Caso II
Cuando la variable que se repite cambia de signo, se tiene como equivalencia lo que
está fuera más lo que no se repite.
p  (p  q)  p  q
p  (p  q)  p  q
Ejemplos:
a) p  (p  q)  p  q
b) p  (p  q)  p  q
c) p  (p  q  r  s)  p  (q  r  s)
d) p  (p  q)  p  q
e) p  (p  q)  p  q
Ejemplo:
Dada la proposición: “Hay sequía, pero hay sequía o llueve ”. Hallemos el equivalente
por Absorción
Solución:
 Formalización: p  (p  q)
 Regla: p  (p  q)  p
Luego, el equivalente sería: “Hay sequía”.
9. RELACIÓN ENTRE EL BIIMPLICADOR () Y EL DISYUNTOR EXCLUYENTE ()

Esta relación esta motivada por el número de negaciones que presenten los esquemas,
ya sea un número impar o par de negaciones. Estos casos son:
Caso I: Al agregar o quitar un número par de negaciones en cualquier lugar, el

operador se Mantiene.
Ejemplos:
a) p  q  p  q
b) p  q  (p  q)
c) p  q  (p  q)

Morales
d) p  q  p  q
e) p  q  (p  q)
f) p  q  (p  q)
Caso II: Al agregar o quitar un número impar de negaciones, en cualquier lugar, el

operador Cambia.
Ejemplos:
a) p  q  (p  q)
b) p  q  p  q
c) p  q  p  q
d) p  q  p  q
e) p  q  (p  q)
f) p  q  p  q
10.DEFINICIÓN DEL BIIMPLICADOR:
La definición del biimplicador se relaciona con esquemas conjuntivos, disyuntivos y

condicionales directos. Estas tres definiciones básicas son:
DEFINICIÓN 1
“p  q” se utiliza para indicar que “p” es causa para “q” pero también “q” es causa
para “p”, es decir, “p implica a q” y “q implica a p.
Formalmente:
p  q  (p  q)  (p  q)
Una consecuencia de la definición anterior, la obtenemos al aplicar la definición del

implicador en la definición anterior. Esto es
p  q  (p  q)  (p  q)
DEFINICIÓN 2
Esta definición esta motivada por la definición de los valores de verdad del
biimplicador. Esto es, la fórmula lógica p  q es verdadera si p y q son verdaderas, o,
si p y q son falsas.
Formalmente:
p  q  (p  q)  (p  q)
Ejemplos:

Morales
a) p  q  (p  q)  (q  p)
b) p  q  (p  q)  (q  p)
c) p  q  (p  q)  (p  q)
d) p  q  (p  q)  (p  q)
11.DEFINICIÓN DEL DISYUNTOR EXCLUYENTE ()
La relación entre el biimplicador y el disyuntor excluyente p  q = (p  q), nos dice

que si queremos obtener la definición del disyuntor excluyente basta negar las
definiciones del biimplicador vistas en el punto anterior. Esto es,
p  q  (p  q)  (p  q)
p  q  (p  q)  (p  q)
p  q   (p  q)   (p  q)
Ejemplos:
Dada la proposición: “Estudio o sólo ingreso”. Hallemos el equivalente por definición
del disyuntor excluyente
Solución:
Regla: p  q  (p  q)  (p  q)
Equivalencia: “No estudio e ingreso. Salvo que estudie pero no ingrese”
12.EXPORTACIÓN
Es una equivalencia de condicionales cuyos antecedentes y consecuentes alteran su
composición. El antecedente del primer miembro, que es una conjunción, se
transforma en una variable, y el consecuente, que es una variable, se transforma en
un condicional. Las variables del antecedente conjuntivo pasan a ser antecedentes. La
primera es antecedente del esquema condicional de mayor jerarquía y la segunda es
antecedente del condicional de menor jerarquía.
(p  q)  r  p  (q  r)
Ejemplos:
a) (p  q)  r  p  (q  r)
b) (p  q)  r  p  (q  r)
c) p  (q  r)  (p  q)  r
d) p  (q  r)  (p  q)  r
13.MUTACIÓN
Es una equivalencia de condicionales, cuyos antecedentes del de mayor y menor

jerarquía se pueden conmutar.

Morales
p  (q  r)  q  (p  r)
Ejemplos:
a) p  (q  r)  q  (p  r)
b) p  (q  r)  q  (p  r)
c) (q  r)  (p  r)  p  [(q  r)  (p  r)]
d) p  [(q  r)  r]  (q  r)  (p  r)
14.EXPANSIÓN
En esta equivalencia, se obtienen esquemas disyuntivos, conjuntivos o bicondicionales

equivalentes de variables libres. A la variable en disyunción se le introduce una
contradicción y a la variable en conjunción un tercio excluido. Al condicional se
expande en bicondicional de dos modos. Cuando el primer miembro del bicondicional
es el antecedente, el segundo miembro es una conjunción del antecedente y el
consecuente. Y cuando el primer miembro del bicondicional es el consecuente, el
segundo miembro es la disyunción del antecedente y del consecuente.
p  p  (q  q)
p  p  (q  q)
p  q  p  (pq)
pq  q  (pq)
15.IDEMPOTENCIA
Consiste en “repetir” una proposición todas las veces que se quiera pues siempre
equivale a una sola vez.
ppp
ppp
Ejemplos:
a) ppp
b) ppp…pp
c) pp=p
d) ppp…pp
e) p  p = p
f) (p  q)  (p  q)  (p  q)  (p  q)
16.IDENTIDADES
Consiste en relacionar una variable con una tautología (1) o con una contradicción (0)
En todo momento se pueden obtener estas equivalencias utilizando tablas de verdad

Morales
p  1 p
p  0 0
p  1 1
p  0 p
Ejemplos:
a) p11
b) p  0  p
c) p1p
d) p  0  p
e) p0p
f) p1p
g) p01
17.LEY DE COMPLEMENTO
Consiste en relacionar una proposición con la negación de dicha proposición.
p  p  0
p  p  1
PROBLEMAS RESUELTOS
1. ¿Qué fórmula equivale a? “p  – q” D) –(p  –q)  –p  q  p  q
A) q  p B)p  q C)–p  q (Morgan y Condicional)
D) –(p  –q) E) –(p  q) E) –(p  q)  –p  –q  p  –q
(Morgan y Condicional)
Solución: Clave E
A) q  p  –p  –q (Contrapoisción)
B) p  q  –p  q (Def. Condicional) 2. Dados los enunciados:
C) –p  q  p  q (Def. Condicional) I) –(p  –q) II) –(p  –q)
III) q  –p

Morales
Son equivalentes:
A) Sólo I y II B) Sólo II y III 1. –(–E  –A)  E  A
C) Sólo I y III D) Todas E)N. A. (Morgan)
2. E  A
Solución: 3. –(A  –E)  –(–A  –E)  A  E
(Condicional y Morgan)
I) –(p  –q)  –(–p  –q)  p  q 4. –(–A  –E)  A  E
(Condicional y Morgan) (Morgan)
II) –(p  –q)  –p  q 5. A  E  E  A (Conmutación)
(Morgan)
III) q  –p  –p  q (Conmutación) Clave D
Clave B
4. La proposición: “No es el caso que la
3. La proposición: teoría de la relatividad no sea exacta y
“Es mentira que si estudio Einstein diga la verdad”. Equivale a:
razonamiento lógico no apruebo el 1. La teoría de la relatividad es exacta
curso”, equivale a: a no ser que Einstein no diga la
verdad.
1. Es objetable que no estudio 2. Si la teoría de la relatividad no es
razonamiento lógico a menos que exacta, se deduce que Einstein no
no apruebe el curso. dice la verdad.
2. Estudio razonamiento lógico 3. Siempre que Einstein diga la
además apruebo el curso. verdad, consecuentemente la teoría
3. Es falso que dado que apruebo de la relatividad es exacta.
razonamiento lógico, así pues no 4. La teoría de la relatividad no exacta
estudio. además Einstein decía la verdad.
4. Es inadmisible que no apruebo el 5. Dado que la teoría de la relatividad
curso salvo que no estudie es exacta, luego Einstein dice la
razonamiento lógico verdad.
5. Apruebo el curso sin embargo Son ciertas:
estudio razonamiento lógico. A) 1, 2, 3 B) 2, 3, 4 C) 1, 3, 5
Son correctas: D) 1, 2, 4 E) Todas
A) 1, 3, 5 B) 2, 3, 4 C) 1, 2, 4
D) Todas E) N. A. Solución: Base: –(–E  V)  E  –V
1. E  –V
Solución:
2. –E  –V  E  –V (Condicional)
Formalizando la base y las alternativas, 3. V  E  –V  E (Condicional)
luego aplicando las leyes 4. –E  V
5. E  V  –E  V (Condicional)
Base: –(E  –A)  E  A Clave A
(Condicional y morgan)
CEPUNT I – II SUMATIVO 2008 C) p  q D) p  q

01.El esquema formal: E) q
[(q p)  (p q)]  (pq)
Equivale a:
A) p B) q  (p  p)

Morales
02.Si definimos (p•q) como la EXON. 2008–I UNT (Ciencias)

proposición p  q, entonces el 06.La fórmula:
equivalente de (p  q) es: (BC)  [(AC)  C]  (CB)
A) (q • p) Equivale a:
B) [(p • q)  (q • p)]
C)  (p • q)  (q • p) A) 1 B) 0 C) C  B
D) [(p • q)  (q • p)] D) C  B E) C  A
E) (p • q)  (q • p)
ORDINARIO 2008–I UNT (Cienc.) 07.El esquema molecular:
03.Al simplificar la fórmula lógica: [(p  q)  r]  [r  (p  q) ],
[(p  q)  (p / q)]  [(p  q)  (q  p)] es:
1. Consistente 2. Tautológico
Se obtiene: 3. Contradictorio 4. Verdadero
A) (p  q)  (q  p) 5. Inconsistente
B) (p  q)  (p  q)
C) (p  q)  (p  q) Son ciertas:
D) (p  q)  (p  q) A) 1 y 3 B) 1 y 4 C) 2 y 4
E) (p  q)  (p  q) D) 3 y 5 E) 4 y 5
ORDINARIO 2008–I UNT (Cienc.) ORDINARIO 2008 – I UNT

04.Se define: 08.El esquema formal:
p % q = (p  q)  (q  p) [(q  p)  (p  q)]  (pq)
Al simplificar: Equivale a:
{[(p % q)  q]  [p  (p % q)]}  p A) p B) q  (p  p)
Se obtiene: C) p  q D) p  q
A) q  p B) p  q E) q
C) p  q D) p  q
E) q  p
5. La proposición: “Windows Vista y ORDINARIO 2008–I UNT (Letras)

Silicon System son sistemas 09.La fórmula: (p  q)  p, por
operativos porque, Windows Vista es absorción es equivalente a:
un sistema operativo sólo si Silicon A) p  q B) (p  q)
System también lo es”; equivale a: C) p  q D) p  q
E) q  p
A) Silicon System es un sistema
operativo ORDINARIO 2008–I UNT (Ciencias)
B) Windows Vista es un sistema 10. El esquema formal:
operativo [(q  p)  (p / q)]  (pq)
C) Silicon System no es un
sistema operativo Equivale a:
D) Windows Vista no es un A) p B) q  (p  p)
sistema operativo C) p  q D) p  q
E) Windows Vista o Silicon E) q
System son sistemas operativos
CEPUNT II – II SUMATIVO 2007

Morales
11.El mínimo equivalente de:

[(p  q)  (q  p)]  (p  r), es ORDINARIO 2007-II UNT (Letras)
15. La proposición implicativa: “Si las
A) p  r B) p  r diagonales de un rombo son
C) p  r D) p  r E) q  r perpendiculares, entonces son
bisectrices se sus ángulos”. Equivale
CEPUNT II – II SUMATIVO 2007 lógicamente a la proposición:
12.La proposición: “Que trabaje y 1. “Es suficiente que las diagonales
estudie implica que progreso” sean bisectrices para ser
Equivale a: perpendiculares”.
1. Siempre que trabaje, por lo 2. “Cada vez que las diagonales de
tanto ya que estudio entonces un rombo son perpendiculares,
progreso. sólo así serán bisectrices de sus
2. Siempre que trabaje, luego ángulos”.
progreso; por lo tanto estudio. 3. “Es necesario que las diagonales
3. Trabajo por lo tanto progreso, sean perpendiculares para ser
en vista que estudio. bisectrices del rombo”.
4. Sólo si progreso porque trabajo, 4. “Sólo sí las diagonales de un
estudio. rombo son bisectrices de sus
5. Sólo si trabajo, estudio por lo ángulos, serán también
tanto progreso. perpendiculares”.
Son ciertas: Son ciertas:

A) 1, 2 y 5 B) 1, 3 y 4 A) 1, 2 y 3 B) 2, 3 y 4 C) 1 y 2
C) 1, 3 y 5 D) 2, 3 y 5 D) Sólo 2 y 4 E) Sólo 2 y 3
E) 2, 4 y 5
CEPUNT II – II SUMATIVO 2007 16. La proposición:
13. Al simplificar equivalentemente la [(p  q  r)  (q  r)] ≢ q
fórmula:
{[(p  q)  (q  r)]  (r  s)}  (p  s) Equivale a:
A) q  q B) r  q C) p  r
Se tiene: D) r  p E) q  r
A) p B)  s C) p  s
D) p  s E) p  q ORDINARIO 2007 – II UNT (Letras)
17. La estructura lógica:
ORDINARIO 2007 – II UNT (Letras) ( p  q) & (p   q), equivale a:
14.Dada la fórmula lógica:
1.  (p  q)
[(p&q)(p �
/ q)][(pq)(pq) 2. (p  q)  p
] 3. (q  p)  (p  q)
Sus equivalentes son: 4. p  q
1. (pq) 2. p  q 3. p /q 5. (p  q)  (p  q)
4. (pq) 5. (p �/ q) Son falsas, excepto:
Son ciertas A) 1, 3 y 4 B) 2, 3 y 5
A) 1, 2 y 3 B) 1, 3 y 5 C) 2, 4 y 5 D) 3, 4 y 5
C) 2, 3 y 4 D) 2, 4 y 5 E) Sólo 2 y 5
E) 3, 4 y 5

Morales

18. La expresión formal: ORDINARIO 2007 – II UNT (Letras)
[(q  p)  (p  q)] & (p & q) 20. La proposición:
Equivale a: “Son huesos de la cabeza el frontal
más el lacrimal, no obstante el
1. Tautología 2. p  q frontal es un hueso de la cabeza a
3. (p & q) 4. p  q no ser que el parietal no lo sea”
5. Contradicción
Son ciertas: Equivale a decir:
1. “El lacrimal al igual que el frontal
A) 1, 3 y 5 B) 2, 3 y 4 C) 1 y 5 son huesos de la cabeza”.
D) 2 y 3 E) 3 y 5 2. “Es incorrecto que, el lacrimal o el
frontal no son huesos de la
ORDINARIO 2007 – II UNT (Letras) cabeza”.
19. El argumento: Son falsas:
“En la guerra del Pacífico perdimos
definitivamente a Tarapacá o A) Sólo 1 B) Sólo 2 C) 1 y 2
únicamente a Tacna”. D) 1 y 2 E) Ninguna
Es equivalente a: ORDINARIO 2007 – II UNT (Cienc.)

1. “En la guerra del Pacífico 21. La proposición:
perdimos definitivamente a “Aunque el acero sea inoxidable,
Tarapacá aunque a Tacna. Salvo reacciona con los ácidos, a no ser
que en la Guerra del Pacífico no que, el acero es oxidable en vista de
perdimos definidamente a que es un acero carbonado”. En
Tarapacá pero perdimos a consecuencia, es inadmisible que, el
Tacna” acero reacciona con los ácidos ya
2. “En la Guerra del Pacífico que es carbonado”.
perdimos definitivamente a
Tacna o sólo a Tarapacá”. Tiene como equivalente a:
3. “O en la guerra del Pacífico no 1. El acero es carbonado porque
perdimos a Tacna o perdimos a reacciona con los ácidos.
Tarapacá”. 2. Ni el acero no es carbonado ni
4. “En la Guerra del Pacífico reacciona con los ácidos.
perdimos a Tarapacá y también 3. Es falso que, que el acero sea
a Tacna. Excepto que en la carbonado porque reacciona con
Guerra del Pacífico no perdimos los ácidos.
a Tarapacá, pero perdimos a 4. Es falso que, porque el acero es
Tacna”. carbonado, reaccione con los
5. “El hecho que en la Guerra del ácidos.
Pacífico perdimos 5. Aunque el acero sea carbonado,
definitivamente a Tarapacá, no reacciona con los ácidos.
excluye el hecho que perdimos a
Tacna”. Son ciertas:
A) 1, 2 y 4 B) 2, 4 y 5
Son falsas: C) 2, 3 y 4 D) 1 y 3
A) 1, 2 y 3 B) 1, 3 y 5 E) 4 y 5
C) 1, 3 y 4 D) 2, 3 y 5
E) 3, 4 y 5

Morales
ORDINARIO 2007–I UNT (Cienc.)

22. La proposición: “Para ir al mundial ORDINARIO 2007–I UNT (Cienc.)
de fútbol, es suficiente cambiar de 26. La fórmula lógica:
entrenador”. [(P  Q) & (P  Q) ]  (P  Q)
Es equivalente a:
1. Es mentira que, hemos Equivale a:
cambiado de entrenador pero no 1. P  Q 2. P  P
hemos ido al mundial de fútbol. 3. (PQ)  (PQ) 4. (PQ) & (PQ)
2. Cambiaremos de entrenador a 5. P  (QP)
menos que vayamos al mundial
de fútbol. Son ciertas:
3. Si cambiáramos de entrenador, A) 1 y 2 B) 1 y 3 C) 2 y 4
iríamos al mundial de fútbol. D) 3 y 5 E) 4 y 5
4. No hemos cambiado de
entrenador ni hemos ido al EXONERADOS 2007–I UNT (Cienc.)
mundial de fútbol. 27. Se define el operador lógico *
5. Iremos al mundial de fútbol, si el como:
entrenador cambia de estrategia. p * q = (p  q)  (p  q)
Son ciertas: Entonces la fórmula:

A) 1 y 2 B) 1 y 3 C) 2 y 4 (p  q) * ((q  r) * r)
D) 3 y 5 E) 4 y 5
Es equivalente a:
ORDINARIO 2007 – I UNT (Cienc.) A) p  q  r B) p  (q  r)
23. La expresión formal: C) (pq)  r D) 1
{[(p  q)  q]  [(r p)r]}(qr) E) 0
Equivale a la expresión simplificada:
EXONERADOS 2007 I – UNT (Cien.)
A) q  r B) r  q C) r  p 28. De la fórmula:
D) p  q E) r  q [(p  q)  (pq)]  (p  q)
Afirmamos que:
1. Es una contradicción.
ORDINARIO 2007–I UNT (Cienc.) 2. Es verdadera.
24.Al simplificar equivalentemente la 3. Es falsa si q es falsa.
fórmula: 4. Es una tautología.
[(p  q)  (q  r)  (r  s)]  (p  s) Son falsas:
A) Sólo 1 B) 2 y 3 C) Sólo 3
Se obtiene: D) 1 y 3 E) 1 y 4
A) q  q B) 0  q C) r  q
D)q  q E)1  q EXONERADOS 2007–I UNT (Let.)
29. La proposición: “Es falso que
ORDINARIO 2007–I UNT (Cienc.) estudiar es condición suficiente para
25. La estructura: triunfar”.
[(pq)  (qp)]  (pq)  (pq)  p Es equivalente a:
1. Estudio a la vez que triunfo.
Equivale a: 2. Triunfo y no estudio.
3. Ni estudio ni triunfo.
A) q B) p C) p 4. No es cierto que no triunfo
D) q E) p  q entonces no estudio.

Morales
5. Estudio pero no triunfo.

Son verdaderas: Son ciertas:
A) 1 y 2 B) 1, 3 y 5 C) 2 y 4
A) 4 y 5 B) Sólo 4 C) 3 y 4 D) 2, 3 y 5 E) 3 y 4
D) Sólo 5 E) Todas
ORDINARIO 2006–II UNT (Cienc.)
EXONERADOS 2007–I UNT (Let.) 34. Si: p % q  [(p  q)  (pq)]  q
30. La fórmula: El esquema lógico:
[p  (q  r)]  p {[( p % r)  (q  r)] % (pr)} %q
Es equivalente a:
Es equivalente a: A) p  q B)  r C) p   r
1. p|p 2. p  r D) q E) p  q
3. p 4. pp
Son verdaderas: ORDINARIO 2006 – II UNT (Cienc.)
35.La proposición: “Los insectos tienen
A) Sólo 1 B) Sólo 2 C) 3 y 4 respiración traqueal; en cambio, los
D) 1, 3 y 4 E) 2 y 4 peces branquial”. Equivale a decir:
1. La respiración de los insectos es
EXONERADOS 2007–I UNT(Cienc.) traqueal a no ser que es
31. Si se cumple la siguiente branquial la de los peces.
equivalencia: 2. No es aceptable, que no es
(A  B)  (A  C)  A * (B  C) branquial la respiración de los
Entonces el conectivo * , es: peces excepto que la de los
insectos tampoco es traqueal.
A)  B)  C) 
3. Es inconcebible que, como la
D)  E) |
respiración de los peces es
branquial es lógico que la de los
EXONERADOS 2007 - UNT (Cienc.)
insectos no es traqueal.
32. Al simplificar la fórmula:
4. Es falso que, ni la respiración de
(p  q)  (q  p)
los peces es branquial, ni la de
Obtenemos:
los insectos traqueal.
A) p  q B) p  q C)  q 5. Es imposible que, debido a que
D) p  q E) p  q la respiración de los insectos es
ORDINARIO 2006–II UNT traqueal, bien se ve que la de los
(Ciencias) peces nunca es branquial.
33. Dada la fórmula:
[(p  q)  (p  q)]  [(p  q)  (p q)] Son falsas excepto:
A) 1, 3 y 5 B) 1, 4 y 5
Su equivalente es: C) 2, 3 y 4 D) 2, 3 y 5
1. p  q 2. (p  q) 3. p / q E) 3, 4 y 5
4. p  q 5. p  q
“LATINO”
CIRCUITOS LÓGICOS
SAN PEDRO DE LLOC

Morales
OBJETIVOS

 Reconocer los diversos sistemas de circuitos lógicos
 Diseñar el circuito lógico de fórmula proposicional.
 Reducir circuitos lógicos aplicando las leyes lógicas.
INTRODUCCIÓN
El álgebra de Boole fue usada inicialmente en los problemas surgidos en el diseño de

conmutación en 1938 por Claude E. Shannon. Los métodos matemáticos utilizados por
Shannon fueron adoptados universalmente para el diseño y análisis de circuitos de
conmutación. Además, estos métodos son utilizados en la actualidad en el diseño de las
computadoras. Un circuito lógico es una máquina que recibe una o más señales de
entradas y produce una señal de salida. En cada instante, el circuito puede procesar
exactamente un bit de información para producir un bit de salida. De esta forma, a las
señales de entrada se les puede asignar sucesiones de bits que son procesadas por el
circuito bit por bit para producir una sucesión de bit de salida. Los circuitos lógicos se
construyen a partir de circuitos elementales llamados compuertas lógicas. Estas
compuertas son la base de los circuitos eléctricos. Nosotros estudiaremos básicamente los
circuitos a conmutadores a y a compuertas.
I) CIRCUITOS A CONMUTADORES
Entre algunas aplicaciones de la lógica aparecen la construcción de circuitos lógicos en

la electrónica y cibernética. Para cualquier fórmula proposicional podemos construir un
circuito eléctrico en base a 3 conectores u operadores: (,, ). Los circuitos eléctricos
están formados por conmutadores o interruptores que son los elementos lógicos que
impiden o dejan pasar la corriente eléctrica.
1. Los Interruptores
También llamados conmutadores son los elementos que participan en una
instalación eléctrica; son de 2 tipos:
A) Conmutador Cerrado
Permite el paso de la corriente eléctrica y equivale a un dato verdadero que
numéricamente toma el valor 1.
B) Conmutador Abierto
Impide el paso de la corriente eléctrica y equivale a un dato falso que
numéricamente toma el valor 0.

Morales
2. TIPOS DE CIRCUITOS
A) Circuitos en serie
Constan de dos o más interruptores, donde un interruptor está a continuación
de otro y así sucesivamente. El gráfico de un circuito en serie es la
representación de una fórmula proposicional conjuntiva, cuya expresión más
simple es: “p  q” y se representa:
p q
B) Circuitos en paralelo
Constan de dos o más interruptores, donde un interruptor está sobre otro o en
la otra línea y así sucesivamente. El gráfico de un circuito en paralelo es la
representación de una fórmula proposicional disyuntiva, cuya expresión más
simple es: “p  q” y se representa:
p
q
Para diseñar circuitos a conmutadores que contienen conectores distintos a los
disyuntivos o conjuntivos, es necesario utilizar las equivalencias lógicas hasta
obtener los conectores deseados.
Ejemplos:
– Fórmula Condicional: A  B  –A  B
– Fórmula Bicondicional: A  B  (A  B)  (–A  –B)
– Fórmula Bidisyuntiva: A  B  (A  B)  (–A  –B)
II. SISTEMA DE CIRCUITOS A COMPUERTAS

Morales
Entre los circuitos a compuertas lógicas se puede distinguir los del sistema ASA
(Americano) y del sistema ISO (Europeo).
1) SISTEMA AMERICANO (ASA)
Es un sistema interconectado de conmutadores lógicos que forma parte de un solo

dispositivo cibernético (compuerta), y que pueden ser manipulados por
controladores digitales para realizar cálculos y operaciones lógicas de acuerdo a la
necesidad.
En álgebra booleana como parte de la lógica matemática ha sistematizado todo un
conjunto de reglas lógicas que tiene como base el sistema binario (conectado = 1
y desconectado = 0) que en lógica formal es igual a verdadero y falso
respectivamente.
Al igual que en los circuitos lógicos donde sólo se puede representar el esquema
conjuntivo (circuito en serie) y es esquema disyuntivo débil (circuito en paralelo),
en las compuestas sólo se puede representar el negador, el conjuntor, el disyuntor
débil, el disyuntor fuerte y el biimplicador. Todos los demás esquemas se reducen
a ellos por su definición.
REPRESENTACIÓN EN COMPUERTA DE LOS ESQUEMAS LÓGICOS

a) El Negador (A): Función NOT
b) El Conjuntor (A  B): Función AND
A
B
c) El Disyuntor Débil (A  B): Función OR
A
B
d) El Disyuntor Fuerte(A B): Función XOR
A
B
e) El Biimplicador (A  B): Función NOTXOR
A
B
f) El Inalternador (A  B) : Función NOTANDNOT

Morales
A
B
g) El Incompatibilizador (A | B): Función NOTORNOT
A
B
h) La Negación Conjuntiva (A  B): Función NOTAND
A
B
i) La Negación Disyuntiva (A  B): Función NOTOR
A
B
PASOS QUE SE SIGUEN PARA DISEÑAR COMPUERTAS
Ejemplo 1: Diseñar la compuerta del siguiente esquema:

(p  q)  (p  p)
Solución:
1º Se convierte el esquema dado a esquemas equivalentes que se puedan representar

en compuertas. En este caso aplicamos la definición del implicador al primer factor.
(p  q)  (p  q)
2º Se diseñan los esquemas que estén entre paréntesis, en el orden dado
p
q
3º Luego al resultado se le diseña el conector que los une, en este caso el conjuntor.
p p  q
(p  q)  (p  q)
q
pq

Morales
4º En el caso de que toda la fórmula esté negada, se representa la negación a la salida

de la compuerta.
Ejemplo 2: Diseñar la compuerta de la fórmula:
[(p  q)  p]  q
Solución:
Convertimos el condicional “” en disyuntor “”, mediante la definición del implicador.
[(p  q)  p]  q  [(p  q)  p]  q
 [(p  q)  p]  q
 [(p  q)  p]  q
Ahora obtenemos el esquema:
p
q
Ejemplo 3: Diseñar la compuerta del siguiente esquema:
[(A  B)  (C  D)  (A  C)]  (B  D)
Solución:
[(A  B)  (C  D)  (A  C)]  (B  D)  [(A  B)  (C  D)  (A  C)]  (B  D)
 [(A  B)  (C  D)  (A  C) ]  (B  D)
Luego el diseño del circuito lógico a compuerta:
A
B
C
D
2) SISTEMA EUROPEO (ISO)

Al igual que en el sistema americano (ASA), en el sistema europeo (ISO) sólo se
puede representar los siguientes esquemas:
a) El Negador (A): Su diseño es,
A 1

Morales
b) El Conjuntor (A  B): Su diseño es,
A
&
B
c) El Disyuntor Débil (A  B): Su diseño es,
A
1
B
d) El Disyuntor Fuerte (A  B): Su diseño es,
A
= 1
B
e) El Biimplicador (A  B): Su diseño es,
A
=
B
01.El circuito adjunto:
A Se formaliza:
A) (A  B)  (A  B)
B
B) (A  B)  (A  B)
C) (A  B)  (A  B)
D) (A  B)  (A  B)

Morales
E) (A  B)  (A  B) A) (p  q)  (q  p)

B) (p  q)  (q  p)
02.El circuito adjunto: C) [(p  q)  (q  p)]
A D) (p  q)  (q  p)
E) (p  q)  (q  p)
B
A
Se formaliza:
&
&
A) [(A  B)  A]  B 1
B) [(A  B)  B]  A
C) [(A  B)  A]  A Se formaliza:
D) [A  (B  A)]  A A) (A  A)  A  A
E) [(A  B)  A]  A B) (A  A)  A  A
C) (A  A)  (A  A)
03.El circuito adjunto: D) (A  A)  (A  A)
A E) (A  A)  A  A
B
1 = =1 07.El circuito adjunto:
C
A
B &
Se formaliza:
A) [(A  B)  C]  B 1 &
B) [(A  B)  C]  B
C) [(A  B)  C]  B Se formaliza:
D) [(A  B)  C]  B A) (A  B)  A
E) [(A  B)  C]  B B) [(A  B)  (A  B)]
C) [(A  B)  A]
04.El circuito adjunto: D) [(A  B)  B]
p E) [(A  B)  (A)]
q
A =
Se formaliza: =
A) p  [(p  q)  q]
B =1
B) p  [(q  p)  q]
C) p  [(p  q)  q] C =1
D) p  [(p  q)  q]
=
E) p  [(p  q)  q]
Se formaliza:
05.El circuito adjunto: A) [A  (A  B)]  [(B  C)  C]
p 1 B) [A  (A  B)]  [(B  C)  C]
C) [A  (A  B)]  [(B  C)  C]
1 D) [A  (A  B)]  [(B  C)  C]
q 1 E) [A  (A  B)]  [(B  C)  C]
Se formaliza: 09.El circuito adjunto:

Morales
A ¬q
p
1. p ¬q
B
¬p
p q
2. ¬p ¬q p
Se formaliza: q
A) [(A  B)  (A  B)]  A
B) [(A  B)  (A  B)]  B Al conectarlos en paralelo se obtiene
C) [(A  B)  (A  B)]  B
D) [(A  B)  (B  A)]  B A) ¬q  (p  q) B) q  (p  s)
E) [(A  B)  (A  B)]  B C) ¬q  (p  q) D) ¬q  (pq)
E) ¬q  ¬ (p  q)
EXON. 2008–I UNT (Ciencias)
10. El siguiente circuito a compuerta CEPUNT I – II SUMATIVO 2008
lógica: 13.El circuito:
p p
q q
r
s
Representa la fórmula
A) ¬ (p¬q)  (¬r¬s)
B) ¬ (p¬q) ↮ (¬r¬s) En su forma simplificada equivale a:
C) (¬p¬q) ↮ (¬r¬s) A) (p  q) (q  p)
D) p¬q  (¬rs) B) (p  q)  (p  q)
E) p¬q  (rs) C) (p  q) (p  q)
D) p  q
E) p  q
EXONERADOS 2008–I UNT (Cienc.) CEPUNT I – II SUMATIVO 2008

11.El circuito lógico dado: 14.Simplificando:
¬ [¬(p ¬q)] . [( (pq)  ( p)  r)]
A
B Se tiene:
p
A) ¬q
Equivale a: r
A) (A  B)  (B  A) ¬p q
B) A  (A  B) B)
C) ¬ [A  (A  B)] r
D) A  B
¬p
E) (A  B) / A
q
C)
CEPUNT I – II SUMATIVO 2008 r
12.Dados los circuitos:

Morales
¬p
D) r ORDINARIO 2008–I UNT (Cienc.)
¬q 17.El diseño a compuertas:
¬p =
¬q p
E) & ≥1
¬r q
≥1
CEPUNT I – II SUMATIVO 2008 Formalmente se obtiene:

15.André es un estudiante que le
agrada la Geometría y la Teoría de A) p  q B) ¬p  q
los números. Para estudiar en C) p  ¬q D) p  ¬q
paralelo, él expresa los siguientes E) p  q
enunciados simbólicamente:
ORDINARIO 2007–I UNT (Cienc.)
1. A es perpendicular a C ó B es 18.Al simplificar el circuito lógico:
perpendicular a C,
consecuentemente A es paralelo
aB p = =1
2. A y B son números enteros y B q
diferente de cero, por lo tanto =1
A/B es un número racional. =1
El resultado es: q Formalmente se obtiene:
A) [(p  q)  r]  [(p  q)  r]  s A) p B) pq C) ¬q

B) [(p  q)  r]  {[(p q)  r]  s} D) p¬q E) ¬pq
C) [(p  q)  r]  {[(p q)  r]  s}
D) {[(p  q)  r]  [(p q)  r]}  s
E) {[(p  q)  r]  [(p q)  r]}  s
ORDINARIO 2008–I UNT (Cienc.) CEPUNT II – II SUMATIVO 2008

16.El circuito lógico 19.El siguiente circuito:
p
q
r
Es equivalente a:
Equivale a las fórmulas lógicas:
A) (¬p  ¬r)  (¬q  r) 1. p  ¬p 2. p  q 3. ¬p  p
B) ¬r 4. p / p 5. (p  q)  (p  q)
C) ¬p  r Son ciertas:
D) (p  q) ≢ (¬r  q) A) 1, 4 y 5 B) 2, 3 y 4
E) ¬r  ¬q C) 3 y 4 D) 4 y 5

Morales
E) sólo 5 a) [(p  ¬q)  ¬r] ≢ (¬p  q)

b) [(p  ¬q)  ¬r]  (¬p  q)
CEPUNT I – II SUMATIVO 2007 c) [(p  ¬q)  ¬r]  (¬p  q)
21. El circuito a compuertas ISO: d) [(p  ¬q)  ¬r]  (¬p  q)
e) [(p  ¬q)  ¬r]  (¬p  q)
p 1
q
& & EXON. 2007–II UNT (Ciencias)
1 23.Del esquema molecular:
r p  ¬ (q  r)
s 1 1 el circuito a conmutador equivalente
es:
1 ¬q
¬q
A) r B) ¬r
Equivale a la fórmula: ¬p p
a) (¬p  ¬q) (s  r) ¬q ¬r ¬q
b) (¬p  ¬q)  (q  p) C) D)
c) (¬r  s)  (s  r) p
qr
d) (¬p  ¬q)  ¬q
¬p
e) (p  q)  (¬s  ¬r) E) ¬q
¬
EXON. 2007–II UNT (Ciencias) r
21.La compuerta lógica: ORDINARIO 2007–II UNT (Cienc.)
24.El siguiente circuito:
A
B p q r
q
p
Representa una matriz que se p q
caracteriza por tener:
1. Sólo valores verdaderos Se simplifica en:
2. 2 valores falsos
a) q b) p  q c) r
3. Sólo un valor falso
d) 0 e) 1
4. 3 focos de luz ámbar
ORDINARIO 2007–II UNT (Letras)
5. 4 focos apagados
25.El circuito lógico:
Son correctas:
= 1
A) 1 y 3 B) 3 y 4 C) 2 y 4 p 1 1
D) 3 y 5 E) 4 y 5 q
EXONERADOS 2007–II UNT (Cienc.) Se caracteriza porque:

22.El circuito siguiente: 1. p  q es su simbolización
p equivalente
2. q es su simbolización equivalente
q 3. El conector principal es una
r disyunción incluyente.
4. Su conector de mayor jerarquía
es la biimplicación.
5. Su conector principal es una
Se formaliza lógicamente como: negación

Morales
Son ciertas:
A) 1, 2 y 5 B) 2, 3 y 4 C) 1 y 2
D) 2 y 5 E) Sólo 1
ORDINARIO 2007–II UNT (Letras) Representa la fórmula:

26.Dado el siguiente circuito: A) [{(p  ¬q)  ¬(r  s)]  p
B) [(p  ¬q) ¬ (r  s)]  p
p C) [(p  ¬q) ¬ (r  s)]  p
q D) [(p  ¬q) ¬ (r  s)]  p
E) [(p  ¬q)  (r  s)]  p
Equivale a: EXON. 2007–II UNT (Ciencias)

1. – {p  [– (p  q)  (p  q)]} 29.El circuito:
2. {p  [(p  q)  (p  q)]} p
3. – {p  [(p  q)  (p  q)]}
4. – {p  – [(p  q)  (p  q)]} q
5. {p  [(p  q)  (p  q)]} r
No son ciertas: s
A) 1, 2 y 3 B) 1, 2 y 5 Se formaliza como:
C) 3, 4 y 5 D) 2, 3 y 5
A) ¬ (p  q  r)  s
E) 2, 3 y 4
B) ¬ (p  (q  r))  ¬s
C) ¬ (p  (q  r))  ¬s
ORDINARIO 2007–II UNT (Cienc.)
D) ¬ (¬p  (q  r))  ¬s
27.La siguiente fórmula p  q puede
E) ¬ {¬ [p  (q  r)]  ¬s}
ser representada por el circuito
lógico equivalente:
30.Dado el circuito:
q
A) p q
q p
r
¬p
B) p
q ¬q ¬q
¬r
Si cada compuerta cuesta 15 nuevos
C) p soles, el ahorro al simplificar el
q circuito es:
D) p A) 60 B) 75 C) 90
q D) 105 E) 120
p ORDINARIO 2007 – I UNT (Cienc.)

E) q 31.Dado los circuitos:
p
1. &
ORDINARIO 2007–II UNT (Cienc.) &
q
28.El circuito: =1
r
p
p =
2. =1
q q &
r r
Morales
E) (p & q)  (q & s)
CEPUNT II – III SUMATIVO 2005

3. p &
=1 34.El circuito:
q
r =1
A
B
Si los interruptores p y q están
encendidos y r apagado, los circuitos
Se formaliza:
donde enciende el foco son: A) {[(AB)  AB]  A  B}  (A  B)
B) {[(AB)  AB]  A  B}  (A  B)
A) 1 y 2 B) 1 y 3 C) 2 y 3 C) (A  B  C)  (A  B)
D) Sólo 2 E) N.A D) {{[A(AB)  B]  A  B}  A  B}
E) {((ABC)  A  B]} A B}(AB)
32.El circuito: CEPUNT II – III SUMATIVO 2005
p 35.La estructura lógica: (A  –B)  – A
tiene circuito:
q A) A
B
Es equivalente a:
B) A
1. ¬ [(p  p)  (¬p  q)] B
2. [(p  ¬q)  p]
3. pq C) A
4. –p–q B
5. p+q
D) A
Son ciertas, excepto: B
A) 1 y 2 B) 2 y 5 C) 2 y 4 E) A
D) 3 y 4 E) 4 y 5 B
CEPUNT I – III SUMATIVO 2005
ORDINARIO 2006 – II UNT (Cienc.) 36.El circuito:
33.La salida “R” del circuito lógico: &
A
p & 1 & R B
q
&
r & C
s 1
&
Es equivalente a:
Expresando con no más de 3 a) (AB)  C
compuertas lógicas, es: b) ABC
c) A  B  C
A) (p  q) & r d) A  B  C
B) (p  q) & (r  s) e) A  B   C
C) p  (q  s)
D) (p & q) (r & q) 37. El circuito adjunto:

Morales
B Presenta las siguientes

A B características:
B
1) Tiene una sola entrada.
A B 2) Posee ocho conmutadores.
3) Equivale a :
A p
A
q
Equivale a:
4) Equivale a :
A) (A  B)  B
p
B) A
q
C) A  B
D) (A  B)  B 5) Si cada conmutador cuesta
E) (A / B)  (A / B) 10 soles al simplificarlo se
ahorraría 60 soles.
38. En el siguiente diseño circuicial:
p ~p Son ciertas:
A) 1, 2 y 5 B) 1, 2 y 3
~q q C) 3, 4 y 5 D) 1, 3 y 5
~p q
~r E) Todas
r
p 40. El diseño circuicial:
A B
¿Cuántos conmutadores se pueden
B A
contar?
C C
A) 3 B) 6 C) 4
D) 9 E) 5 A A
B B
C C
Se puede simplificar equivalentemente:

39. El circuito lógico :
p q A) A  B B) A  (B  C)
-q C) A  C
-p
D) C  A  B E) Ninguna
p
p q
q
“LATINO”
IMPLICACIONES
SAN PEDRO DE LLOC
LÓGICAS

Morales
OBJETIVOS

 Reconocer y aplicar las reglas de inferencia a los diferentes esquemas de
proposiciones.
 Establecer la validez de un razonamiento.
INTRODUCCIÓN
Hemos estudiado un conjunto de reglas de equivalencia que nos permite transformar

fórmulas. Esta transformación de fórmulas, donde a partir de una fórmula A se obtiene
otra fórmula B equivalente, constituye un modo de derivar la conclusión a partir de una
premisa. Si embargo, estas reglas sólo nos permiten derivar una conclusión equivalente al
conjunto de premisas. Por lo tanto, las reglas equivalentes resultan insuficientes para
derivar cualquier conclusión que se deduce válidamente de un conjunto de premisas. Es
necesario, entonces, introducir leyes lógicas que permitan derivar válidamente
conclusiones no equivalentes. Para tal efecto enunciaremos las leyes lógicas denominadas
implicaciones notables. Cada una de las implicaciones notables será expresada en
forma de regla lógica con el objeto de facilitar la operatividad en la derivación. Las
implicaciones a diferencia de las equivalencias, también pueden ser deducciones mediatas
porque algunas parten de una premisa o conjunto de premisa para interrelacionarlas y
llegar a una conclusión válida lógicamente.
P1
P2 CONCLUSIÓN
P3
PREMISAS
Es importante saber distinguir los conceptos condicionales e implicación; porque la no

distinción de estos conceptos ha generado entre otros problemas, la "Paradoja de la
implicación material", donde se considera el operador "" como "implica" en vez de
leerlo como símbolo de "si… entonces".
Se dice que:
"A" implica a "B" cuando unidos por el condicional, "A" como antecedente y "B"
como consecuente, la relación es válida o mejor dicho, su esquema condicional
resulta ser tautológico.
Si
Si "A"
"A" implica
implica aa "B" entonces AA 
"B" entonces  BB representa
representa un
un
esquema
esquema tautológico.
tautológico.
Si AA 
Si  BB es
es tautológico
tautológico entonces
entonces "A"
"A" implica
implica aa "B".
"B".
Morales
Ejemplo: ¿La fórmula lógica p  q, implica a la fórmula p  q?

Para averiguarlo, obtengamos la tabla de verdad de la fórmula (p  q)  (p  q).
p q (p  q )  (p  q )
V V V V V
V F F V V
F V F V V
F F F V F
T a u to lo g í a
Como vemos en la tabla de verdad, el esquema condicional es Tautológico.

Luego, podemos decir que (p  q) implica a (p  q).
Este ejemplo nos muestra que no es lo mismo el concepto condicional "Si A entonces B"
con el concepto implicación "A implica a B".
Cabe aclarar que si una fórmula "A" es equivalente a una fórmula "B" entonces podemos
decir que "A implica a B".
Si AA  B,
Si B, entonces
entonces AA implica
implica aa BB
Pero esto no quiere decir que si "A implica a B" entonces "A es equivalente a B"
Si
Si AA implica
implica aa B,
B, entonces
entonces AA ≢
≢BB
Por lo tanto la relación es de inclusión y la podemos representar como:
Implicación
Equivalencia
Existen dos tipos de representar una implicación:
1.- Forma Vertical.- Ubicamos la representación de una premisa sobre la otra y la

separamos de la conclusión mediante una línea horizontal.
P1
P2
.
:
Pn

Morales
2.- Forma Horizontal.- Juntamos en forma horizontal al conjunto de premisas

mediante el operador conjuntor; luego las unimos con la conclusión mediante la
operación condicional.
( P 1  P 2  …  Pn )  C
PRINCIPALES IMPLICACIONES O IMPLICACIONES NOTABLES
1. Modos.- En su estructura constan de dos premisas y una conclusión; son 4 modos

diferentes válidos solo para determinados conectores.
A) Ponendo – Ponens (Afirmando – afirmo) (M.P.P)
 Regla: La afirmación del antecedente, implica la

información del consecuente
 Conectores: (, )
AB [(A  B)  A]  B
A
B
Otras formas:
AB AB
A B
B A
 Excepción: Cuando el conector en la primera premisa es

condicional, la afirmación del consecuente no implica la afirmación del
antecedente (Falacia Formal)
P1 : A  B
P2 : B
A FALACIA FORMAL
B) Tollendo – Tollens (Negando – Niego) (M.T.T.)
 Regla: La negación del consecuente, implica la negación del

antecedente.
 Conectores: (, )

Morales
P1 : A  B
P2 : –B
–A
  A  B    B   A
P1 : A  B
P2 : –B
–A
  A  B   B   A
P1 : A B
P2 : – A
–B
  A  B    A   B
 Excepción: Cuando el conector lógico en la primera premisa es
condicional; la negación del antecedente no implica la negación del
consecuente (Falacia formal).
P1 : A B
P2 : – A
–B FALACIA FORMAL
Nota: El Bicondicional no es excepción en las reglas anteriores.
C. Ponendo – Tollens (Afirmando - Niego) (M.P.T.)
 Regla: La afirmación de una de las variables de la primera premisa

implica la negación de la otra variable.
 Conectores: ()
P1 : A  B
P2 : A
–B
  A  B   A   B
P1 : A  B
P2 : B
–A   A  B   B   A
D. Tollendo – Ponens (Negando - Afirmo) (M.T.P.)

Morales
 Regla: Al negar una de las variables de la primera premisa,

concluimos en la afirmación de la otra variable.
 Conectores: ( ,  )
P1 : A  B Silogismo
P2 :– A Disyuntivo
B
  A  B   A  B
P1 : A  B Silogismo
P2 : –B Disyuntivo
A
  A  B    B  A
P1 : A  B
P2 : – A
B
  A  B   A  B
P1 : A  B
P2 : –B
A
  A  B    B  A
Nota: No hay problema al trabajar con el Bidisyuntor en cualquiera de las dos reglas
anteriores (C y D).
2. Silogismo Hipotético Puro (S.H.P.)

Es una forma de razonamiento que consta de dos premisas (condicionales) y una
conclusión.
 Regla: Las dos premisas deben tener forma condicional. Tiene que
existir un término medio (que aparezca tanto en la primera como en la segunda
premisa).
 Conectores: ()
P1 : A  B
P2 : B  C
A  C
  A  B   B  C     A  C 

Morales
P1 : B  A
P2 : C  B
C  A
  B  A    C  B    C  A 
 Excepciones: El término medio no puede ser causa en ambas
premisas, ni tampoco ser en las dos premisas efecto.
P1 : A  B
P2 : C  B
A  C FALACIA FORMAL
P1 : B  A
P2 : B  C
A  C FALACIA FORMAL
3. Dilema Constructivo Compuesto (D.C.C.).- Es una forma de razonamiento que

consta de 3 premisas, dos condicionales y una disyuntiva.
 Regla: De la disyunción de los antecedentes de dos premisas condicionales se

concluye la disyunción de los consecuentes de dichas premisas condicionales.
 Conectores: (, )
P1 : A  B
P2 : C  D
P3 : A  C
B  D
4. Dilema Destructivo Compuesto (D.D.C.).- Es una forma de razonamiento que

consta de 3 premisas, dos condicionales y una disyuntiva.
 Regla: Si disyuntivamente negamos los consecuentes de dos premisas

condicionales, se concluye disyuntivamente la negación de los antecedentes.
 Conectores: (, )
P1 : AB
P2 : CD
P3 : B  D
A  C

Morales
5. Transitividad Simétrica (T.S.).- Es similar al Silogismo Hipotético Puro pero en este

caso no importa la ubicación del término medio en las premisas.
 Regla: Las dos premisas deben tener representación Bicondicional.
 Conector: ()
P1 : A  B
P2 : B  C
A  C
  A  B   B  C     A  C 
P1 : A  B
P2 : C  B
A  C
  A  B   C  B    A  C 
P1 : B  A
P2 : B  C
A  C
  B  A   B  C    A  C
6. Conjunción.- Consta de dos premisas y una conclusión.
 Regla: De un conjunto de premisas se puede concluir en la conjunción

de las mismas.
 Conectores: (, en la conclusión)
P1 : A
P2 : B
A  B
 A  B   A  B
7. Simplificación.- Es una deducción inmediata porque está formada por una sola
premisa y una conclusión.
 Regla: Si se tiene como premisa una fórmula conjuntiva podemos

simplificar y aceptar como conclusión a una de sus variables o componentes.
 Conectores: ()
P1 : A  B

Morales
A
 A  B  A
P1 : A  B
B
 A  B  B
 Excepciones: No es posible aplicar la simplificación cuando la premisa es
una fórmula conjuntiva.
P1 : A  B
A FALACIA FORMAL
8. Adición.- Deducción inmediata donde se agrega una nueva proposición adicional:
 Regla: De una premisa se puede concluir la disyunción de la misma con

cualquier otra fórmula.
 Conectores: (, en la conclusión)
P1 : A
A  B
A   A  B
 Excepciones: La adición en la conclusión sólo es válida con el disyuntor;
mas no con el conjuntor.
P1 : A
A  B FALACIA FORMAL

Morales
EXONERADOS 2008–I UNT (Cienc.) D) 3 y 5 E) 4 y 5
01. De la proposición:
“El carbono es un constituyente ORDINARIO 2008–I UNT (Letras)
libre”. Luego: 04.Mediante la Forma Normal
Disyuntiva (FND) el esquema
A) Es falso que el carbono sea un molecular: p, es:
constituyente libre. 1. Verdadero 2. Tautológico
B) El carbono es un constituyente 3. No válido 4. Válido
libre y bien, o también 5. Contingente
combinado.
C) Tanto combinado como libre es Son ciertas:
el carbono. A) 1 y 2 B) 1 y 3 C) 2 y 4
D) O libre o combinado es el D) 3 y 5 E) 4 y 5
carbono.
E) Excepto que combinado o libre EXONERADOS 2008–I UNT (Cienc.)
sea el carbono. 05.De las siguientes estructuras
formales:
ORDINARIO 2008–I UNT (Letras) I. P1 : p  q
02.Aplicando el criterio de Post, la P2 : r  s
inferencia: “Si Jacinto es cantante P3 : p  r
entonces ofrecerá una canción en el C :qs
teatro. Ocurre que Jacinto no ofreció
una canción en el teatro, por tanto, II. P1 : pq
Jacinto no es cantante” es: P2 : rs
P3 : p  r
A) Falsa C : qs
B) Válida
C) No válida Podemos afirmar que:
D) No contradictoria
E) Consistente A) Solo I tiene estructura válida
B) Solo II tiene estructura válida
ORDINARIO 2008–I UNT (Letras) C) Ninguna tiene estructura válida
03.Mediante la Forma Normal D) Las dos tienen estructura válida
Conjuntiva (FNC) el esquema E) Ninguna es demostrable
molecular:
(p  q)  q; es: CEPUNT II – SUMATIVO 2007
06. De las premisas: “Si el Perú es un
1. No válido 2. Válido país dependiente, entonces es
3. Contradictorio 4. subdesarrollado”, además “El Perú
Tautológico es un país soberano o únicamente le
5. Contingente faltan puestos de trabajo”, pero “El
Perú no es subdesarrollado o le
Son ciertas: faltan puestos de trabajo”
A) 1 y 2 B) 1 y 3 C) 2 y 4

Morales
Se concluye: B) “Te absolverán a no ser que te

A) El Perú no es un país condenarán”.
dependiente a menos que sea C) “Si te absuelven, no te
un país soberano. condenarán”
B) El Perú es un país dependiente o D) “Al no pedir perdón, te
no es un país soberano. condenarán.
C) El Perú no es un país E) “Te absolverán de lo contrario te
dependiente o no es un país condenarán”.
soberano.
D) El Perú ni es un país EXONERADOS 2007–II UNT (Cien.)
dependiente ni es soberano. 10. De las premisas:
E) Es falso que, el Perú sea un país P1 : (A  B)  (C  D)
dependiente o sea soberano. P2 : E  F
P3 : F  G
CEPUNT II – II SUMATIVO 2007 P4 : B  G
07. De las premisas:
P1 : p  r Se infiere:
P2 : q  p A) A  B B) A E C) E 
P3 : r  s F
Se concluye en: D) G E) B  G
A) q  p B) p  r C) p  s EXONERADOS 2007–II UNT (Cienc.)

D) q  s E) s  p 11. De las premisas:
P1 : p  q
ORDINARIO 2007 – II UNT (Letras) P2 : p  q
08. De las premisas: Se infiere:
P1 : (p  q)   (p / s) 1. p 2. p 3. q
P2 : r  s 4. q 5. p  q
P3 : (p  q)  r
Se concluye en: Son ciertas:
1. p 2. p  r 3. p  s A) 1 y 3 B) 2 y 3 C) 2 y
4. s 5. (p / s)  s 4
D) 2 y 5 E) 4 y 5
No son ciertas:
A) 1, 2 y 3 B) 1,2 y 4 ORDINARIO 2007–II UNT (Cienc.)
C) 2, 3 y 5 D) 3 y 5 12.Del siguiente argumento:
E) 4 y 5 “Suponiendo que la temperatura
descienda a 14ºC, es evidente que
ORDINARIO 2007 – II UNT (Letras) no podemos ir a la playa y tampoco
09. Un abogado dice a su patrocinado: bañarnos. Es cierto que la
“Si pides perdón te absolverán. Si temperatura desciende a 14ºC o
eres ofensivo, te condenarán. Pero asciende a 19ºC”.
pides perdón a menos que eres Se infiere:
ofensivo”. En realidad, el abogado 1. “Si podremos bañarnos o
quiso decir: también ir a la playa, luego la
temperatura asciende a 19ºC”.
A) “Es innegable que te absolverán 2. “Es falso que no podemos ir a la
no obstante nadie te playa y tampoco bañarnos o es
condenará”.

Morales
cierto decir que la temperatura P2 : ( s   t )

asciende a 19ºC”. C: qp
3. “Si es mentira que la
temperatura asciende a 19ºC, Afirmamos que:
también es mentira que podré 1. La conclusión se ha obtenido por
bañarme o ir a la playa”. Modus Ponens.
4. “Suponiendo que, si no voy a la 2. La conclusión se ha obtenido por
playa podré bañarme, es obvio Modus Tollens.
que la temperatura asciende a 3. Es un razonamiento válido.
19ºC”. 4. Es un razonamiento inválido.
5. “Si la temperatura asciende a
19ºC obviamente podré Son verdaderas:
bañarme bien o también ir a la A) Sólo 1 B) Sólo 2 C) 2 y 3
playa”. D) Sólo 4 E) 1 y 3
Son ciertas:
EXONERADOS 2007–I UNT (Cienc.)
A) 1, 2 y 4 B) 1, 3 y 4 15. De las siguientes premisas:
C) 2, 3 y 5 D) 2 y 4 P1 : p  (r  q)
E) 1 y 4 P2 : s  q
P3 : s  p
ORDINARIO 2007–II UNT (Ciencias)
13. Luis argumenta en una librería: “Si Se infiere:
venden la obra Los Perros a) p  q b) p  q c) r
Hambrientos, entonces venden d) p e) p
obras literarias” y “o venden obras
literarias o necesariamente venden ORDINARIO 2006–II UNT (Ciencias)
libros científicos” y “es mentira que 16. De la premisas:”La psicopatología
no venden libros técnicos y no estudia la vida mental
venden libros científicos” y “es falso desequilibrada y la conducta
que venden libros técnicos”. desajustada propia de personas
insanas”.
Se infiere Se infiere:
A) “Se vende la obra Los Perros 1. La psicopatología estudia a
Hambrientos. personas insanas de vida mental
B) “Se vende la obra Los Perros desequilibrada.
Hambrientos a no ser que se 2. La psicopatología estudia a
vendan obras literarias”. personas desequilibradas y
C) “Es mentira que se venda la obra personas insanas.
Los Perros Hambrientos”. 3. La psicopatología estudia la
D) “No se venden obras literarias conducta desajustada propia de
salvo que no se venda la obra personas insanas.
Los Perros Hambrientos”. 4. No es cierto que la
E) “Es innegable que se venda la Psicopatología estudie ha
obra Los Perros Hambrientos”. personas desequilibradas.
5. La Psicopatología no estudia a
EXONERADOS 2007–I UNT (Cienc.) personas desequilibradas ni
14. Dado el siguiente razonamiento: insanas.
P1 : (p  q)  (s  t) Son falsas:

Morales
a) 1, 2 y 3 b) 1, 3 y 5 B) Hay mundial sub-17 y hay guías

c) 2, 3 y 4 d) 2, 4 y 5 turísticos.
e) 3, 4 y 5 C) Hay guía turístico y hay mundial
sub-17.
ORDINARIO 2006–II UNT (Letras) D) No es cierto que hay mundial
17.Del siguiente esquema sub-17.
argumentativo: E) No hay divisas y hay mundial
p  q sub-17.
q  r
p  s ORDINARIO 2005–II UNT (Letras)
? 20. La conclusión de las premisas:
Se infiere en:
P1 : (p  q)  (r)
a) s  r b) p  r c) r
P2 : q  r
d) r  s e) r
P3 : s  p
es:
18.Del argumento:
1.  p 2.  (s  t) 3. s
“No estudias la filosofía medieval,
4. q  r 5. p  s
salvo que encuentres dos problemas
filosóficos, aunque no encuentras Son ciertas:
dos problemas filosóficos”. a) 1 y 2 b) 3 y 4 c) 2 y 3
Se infiere: d) 4 y 5 e) 1 y 5
1. Es falso que estudias la filosofía 21.“Pumacahua fue mestizo además

medieval. precursor salvo que dejase de
2. Es cierto que no estudias la participar en el proceso de la
filosofía medieval. Independencia del Perú. Empero es
3. Estudias la filosofía medieval. obvio que el susodicho participó en
4. Es completamente cierto que la Independencia nacional”. Por
estudias la filosofía medieval. tanto:
5. Encuentras dos problemas
filosóficos. 1. Pumacahua fue
precursor al igual que mestizo.
Son incorrectas: 2. Es mentira que, si
a) 1, 2 y 3 b) 1, 2 y 4 Pumacachua fue mestizo luego
c) 1, 2 y 5 d) 2, 3 y 4 no fue precursor.
e) 3, 4 y 5 3. En modo alguno, ni
fue mestizo o tampoco fue
ORDINARIO 2005–I UNT (Ciencias) precursor; Pumacahua.
19.“Si hay un mundial sub-17 4. Es incorrecto que,
consecuentemente hay divisas” y “O siendo precursor; no haya sido
hay divisas o necesariamente hay mestizo Pumacahua.
turismo” y “Es falso que no haya 5. Es absurdo que,
guías turísticos y no hay turismo” y Pumacahua jamás haya sido
“Es objetable que haya guías precursor salvo que nunca haya
turísticos”. sido mestizo.
La conclusión es: Son absolutamente ciertas:
A) 1,2,3 B) 2,3,4
A) Es falso que no haya mundial
C) 3,4,5
sub-17.
D) Todas E) N.A.

Morales
radiación solar. Pero si el día

22.“Ya que existió el Racionalismo por estuviese claro”; inferiríamos que:
ende surgió el Empirismo. Sin
embargo, es innegable que el culto 1. Es falso que hay
a la razón tuvo gran vigencia en la radiación solar más eclipse.
Filosofía”. Por ello: 2. No hay eclipse
1. No tuvo vigencia el excepto que también no haya
culto a la experiencia. radiación solar.
2. También tuvo 3. Al haber radiación
vigencia el Empirismo. solar por ello no hay eclipse.
3. Apareció el 4. En forma alguna, hay
Eclecticismo. eclipse tanto como radiación
4. Es indefectible que el solar.
culto a la experiencia tuvo 5. Si hay eclipse
vigencia. entonces no hay radiación solar.
5. Existió el Son innegablemente correctas:
Racionalismo.
a) 1, 2, 3 b) 2, 3, 4
Son antiincorrectas: c) 3, 4, 5 d) Todas
e) N.A.
a) Sólo 5 b) 1 y 5 c) 2 y 4
d) 2, 5 y 4 e) 1, 3 y 5 25.Del siguiente argumento formal:
{[(p  q) v – (r  s)]  (- r v s)},
23.“Si Edilberto es senil, es ¿qué se infiere?
cascarrabias. Al ser cascarrabias es
obvio que siempre está a) p  q b) –(p  - q)
refunfuñando”. En consecuencia: c) –(p  q) d) Todas
e) N.A.
1. En el caso que
Edilberto sea viejo estará 26. Del siguiente argumento formal:
refunfuñando. [-(A  - b)  -(- C  b)],
2. Edilberto es senil ¿qué se deduce?
además refunfuña.
3. No es senil salvo que a) C  A b) – A  - C
refunfuñe Edilberto. c) –(- C  A) d) Todas
4. Es falso que, si e) N.A.
Edilberto no es senil por ello
refunfuñe. 27.“Si el neutrón tiene carga eléctrica
5. Es imposible que, neutra es obvio que el protón si
Edilberto sea viejo más no tiene carga. Sin embargo el H es
refunfuñe. átomo luego H2O es molécula.
Son ciertas: Asimismo es absoluto que tiene
carga neutra el neutrón excepto que
a) 1, 2, 3 b) 1, 3, 5 incluso átomo sea el hidrógeno”. En
c) 3, 4, 5 d) 2, 4, 5 consecuencia:
e) 2 y 4
1. Salvo que el H2O sea molécula,
24.“Siempre que y sólo cuando el día se el protón tiene carga eléctrica.
oscurezca entonces hay eclipse más

Morales
2. El protón tiene carga eléctrica o a) 2 y 4 b) 1, 2, 3

incluso el H2O es molécula. c) 1, 3, 5 d) 2, 4, 5 e) 3, 4
3. Es innegable que el H2O es
molécula salvo que el protón 30.“No obstante que Demócrito fue
tenga carga eléctrica. atomista así también el susodicho
4. Si el H2O es molécula en fue materialista”. En consecuencia:
consecuencia el protón tiene 1. Demócrito no fue atomista.
carga eléctrica. 2. Demócrito fue no idealista.
5. Es falso que el protón tenga 3. Demócrito es obvio que fue ato
carga eléctrica y el H2O no sea mista.
molécula. 4. Demócrito no fue materialista.
5. Es falso que Demócrito fuese
No son ciertas: idealista.
a) 1, 2, 3 b) 2, 3, 4
c) 3,4,5 d) Todas Son no incorrectamente absurdas,
e) 4 y 5 excepto:
a) 2, 3, 5 b) 1 y 4
28.De la siguiente fórmula: c) Sólo 3 d) 1,3,5 e) 2 y 4
- (p - q)  - (r  - s)  (- q v – s)
Se concluye en: 31.De las premisas:
1) (- p v – r) 2) (p  - r) [(- p v q)  (r v – s)  (- q v – r)]
3) –(r  p) 4) (r  - p)
5) (- r v – p) ¿Qué se deduce?
a) Falacia b) s  - P
Son correctas: c) – p  - s d) p v – s
a) 1, 2, 3 b) 2, 3, 4 e) – p v s
c) 3, 4, 5 d) 1, 3, 5
e) Todas. 32.De las premisas:
[(A  B)  (C  - D)  (- A v D)]
29.“En la época medieval existió el
feudalismo. En la misma época Se concluye en:
histórica existió la Santa inquisición”. a) – C v B b) – B  - C
Se colige c) –(- B  C) d) Todas
1. La iglesia tuvo gran poder e) – C v –B
político.
2. Existió la Santa inquisición 33.Si: “Los músicos son sordos salvo
además del feudalismo en la que únicamente escuchen. Así
edad media. como, éstos sólo escuchan excepto
3. El feudalismo o también la Santa que excluyentemente sean
Inquisición existieron en la edad locuaces”. Entonces:
media.
4. En la época del medioevo existió a) Los músicos son sordos a menos
tanto el feudalismo cuanto la que solamente sean locuaces.
Santa Inquisición. b) Los músicos son locuaces si y
5. La Santa Inquisición a menos sólo si no son sordos.
que también el feudalismo c) Es falso que, los músicos sean
existieron en el medioevo. sordos por lo cual y según lo
cual son locuaces.
Son incorrectas: d) Todas

Morales
e) N.A. {[(p  - q) v (- p  q)]  (- r  - s)

 (- s  - q)}, se deduce:
34.“Si Lolo no es modisto es obvio que
es un buen maquillador. Pero, a) p  r b) – (p  - r)
resulta que Paolo es congresista a c) – r/ - p d) A y B
no ser que también baile por las e) N.A.
noches. Más, si Lolo es modisto se
infiere que Paolo es bailarín
nocturno”. Luego:
1. Laolo no es mal maquillador y/o
Paolo es congresista. 38. De las premisas:
2. Paolo no es congresista excepto
que incluso Lolo sea buen {(- A v b)  [B  (- C v d)]  [A 
maquillador. (- D  - c)]  - (E  - a)}
3. Lolo no es buen maquillador por
ende Paolo es congresista. Se infiere:
4. Si Paolo es congresista, Lolo no
es mal maquillador. a) Es falacia b) – C v E
5. Si Paolo no es congresista luego c) C  E  A d) C v – D
Lolo no es mal maquillador. e) N.A.
Son obviamente ciertas: 39.Dada la conclusión: “Brasil fue una

a) 1, 3, 5 b) 2, 3, 5 colonia portuguesa y bien o
c) 2 y 4 d) 4 y 1 e) N.A. también Europa”, su premisa por
regla de inferencia mediata o
35.“En modo alguno, Habermas es un implicativa; es:
racionalista crítico”. Conlleva a:
A) De Portugal, Brasil fue su
a) Habermas es un neomarxista. colonia.
b) Habermas es materialista a no B) Brasil fue una colonia europea.
ser que también no sea C) Si Brasil no fue colonia
racionalista crítico. portuguesa se deduce que si fue
c) Habermas es obvio que es un europea.
racionalista crítico así como D) Todas
neomarxista. E) A y B
d) Habermas es un filósofo alemán
salvo que también sea 40. La fórmula [(P  Q) P] Q
racionalista crítico. está relacionada con:
e) N.A.
I. Silogismo disyuntivo
36.De las siguientes premisas: II. [(P  Q) Q] P
{[p  (q  r)]  (- s  t)  (r  s)} III. [(P  Q)  P]Q
IV. [(P  Q)  P]Q
¿Qué se infiere? V. Silogismo hipotético
a) q  t b) – p  t c) – p
d) – q e) N.A. Son ciertas:
37.De las premisas: A) 1 y 5 B) 2,3 y 4

C)2 y 5 D) Sólo 3 y 4

Morales
E)1 y 2
“LATINO”
LÓGICA
SAN PEDRO DE LLOC
CUANTIFICACIONAL
OBJETIVOS

 Representar en la lógica de predicados las proposiciones categóricas.
 Ampliar el manejo del cálculo proposicional al cálculo de predicados, para
aplicarlo en la construcción de argumentos
INTRODUCCIÓN
El análisis de los razonamientos en los que intervienen cuantificadores acompaña al

nacimiento de la lógica. Es Aristóteles, justamente, el primero en elaborar una teoría en
torno a un tipo de proposiciones con cuantificadores, de modo tan “perfecto”, que fue un
paradigma considerado insuperable, en lo fundamental por muchos (Kant entre otros)
durante mas de 2000 años. La lógica cuantificacional o de predicados, es desarrollada en
base a las llamadas proposiciones categóricas. Esta lógica se denomina también lógica de
las proposiciones analizadas, porque además de tomar en cuenta las relaciones
interproposicionales, trata de la estructura interna de las proposiciones categóricas. En
este sentido, la lógica proposicional no es suficiente para analizar la validez de todo tipo
de inferencia, dado que muchos argumentos válidos resultan inválidos al ser analizados
por la lógica proposicional. Trataremos de presentar de manera sencilla el lenguaje de la
lógica cuantificacional y aprovecharemos lo adquirido acerca de la lógica proposicional.
LAS PROPOSICIONES CATEGÓRICAS

Son aquellas proposiciones que afirman o niegan que la clase sujeto esta incluida o
excluida en la clase predicado de manera parcial o total.

Morales
ELEMENTOS DE UNA PROPOSICIÓN CATEGÓRICA

Los elementos de una proposición categórica son: cuantificador, sujeto, Verbo o cópula y
el término predicado.
Ejemplo:
s u je t o p r e d ic a d o
To d o s lo s h o m b re s so n m o r ta le s
c u a n t i fic a d o r v e rb o
Como podemos observar la clase hombres (sujeto) está incluida totalmente en la clase
mortales (predicado). Cada proposición categórica se caracteriza porque posee cantidad y
cualidad.
CLASIFICACIÓN DE LAS PROPOSICIONES CATEGÓRICAS
A) SEGÚN SU CANTIDAD
Universal: Son aquellas proposiciones en las cuales se hace referencia a la totalidad
de la clase sujeto en relación con la clase predicado.
Ejemplos:
 Todo investigador es estudioso.
 Ningún insecto es mamífero.
Particular: Son aquellas proposiciones en las cuales se hace referencia a una parte
de la clase sujeto en relación con la clase predicado.
Ejemplos:
 Algún médico no es cardiólogo.
 Muchos felinos son herbívoros.
B) SEGÚN SU CUALIDAD
Afirmativas: Cuando el verbo que usamos para designar a alguna clase no está
afectada por la negación.
Ejemplos:
 Todo gasto es felino.
 Algún estudiante es responsable.
Negativas: Cuando el verbo se encuentra afectado por algún negador, es decir

cuando excluimos totalmente una característica a alguna clase o sujeto.
Ejemplos:
 Algún médico no es cardiólogo.
 Ningún felino es herbívoro.
LOS CUANTIFICADORES
También llamados CUANTORES, son términos que sirven para determinar la cantidad de
una proposición categórica y son de dos tipos:

Morales
A) Cuantificador Universal
(Universalizador o generalizador)
Símbolo: x
Se lee:  “Todos los x”  Para todo x, los x
 Para cada x  Cualquier x, la totalidad de x
 El 100 % de los x  Quienquiera que sea x
B) Cuantificador Particular
(Particularizador o existencializador)
Símbolo: x
Se lee:  “Algún x”  Existe x
 Alguien, algo, alguno que sea x  Hay al menos un x
 Hay a lo más un x  La mayoría, la minoría de x
 Al menos un x  Muchos, pocos x, Artos
 Bastantes x  Casi todo x
 Tantos, Ciertos x  Hay exactamente un x
 Casi todos los x  Casi ningún x
 Casi todo x  El 5% de los x
FORMAS TIPICAS DE LAS PROPOSICIONES CATEGORICAS
Existen cuatro formas típicas de representar a una proposición categórica. Estas son:
Todo S es P (universal afirmativa)

Ningún S es P (universal negativa)
Algún S es P (particular afirmativa)
Algún S no es P (particular negativa)
Cada una de estas proposiciones categóricas típicas los medievales la bautizaron con las
letras A, E, I, O. Así pues para identificar a una proposición universal afirmativa “Todo S es
P”, será suficiente decir “una proposición tipo A”.
La forma clásica de las proposiciones categóricas típicas lo podemos obtener, Conectando

al sujeto “S” y predicado “P” con las letras a,e,i,o.
SaP se lee “Todo S es P” (tipo A)

SeP se lee “Ningún S es P” (tipo E)
SiP se lee “Algún S es P” (tipo I)
SoP se lee “Algún S no es P” (tipo O)
Finalmente hagamos la representación cuantificacional de las proposiciones categóricas
típicas.
A ■ Todo S es P ■ x(Sx  Px)
E ■ Ningún S es P ■ x(Sx  Px)
I ■ Algún S es P ■ x(Sx  Px)
O ■ Algún S no es P ■ x(Sx  Px)

Morales
Resumiendo las formas típicas de las proposiciones categóricas
FORMA TRADUCCION FORMA FORMA FORMA

TIPICA CLASICA CLASICA PROPOSICIONAL
A Todo S es P SaP x (Sx  Px) SP
E Ningún S es P SeP x (Sx  Px) S  P
I Algún S es P SiP x (Sx  Px) SP
O Algún S no es P SoP x (Sx  Px) S  P
EQUIVALENCIAS EN UN UNIVERSO FINITO
1. Definición del existencializador.

x (Ix)
Ia  Ib  Ic  .....
Ejemplo:
“Existen inteligentes” equivale a decir:

“Andrés es inteligente o Bacilio es inteligente o Charls es inteligente”
2. Definición del universalizador.

x (Px)
Pa  Pb  Pc  ....
Ejemplo:
“Todos son locuaces” equivale decir:
“Rita es locuaz y Rudolf es locuaz y Lito es locuaz”
EQUIVALENCIAS EN UN UNIVERSO INFINITO
Es una generalización de la lógica proposicional, en donde usaremos las leyes de

(conmutación, contraposición, definición del implicador y de la ley de Morgan); además
aparecerán las siguientes relaciones:
x  x ó x  x
Sean las proposiciones categóricas típicas: A, E, I, O. Veamos las relaciones que podemos
encontrar:
a) Negando la proposición tipo A:
A  x (Sx  Px)

 x (Sx  Px) (Def. Implicador)
 x (Sx  Px) (Ley de Morgan)
Luego: A  0 , de aquí deducimos: O  A

Morales
b) Negando la proposición tipo E:
E  x (Ax  Bx)

 x (Ax  Bx) (Def. Implicador)
 x (Ax  Bx) (Ley de Morgan)
Luego: E  I , de aquí deducimos: I  E
Ejemplos de proposiciones categóricas típicas
1. La proposición categórica típica: “Todos los ministros son ciudadanos”
Es una proposición tipo “A”, que debemos entender como:
“Toda cosa, si es un ministro, entonces es un ciudadano”
En esta proposición la clase de los “ministros” esta incluida totalmente en la clase de

los “peruanos”, por comodidad denotaremos a la clase de los ministros con la letra M
y a la clase de los ciudadanos con la letra C. Representando en su forma clásica y
cuantificacional.
Forma clásica : MaC
Forma cuantificacional : x(Mx  Cx)
2. La proposición categórica típica: “Ningún contribuyente es honrado”
Es una proposición tipo “E”, que debemos entender como:
“Toda cosa, si es un contribuyente, entonces no es honrado”
La proposición dada afirma claramente que cada contribuyente no es honrado, es

decir esta proposición expresa la exclusión total entre las clases “contribuyentes” y
“honrados”.
Forma clásica : CaH
Forma cuantificacional : x (Cx  Hx)
Ejemplos de proposiciones categóricas atípicas:
1. Formalizar: “Todo no religioso es político”

Tipo “Todo...es...” : A
Forma clásica : R aP
Forma cuantificacional : x ( Rx  Px)
La barra en la parte superior del sujeto R, R indica no religioso
2. Formalizar: “Algún no pintor no es músico”

Morales
Tipo “Algún...no es...” : O

Forma clásica : P oM
Forma cuantificacional : x ( Px   Mx)
4. Formalizar: “Todos son reyes a menos que sean conquistadores”

Forma cuantificacional : x ( Rx  Cx)

Morales
1. La proposición: “Sin lugar a dudas muchos son organizados”, equivale infinitamente
a:
1) Carlos o Eleazar son organizados
2) No todos no son organizados
3) Es falso que Martín y Eduardo no son organizados
4) Es mentira que nadie es organizado
5) No ocurre que no existan organizados
Son ciertas:
A) Todas B) 2, 3 y 4
C) 2, 4 y 5 D) Sólo 2 y 4
E) N.A.
2. La proposición: “Nadie es desinteresado”, equivale finitamente a:

A) Todos no son interesados
B) Algunos no son interesados
C) Todos son interesados
D) Manuel, Esteban y Raymundo son interesados
E) C + D son ciertas
3. La expresión: “Todos son sinceros” su negación equivale a:

1) Algunos no son sinceros
2) Es falso que ninguno no sea sincero
3) Es innegable que al menos hay un no sincero
4) Es indudable que no hay los que no son sinceros
5) Todos no son no sinceros
Son correctas:
A) 1, 2 y 3 B) Sólo 4 y 5
C) Sólo 1 y 2 D) 2, 4 y 5
E) Sólo 2 y 4
4. La expresión: “Todos son valerosos”, equivale a:

1) No hay no valerosos
2) Nadie no es valeroso
3) Es falso que algunos son valerosos
4) José y Manuel son valerosos
5) Ninguno es valeroso
Son ciertas:
A) Sólo 4 y 5 B) 1, 2 y 4
C) 3 y 4 D) 1, 4 y 5
E) Sólo 1 y 2
5. La expresión: “Es absurdo que algunos sean náufragos”, equivale a decir:

Morales
1) Es falso que todos sean náufragos

2) Ernesto no es náufrago o Rómulo no es náufrago
3) No es falso que nadie sea náufrago
4) Ni Erika ni Olenka son náufragos
5) Nadie es náufrago
Son ciertas:
A) 1, 2 y 3 B) 2, 3 y 4
C) Sólo 4 y 5 D) Sólo 3 y 4
E) 3 4 y 5
6. La expresión: “ Es falso que Alberto o Danilo sean candidatos”, equivale a decir:

1) Cada uno es candidato
2) Varios no son candidatos
3) Ni Alberto ni Danilo son candidatos
4) Es absurdo que si Alberto no es candidato, Danilo lo sea
5) Es mentira que algunos sean candidatos
Son ciertas:
A) 1, 2 y 3 B) 3, 4 y 5
C) 2, 3 y 4 D) Sólo 4 y 5
E) 2, 4 y 5
7. La expresión “Claudio Pizarro y Jefferson Farfán no son científicos”, equivale a decir.
1) Existen no científicos
2) Ni Jefferson Farfán ni Claudio Pizarro son científicos
3) No hay científicos
4) Es inadmisible que, Jefferson Farfán son científicos salvo que Claudio
Pizarro sea científico
5) Es absurdo que cualquiera sea científico
Son ciertas.
A) Sólo 2, 3 y 4 B) Sólo 1 3 y 5
C) Sólo 2, 4y 5 D) Sólo 3 y 4
E) Todas
8. La expresión: “Varios no son haraganes”; equivale a:

1) Es inconcebible que todos sean haraganes
2) Rómulo no es haragán o Samuel no es haragán
3) Samuel es haragán es condición necesaria para que Rómulo no sea
haragán
4) Ni siquiera un individuo es haragán
5) Puesto que Rómulo es haragán obviamente Samuel no es haragán.
Son ciertas.
A) 1, 2 y 4 B) 3, 4 y 5
C) 2, 3 y 4 D) Sólo 1 y 2
E) Sólo 4 y 5
9. La expresión: “En absoluto casi nadie es incapaz”, equivale a decir.

1) Hay incapaces

Morales
2) Es mentira que cualquiera es capaz

3) Todos son capaces
4) Ninguno es incapaz
5) Es falso que hay incapaces
Son ciertas:
A) 1, 3 y 4 B) 2, 3 y 4
C) 1, 4 y 5 D) 1, 2 y 4
E) 3, 4 y 5
10. La expresión: “Dado que Jorge es feliz se deduce que Raymundo no es feliz”, no
equivale a decir:
1) Todos infelices
2) Sólo si Raymundo no es feliz, Jorge es feliz
3) De Raymundo es feliz se deduce que Jorge no es feliz
4) No hay felices
5) Jorge no es feliz salvo que Raymundo sea infeliz
Son ciertas:
A) 2, 3 y 5 B) 1, 2 y 3
C) Sólo 1y 4 D) 1, 4 y 5
E) 3, 4 y 5
11. La expresión: “En modo alguno Chávez o Castro son demócratas”. No equivale a.
1) Es incierto que, si Chávez es demócrata Castro no sea demócrata
2) En modo alguno, si Chávez no es demócrata entonces Castro es
demócrata.
3) Quien quiera es demócrata
4) Es absurdo que algunos no son demócratas
5) Ni Chávez ni Castro son demócratas
Son ciertas.
A) Sólo 1, 3 y 5 B) Sólo 2 y 4
C) Sólo 2, 4 y 5 D) Sólo 1, 3 y 4
E) Todas
12. La proposición: “Es incierto que todo es vertebrado” equivale a:

1) Los moluscos, los crustáceos a no ser que los himenópteros no son vertebrados.
2) Los peces, las aves o anfibios son vertebrados.
3) El perro, el gato así como la gallina son vertebrados.
4) El camarón ano ser que el caracol no son vertebrados.
5) La avispa, la mariposa excepto que la araña no son vertebrados.
Son ciertas solamente
A) 1, 2 y 3 B) 2, 3 y 4
C) Sólo 2 y 3 D) 1, 4 y 5
E) 3, 4 y 5
13. La proposición: “Es imposible que aunque sea una célula no es unidad morfológica”,
es equivalente a:
1) Nadie que sea célula es unidad morfológica.
2) Todo lo que es célula es unidad morfológica.

Morales
3) Cualquiera no es célula a menos que sea unidad

morfológica.
4) Quienquiera es necesario para que sea célula, que sea
unidad morfológica.
5) Ninguna unidad morfológica no es célula.
Son ciertas:
A) 1, 2 y 3 B) 2, 3 y 4
C) 3, 4 y 5 D) 1, 3 y 5
E) Sólo 1 y 5
14. La proposición: “Es incierto que cada aerolito jamás es fragmento de astro”, equivale
a:
1) Existen aerolitos que no son fragmentos de astros.
2) La mayoría de no fragmentos de aerolitos son no aerolitos.
3) La minoría de aerolitos son fragmentos de astros.
4) Ciertos fragmentos de astros son aerolitos.
5) Es absurdo que todo cuerpo celeste no es aerolito a no ser
que tampoco es fragmento de astro.
Son correctas:
A) 1, 2 y 3 B) 2, 3 y 4
C) 3, 4 y 5 D) Sólo 3 y 4 E) Sólo 1 y 2
15. La proposición: “Solo los antichavistas son demócratas”, equivale a:
1) Todos los no chavistas son demócratas
2) Cualquier chavista no es demócrata
3) Es imposible que algunos antichavistas no sean demócratas
4) No hay chavistas que no sean no demócratas
5) Todos los hombres no son demócratas salvo que sean antichavistas
Son falsamente no ciertas:
A) 2, 3 y 5 B) 3 y 4
C) 1 y 3 D) 2, 4 y 5
E) Todas
16. La proposición: “Algunos son disciplinados a menos que sean responsables”, equivale
a:
1) Algunos son disciplinados a no ser que muchos sean responsables
2) Nunca ocurre que todos son irresponsables aún cuando cualquiera sea
indisciplinado
3) Suponiendo que cualquiera sea indisciplinado luego algunos serán responsables
4) Que todos no sean responsables es incompatible con que cualquiera sea
indisciplinado
5) No cualquiera no es disciplinado salvo que no todos sean irresponsables
Son ciertas:
A) 1, 2 y 3 B) 3, 4 y 5
C) 4, 2 y 1 D) Todas
E) Sólo 3 y 4

Morales
17. proposición: "Si cualquiera es roca, así pues muchas son rocas ígneas. Por lo tanto
cualquiera no es roca ígnea". Equivale:
A) Todo es roca ígnea

B) Al menos uno es roca ígnea
C) Existen rocas
D) Todos no son no rocas ígneas
E) Ni a lo más uno es roca ígnea
18. La proposición categórica: “Todo soneto es poesía de la misma forma como algunos
sonetos son prosas; siempre y cuando muchas prosas no dejen de ser sonetos”,
equivale a:
A) Cada prosa es poesía, pero pocos sonetos son prosas

B) Siempre que algunos sonetos no sean prosas, toda poesía dejará de ser soneto
C) La totalidad de sonetos son prosas siempre que y sólo cuando las poesías no
sean sonetos
D) Cada uno de los sonetos son poesías en el caso que pocos sonetos sean prosas
E) N.A.
ORDINARIO 2008–I UNT (Ciencias)

19. La proposición “No todo congresista es honesto” es equivalente a:
1. “Es mentira que nadie que sea congresista no es honesto”.
2. “Es falso que ningún congresista es honesto”.
3. “Existen personas que son congresistas no obstante no son honestos”.
4. “Algunos deshonestos son congresistas”.
5. “Es absurdo que algunas personas no son honestas o no son congresistas”
Son ciertas:
A) 1, 2 y 5 B) 1, 3 y 4
C) 1, 3 y 5 D) 2, 3 y 4
E) 2, 3 y 5

20.La negación de la proposición: “Es imposible, que muchos no sean atletas”.
Es equivalente a:
1. No todos son atletas.
2. Es falso que ninguno sea atleta.
3. Todos son atletas.
4. Muchos no son atletas.
5. Ninguno es atleta.
Son ciertas:
A) 2 y 4 B) 2 y 5 C) 1 y 3
D) 1 y 4 E) 3 y 5
ORDINARIO 2008–I UNT (Letras)

21. La simbolización de la proposición: No es verdad que todas las aves son voladoras, es:

Morales
1. (  x) (Ax  Vx)
2. (  x) (Ax  Vx)
3. (  x) (Ax  Vx)
4. (  x) (Vx  Ax)
5. (  x) (AxVx)
Son ciertas:
A) 1 y 2 B) 1 y 3 C) 2 y 4
D) 3 y 4 E) 4 y 5

22. La fórmula proposicional: (  x) (Fx) es equivalente a:
A) (x)(Fx) B) (x)(Fx)
C) (x) Fx D) (x)Fx
E) (x)Fx

23. La proposición: “Quienquiera es mineral” es equivalente a:
1. Es falso que ninguno es mineral.
2. Es incorrecto que existen minerales.
3. Es absurdo que muchos no son minerales.
4. Es incorrecto que la mayoría jamás son minerales.
5. Nadie no es mineral.
Son ciertas:
A) 1, 2 y 3 B) 1, 3 y 5
C) 2, 3 y 4 D) 2, 4 y 5
E) 3, 4 y 5
EXONERADOS 2007–II UNT (Cienc.)

24. La proposición: “Es falso que la minoría de científicos son fácticos, equivale a:
A) Hay pocos científicos fácticos.
B) Algunos fácticos no son científicos.
C) Todos los científicos son fácticos.
D) Todos los científicos no son fácticos.
E) Algunos fácticos son científicos.
EXONERADOS 2007–II UNT (Cienc.)

25. La negación de:
“Algunos no quieren a sus padres”, equivale a:
A) Ninguno quiere a sus padres.
B) Todos quieren a sus padres.
C) Algunos quieren a sus padres.
D) Todos no quieren a sus padres.
E) Ninguno quiere a ninguno de sus padres.
EXONERADOS 2007–II UNT (Letras)

26. El enunciado: “Existe al menos algo que es perfecto”. Se formaliza como:

Morales
A) (x) (Ax  Px)

B) x (Ax  Px)
C) x (Ax  Px)
D) x (Px)
E) x (Px)
EXONERADOS 2007–I UNT (Cienc.)

27. La proposición:
“Existen alumnos no provincianos”.
Se formaliza:
A) x (Ax  Px)
B) x (Ax  Px)
C) x (Ax  Px)
D) x (Ax  Px)
E) x (Ax Px)

28.“Todos los nadadores son premiados”.
Equivale a:
1. “Es absurdo que hay nadadores que no sean premiados”.
2. “Nadie que sea nadador no es premiado”.
3. “Es inadmisible afirmar que pocos nadadores no sean premiados”.
4. “Es falso que muchos nadadores no sean premiados”.
Son ciertas:
A) 1, 2 y 3 B) 1, 3 y 4
C) 2, 3 y 4 D) 1 y 2
E) Todas
ORDINARIO 2006 – II UNT (Cienc.)

29. La proposición: “Es objetable que nada que no sea número es infinito”.
Equivale a decir:
1. Hay un número que también no son infinitos.
2. Existen muchos no números que sin embargo son infinitos.
3. No es aceptable que cualquiera es número a menos que es finito.
4. Es inconcebible que todo es número salvo que no es finito.
5. Aunque sea uno de los infinitos no son números.
Son ciertas:
A) 1, 2 y 3 B) 1, 3 y 5
C) 2, 3 y 4 D) 2, 3 y 5
E) 3, 4 y 5

30.La proposición: “Todos son respetuosos al igual que estudiosos”, equivale a decir:
1. Juan o Raquel son respetuosos, salvo que a Juan o Raquel sean estudiosos.
2. Elena y María son respetuosas, asimismo Elena y María son estudiosas.

Morales
3. Todos son respetuosas, además todos son estudiosos.

4. Todos no son respetuosos o no son estudiosos.
5. Cada uno es respetuoso, asimismo es falso que algunos no sean estudiosos.
Son ciertas:
A) 1, 3 y 4 B) 1, 3 y 5
C) 2, 3 y 4 D) 2, 3 y 5
E) 3, 4 y 5

31. La negación de la proposición: “Existen los profesionales que no son médicos”.
Es equivalente a:
A) Todos los médicos son profesionales.
B) Existen médicos que no son profesionales.
C) Todos los profesionales son médicos.
D) Ningún médico es profesional.
E) Algún médico es profesional.

32.De la premisa: “Todos los profesionales son universitarios”, equivale a:
1. Es falso que ningún universitario es profesional.
2. No es verdad que algunos profesionales innegablemente son universitarios.
3. Es inconcebible que varios no universitarios sean profesionales.
4. De ninguna forma la mayoría de profesionales no son universitarios.
5. Es falso que todo no profesional es universitario.
Son ciertas:
A) Sólo 2 y 5 B) 2, 3 y 5
C) Sólo 1 y 4 D) 1, 4 y 5
E) 3 y 4

“No hay no trabajadores que sean técnicos”, equivale a:
1. Todos los técnicos son trabajadores.

2. Todos los trabajadores son técnicos.
3. Es falso que muchos técnicos no sean trabajadores.
4. No hay no trabajadores que no sean no técnicos.
5. Cualquiera es trabajador o técnico.
Son ciertas:
A) 1, 3 y 4 B) 2, 3 y 5 C) 1, 2 y 5
D) 3, 4 y 5 E) 1, 2 y 4

34. La proposición: “Es falso que cada uno de los polinomios son expresiones
algebraicas”, equivale a:
1. Dado que la expresión algebraica es obvio que tampoco es polinomio.

Morales
2. Es incorrecto que nada que sea no expresión algebraica es polinomio.

3. Aunque sea uno no expresión algebraica no obstante si es polinomio.
4. Aunque sea un polinomio también es expresión algebraica.
Son ciertas:
A) 2 y 3 B) 2, 3 y 4 C) 3 y 4
D) 1 y 3 E) Todas

“Todos los matemáticos son lógicos”
Es equivalente a:
1. Ningún no lógico es matemático.
2. Todos los no lógicos son no matemáticos.
3. Algunos matemáticos no son lógicos.
4. Ningún matemático es no lógico.
5. Algunos no lógicos son matemáticos.
Son Falsas:
A) 1 y 3 B) 4 y 5 C) 1 y 3
D) 3 y 5 E) 1 y 5

36. La negación de la proposición:
“Existen números racionales que no son primos”, es:
A) Ningún número primo es racional.

B) Es falso que no todo número racional es primo.
C) Algunos números racionales son primos.
D) Hay números primos irracionales.
E) Todos los números primos son racionales.
ORDINARIO 2005 – I UNT (Ciencias)

37. En el universo finito, el enunciado: “Existen operadores proposicionales”, equivale a:
1. El conjuntor es un operador proposicional o también el implicador es un operador

proposicional.
2. A menos que el replicador sea un operador proposicional, el negador también lo
es.
3. El biimplicador así como el disyuntor son operadores proposicionales.
Son ciertas:
A) 2 y 3 B) 1 y 3 C) 1 y 2
D) Sólo 2 E) Sólo 3

38. Decir: “Algunos libros de química escritos en francés no son buenos”, equivale a decir:

Morales
A) Es falso que ningún libro escrito en francés sea malo.

B) Existe al menos un libro de química que no es bueno pero que está escrito en
francés.
C) Todos los libros escritos en francés no son de química.
D) Todos los libros son difíciles si son de química.
E) Todos los libros de química escritos en francés son buenos.

39. La proposición: “Ningún no científico es no matemático”, se formaliza:
a) x (qx  px)
b) x (px  qx)
c) x (px  qx)
d) x (px  qx)
e) x (px  qx)

40. La proposición: “Todo es materia”, es equivalente a la proposición:
A) “Algo no es mentira”.
B) “Ninguno es materia”.
C) “Es falso que algo no sea materia”.
D) “Es verdad que algo no sea materia”.
E) “Es materia o no materia”.
Ejemplo:
PM :Todo músico es rockero

M P Premisas
Pm :Todos los artistas son músicos Universales
M S .
C: Algunos artistas son rockeros Conclusión
S P Particular
4. Cuando de dos premisas negativas se llega a una conclusión
Ejemplo:
PM : Algunos eruditos no son matemáticos

M P Premisas
Pm :Ningún matemático es dudoso Negativas
M S .
C: Algunos dudosos no son eruditos Conclusión
S P Negativa
5. Cuando la conclusión no sigue a la premisa débil
Ejemplo:

Morales
PM : Algunos biólogos no estudian animales

M P
Pm :Todo biólogo estudia seres vivos
M S .
C: Todos los seres vivos son animales

S P
Ejemplo:
PM :Algunos hombres estudian plantas.

M P
Pm : Todo hombre estudia seres vivos
M S .
C: Todos los seres vivos estudian plantas
P S
6. Cuando de dos premisas particulares, se obtiene una conclusión
Ejemplo:
PM :Algunos cantantes son tenores
P M Premisas
Particulares
Pm : Algunos tenores son italianos
M S .
Conclusión
C: Algunos italianos son cantantes
Particular
S P
7. Falacia del Medio Ilícito
Cuando ninguno de los términos medios está distribuido por lo menos una vez, es
decir M no tiene cantidad universal (TODO)
Ejemplo:
Realizamos la distribución (Parte – Todo)
PM : Todos los trujillanos son creyentes

P(Todo) M(Parte)
Pm :Todo arequipeño es creyente
_ S(Todo) M(Parte) .
C: Algunos arequipeño son trujillano
S(Todo) P (Parte)
8. Falacia del Menor Ilícito

Cuando el término menor en la conclusión tiene mayor cantidad (TODO), con respecto
al término menor en la premisa menor, que tuvo menor cantidad (PARTE).
Ejemplo:
PM :Todos los humanos son racionales

M (Todo) P (Parte)
Pm :Todos los humanos son seres vivos

Morales
M (Todo) P (Parte)
C: Todos los seres vivos, son racionales
S (Todo) P (Parte)
El Término Menor “seres vivos”, en la premisa tenía cantidad PARTE y ha cambiado en

la conclusión a la cantidad TODO, lo cual es inválido en el silogismo, y ocurrió en el
término menor, por eso se denomina Falacia de Menor Ilícito.
9. Falacia del Mayor Ilícito

Cuando el Término Mayor en la conclusión tiene mayor cantidad (TODO), con
respecto al término mayor en la premisa mayor, que tuvo menor cantidad (PARTE).
Ejemplo:
PM :Todos los perros son mamíferos

M (Todo) P (Parte)
Pm : Ningún león es perro
S (Todo) M (Todo) .
C : Ningún león es mamífero
S (Todo) P (Todo)
El Término mayor “mamíferos”, en la premisa tenía cantidad PARTE y ha cambiado en

la conclusión a la cantidad TODO, lo cual es inválido en el silogismo, y ocurrió en el
término mayor, por eso se denomina Falacia de Mayor Ilícito.

Morales

Logica Basico01

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Logica Basico01

Hochgeladen von

Copyright:

Verfügbare Formate

RAZONAMIENTO LÓGICO

Al finalizar el presente capítulo, el estudiante estará en la capacidad de:

Una de las disciplinas de la lógica formal es la lógica proposicional, que se encarga de

Es toda expresión aseverativa (afirma o niega algo), cuya característica fundamental

1. NO SON PROPOSICIONES LÓGICAS

– Las doxas o enunciados de opinión

– No se usa correctamente los niveles del lenguaje (Metalenguaje)

– Los enunciados que utilizan o predomina la función expresiva y

Ej.: Dudas, interjecciones, preguntas;

Ej.: Pedidos, Súplicas:

Ej.: Órdenes o mandatos, prohibiciones:

– Expresiones con más de un sentido (Anfibología):

2. SON PROPOSICIONES LÓGICAS

2 Prof. Miguel Valverde

– Los enunciados que respetan correctamente los niveles del

– Los enunciados que se refieren a personajes ficticios,

– Los enunciados cerrados (definidos).

– Proposiciones Elípticas o abreviadas: Son aquellas exclamaciones

II. CLASIFICACIÓN DE LAS PROPOSICIONES

1. Proposición Simple (Atómica, Monádica, Primaria, Fundamental, Sencilla,

3 Prof. Miguel Valverde

- La Libertad está entre Lambayeque y Lima. (Relación de espacio)

- José Carlos Mariátegui y César Vallejo son contemporáneos. (R.de tiempo)

- José y Pedro se pelearon. (Relación de acción)

- Carlos tiene un auto rojo. (Relación de pertenencia)

 En la lógica proposicional interesa el significado de una proposición.

 Carlos trabaja en la farmacia: p

Todas expresan la misma proposición y se formalizan con la misma variable.

2. Proposición Compuesta (Molecular, Coligativa, Compleja):

2.1. Proposiciones Negativas: Su conector es el término "No".

Ej.: Los insectos no viven en el mar

2.2. Proposiciones Conjuntivas: Su conector es el término "y"

Ej.: Héctor es físico y Luis es matemático.

2.3. Proposiciones Disyuntivas Incluyentes: Su conector es el término "O"

Ej.: José es médico o profesional.

2.4. Proposiciones Disyuntivas excluyentes: Su conector son los términos "O...

2.5. Proposiciones implicativas, o condicionales directas: Su conector son los

4 Prof. Miguel Valverde

Ej.: Si Jack ingresa a la Universidad Nacional de Trujillo, entonces será

2.6. Proposiciones Replicativas, o condicionales inversas: Su conector son los

2.7. Proposiciones Biimplicativas o Bicondicionales: Su conector son los

2.8. Proposiciones Inalternativas: Su conector son los términos "ni... ni...".

Ej.: La Historia ni es formal ni es deductiva.

2.9. Proposiciones Incompatibles: Su conector son los términos "no... o no ..."

Ej.: José no es abogado o Carlos no es profesor.

III. PROPIEDADES DE LAS PROPOSICIONES

La propiedad fundamental de toda proposición es ser verdadera o falsa, sin embargo

1. POR SU CUALIDAD (CALIDAD)

B) Negativa: Si el verbo se encuentra negado.

A) Universal: Son aquellas en que el sujeto de la proposición ha sido tomado en

5 Prof. Miguel Valverde

B) Particular: Son aquellas en que el sujeto de la proposición ha sido tomado en

C) Individual (Singular): Son aquellas en que el sujeto de la proposición ha sido

César Vallejo es Liberteño.

A) Asertórica (Empíricas, Sintéticas, Reales, Fácticos, Efectivas):

- Any estudia contabilidad en la Universidad Nacional de Cajamarca.

B) Apodíctica (Necesarias, Forzosas, Analíticas, simbólicas, Formales)

- Necesariamente la ciencia es exacta.

C) Problemática (Probables, Plausibles, Posibles, Hipotéticas):

6 Prof. Miguel Valverde

- Probablemente Marcos sea estudiante de física.

7 Prof. Miguel Valverde

8 Prof. Miguel Valverde