1er.

Boletín Ciclo Verano 73

MATEMÁTICA

LÓGICA PROPORSICIONAL
(PROPORSICIONES) 01
1. Noción: - Tarzán fue un hombre valiente.
Una proposición lógica es una expresión C) Los Valores: La belleza, la moral, la
simbólica o conjunto de palabras organizadas justicia:
que afirman o niegan algo y del cual se puede Ejemplo:
saber si es verdadero o falso. - Trujillo es una bella ciudad.
- Aquella persona no es digno de este
Ejemplos:
trabajo.
- Quito es la capital de Ecuador.
- Santa Rosa de Lima fue una mujer
- César Vallejo es abogado.
bondadosa.
- Bogotá es la capital del Perú.
D) Las oraciones:
- 4+5=8
* DESIDERATIVAS: (Que expresan deseo)
- El camarón es un mamífero.
Ejm: Deseo de viajar.
2. Son proposiciones Lógicas: * EXCLAMATIVAS: (Qué expresan
A) Las fórmulas de la ciencia: Ejm: ¡Dios mío ayúdame!
Ejemplo: * IMPERATIVAS: (Qué expresan ordenes)
- (a + b) (a – b) = a2 – b2;  a, b  R Ejm: ¡Fuera de aquí!
- E = m c2 * INTERROGATIVAS: (Que expresan
- h2 = a2 + b2, es el teorema de Pitágoras. preguntas)
B) Las leyes científicas: Ejm: ¿Qué hora es?
Ejemplo: * DUBITATIVAS: (Que expresan dudas)
- El todo es mayor que las partes. Ejm: Creo que no viajaré.
-  a; b  R, a > b o a < b o a = b E) Los enunciados Abiertos o Indefinidos:
C) Las oraciones: Ejemplo:
 ASEVERATIVAS: - 2x + 10 = 20
Las que afirman o niegan algo del sujeto. - "x es un analfabeto"
Ejm: Luis es inteligente. - Es ingeniero industrial.
 DECLARATIVAS: ¿Cuál de las siguientes oraciones son
Las que tienen como función: proposiciones?
 INFORMAR: 01. Dime con quien andas y te diré quién eres
Ejm: María viaja mañana. 02. "Los perros hambrientos" fue escrita por
 DESCRIBIR: Gabriel García Márquez.
Ejm: La tiza es blanca. 03. En tus ojos veo mi futuro.
 EXPLICAR: 04.  x  Z+, x  0
Ejm: Si llueve entonces hace frío. 05. Todo libro tiene paginas bellas.
D) Los Enunciados cerrados o definidos: 06. Gato es un animal felino.
Ejemplo: 07. Dos más carro es igual a cero por casa.
- 2x + 10 = 20; si x = 5 08. Los ángeles son seres guardianes.
- a+b+c = 100 dado que: a=10, b=20, c=50 09. La palabra "Lima" tiene 5 letras.
3. No son proposiciones Lógicas: 10. Tienes que luchar por conseguir lo que
A) Las creencias, supersticiones, mitos o quieres.
leyendas. 11. Todo protón tiene carga positiva.
Ejemplo: 12. 2x + 1 = 5 y 3x + 2 = 6
- Jesús es el primogénito de Dios. 13. p → q
- Todo hombre nacido en Virgo es fiel. 14. Dado que f(x) = 3x – 1, luego f(1) = 2
- En tus ojos veo tu futuro. 15. Te amo en cuerpo y alma.
B) Los hechos o personajes literarios: 16. x + 1 ≥ 3 ; x IR
Ejemplo: 17. x + 1 > 3 ; x  2
- José Arcadio Buendía murió en una 18. x + 1 = 3 ; x > 2
profunda soledad. 19. “tigre” posee cinco letras
- Romeo y Julieta murieron por amor.
74 LÓGICA I

PROBLEMAS UNSA 07. ¿Cuál de los siguientes enunciados no

01. Las proposiciones: representa a un proposición lógica?
1. Tienen carácter bivalente. 1. a + b  c = 100
2. Son mandatos u órdenes. 2. (a − b)2 = a2 − 2ab + b2
3. Tiene sentido completo.
3. x + y = 50: Si x = 10, y = 30
4. Algunas son informaciones completamente
falsas. 4. h2 = a 2 + b 2
5. Son los enunciados abiertos. 5. Es el creador de la lógica matemática.
Son ciertas: Son ciertas:
A) 1, 2, 3 B) 2, 3, 4 A) TODAS B) 1, 4, 5
C) 3, 4, 5 D) 1, 3, 4 C) 1, 2, 4 D) 1, 3, 4 Y 5
E) 1, 2, 4 E) 1, 5

