Ciclo Semestral 2022
RAZ. MATEMÁTICO N° 01-02
LÓGICA PROPOSICIONAL - I
1. NOCIONES PREVIAS
A. ENUNCIADO: Se llama a toda frase u oración, algunos
son mandatos o expresiones de emociones, otros en
cambio son afirmaciones o negaciones que tienen por
característica ser V o F
B. ENUNCIADO ABIERTO: Llamado también “Función
Proposicional” o “cuasi proposicional”. Son
expresiones que contienen “Variables” y no tienen la
propiedad de ser V o F.
Nota:
Un enunciado abierto puede ser una proposición si a sus
“variables” se le asigna un valor:
C. NO SON PROPOSICIONES LÓGICAS
- Las creencias, mitos o leyendas.
- Las metáforas o refranes.
- Las supersticiones.
- Los hechos de la literatura o personajes ficticios.
- Hechos discutibles: la moral, los valores, la belleza, etc.
- Las oraciones.
+ Exclamativas(Admiración, sorpresa)
+ Dubitativas (Dudas)
+ Desiderativas (Deseos)
+ Interrogativas (Preguntas)
+ Imperativas (Ordenes, suplicios, prohibiciones).
- Enunciados abiertos o indefinidos
2. PROPOSICIONES LÓGICAS
2.1. Proposición: Es la expresión lingüística del juicio cuya
característica fundamental es ser BIVALENTE (Verdadero
o Falso). Empíricamente y generalmente se expresan
como oraciones “DECLARATIVAS O ASEVERATIVAS”,
además las proposiciones tienen sentido completo.
Son proposiciones lógicas:
- Las fórmulas científicas ya demostradas.
- Las leyes o hipótesis científicas aceptadas.
- Enunciados cerrados o definidos.
- Las oraciones.
+ Informativas (información)
+ Descriptivas (características de algún sujeto).
+ Explicativas (causa – efecto)
NOTA: En casos muy excepcionales las preguntas y
admiraciones pueden ser proposiciones.
2.2. Estructura de una Proposición
Alicia es ingeniera
Te darás cuenta de que lo que hoy parece un sacrificio… va a terminar siendo el mayor logro de tu vida.
Sujeto - verbo - predicado
Sujeto – Verbo – Predicado
Observaciones:
1) El verbo o cópula generalmente es el verbo “ser o estar”
en cualquiera de sus tiempos.
2) En algunas proposiciones no aparece el sujeto (sujeto
implícito)
2.3. Propiedades de las Proposiciones
1. Cualidad o Calidad: pueden ser:
1.a. Afirmativas: Tienen la siguiente forma lógica:
S es P
1.b. Negativa: Tienen la siguiente forma lógica:
S no es P
2. Cantidad: Depende de las variaciones que se den en el
sujeto, pueden ser:
2.a. Universales: Tienen la siguiente forma lógica.
Todo S es P
Todos los S son P
2.b. Particulares: Tienen la siguiente forma lógica
Algún S es P
Algunos S son P
2.c. Individuales: Tiene la siguiente forma lógica
Este S es P
3. Modo o Modalidad: Depende de las variaciones que
experimenta el concepto cópula (verbo) y pueden ser:
3.a. Asertóricas: (Reales o fácticas). Si su valor de verdad
puede determinarse comparándolo con la realidad
inmediata. Son enunciados o descripciones de hechos.
a. Apodícticas.- (Necesarias o formales). Si su valor de
verdad puede determinarse por el análisis lógico de la
proposición. Todas las leyes lógicas y matemáticas
pertenecen a esta categoría.
b. Problemáticas.- (Plausibles, probables o hipotéticas).
Si su valor de verdad no se puede determinar en forma
inmediata, requiere de cierto tiempo o de determinadas
circunstancias.
TALLER DE EJERCICIOS N.º 01
 RAZ. MATEMÁTICO N° 01 - 02