02. De las siguientes oraciones, son 08. "Si como mucho entonces engordaré" es una
proposiciones lógicas: oración:
1. Einstein es el creador de la física Clásica. A) descriptiva B) dubitativa
2. Rocinante es el caballo de Don Quijote. C) explicativa D) exclamativa
3. Francisco Pizarro fue natural de Inglaterra. E) directiva
4. ¿Ingresaré a la Universidad? 09. Dados los siguientes enunciados:
5. Ningún número par es divisible por dos. 1. En tus ojos veo mi futuro.
Son correctas: 2. Mas vale pájaro en mano que ciento volando.
A) 1, 2, 3 B) 2, 3, 5 3. El coronel Aureliano murió en una profunda
C) 1, 3, 5 D) 2, 3, 4 soledad.
E) 1, 4, 5 4. Todos los caminos conducen a Roma.
03. ¿Cuál de las siguientes oraciones no es una 5. Espero que algún día llegar a conocerte
proposición lógica? mejor.
A) Vanessa es una mujer supersticiosa. Son proposiciones lógicas:
B) Eli es una persona supersticiosa en el amor. A) 1, 2, 3 B) 2, 3, 4
C) Es supersticiosa desde el terremoto del 70. C) 4, 5, 1 D) 3, 4, 5
D) Las supersticiones son ejemplos de E) N.A.
proposiciones lógicas. 10. De los siguientes enunciados, no es una
E) Todas. proposición:
04. ¿Cuántas proposiciones lógicas se A) George Boole fue le creador del Lenguaje
encuentran en las siguientes oraciones? simbólico.
1. Antonio ayuda a Cecilia. B) Aristóteles fue autor de la obra "Organón".
2. The board is White. 3. 9 es múltiplo de 3. C) Isaac Newton era una persona maravillosa.
4. La pizarra es blanca. 5. 3 es divisor de 9 D) Carlos Marx fue un representante del
Son ciertas: Materialismo Dialéctico.
A) 1 B) 2 C) 3 E) N.a.
D) 4 E) 5 11. La expresión: ¿Algún día lograré ingresar a la
05. De las siguientes expresiones Universidad?, es:
1. EE.UU se encuentra entre Francia y España" 1. Una proposición lógica.
2. "Macondo fue la ciudad donde vivió Aureliano 2. Oración informativa.
Buendía". 3. No es proposición lógica.
3. "Ojalá pudiese ingresar a la Universidad" 4. Oración indefinida.
4. "Simón Bolívar fue el héroe de Arica". 5. Oración directa.
5. "La Educación peruana es bonita" Son ciertas:
Son proposiciones: A) 2, 3 Y 5 B) 1, 3 Y 4 C) 2, 4 Y 5
A) TODAS B) 1, 2, 4 Y 5 D) 3 Y 5 E) SÓLO 3
C) 1, 4 Y 5 D) 1 Y 4 12. ¿Cuál de las siguientes expresiones se pueden
E) N.A. considerar como una proposición lógica?
06. Toda proposición lógica puede ser: A) ¿Así que a las finales resultó ser el asesino?
1. Oración interrogativa. B) ¡Fuego!
2. Oración aseverativa. C) ¡Sorpresa!
3. Fórmula científica. D) Todas las anteriores.
4. Enunciado Indefinido. E) N.a.
5. Oración Informativa:
Son ciertas:
A) 1, 2, 3 B) 3, 4, 5
C) 1, 2, 5 D) 2, 3, 5
E) 1, 4
 1er. Boletín Ciclo Verano 75
13. Son proposiciones lógicas: MATEMÁTICA
2) El átomo está formado por partículas
1. Animales 3) Realmente ingresaré a la universidad
2. ¡Pongan atención! 4) “El mundo de las ideas” fue el origen de todo,
3. Silencio por favor según Platón
4. ¿Dónde nació Miguel Grau? 5) Obviamente ganaremos la batalla
5. ¿Cómo te llamas? Son correctas:
Son correctas: A) 3,5 Y 2 B) 1,2 Y 4 C) 1,3 Y 5
A) 1, 2, 3 B) 2, 3, 4 C) 3, 4 Y 5 D) 1,2 Y 3 E) 2,4 Y 5
D) TODAS E) N.A.
20. Son enunciados abiertos o indefinidos:
14.Son proposiciones compuestas: 1) Es el deber primordial de la persona
1) Egipto pertenece al continente africano 2) x = y ; en donde y = 5
2) Leonardo Da Vinci fue físico y pintor 3) sen 30° = 1/2
3) Si corro, transpiro 4) cos 60° = x, en donde x = 1/2
4) José Carlos Mariátegui es el mejor ensayista 5) Todo S es P
del Perú Son ciertas:
5) Si llueve, las casas se mojan A) 1,2,3 B) 1 Y 5 C) 3,4,5
Son ciertas: D) TODAS E) N.A.
A) 2,4,5 B) 1,2,3 C) 3,4,5
D) 1,3,5 E) 2,3,5
15. De las proposiciones, es relacional:
A) Ellas son extranjeras
B) Maruja come una manzana
C) Nosotros somos peruanos
D) Juana es chimbotana
E) Lee y escribe
16. De las siguientes oraciones:
1) El producto de potencia igual base es otra
potencia de la misma base
2) La chilindrina es un excelente personaje del
“Chavo del Ocho”
3) Solución es una institución financiera
4) ¿Recuperare mi dinero?
5) Ningún número primeo es divisible por cinco
Son proposiciones, excepto:
A) 1,2,3 B) 2,3,4 C) 3,4,5
D) 1,2,5 E) 3,4
17. Dadas las siguientes oraciones:
I) Toda proposición lógica debe ser verdadera
II) Las proposiciones son expresiones
lingüísticas de los juicios
III) Toda proposición está compuesta por
conceptos.
Son verdaderos:
A) I y II B) I y III C) II y III
D) Todas E) N.a
18.. ¿Cuántas proposiciones tenemos en los
siguientes enunciados?
I) |x| < 0 ;  x  R
II) Es egresada de la UNT
III) c 2 = a 2 + b 2  a,b,c  R
IV)Es una eminencia en matemática aplicada
V) x (Sr → Px)
Son proposiciones lógica:
A) 1 B) 1,3 B) 2,4
D) 1,2,5 E) N.A.
19. No son proposiciones lógicas:
1) En mi opinión Fujimori es el peor presidente
76 LÓGICA I