I. En las siguientes oraciones escribe en cada paréntesis - Jenny es la hermana mayor de César.
cuáles son: Proposiciones (P), no proposiciones (~p) o (parentesco)
enunciado abierto (E.A) - Vallejo y Mariátegui fueron contemporáneos.
(tiempo)
1.
El caballero de los mares. ( )
2.
¿El Perú firmó el TLC con EEUU? ( ) B. Compuestas o Coligativas: Conformadas por 2 o más
3.
Yo he nacido en Chimbote. ( ) proposiciones simples, unida por conjunciones
4.
Francia es un país desarrollado, tecnológico e industrial. gramaticales (conectores lógicos) o afectadas por el
( ) adverbio de negación (No). Ejm:
5. Si: a+b+c = 0, a3+b3+c3 = 3abc ( ) - 9>5y5>1
6. ¡Gol de Universitario de deportes! ( ) - Artemio y Guadalupe son profesores del Cepuns.
7. ¿Acaso no sabías que Lima es la Capital del Perú? a) Negativas: “no”.
( )
8. San Pedro fue el 1er Papa de la Iglesia Católica b) Conjuntivas: “..... y .......”.
( )
9. Estudiar es característica de Ana ( ) c) Disyuntivas Incluyentes: “... o...” en sentido incluyente, es
10. Estar enamorado es lo más bonito que le puede pasar a decir que ambas proposiciones que la componen sí
una persona. ( ) pueden ser verdaderas a la vez.
11. El año que viene posiblemente se produzca en fenómeno
del niño. ( ) d) Disyuntivas Excluyentes: “...o...” en sentido excluyente,
12. Algunos alumnos son diestros. ( ) es decir que ambas proposiciones que la componen no
13. ¡No vas a la fiesta por malcriado! ( ) pueden ser verdaderas al mismo tiempo. Es de dos tipos:
14. Rocinante es el Caballo de Don quijote de la mancha
( )  Por su forma: Se presentan los siguientes casos:
15. Ingresare a la universidad ( ) 1.º La forma: “o.... o ....”:
Ejem: “o la lógica es una ciencia o es una técnica”.
16. El Perú en es un mendigo sentado es un banco de oro
( ) 2.º Con términos Modificadores: Sólo, solamente,
17. x2 + y2+ 3 > 9 ; si: x = -2, y = 1 ( ) únicamente, exclusivamente, prioritariamente, etc.
18. La lógica es una ciencia formal ( ) 3.º Con sinónimos.- Utilizando sinónimos de “o” del
19.Superman es un personaje poderoso ( ) lenguaje natural.
20.La Región Lima necesariamente forma parte del Perú
( )  Por su contenido: Si las proposiciones no pueden ser
21. El Perro Lay Fun mató a un delincuente verdaderas a la vez.
( ) Ejm: “El Perú se ubica en América o en Europa”.
22. Existe vida en otras galaxias ( )
e) Implicativas: “si...entonces....”. Tienen las siguientes
23. Posiblemente algún día los extraterrestres nos invadan.
características:
( )
24. Juan Pablo II fue el Papa peregrino ( )
- Tienen dos proposiciones. A la primera se le llama
25. La semana termina el sábado. ( )
antecedente y a la segunda consecuente.
3. CLASES DE PROPOSICIONES
- Condición suficiente o simplemente proposición
condicionadora – condición necesaria o simplemente
A. Simples o Atómicas: Carecen de conjunciones
proposición condicionada.
gramaticales (Conector lógico y de adverbio de negación
(No).
 Con Términos modificadores.- Cuando al término “si” se le
Pueden ser:
A.1. Predicativas: Cuando se le atribuye alguna cualidad al antepone un término modificador (solo, solamente,
sujeto (Utiliza el verbo ser en cualquiera de sus únicamente, exclusivamente, prioritariamente), se convierte
tiempos).Ejemplo: en sinónimo de “entonces”.

- Aristóteles fue el creador de la lógica clásica.

- La lógica es una ciencia.
f) Replicativas: “……si……”
A.2. Relacionales: Cuando se compara un sujeto con otro
g) Biimplicativas: “.... si y sólo si......”
mediante una relación que puede ser de orden,
tiempo, espacio, parentesco, acción, etc.

Ejemplo:

Academia Preuniversitaria Faraday – Clases Presenciales - Cel. / 977 338 378 - 955 349 448
 RAZ. MATEMÁTICO N° 01 - 02

h) Inalternativas o Negación conjunta.- Si tienen el operador Simultáneamente A con B No es equivalente A con

diático “ni... ni....”. B
A no bimplica a B
I) Incompatibles.- Si tienen el operador diádico “no... o no.....” o EL IMPLICADOR
“No es cierto que ..... y ............”. Símbolos: , 
Traducción verbal: se lee
4. CONECTORES LÓGICOS Si A entonces B
Jerarquía: Siempre que A por consiguiente B
(↔) ya que A bien se ve que B
(v) con tal que A es obvio que B
()()
cuando A así pues B
(V) toda vez que A en consecuencia B
dado A por eso B
()
en cuanto A por tanto B
(~) cada vez que A consiguientemente B
ya que A es evidente B
de A derivamos B
A implica B
Como quiera que A por lo cual B
Nota: La jerarquía de los conectores lógicos pierden fuerza En el caso de que A en tal sentido B
cuando aparecen los signos de agrupación: ( ), [ ],  }. Una condición necesaria para A es B
A es condición suficiente para B
A solo si B
5. TRADUCCIÓN VERBAL DE LOS CONECTORES De A deducimos (inferimos, concluimos, llegamos) en B, etc.
En la medida que A de allí B
A es obvio que B
A por lo cual B
EL CONJUNTOR EL DISYUNTOR De A inmediatamente B
INCLUYENTE De A deviene B
Símbolos:    x Símbolos: , + A impone B
En virtud de que A es evidente B
Traducción verbal: se lee: Traducción verbal: se lee: De A derivamos B
En el caso de que A es evidente B
AyB AoB A luego B
A incluso B A a menos que B A en consecuencia B
A pero B a menos que A, B De A infiere B
A aunque B A salvo que B
A al igual que B A y bien, o también B EL BIMPLICADOR EL REPLICADOR
A tal como B A excepto que B Símbolos: ↔, ≡ Símbolos: , , 
A tanto como B A o incluso B Traducción verbal: se lee:
A también B A o a la vez B A si y solo si B Traducción verbal: se lee:
A así como B A ya bien B A siempre y cuando B
A vemos que también B A y/o B A se define lógicamente como B Solo si A, B
A al mismo tiempo que B A es equivalente, equivale B A si B
A sin embargo B EL DISYUNTOR A por lo cual mismo que B A porque B
A es compatible con B EXCLUYENTE A si de la misma forma B A siempre que B
A aún cuando B Símbolos: v, ≢, ↔, ∆ A es idéntica a B Es condición necesaria A
A del mismo modo B A es igualmente (es igual, para B
A de la misma manera B Traducción verbal se lee: entonces) B A es condición necesaria
A no obstante B A cada vez que y sólo si B para B
A empero B oAoB A es equipolente a B A cada vez que B
No sólo A sino también B o bien A o bien B A es condición necesaria y A para B
A asimismo B A o B en sentidos suficiente para B Para A es suficiente B
A a pesar de B excluyentes A siempre que y sólo cuando B A puesto que B
A a la vez B A o solamente B A por lo cual y según lo cual B A dado que B
A igualmente B A o únicamente B A se define como B A supone que B
Sin que A tampoco B A o solo B A es lo mismo que B A pues B
Cierto que A lo mismo que B A no es equivalente a B A si de la forma B A ya que B