02 LÓGICA PROPOSICIONAL (TABLAS DE

VERDAD)

1. NEGACIÓN: *Palabras usuales:

*Símbolos O...…. o…..., O bien… o bien….,
Scholz ¬p O es que….. o es que...…, etc.
Peano-Russell p
*Tabla de verdad:
Hilbert -A
p q pq
Lukasiewicz Np
V V F
*Palabras usuales: V F V
…no…, Nunca…, Jamás…, Es falso que…, No es posible F V V
F F F
que…, Es mentira que…, No es cierto que…, De ninguna
forma…, Es absurdo que…, etc. 5. IMPLICACIÓN MATERIAL O CONDICIONAL:
*Tabla de verdad: *Símbolos:
p p Scholz p→q
V F Peano- Russell pq
F V Hilbert A→B
Lukasiewicz Cpq
2. CONJUNCIÓN:
*Símbolos: *Palabras usuales:
Scholz pq Si.…entonces....., ..…por lo tanto.…, ….por
Peano- Russell P. q consiguiente…., .…luego…, ....en consecuencia…., ....por
Hilbert AB ello.…, ….implica que…., …de modo que …, …es obvio
Lukasiewicz Kpq que…, etc.

*Palabras usuales: *Tabla de verdad

...y…, …además…, …también…, ...sin embargo…, …no p q p→q
obstante…, …tal como…, …al igual que…, …así como…, V V V
V F F
…incluso..., …pero…, …aunque…, …a la vez…, etc.
F V V
*Tabla de verdad: F F V
p q pq
6. REPLICA MATERIAL:
V V V
V F F *Símbolo:
F V F Scholz pq
F F F
*Palabras usuales:
3. DISYUNCIÓN INCLUSIVA: ….si… siempre que …, …si es que…, debido a que…,
*Símbolos: …dado que…, …puesto que…, …ya que…, …porque…,
Scholz pq etc.
Peano- Russell pq
*Tabla de verdad:
Hilbert AB
p q pq
Lukasiewicz Apq
V V V
*Palabras usuales: V F V
…o…,…salvo que…, a menos que…,…excepto que…, etc. F V F
F F V
*Tabla de verdad:
p q pq 7. BICONDICIONAL O DOBLE IMPLICACIÓN:
V V V *Símbolos:
V F V Scholz pq
F V V Peano- Russell pq
F F F Hilbert AB
4. DISYUNCION EXCLUSIVA: Lukasiewicz Epq
*Símbolos: *Palabras usuales:
Scholz p q ...si y solo si…, siempre y cuando…, …es idéntico a…,
Peano- Russell p q …equivale a que…, …es…, .....entonces y solo
Hilbert A B entonces…,…siempre que y sólo cuando…,…es una
Lukasiewicz Jpq condición necesaria y suficiente…., etc.
 1er. Boletín Ciclo Verano 77
C) –(p  q  r) D) – (p  q v r)
MATEMÁTICA
*Tabla de verdad:
p q pq E) N.A.
V V V 07.“O bien los crustáceos viven en el mar o bien viven en
V F F la tierra o excluyentemente viven en la atmósfera”, se
F V F formaliza:
F F V A) (p v q v r) B) (p v q v r)
8. NEGACIÓN CONJUNTA: C) (p v q) D) – (p  q v r)
E) N.A.
*Símbolo:
Scheffer pq 08.“En la Antártida no sólo hay lobos marinos sino
también focas además pingüinos”, se simboliza:
*Palabras usuales: No…y no…, Ni… ni… A) (- p  q  r) B) (p  q  r)
C) (-p  -q  -r) D) (- p  - q  - r)
*Tabla de verdad: E) N.A.
p q pq
V V F 09.La proposición: “La lima, naranja, limón no es cierto
V F F que sean cítricos”, se simboliza:
F V F A) –(p  q  r) B) (p  q  -r)
F F V C) (-p  -q  -r) D) [(- p  - q) v – r]
E) N.A.
*Equivalencia: p  q   p   q
10.La proposición: “Los cuadernos, lápices y/o borradores
9. NEGACIÓN ALTERNA: son innegablemente útiles escolares”, se formaliza:
*Símbolo: A) (- p  - q  - r) B) (p v q v r)
Scheffer pq C) (-p v –q v –r) D) [(p  q) v – r]
E) N.A.
*Palabras usuales: No… o no…
11.La proposición: “No es objetable que, ni haya
*Tabla de verdad: fantasmas ni existan hombres alados”, se simboliza
p q pq 1) - -(-p  -q) 2) –(-p  - q)
V V F 3) –(- p v – q) 4) –(p  q)
V F V 5) –(p  q)
F V V Son no absurdas:
F F V A) 2 y 5 B) 4 y 2 C) 3 y 4
D) solo 1 E) N.A.
*Equivalencia:
pqpq 12.“O bien inexiste igualdad económica a no ser que
PROBLEMAS UNSA PARTE 1 únicamente haya globalización, virtualización tanto como
01.“No es innegable que, las 200 millas no sean litoral robotización del proceso productivo”, se formaliza:
peruano”, se formaliza: A) [-p v (q  r  s)] A) [- p v (q  r  s)]
A) p B) - - - (- p) C) [p v (q  r  s)] D) p v (q  r  s)
C) - -(- p) D) –(- p) E) N.A.
E) N.A.
13.“Jamás en invierno hace calor, aun cuando en verano
02.“La ruda tal como la yerba luisa son plantas llueve al igual que hay eclipse asimismo hay evaporación
medicinales”, se simboliza: de agua tal como no hay granizo”, se simboliza:
A) p B) (p v q) A) (-p  -q  - r  -s  -t) B) (-p  q  r  -s  -t)
C) (p  q) D) p  q C) (-p  q  r  -s) D) (-p  q  r  s  -t)
E) N.A. E) N.A.
03.“Salvo que también la yegua sea mamífero, el caballo 14.“En modo alguno sucede que, no haya aumentado la
también lo es”, se formaliza: producción armamentista excepto que también sea
A) (p v q) B) (p → q) absurdo que los países latinos hayan empobrecido más”,
C) (-p → q) D) (p  q) se formaliza:
E) (p v q) A) (- p v – q) B) – (- p v – q)
04.“Bryce Echenique nació en España o bien en Perú”, se C) –(p v – q) D) –(- p v q)
formaliza: E) N.A.
A) (p  q) B) (p v q)
15.Siempre que haya préstamos del Banco Mundial por
C) (p v q) D) (p  q)
consecuencia será mentira que disminuirá la deuda
E) N.A.
externa de nuestro país”. Se formaliza:
05.“No obstante que Emilio Choy fue autodidacta así A) (p → q) B) (p → q)
también fue historiador y arqueólogo”, se formaliza: C) (p → q) D) (p → q)
A) (p  q) B) (p  q  r) E) N.a.
C) (- p  q  r) D) (- p  - q)
16.“Es falso que, hay mutaciones porque el embrión es
E) N.A.
afectado por rayos ultravioletas”. Se formaliza:
06.“Es absurdo que, el chimpancé y/o el orangután o A) (p → q) B) (p  q)
también el mandril son homínidos”, se formaliza: C) (p  q) D) (p  q)
A) –(p v q v r) B) –(p v q  r) E) (p → q)
78 LÓGICA I

17.“Siempre que y sólo cuando no exista inversión C) (p  q)  (r  s) D) (p  q) → (r  s)