Academia Preuniversitaria Faraday – Clases Presenciales - Cel. / 977 338 378 - 955 349 448
 RAZ. MATEMÁTICO N° 01 - 02

A se define lógicamente B A deviene de B 1. Animales

A siempre y cuando B Sólo si A, B 2. ¡Pongan atención!
A a condición de que B 3. Silencio por favor
A en vista de que B, etc. 4. ¿Dónde nació Miguel Grau?
EL NEGADOR 5. ¿Cómo te llamas?
Símbolos: ~, , - No acaece que A
No es innegable que A Son correctas:
Traducción verbal: se lee: De ninguna forma se da
No A A a) 1, 2, 3 b) 2, 3, 4 c) 3, 4 y 5
Nunca A Es erróneo que A d) Todas e) N.a.
Jamás A (negadores internos) Es incierto que A
Es absurdo que A Nadie que sea A 05. De las siguientes oraciones son proposiciones lógicas:
Es inconcebible que A Es incorrecto que A
No ocurre que A No es inobjetablemente 1. ¿Qué día es hoy?
No es cierto que A que A 2. ¿Algún día seré profesional?
Es imposible que A No siempre que A 3. Ronaldo y Messi son deportistas.
No es verdad que A No es que A 4. Ella tiene un buen sentimiento.
Es mentira que A En modo alguno A 5. La lógica es una disciplina de la matemática.
Es inadmisible que A En forma alguna A Son correctas:
Es falso que A No es el caso que A
a) 1, 2, 3 b) 2, 3, 4 c) 3, 4, 5
d) Todas e) N.a.
TALLER DE EJERCICIOS Nº 02
06. ¿Cuál de las siguientes oraciones no es una proposición
01. Las proposiciones: lógica?

1. Tienen carácter bivalente. a) Vanessa es una mujer supersticiosa.

2. Son mandatos u órdenes. b) Ella es una persona supersticiosa en el amor.
3. Tiene sentido completo. c) Es supersticiosa desde el terremoto del 70.
4. Algunas son informaciones completamente falsas. d) Las supersticiones son ejemplos de proposiciones
5. Son los enunciados abiertos. lógicas.
Son ciertas: e) Todas.

a) 1, 2, 3 b) 2, 3, 4 c) 3, 4, 5 07. Son proposiciones lógicas

d) 1, 3, 4 e) 1, 2, 4 1. x +1=3 , si x > 2
2. x +1=3 , si x ≥ 2
02. ¿Cuál de las siguientes expresiones se pueden considerar
3. x +1=3 , si x > 3
como una proposición lógica? 4. x > 4
5. 4 = 5 si 2 =3
a) ¿Así que a las finales resultó ser el asesino? Son ciertas
b) ¡Fuego!
c) ¡Sorpresa! a) 1, 2, 3 b) Sólo 1 y 3 c) 2, 4 y 5
d) Todas las anteriores. d) Sólo 2 y 4 e) 1, 3 y 5
e) Ninguna de las anteriores
08. De las siguientes expresiones
1. EE.UU se encuentra entre Francia y España"
03. De las siguientes oraciones no son proposiciones lógicas:
2. "Macondo fue la ciudad donde vivió Aureliano
Buendía".
1. Platón es un filósofo materialista. 3. "Ojalá pudiese ingresar a la Universidad"
2. La lógica es una disciplina de la filosofía. 4. "Simón Bolívar fue el héroe de Arica".
3. El carbono 14 es un método arqueológico. 5. "La Educación peruana es bonita"
4. El "Tungsteno" es obra de Vallejo. Son proposiciones:
5. Los vegetales son Heterótrofos.
Son correctos: a) Todas b) 1, 2, 4 y 5 c) 1, 4 y 5
d) 1 y 4 e) N.a.
a) 1, 2, 3 b) 2, 3, 4 c) 3, 4, 5
d) Todas e) N.a.
09. De las siguientes expresiones:
04. Son proposiciones lógicas:
1. El mundo es ancho y ajeno.

Academia Preuniversitaria Faraday – Clases Presenciales - Cel. / 977 338 378 - 955 349 448
 RAZ. MATEMÁTICO N° 01 - 02

2. A rincón quita calzón". a) 1, 2, 4 b) 2, 5 c) 2, 3, 5

3. Acércate d) 3, 5 e) N.a.
4. Rezando cambiará tu suerte. 15. No representa a una proposición relacional:
5. Bésame a) Víctor y Carmen son novios.
No son proposiciones lógicas: b) Carla, Elizza y Erika estudian juntas.
c) Perú está entre Ecuador y Chile.
a) Sólo 1 y 2 b) Todas c) Sólo 4 d) La matemática es ciencia formal así como la lógica
d) Sólo 3 y 5 e) N.a. también lo es.
e) Todas
10. ¿Cuál de los siguientes enunciados no representa a una
proposición lógica? 16. Son proposiciones lógicas simples:
1. La radio es un medio de comunicación y distracción.
1. a + b  c = 100 2. Venus y Marte son planetas de nuestro Sistema Solar.
2. (a – b)2 = a2 – 2ab + b2 3. El Perú es un mendigo sentado en un banco de oro.
3. x + y = 50: Si x = 10, y = 30 4. La Historia es una ciencia Fática.
4. h2 = a2 + b2 5. "Lo Fatal" es un poema de Rubén Darío.
5. Es el creador de la lógica matemática. Son correctas, excepto:
Son ciertas:
a) 1, 2, 3 b) 2, 3, 4 c) 3, 4, 5
a) Todas b) 1, 4, 5 c) 1, 2, 4 d) 4, 5 e) 5, 3, 2
d) 1, 3, 4 y 5 e) 1, 5
11. Dados los siguientes enunciados: 17. Son proposiciones lógicas
1. En tus ojos veo mi futuro.
2. Más vale pájaro en mano que ciento volando. 1) 2(3)=6
3. El coronel Aureliano murió en una profunda soledad. 2) x+3=4, x R, x>0
4. Todos los caminos conducen a Roma. 3) x+3=4, x R, x  1
5. Espero que algún día llegar a conocerte mejor. 4) x+3=4, x R, x  1
Son proposiciones lógicas: 5) x+3=4, x R, x < 1
a) 1, 2, 3 b) 2, 3, 4 c) 4, 5, 1
d) 3, 4, 5 e) N.a. a) 2, 3 y 4 b) Sólo 1 y 5 c) 1, 3 y 4
12. Son proposiciones simples d) 1, 2 y 3 e) 1, 3 y 5
1) 4 y 5 son números consecutivos
2) Mentir equivale a engañar 18. Son proposiciones lógicas
3) Marie Curie descubrió el polonio incluso el radio 1) x +y = y +x ;  x, y  R
4) Pedro es pobre pero feliz 2) “x + y = y” ; es un ejemplo del
5) Pedro se casó con Liza la semana pasada enunciado abierto
Son ciertas 3) x=y, para x=5  y = x+3
4) x+ y+ z=180º ; donde x, y , z son
a) Solo 3 y 4 b) Solo 2,3 y 4 ángulos interiores de un triángulo
c) Solo 1,2 y 5 d) Ninguna 5) x+ z= y+ z / x=y ;  x, y , z  N
e) Todas
Son ciertas
13. Es una proposición simple:
a) Javier y Enrique estudian en la Universidad. a) 1, 2 y 3 b) 1, 3 y 4 c) 2, 3 y 5
b) Verónica es vecina de Carlos y Rodolfo. d) 1, 3 y 5 e) Todas
c) Perú no clasificó al Mundial de Francia 98.
d) Jenny y Flor son compañeras de carpeta. 19. Dadas las oraciones:
e) N.a. 1) Antonio, Enrique y César estudian juntos
2) Dado que la matemática es ciencia formal, es obvio
14. De las siguientes proposiciones son compuestas: que la lógica también lo es
1. Melissa, Blanca y Carol son estudiantes. 3) x + 2 = 5, si x = 3
2. Todo átomo no puede ser indivisibles. 4) 3 es el M.C.D. de 9 y 6
3. Perú y Bolivia son países vecinos. 5) 8 + 10 > 2 + 9
4. Ayer trabaje. Hoy descanso. Son proposiciones moleculares
5. Te amo en cuerpo y alma.
Son innegablemente inciertas: a) 1, 2 y 3 b) 2, 3 y 4 c) 3, 4 y 5
d) Solo 2 y 3 e) todas –5