económica es obvio que jamás habrá productividad”. Se E) N.a.
formaliza:
A) (A  B) B) (A → B) 28.“La causa para que haya empleo, es que exista
C) (A  B) D) (A  B) aumento de la producción aun cuando también deje de
E) (A → B) haber recesión”. Se formaliza:
A) [A  (B  C)] B) [A → (B  C)]
18.Dado que los niños ingieren calcio, es posible que su
C) [A → (B  C)] D) [A  (B  C)]
crecimiento óseo y/o muscular sea normal”. Se simboliza:
E) N.a.
A) (p → q) B) p → (q  r)
C) (p → q)  r D) p → (q  r) 29.Las empresas modernas se refuerza tal como se
E) N.a. consolida si existe liderazgo compartido, unificación de
criterios, así como planeación estratégica”. Se formaliza:
19.“Existen huracanes asimismo tomados si hay presión A)(A  B)  (C  D  E) B)(A  B) → (C  D  E)
atmosférica al igual que fuertes vientos”. Se formaliza:
C)(C  D  E) → (A  B) D)(C  D  E) → (A → B)
A) (p  q)  (r  s) B) (p  q) → (r  s) E)N.a.
C) (p  q)  (r  s) D) (p  q)  r
E) N.a. 30.Pedro susurra, tararea porque es tranquilo e inhibido
A) (r  s) → (p  q) B) (p  q)  (r  s)
20.“40 equivale a (20 + 20), por lo cual y según lo cual 30
C) (r → s) → (p  q) D) (p  q)  (r  s)
es igual a (15 x 2)”. Se formaliza:
E) (p  q) →(r  s)
A) (p  q)  (r  s) B) (p  q)  (r  s)
C) (p  q) D) (p  q) 31.- La proposición: “La lima, naranja, limón no es cierto
E) N.a. que sean cítricos”, se simboliza:
A) – (p  q  r) B) (p  q  - r)
21.“Si es absurdo que los países desarrollados son
benévolos en consecuencia de ningún modo las C) (- p  - q  - r) D) [(- p  - q) v – r]
donaciones son a cambio de nada”. Se formaliza: E) N.A.
A) (p → q) B) (p → q)
C) (p → q) D) (p → q) 32.La proposición: “Los cuadernos, lápices y/o borradores
son innegablemente útiles escolares”, se formaliza:
E) (p → q)
A) (- p  - q  - r) B) (p v q v r)
22.“En Perú, la deserción universitaria es alta siempre que C) (- p v – q v – r) D) [(p  q) v – r]
la capacidad de pago sea baja al igual que la actividad E) N.A.
laboral sea temporal”. Se simboliza:
A) p → (q  r) B) p  (q  r) 33.- La proposición: “No es inobjetable que, ni haya
C) p  (q  r) D) (p  q)  (r  s) fantasmas no existan hombres alados”, se simboliza
E) N.a. 1) - - (- p  - q) 2) –(- p  - q)
23.“Puesto que hay globalización se deduce que tanto hay 3) –(- p v – q) 4) –(p  q)
países altamente tecnologizados cuanto países bastantes 5) –(p  q)
atrasados en ciencia”. Se formaliza: Son no innegablemente absurdas:
A) p  (q  r) B) p → (q → r) A) 2 y 5 B) 4 y 2 C) 3 y 4
C) p → (q  r) D) p  (q → r) D) 1 y 3 E) N.A.
E) N.a.
24.“No acontece que, existen niños porque estos niños
están nutridos asimismo no educados”. Se simboliza:
A) [p → (q  r)] B) p  (q  r)
C) [p → (q → r)] D) [p  (q  r)]
E) N.a.
25.“Siempre que y sólo cuando deje de haber movimiento
de traslación entonces es mentira que habrá movimiento
de rotación de la tierra”. Se formaliza:
A) A → B B) A  B
C) A  B D) A  (B → C)
E) N.a.
26.“Es negable que, Colombia así también Ecuador
además el país de los Incas son países andinos porque el
Perú es un país obviamente andino”. Se formaliza:
A) (p  q  r)  s B) [(p  q  r) → s]
C) [(p  q  r)  s] D) (p  q  r)  r
E) N.a.
27.“La existencia de plancton excepto que zooplancton es
la para que haya vida vegetal al igual que vida animal en
los mares”. Se formaliza:
A) (p  q) → (r  s) B) (p  q)  (r  s)
 1er. Boletín Ciclo Verano 79

MATEMÁTICA
LÓGICA PROPOSICIONAL (ÁLGEBRA DE
BOOLE) 03
DEFINICIÓN: - La Inalternante:
1. TABLA SEMÁNTICA O TABLA DE VERDAD: Será verdadera cuando ambas proposiciones
Es un método que nos permite analizar 2 cosas: son falsas.
1° Los Tipos de Fórmulas: En razón a su matriz - La Incompatible:
resultante final: Será verdadera cuando ambas proposiciones
a) Tautología: Si la resultante son puras son verdaderas
verdaderas: VVVV, ó, 1111
PROBLEMAS UNSA PARTE 2
b) Contradictoria: Si la resultante son puras
01. Si en un esquema molecular existen 3
falsedades: FFFF ó 0000 primeras variables verdaderas y otra falsa, podemos
c) Contingente: Si la resultante es afirmar que:
combinada o mixta: VFFF, VVFF, 1000, 1) Los valores de verdad del primer arreglo
1100, etc. son “1” o verdaderos.
2° La Relación con los Circuitos Eléctricos: 2) Las combinaciones de los valores de verdad
Para lo cual tenemos que manejar el siguiente de la tercera variable son intermitentes:
2 verdaderas, 2 falsas ... = 16
lenguaje:
3) Existen 12 valores de verdad en la tabla.
a) Lámpara, foco, motor, aparato eléctrico: 4) Los valores del primero al decimoquinto
ENCENDIDO = V son: “0000”.
b) Lámpara, foco motor, aparato eléctrico: 5) Los valores del décimo arreglo son: “0111”
APAGADO = F Son objetables, excepto:
c) CORTOCIRCUITO = FFFF a) 1, 2 y 5
d) INTERMITENCIA ELÉCTRICA = VFVF, ó b) 1 y 3
c) 2, 4 y 5
FVFV
d) 4 y 5
2. TABLAS DE VERDAD DE LAS FUNCIONES e) n.a.
MOLECULARES BÁSICAS: 02. Al evaluar el siguiente esquema :
- La Conjuntiva: [( p  q)  ( q   p)]  (p q)
Para la conjuntiva se cumple que la norma de Podemos afirmar que :
que sólo es verdadera, cuando las dos 1) Su resultado matricial es tautológico.
2) Es consistente.
proposiciones que la componen son
3) Es contradictorio
verdaderas 4) Su matriz principal es : 1111
- La Disyuntiva Débil: 5) Su matriz principal es : 1000
Si se trata de una disyuntiva inclusa o débil, Son negablemente falaces :
únicamente es falsa, cuando las dos A) 1, 2 y 5
proposiciones componentes son falsas. B) 3 y 5
- Condicional: C) 2 y 5
D) 1 y 4
La condicional es falsa, cuando el
E) N.a.
antecedente es verdadero, y el concluyente es
falso. 03.Si el esquema (r  p)  (p  q) es falsa; los
- Bicondicional: valores de “p” y “q” son :
A) Verdadero y falso
La norma para el bicondicional es que es
B) Verdaderos
verdadero, cuando ambas proposiciones C) Falsos
componentes tienen el mismo valor. D) No se pueden determinarse
- La Replicativa: E) N.A.
El único caso en donde da como resultado
falso es cuando la condición necesaria es
falsa y la condición suficiente es verdadera.
- La Disyuntiva Fuerte:
Es aquella proposición que obtiene un valor
verdadero en su matriz cuando las variables
son diferentes
80 LÓGICA I