Academia Preuniversitaria Faraday – Clases Presenciales - Cel. / 977 338 378 - 955 349 448
 RAZ. MATEMÁTICO N° 01 - 02

20. Es una proposición simple: 26. La proposición:

1) Las estaciones del año son consecuencia del “Si a = b  b = c  a= c” es: .......... mientras que la
movimiento proposición:
2) El calor dilata los cuerpos “Albert Einstein fue judío de nacimiento”,
3) La sífilis y la gonorrea son enfermedades venéreas es..............
4) 3 + 2 < 2 + 3
5) Messi así como Neymar son grandes a) Asertórica – Apodíctica
futbolistas b) Apodíctica – Asertórica
Son ciertas: c) Apodíctica – Problemática
d) Apodíctica – Problemática
a) 1, 2, 3 b) 1, 2, 4 c) 2, 4, 5 e) Asertórica – Asertórica
d) Todas e) N.a.
27. No son proposiciones compuestas:
21. Es una proposición atómica:
a) La física al igual que la química son ciencias de la 1) La tierra es un planeta cuyo eje está inclinado
naturaleza 2) Júpiter fue el rey de los dioses
b) La ideología cristiana es más convincente que la 3) Saturno es un planeta con anillos
islámica 4) Alfa Centauro tiene un clima muy relajante
c) Agua y el aceite son sustancias incompatibles 5) Kriptón se estrelló con Aldebarán
d) p  q  -q  -p Son ciertas:
e) N.a.
a) 1, 2, 3 b) sólo 5 c) 2, 3, 4
22. Es una proposición simple no relacional d) 1, 3 ,5 e) Todas
a) 1 + 2 = 3 6. FORMALIZACIÓN Y TRADUCCIÓN DE PROPOSICIONES
b) El padre y el hijo son la misma cosa
c) (S a P) es una proposición universal afirmativa Se produce como resultado de la combinación del sistema
d) La educación es la mejor herencia de los padres de símbolos de la lógica proposicional (o leyes de
e) N.a. conectores) y el lenguaje natural (castellano) o científico
(de cualquier ciencia particular).
23. Son proposiciones conjuntivas: Símbolos usados en la formalización:

1) Julio y Gustavo son profesores de la UNS 1. Variables proposicionales del lenguaje objeto : Son las
2) Artemio y Martín trabajan juntos en la UNS letras minúsculas que representan a una proposición
3) Leo y Joaquín son vecinos de Iván simple (p, q, r, s, t, …). Ejemplo:
4) Enrique y María son amigos de Ruller
5) Carlos, al igual que Mario, es amigo de Pedro
Son ciertas: El verano es una estación calurosa y
a) sólo 1 y 5 b) 2,4 y 5 c) sólo 3 y 4 p 
d) 1,3, 4 y 5 e) 1,2 y 3 divertida.
24. Una proposición lógica, según su cantidad puede ser: q
Formalizando: pq
1) Universal 2) Individualidad
3) Particular 4) Existencial
5) Singular
2. Variables metalingüísticas o del metalenguaje : Son las
son ciertas:
letras mayúsculas que representan operaciones lógicas
a) 1, 2, 3 b) 1, 3, 5 c) 3, 4, 5
es decir son de mayor amplitud que las letras
d) 1, 4, 5 e) todas
minúsculas porque éstas (una sola letra mayúscula)
pueden representar a una proposición compuesta:
25. La proposición: “Si José de San Martín es Argentino,
obligatoriamente es Sudamericano”, es:
Nota: Los esquemas lógicos y los
1) Problemática 2) Apodíctica argumentos se representan con
3) Compuesta 4) Individual
5) Asertórica estas variables.
Son ciertas:

a) 1, 2, 3 b) 1, 3, 5 c) 2, 3, 4
d) 2, 4, 5 e) N.a. Nota: Por ser lícito en el presente
curso, usaremos cualquiera de
las variables.
Academia Preuniversitaria Faraday – Clases Presenciales - Cel. / 977 338 378 - 955 349 448
 RAZ. MATEMÁTICO N° 01 - 02

12. Nils, Luís y Mercedes intercambian información acerca de los

avances de la medicina.
…………………………………………
13. No es cierto que nunca la Trinchera norte no sea una barra
antisocial.
Pasos a seguir para Formalizar: …………………………………………
14. Luís y Henry no son profesores; o si no son Ingenieros.
PASO 1: Elegir variables que represente sólo a una …………………………………………
proposición simple. 15. Dado que la materia así como la energía, no se crea ni se
destruye, es obvio que ambos solo sufren transformación.
PASO 2: Identificar conectivos lógicos (teniendo en cuenta …………………………………………
los signos lingüísticos).
16. Voy al médico porque estoy enfermo, pero tomo
Los Signos Lingüísticos en la Formalización medicamentos.
…………………………………………
Los signos lingüísticos: (coma, punto, punto y coma) 17. Jesús y Dennis no son hermanos gemelos pero tampoco son
pueden, en algunos casos ser conectores lógicos. mellizos.
…………………………………………
PASO 3: Agrupar ordenadamente las proposiciones 18. Carmen es alta a no ser que sea de tez blanca, pero es baja.
usando símbolos auxiliares ( ( ), [ ], { }) Siempre y cuando sea de tez negra.
…………………………………………
19. Alicia ama a Fernando o Alberto pero se da el caso que no
Nota: Para formalizar es importante ama a ambos.
que las proposiciones simples se …………………………………………
ubiquen en orden alfabético. 20. Perderemos el partido o empatamos.
……………………………………………...
21. Es contradictorio que Chimbote y Nuevo Chimbote no sean
TALLER DE EJERCICIOS Nº 03 distritos vecinos.
…………………………………………...…
Formalizar las siguientes proposiciones o argumentos: 22. Sale el sol porque es de día si y solo si es verano.
1. Alicia es enfermera no obstante no es deductiva: ……………………………………………..
………………………………………… 23. Juan, María y Andrés son trillizos, de allí que son hijos de
2. Francia y Alemania son países fronterizos además una sola madre.
industrializados. ………………………………………...……
………………………………………… 24. Ingresaré a la universidad si estudio a conciencia por lo tanto
3. No entender bien la clase es consecuencia de estar seré el orgullo de mis padres.
desatento …………………………………...…………
………………………………………… 25. No, no iré a estudiar.
4. Me informo de todo lo que pasa en el país siempre que lea …………………………………………
periódicos. TALLER DE EJERCICIOS Nº 04
…………………………………………
5. No acaece que, sea innecesario viajar para triunfar en la 01. La proposición: “Es absurdo que los sueldos no tienen
vida. capacidad adquisitiva, pero los trabajadores protestan”. Se
……………………………………… formaliza como:
6. Dormir bien implica mejor desempeño laboral
………………………………………… a) A  -B b) (A  B) c) A  B
7. No solo ingresaste al instituto sino también a la universidad. d) A  B e) (A  B
……………………………………….
8. Sofía ira al cine o solo al teatro. 02. La proposición: “la célula es microscópica, excepto que sea
………………………………………… visible a simple vista”. Se formaliza como:
9. La matemática es una ciencia formal y bien o también la
lógica lo es. a) A  B b) A  B c) A  B
……………………………………… d) A  B e) (A  - B)
10. Solo si juego el partido de fútbol, soy titular.
………………………………………… 03. “Si los recursos naturales son patrimonio de la nación, en
11. 4 + 8 es igual que 10 +2. consecuencia es soberano su aprovechamiento”. Se formaliza
…………………………………. como:

Academia Preuniversitaria Faraday – Clases Presenciales - Cel. / 977 338 378 - 955 349 448
 RAZ. MATEMÁTICO N° 01 - 02

a) A + B b) A  B c) A  B
d) B  A e) N.a. 12. La proposición: “la lógica es una ciencia siempre que y sólo
cuando la matemática sea una ciencia exacta”. Se formaliza
04. “Un juicio plausible es equivalente que un juicio problemático”. como:
Se formaliza como: a) -A  B b) A(BC) c) A  B
d) A  B e) A (B  C)
a) A & B b) A  B c) A  B
d) A . B e) A 13. La formalización siguiente:(A  B)  (C   D)
Se expresa en la proposición:
05. Una empresa persigue un fin lucrativo porque produce a) Orellana descubrió el Amazonas o bien Pizarro organizó la
dividendos o salvo que únicamente persiga un fin mercantil”. expedición si y solo si Almagro se quedó en el Cuzco.
Se formaliza como:
b) Orellana descubrió el río Amazonas luego viaja a España.
a) (A  B)  B b) (A  B)  A c) Si Orellana descubrió el Amazonas, Pizarro organizó la
c) (B  A)  C d) A  B expedición excepto Almagro se quedó en el Cuzco pero no
e) (A  B)  C viajó en la expedición.
06. ”Un juicio apodíctico es analítico, pero también es necesario y d) Si Orellana no descubrió el Amazonas, Pizarro organizó la
forzoso. Por eso usan lenguajes simbólicos”. Se formaliza expedición deviene que Almagro se quedó en el Cuzco
como: pero no viajó en la expedición.
e) T.a.
a) [A  (A B)]  D b) [A (B C)D
14. La proposición: “Con tal que la inflación se controle es obvio
c) [A +(B + C)]  D d) [A (A B)]D
que se reactivará la balanza comercial”. Se formaliza:
e) [A (B  C)]  D
a) A  B b) A  B c) A >..< B
07. ”Pagar impuestos es equivalente a tributar. Aunque la SUNAT
d) A  B e) N.a. A  B
no intervenga directamente”. Se formaliza como:
15. La proposición: “Es absurdo que la Biología sea una ciencia
a) (A  B)C b) (A  B) C
matemática excepto que la química sea una ciencia natural”.
c) (A  B) D d) [A  B) C
Se formaliza:
e) (A  - B)  C
a) -A  B b) A  B c) A  B
08. La proposición: “los volcanes durmientes son pasivos a menos
d) A  B e) N.A (A  B)
que con el tiempo se activen”. Se formaliza como:

a) A  B b) A  B c) A (BC)
16. Si: “O bien el caimán es un reptil o bien invertebrado sin
d) A (A  B) e) N.a embargo el delfín es asiático a menos que la ballena sea
mamífero”. Se formaliza:
09. La proposición: “Es absurdo que los vegetales no son verdes
pero los frutos son producto de las plantas”. Se formaliza: a) (C  I)(D  B)
a) A  B b) (A  B) b) (C  I)  (D  B)
c) (A  B) d) A (B  B)
c) ( C  I)  (D  C)
e) T.a
d) (C  D)  B e) T.a.
10. La proposición: “Es inconcebible que el átomo esté formado
17. La proposición: “Si las plantas son vegetales en tal sentido son
por protones excepto que por neutrones”. Se formaliza:
seres vivos”. Se formaliza:
a) P  N b) N  P
a) A  B b) A  B c) A ≻ ≺ B
c) (P  N) d) (N  P)
d) A  B e) N.A
e) N  P
18. La proposición: “Los peces son acuáticos o bien los insectos
11. La proposición: “Es inconcebible que el Perú tenga crecimiento
son invertebrados”. Se formaliza:
económico salvo que se termine con la recesión a menos que
no haya inflación”. Se formaliza :
a) A + B b) A ≻ ≺ B c) A  B
a) A  B C b) (A  B)  C d) A (B  C) e) (A  B)  C
c) (A B)   C d) A  B 19. La proposición: “Tanto Perú como Ecuador no son potencias
e) T.a. comerciales”. Se formaliza:

Academia Preuniversitaria Faraday – Clases Presenciales - Cel. / 977 338 378 - 955 349 448
 RAZ. MATEMÁTICO N° 01 - 02

a) A  B b) A  B c) A  B 27. La proposición: “Ya que los mamíferos igualmente los

d) A  B e) A ± B paquidermos son vertebrados, bien se ve que no son anfibios”.
Se formaliza como:
20. “Japón y Somalia son los países de mayor y menor riqueza
mundial, respectivamente”. Se formaliza como: a) (p  q)(r  s)
b) (p  q)  r
a) A  B b) A  B c) A  B c) (p  q)  r
d) (A & B)&(C&D) e) A + B d) (p q)(r   s)
e) (p q)  (r   s)
21. La proposición: “Es mentira que la inflación es un indicador de
pobreza a menos que ésta sea equivalente a un indicador 28. La proposición:“No es verdad que el Perú no sea neoliberal a
poblacional”. Se formaliza como: la vez sea antárquico”. Se formaliza :

a) ¬ (p  q) b) ¬ (p  q) a) (p q) b) ¬¬ (p  q)
c)¬ (p  q)r) d) ¬ [p  (qr)] c)¬ ¬ (p ¬q) d) ¬¬ [p  ¬q]
e)¬ (p ¬¬ q) e)¬¬ (p ¬¬ q)

22. La proposición: “Es indudable que los Diagramas de Venn se 29. Formalizar:“Raquel y Noemí ingresaron a la misma universidad
usan en Lógica de Predicados excepto que se usen en Lógica por lo cual estudiarán juntas”.
Proposicional”. Se formaliza como: a) (p  q)  (r  s) b) (p  q) r
c) (p q)  r d) (p  q)  p
a) ¬ (p ¬ q) b) ¬¬ (p  q) e) p  q
c)¬ ¬ (p ¬q) d) ¬¬ [p  ¬q]
e)¬¬ (p ¬¬q) 30. La proposición:“Un hombre es honrado solo cuando no tiene
problemas. Este hombre no tiene problemas más tiene
23. La proposición: “Luis C y C. Acuña son candidatos a la antecedentes. Consecuentemente es honrado pero no tiene
presidencia y al Congreso, respectivamente”. Tiene como dinero”.
fórmula lógica: a) [ ( p ←q ) ∧ (−q ∧r ¿ ) ] →( p ∧r )
b) { [ p →(q ∧−q ) ] ∧r } →( p ∧r )
a) p  q b) p  q c) ¬p  q
d) p  q e) ¬ (¬p ¬q) c) { [ p →−q ¿∧(−q ∧r ) ] } →( p ∧−s)
d) [ ( p →−q)∨(−q ∧ r ) ] →( p ∧−s )
24. La proposición: “Porque la luz tiene naturaleza dual, se e) N.a.
transmite en el vacío. Sin embargo, el sonido no se transmite 31. Lucas y Ruperto son primos hermanos, puesto que el padre de
en el vacío porque tiene naturaleza ondulatoria”. Se formaliza Lucas y el padre de Ruperto son hermanos”. Se formaliza
como: como:
a) (p  q)(¬ qr) b)p q)(¬ rs)
c) (p  q)  ¬ (q r) d)(pq)(¬ rs) a) (p  q)  r b) p  q
e) (pq)  (¬qr) c) (p  q)  (r  s) d) (p  q)  r
e) p  q
25. La proposición: “Es suficiente y necesario que un
razonamiento sea válido para que cumpla con las reglas de 32. La formalización correcta de: “Raúl juega béisbol o juega tenis,
inferencia”. Se formaliza como: sin embargo no juega béisbol ni juega tenis”.
a) (p  q)  ( p   q) b) (p  q)   r
a) p  q b) ¬p  q c) ¬p  q c) (p  q)  ( p   q) d) (p  q)  ( p   q)
d) p  q e) pq e) N.a.
26. La formalización de: “Volaré a Japón o Inglaterra como
consecuencia de tener dinero. Pero no tengo dinero. En 33. Dado la proposición: “Tanto la física y la química son ciencias;
consecuencia viajaré a España”. Es: puesto que experimentan”. Su correcta formalización es:

a) {[p  (q  r)]  p}  s a) (p  q)  r b) r  (p  q)

b) {[p  (q  r)]  p}   s c) r  (p  q) d) (p  q)  (r  s)
c) {[r  (p  q)]  p}   q e) ( r  s)  (p  q)
d) {[r  (q  q)]  r}  s
e) [p  (q  r)]  (p  s) 34. La proposición: “Si Montensinos dice la verdad entonces
Fujimori es ladrón. Si Fujimori no es ladrón, Montesinos no

Academia Preuniversitaria Faraday – Clases Presenciales - Cel. / 977 338 378 - 955 349 448
 RAZ. MATEMÁTICO N° 01 - 02

dice la verdad. Por consiguiente Montesinos dice la verdad

dado que Fujimori es fugitivo”. Se formaliza como: a) {[(p  q)  r]   (p  q)}  r
b) [(p  q)   p]  q
a) [(p  q)  ( q   p)]  (p r) c) [(p  q)  p  q
b) [(p  q)  ( q   p)]  (p r) d) [(p  q)   p]  q
c) [(p  q)  ( q   p)]  (p  r) e) N.a
d) [(p  q)  ( q   p)]  (p   r)
e) N.A 41. Dada La proposición: “Si ”a” es perpendicular a “e”, entonces
“a” es paralelo a “b” o “a” no es paralelo a “b”. Se formalización
35. Dada la proposición: “De que Colombia y Ecuador son países es:
limítrofes se desprende que son limítrofes con Perú. Su
formalización es : a) (p  q)  (r  r) b) (p  q)  (r   r)
c) [(p  q)  (r   r) d) (p  q)  (r   r)
a) (p  q)  p b) p  (q  r) e) N.a
c) p  q d) p  (q  r ) 42. La proposición: “ya que es suficiente que exista pobreza en el
e) (p  q)  r Perú para que no exista dominación imperialista excepto que
únicamente existe pobreza en el Perú”. Se formaliza:
36. La traducción incorrecta de la fórmula:
(B  C)  A, es: a) (p  q)  (q  p) b) (p  q)  (q  p)
c) (p  q)  (q  p) d) (p  q)  (q  p)
a) Es obvio que si estudias y te esfuerzas consiguientemente e) (p   q)  (q  p)
ingresas.
b) Ingresar es condición suficiente para estudiar y esforzarse.
43. La proposición: “Honradez equivale a honestidad, a menos que
c) Sólo si estudias y te esfuerzas, diremos que ingresas.
bondad se defina como virtud”. Se formaliza:
d) Sólo si ingresas, estudias y te esfuerzas.
e) N.a.
a) p  q b) (p  q)  (r  s)
37. La proposición: “Es inobjetablemente falso que cada vez que c) (p  q)  (r  s) d) (p  q
no aumentan loa salarios, se producen paros nacionales. Pero e) (p  q)  (r  s)
si aumentan los salarios y d an bonificaciones,
consecuentemente habrá voluntad del gobierno. Su
formalización es:

a) (p   q)  [(p  r)  s]
b) (p  q)  [(p  r)  s]
c)    (p q)  [p  (r s)]
d)    (p q)  [(p  r) s]
e) N.a

38. La proposición: “Los artrópodos ectoparásitos temporarios o

permanentes. Sin embargo son titulares”. Se formaliza como:

a) p  q b) (p  q)r c) (p  q)  r
d) (p  q) r e) N.a

39. La proposición: “Es inconcebible que Marco robó al banco

porque tuvo problemas. Sin embargo nunca tuvo problemas a
no ser que la despidieron de su trabajo”. Se formaliza:

a) (p  q)  (q  r)
b)   (p  q)  (q  r)
c)  (q  p)  (q   r)
d) (q  p)  ( q  p)  ( q  r)
e) ( p  q)  (q  r)

40. La proposición: “Mabel y Jhony son esposos o primos

hermanos. Pero no son esposos, en consecuencia son primos
hermanos”. Se formaliza como:

Academia Preuniversitaria Faraday – Clases Presenciales - Cel. / 977 338 378 - 955 349 448