04.Si la fórmula:  [(p  q)  (r  s)] es A)001

verdadera, podemos afirmar que existen B)111
implicaciones falsas: C)000
1) (p  q)  (p s) D)100
2) (q  p) → r E)N.A.
3) (q  r) → ( s  p) 10. Dado el siguiente esquema molecular:
4) (r  q) → (p -- s) – [– (– p  q)  r]  p
5) (p → s) → (q  r) En qué casos los focos no están prendidos?
Son innegablemente correctas : A)5to, 4to, 1ero
A) 1, 2, 3 B)5to, 6to, 8avo
B) 2 Y 3 C)1ero, 2do, 3ero
C) 2, 4, 5 D)todos los casos
D) 1 Y 3 E)ningún caso
E) T. A.
11. Al evaluar el siguiente esquema por tablas de
05. La siguiente fórmula :
(p / q)  (q  p)  (p  q)
verdad:
[[¬(¬p  ¬q)]  p]  [q  [¬(p  q)]]
se observa en su resultado matricial : se obtiene como matriz principal:
A) 3 focos apagados y 1 encendido. A)VFFV
B) 1 foco verde apagado y 3 amarillos B)VFFF
encendidos. C)VVVF
C) 4 focos focos encendidos. D)VFVV
D) 2 focos encendidos y 2 apagados. E)VVFV
E) 4 focos violetas encendidos. 12. Sabiendo que la proposición “p” es verdadera,
06. Si la fórmula : (r  p)  (q  p) es falsa, ¿en cuáles de los siguientes casos, es suficiente
obviamente el valor de las fórmulas siguientes : dicha información para determinar el valor de verdad
1) A : [(p  q)  (q   r)]  (p   q) de las proposiciones?
2) B :  (q  r)  (p  q) I. (p  q)  (¬p  ¬q)
3) C : ( q  p) → (q  r) II. (p  q) → (p  r)
Son respectivamente III. (p → q) → r
A) FVV A)sólo en I
B) VFV B)sólo en II
C) FFF C)Sólo en I y II
D) VVF D)sólo en II y III
E) VVV E)En I, II y III
07. Dada la siguiente fórmula: 13.Sabiendo que: [p → (q → r)] es falsa
– [ – [– p  q)  r ]  p; El valor de verdad de: [p → (q & r)]; es:
la cual constituye un esquema: A) Falsa
A)consistente B) Verdadera
B)tautológico C) Contradictoria
C)contradictorio D) Contingente
D)contrario E) N.A.
E)n.a. 14.Si en Diciembre hace más calor que en Agosto,
08. Dado: en Junio hace más frío que en Noviembre. En
[(– p  q) → r]  [(p  – s)  r] Diciembre hace más calor que en Agosto. Por lo
que es falsa, los valores de verdad de: tanto en Junio hace más frío que en Noviembre
I) (p → – s)  – p Este argumento es:
II) (– s  r) → – t A) Contingente
III) [(–p  – q)  (q → – r)  s B) Contradictorio
Son respectivamente: C) Consistente
A)110 D) Indeterminado
B)000 E) N.A.
C)011 15.Se define: p  q  FVFV.
D)010 Hallar :
E)n.a. [(p  - q)  (- p  q)] → p
09. Dado [(p  – q)  r] es verdadero, luego los A) p
valores de: B) q
I) – (p  q)  – (r  – q) C)  p
II) (p→ t)  (–q u) D)  q
III) (s  r)  (– p  q) E) p  q
 1er. Boletín Ciclo Verano 81

16.-Si la formula (p  q); tiene como matriz 1010. p

q
1 MATEMÁTICA
0
Se colige que la formula:
1
p  ( p  q ) se define como:
A) p  q 0
B) p  q
C) p + q Representa a la fórmula:
D) p  q A) p  q
E) p / q B) p  q
17.-Se define el conector “ # ” mediante el C) p → q
esquema: D) p → q
p q p # q E) p  q
1
1
1
0
0
1 21. Si x es un numero entero y f (x ) = x 2 − 1 tal
0 1 0 que:
0 0 1  V , si f (x )es par
f (x ) = 
 F , si f (x )es impar
¿Cuál de los siguientes enunciados
representa a formulas equivalentes?
I. (p  q) # -q los valores de verdad de:
II. – [ ( p# q ) # q ] ( ) f(2) → f(1)
III. p # ( p # q ) ( ) f(-2)  f(-1)
Son ciertas: ( ) f(3)  f(2)
A) I Y II A) VVV
B) II Y III B) VVF
C) I Y III C) VFV
D) TODOS D) FFV
E) N. A. E) FFF
18.-Dada la tabla veritativa:
p q p O q 22. Si x es un numero entero y f (x ) = 2 x tal
1 1 1 que:
0 0 0  V , si f (x )es par
f (x ) = 
 F , si f (x )es impar
0 1 1
1 0 1
Determina: (p O q) O q los valores de verdad de:
A)  p  q ( ) f(1) → f(0)
B) p ( ) f(3)  f(2)
C) q ( ) f(0)  f(1)
D) q  p A) VVV
E) 1 B) VVF
C) VFV
19.-El siguiente gráfico, corresponde a:
D) FVV
A 1 0 E) FFF
B
1

0
A) A / B
B)  A   B
C) A  B
D) A → B
E) A  B
20.-Si la fórmula proposicional: p  q
Queda representada por el cuadro:
q
p 1 0

Luego, el cuadro:
82 LÓGICA I

04
LÓGICA PROPOSICIONAL ( PRUEBA DE
VALIDEZ)

LEYES DEL ÁLGEBRA PROPOSICIONAL Además r  (p → q)  p

1. Leyes de la conjunción: A) p
1.1 p  p  p (Idempotencia) B) q
1.2 p  q  q  p (Conmutativa) C) r
1.3 (p  q)  r  p  (q  r) (Asociativa) D) ~r
1.4 p  p  F (No contradicción) E) p  r
1.5 p  V  p 03.Se define la proposición: p * q  ~p  ~q
1.6 p  F  F Si [(p * ~q) * p] * x, es una tautología, entonces x
2. Leyes de la disyunción: equivale a:
2.1 p  p  p (Idempotencia) A) p  q
2.2 p  q  q  p (Conmutativa) B) ~p  ~q
2.3 (p  q)  r  p  (q  r) (Asociativa) C) p  q
2.4 p  p  V (Tercero Excluido) D) p  q
2.5 p  V  V E) p  q
2.6 p  F  p
3. Leyes distributivas: 04.Se define:
3.1 p  (q  r)  (p  q)  (p  r) p # q  (~p  q)  {[p → [(r  s)  t]]  p}
3.2 p  (q  r)  (p  q)  (p  r) Simplificar:
4. Ley de la condicional: [(~p # q) # (~q # ~p)] # (~p  q)
p → q  p  q A) p  q
5. Leyes de bicondicional: B) ~p  q
5.1 p  q  (p → q)  (q → p) C) ~p
5.2 p  q  (p  q)  (p  q) D) ~q
6. Leyes de disy. Exclusiva: E) n.a.
6.1 p  q   (p  q) 05.Sea el operador “*” definido por:
6.2 p  q  (p  q)  (p  q) p * q  ~ [~p → q]
7. Ley de doble negación: Entonces, ¿Cuál es la expresión más simplificada
(p)p de:
8. Leyes de morgan: [(p * p) * q] * [(p * r) * t]
8.1  (p  q)  p  q A) p  q
8.2  (p  q)  p  q B) (~p  q)  (~p  r)
9. Leyes de absorción: C) (~p  q)  [(~p  ~r)]
9.1 p  ( p  q )  p D) [(~p  ~r)  t]
9.2 p  ( p  q )  p E) n.a.
9.3 p  ( p  q )  p  q
06.Se define el conectivo “*” por:
9.4 p  ( p  q )  p  q
p * q  ~p  q
PROBLEMAS UNSA PARTE 3 Hallar el equivalente a:
01.Si p # q  p  ~q expresar ~p usando únicamente (p * ~q) * (q * ~p)
el operador #. A) ~p  q
A) (p # p) # p B) p  ~q
B) (p # ~p) # p C) ~q  p
C) ~(p # p) D) p  q
D) ~p # p E) tautología
E) p # (q # q)

02.Simplificar: [~(p → q)  (q  p)]  [~(p → q) 

~p]
 1er. Boletín Ciclo Verano 83

07.Si p  q  ~p  q entonces: MATEMÁTICA

13.De las proposiciones siguientes:
I) (p  q)  q  V I) (p → q)  ~(~p  q)
II) (q  p)  p  (p  q)  q II) ~(p → q)  (q → p)
III) p  ~q  V  (q  p) III) [p  (q  p)]  [q  (r  q)]
Son ciertas: IV) [[(s  t  p)  (t  s)]  t] → t
A) I y III ¿Cuántas son proporciones verdaderas?
B) I y II A) 1
C) II y III B) 2
D) I, II y III C) 3
E) I D) 4
E) 0
08.Se define “@” por:
p @ q  [(~p  w)  ~p]  p 14.Simplificar:
Entonces simplificar:  q)  p]  [(q  p) 
[(p   q]
[(p  q) @ (r @ p)] @ ~q A) p  q
A) tautología B) p  q
B) ~p C) p  q
C) p  q D) p  q
D) ~p  q E) ~p
E) p → ~q
15.El siguiente esquema:
09.Simplificar la siguiente expresión: [(p → r)  ~(q  p)] → [(p  q)  p]
~ [(p → q)  ~ (p  ~q)]  [~q → p] A) q  p
A) ~p B) p → q
B) ~q C) p  q
C) p  q D) p  q
D) ~(p  q) E) p  q
E) ~p  q
16.El siguiente esquema:
10.Si : p * q  ~p → q [(p → r) → p]  [~p → (p → q)]
Simplifique: Es equivalente a:
~[(p  q) * (~p)] * [(p  q) * q] A) p
A) p B) p  q
B) q C) q  r
C) ~p D) q
D) ~q E) ~p  q
E) p  q
17.¿Cuántas de las siguientes proposiciones son
11.Sea: p • q ~p → q tautológicas?
Señale el valor de verdad de: I) [(p  ~p)  (q → q)]  ~(~p  q)
I) [(p → q) • (q  p)] (p • q) II) [(p  q  r)  (p  q)]  (p → ~q)
II) [(p • q)  (q  p)] → (q • p) III) [(p → q)  (q → p)]  [~p  (~p → r)]
III) [(p  q) • (~p → q)]  (p  q) IV) [p  (q  r)] → [q  (~q  r)]
A) VVF A) 0
B) VVV B) 1
C) FVF C) 2
D) FVV D) 3
E) VFV E) 4
12.Simplificar el siguiente esquema:
~[~(~(~p  q)  p)  ~(~(q  p)  q)]  p
A) p  q
B) p  q
C) ~q
D) p
E) q
84 LÓGICA I

18.¿Cuáles de las siguientes proposiciones son

equivalentes? 23. La tabla de verdad de la proposición:
I) (~q → p)  q (p → q)  p
II) (q  ~p) → (p  q) Contiene:
III) (~q  ~p) → q A) Un uno
A) sólo I y II B) Dos unos
B) sólo II y III C) Tres unos
C) sólo III y I D) Cuatro unos
D) sólo I E) Ningún uno
E) N.a. 24. Si la proposición:
19.Simplificar la proposición: (p  q) → (t → r); es falsa.
{[(p  ~q) → p]  s}  {(s  p) → p} Entonces los valores de verdad de: p, q, r y t
A) p  q respectivamente son:
B) p → q A) VFVV
B) VVFV
C) p  q  s
C) VVVF
D) p  s
D) VFFV
E) p → s
E) FVVF
20.Simplificar:
25.Dado: (A  B), equivale a:
 q)  p]  [q 
[~(p   p]
1) (B  A) 2) (A  B) 3) (A  B)
A) p  q
4) (A  B) 5) (A  B)
B) p  q
No son ciertas:
C) ~p  q A) 1, 3 y 4
D) ~p  q B) 2 y 5
E) p  ~q C) 1, 2 y 5
21.Se define: D) 3 y 4 *
E) 3, 4 y 5
p q p  q
V V F 26.El circuito adjunto:
V F V
F V F
F F F
Señale el número de proposiciones verdaderas: A
I) (p  p  p) → (p  q  q)
B
II) (p  ~p  ~p)  (~p  p  ~p)
III) [(p  q)  r  ~p ~q]  [~(p  q)  ~p  q]
A) 0
B) 1 Se formaliza como:
C) 2 A) [A  (A  B)]  [(A  B)  B]
D) 3 B) [A  (A  B)]  [(A  B)  B]
E) 4 C) [A  (A  B)]  [(A  B)  A]
D) [A  (A  B)]  [ (A  B)  B]
22.Conocidos los siguientes esquemas:
E) [A  (A  B)]  [(A  B)  B]
A : (~p → q)  (p  ~q)
B : (~(p → q)  ~p) → ~(q → p)
C : [(p → q)  ~p]  [p → (q  p)]
Señale verdadero o falso.
I) C  A II) A  B III) C  ~B
A) FVFV
B) VVVV
C) FVFF
D) VVFV
E) VVFF