UNIVERSIDAD NACIONAL DE LA AMAZONÍA PERUANA

DEPARTAMENTO ACADÉMICO DE MATEMÁTICA Y ESTADÍSTICA

Material básico para el curso de Matemática
Responsable: Mg. Rafael Flores Saavedra

LÓGICA
INTRODUCCIÓN
La Lógica es la ciencia del razonamiento válido y, que ha contribuido al desarrollo de las ciencias
pues le ha proporcionado la estructura formal que éstas deben tener.

Durante el desarrollo de esta unidad, podrás conocer cómo el hombre va deduciendo hechos de la
naturaleza que se van convirtiendo en leyes. La Lógica la puedes encontrar en cualquier
circunstancia de la vida pues nos orienta hacia un razonar coherente.

Esperamos que los temas que la Lógica trata, aquí expuestos de manera didáctica, te ayuden a
mejorar tu entendimiento del mundo y, sobre todo, a estructurar coherentemente tus pensamientos y
acciones. Al final, encontrarás un conjunto de preguntas por cada capítulo que ayudarán a reforzar
más tus conocimientos.

7
 ASPECTOS BÁSICOS

En nuestro quehacer diario, constantemente hacemos deducciones, esto significa que cada
conclusión que establecemos se deduce de "algo"; este algo o punto de partida se llama
"premisa". Por ejemplo, si exponemos un trozo de hielo al calor, se deduce que el hielo se
derrite; o cuando un campesino ve una densa nube en el cielo, deduce que va a llover; o
también de "todos los mamíferos son vertebrados" se puede concluir en que "algunos seres
vertebrados son mamíferos". De esta manera, se puede afirmar que constantemente existe un
criterio lógico para el análisis de situaciones que permitirán establecer una noción científica de
la realidad.

Por lo tanto. ¡Recuerda!

"La Lógica, justamente, es una ciencia que estudia los métodos o

procedimientos que aplican definiciones y leyes o reglas con el propósito de
determinar la validez de las inferencias, razonamientos o argumentos".

La Lógica, como conocimiento orgánico y sistemático, aparece por primera vez con Aristóteles
(S. IV a. C.) quien la define como un "instrumento" que ayuda al hombre a razonar
correctamente mejorando la investigación de la naturaleza ("Organon"). Su objetivo quedó
definido como el análisis formal de los razonamientos.

* LA LÓGICA FORMAL
Es una ciencia que busca hallar los esquemas universales y válidos en todo momento,
según los cuales suele y debe pensar el hombre para alcanzar la verdad.
El objeto de estudio de la lógica formal es investigar la estructura de los conceptos, juicios y
razonamientos, sus relaciones de validez, métodos y principios que la determinan.
Actualmente, la lógica formal se ha tornado en Lógica Matemática (o simbólica) cuyo
objetivo es demostrar la "validez" de los argumentos simbólicos o formalizados ("La Lógica
es la ciencia de la inferencia formalmente válida")
Pero, ¿qué es una "inferencia" y cómo se determina su "validez"?

Es una estructura de proposiciones donde a partir de una o más de ellas,

llamadas "Premisa(s) ", se obtiene otra proposición que se llama
"Conclusión"; será válida cuando las premisas impliquen a la
conclusión; cuando existe relación coherente entre sus componentes,
es decir, la conclusión se deduce lógicamente de las premisas.

¿Cómo se clasifican?
Las inferencias pueden clasificarse como:

1. . Inferencias Inductivas:
Son aquellas donde la conclusión es probable en relación a las premisas. Para obtener
una inferencia inductiva, se parte de premisas particulares y luego se establece una
conclusión general. Estas inferencias, desde el punto de vista de la Lógica, no son
válidas ni inválidas.
 Ejemplo:
Bruno es psicólogo y ayuda a las
personas. Flavia es psicóloga y
ayuda a las personas. Arturo es
psicólogo y ayuda a las personas.
Probablemente, todos los psicólogos ayuden a las personas.

2. . Inferencias Deductivas:
Son aquellas cuya conclusión es necesaria en relación a las premisas. Para obtener una
inferencia deductiva se parte de premisas generales obteniéndose una conclusión
particular.

Ejemplo:
Todos los humanos son
mortales.
Aristóteles es un ser humano.
Aristóteles es mortal.
A su vez, estas inferencias se clasifican como:
A) INFERENCIAS INMEDIATAS: Tienen una premisa y una conclusión.
B) INFERENCIAS MEDIATAS: Tienen dos o más premisas y una conclusión.

PROPOSICIONES

Las "proposiciones" son expresiones del lenguaje informativo que tienen la cualidad de ser
verdaderas(V) o falsas(F), es decir, tienen valor veritativo.

Ejemplo:
* La plancha es un artefacto eléctrico.
* Salazar Bondy nació en el Perú.
* 4+3=7
* Las aves son acuáticas.

Es necesario resaltar que, lo que interesa fundamentalmente de las proposiciones es su sentido

de verdad o falsedad, dado que enunciados distintos pueden expresar una misma proposición.
Ejemplos:
* Diego y Sebastián son hermanos.
* Diego es hermano de Sebastián.
* Sebastián es hermano de Diego.
Además, se debe tener en cuenta que expresiones en diferentes idiomas, también pueden
presentar una misma proposición. Ejemplo:
* Mariella y Ricky son estudiantes.
* Mariella and Ricky are students.

FUNCIONES BÁSICAS DEL LENGUAJE:

1. . FUNCIÓN INFORMATIVA:
Es aquella que se encarga de comunicar información que proviene de la realidad que nos
rodea, hace referencia o describe al Mundo Objetivo, mediante el uso de oraciones
verdaderas o falsas (proposiciones). Es el lenguaje utilizado por las ciencias:
Ejemplos:
- La Lógica es una ciencia abstracta.
 - Todo mamífero es un ser vivo.
- El río Amazonas es una de las maravillas naturales del mundo.
- Estudio en la UNAP.
- Francia es un país latino.

2. . FUNCIÓN EXPRESIVA:
Se encarga de comunicar acontecimientos que ocurren en el Mundo
Subjetivo, es decir vivencias. Ejemplos:
- La vida es hermosa y vale la pena vivirla.
- ¡Oh más dura que el mármol, Galatea!
- Dios mío, estoy llorando el ser que vivo.
- Me gusta el vestido que compraste.
- Te amo, ven a mis brazos.

3. . FUNCIÓN APELATIVA:
Se encarga de modificar, inducir o impedir la realización de una acción determinada
utilizando para ello oraciones exclamativas. Se clasifican en órdenes, pedidos, sugerencias,
preguntas, consejos, mandatos, súplicas, insinuaciones, etc.
Ejemplos:
- Siéntate y escucha lo que te digo.
- Prohibido arrojar basura bajo pena de arresto.
- ¿Cuándo será el examen de Lógica?
- "Si del cielo te cae limones, aprende a hacer limonada".
 PRÁCTICA
01. La validez, en una inferencia se establece cuando: a) Un silogismo categórico.
a) Hay verdad en sus proposiciones. b) Un razonamiento.
b) El razonamiento es verdadero. c) Un argumento mediato.
c) Las premisas implican a la conclusión. d) Todos.
d) La conclusión no es falsa si las premisas son e) a y b.
ambiguas.
e) Todas. 09. Señale una proposición verdadera:
a) No hay peruanos que sean cubanos.
02. "Tu deber es terminar la carrera universitaria". b) Los gatos son pardos.
¿Qué función básica del lenguaje se cumple, en la c) Si Carlos estudia, Carlos aprueba.
oración anterior? d) Los patriotas son rebeldes.
a) Informativa. e) Toda planta es saludable.
b) Directiva.
c) Expresiva. 10. La lógica formal:
d) Descriptiva. a) Analiza contenidos.
e) Referencial. b) Formula silogismos.
c) Analiza hipótesis.
03. El objetivo más importante de la lógica en su aplicación d) Fórmula teorías.
a la ciencia y al discurso cotidiano es: e) Analiza estructuras.
a) La estructuración de las inferencias.
b) La justificación y crítica de las inferencias. 11. Señale Ud. que función del lenguaje corresponde a la
c) El análisis de la teoría proposicional. lógica:
d) La validez de un esquema molecular conjuntivo. a) Directiva.
e) El pensamiento coherente. b) Declarativa.
c) Interrogativa.
04. La lógica es una ciencia formal, que estudia: d) Activa.
a) Las proposiciones verdaderas. e) Reflexiva.
b) El pensamiento abstracto.
c) La estructura válida de un pensar racional. 12. Qué función expresa el siguiente enunciado: "Quisiera
d) La verdad derivada de una inferencia. sacarme la Tinka".
e) El pensar correctamente y con coherencia lógica. a) Informativa.
b) Reflexiva.
05. "Es una deducción donde el juicio concluyente se ha c) Directiva.
derivado lógicamente de una premisa". d) Expresiva.
a) Inferencias inmediatas. e) Activa.
b) Inferencia lógica.
c) Razonamiento deductivo. 13. Si al razonar encontramos que la conclusión no es falsa,
d) Inferencias mediatas. se concluye que las premisas ........
e) Silogismo categórico.
a) Son afirmativas.
b) Son verdaderas.
06. En las siguientes alternativas, escoja la que define a
c) Pueden ser negativas.
una proposición:
a) La mujer del César. d) Pueden ser ambas V y F.
b) Qué bonita es mi academia. e) Pueden ser V y afirmativas.
c) Contigo me siento bien.
d) Un lapicero es un lapicero. 14. ¿Cuál de las siguientes aseveraciones no expresa una
e) Debes ser fiel a tus principios. función lógica del lenguaje?
a) ¡Te amo!
07. El enunciado: b) Ojalá apruebe el examen.
"Si Raúl está después que Juan, entonces Diego c) "Cállate".
no es el último", se denomina: d) ¿Qué te pasa?
a) Inferencia inmediata.
e) Hoy es lunes.
b) Lógica proposicional.
c) Inferencia mediata.
15. Indique la aseveración que expresa una función activa:
d) Silogismo categórico.
a) Mañana salgo de viaje.
e) Proposición categórica.
b) Los caballos son ágiles.
c) ¡Qué amable!
08. El siguiente argumento:
d) Te buscaré.
Todo piurano es norteño.
Algunos héroes son piuranos. e) "Ud. estudie".
Muchos héroes son piuranos.
Se refiere a:

11
16. ¿Qué aseveración expresa una función descriptiva? 24. ¿Cuál de las siguientes expresiones no pertenece al
a) ¿Vas al cine? lenguaje usado por la Lógica?
b) "Ud. no me mire". a) "La Lógica no estudia hechos fácticos".
c) Elena es maestra. b) "El agua hierve a determinada temperatura".
d) Flor, eres una buena amiga. c) "Quisiera que estuvieras a mi lado".
e) Hoy me baño. d) "No todo mamífero es vertebrado".
e) "Es posible que algunos peruanos no sean
17. ¿Cuál de los conceptos no define la verdad? ayacuchanos".
a) Correspondencia con la realidad.
25. El siguiente argumento:
b) Reflejo de la realidad en el cerebro.
"Si todo hombre es mortal, entonces algunos
c) Respeta las reglas.
seres mortales son humanos" se clasifica como:
d) Cuando se repite tal como es.
a) Inferencia deductiva mediata.
e) Producto de comprobar que es así.
b) Inferencia inductiva inmediata.
c) Inferencia deductiva e inductiva.
18. ¿Qué aseveración es verdadera?
d) Inferencia deductiva inmediata.
a) Toda verdad es una afirmación.
e) Inferencia inductiva mediata.
b) La verdad se puede negar.
c) Lo falso es negativo.
26. Señale la verdad (V) o falsedad (F) de los siguientes
d) Un razonamiento puede ser verdadero.
enunciados:
e) Lo inválido es falso.
* Verdad y afirmación son lo mismo.
* La Lógica es una ciencia de naturaleza formal.
19. Se cumple esta función cuando se transmiten * Falsedad y negación no son lo mismo.
conocimientos adquiridos de segundas o terceras * Las proposiciones pueden ser válidas o inválidas.
personas
a) Declarativa. a) FVFV.
b) Activa. b) FVVF.
c) Interrogativa. c) VVFF.
d) Expresiva. d) FFVV.
e) Operativa. e) VVVV.

20. El siguiente razonamiento es: Los 27. La Lógica, se clasifica como una ciencia:
físicos son científicos fácticos. a) Empírica.
Los científicos fácticos son naturalistas. b) Social.
De ahí que algunos naturalistas no sean físicos. c) Fáctica.
a) Inválido. d) Formal.
b) Incorrecto. e) Natural.
c) Verdad.
d) Válido. 28. Deducir, es una expresión lógica que significa:
e) Falso. a) Inferir.
b) Razonar.
21. La validez se caracteriza por ser producto de ................. c) Argumentar.
específicas. d) Llegar a una conclusión.
a) Un conjunto de verdades. e) Todas.
b) El uso de reglas.
c) Valores y normas. 29. Señale una expresión que contenga una función del
d) Afirmaciones. lenguaje lógico:
e) Aseveraciones. a) "Todos los peces viven en los océanos".
b) "La historia del hombre".
22. No indica una función informativa: c) "Los triángulos son amarillos".
a) Hermosa mañana. d) "Que hermosa luna llena".
b) Noche fría. e) "Jamás te dejaré partir".
c) Pantalón largo.
d) Fiebre alta. 30. Para formar una inferencia, por lo menos deben existir:
e) c y d. a) Dos proposiciones.
b) Varias proposiciones.
23. La Lógica, en sentido general, comprende el estudio c) Una proposición.
de: d) Tres proposiciones.
a) La verdad. e) Más de dos proposiciones.
b) Las proposiciones.
c) Los juicios válidos. 31. El término "validez" es aplicable a ................. y esto se
d) Las inferencias. demuestra por el análisis de su .................
e) Los conocimientos formales. a) inferencias - contenido.

12
 b) proposiciones - estructura. 39. Una proposición:
c) inferencias - estructura. a) Es aseverativa.
d) proposiciones - contenido. b) Tiene valor veritativo.
e) la ciencia lógica - premisa. c) Carece de sentido.
d) a y b .
32. Para que cualquier oración sea considerada una e) Todas.
proposición lógica, es necesario tener en cuenta que:
1. La oración describa un hecho real. 40. ¿En qué función del lenguaje ubicamos a la
2. La oración sea imperativa. proposición?
3. La oración sea aseverativa. a) Apelativa.
4. La oración contenga exclamaciones. b) Conativa.
c) Informativa.
a) 1 , 2 y 3. d) Expresiva.
b) 1,3y4. e) Fáctica.
c) Todos son requisitos.
d) Sólo 1 y 3. 41. "¡Estoy harto de tus caprichos, mujer inmadura!"
e) 2y4. ¿En qué función del lenguaje se halla?
a) Informativa.
33. ¿Cuál es el objeto de estudio de la Lógica?
b) Apelativa.
a) La proposición.
c) Emotiva.
b) La verdad.
d) Fáctica.
c) El pensamiento.
e) Representativa.
d) La inferencia.
e) La realidad. 42. "¿Cuántos diálogos escribió Platón?"
Se halla en función:
34. Una proposición es enunciada en un lenguaje: a) Apelativa.
a ) Expresivo. b) Expresiva.
b) Informativo. c) Fáctica.
c) Apelativo. d) Informativa.
d) Desiderativo. e) Poética.
e) a y c.
43. Inferencia que presenta una premisa de la cual se deriva
35. En una inferencia inductiva la conclusión es: una conclusión.
a) Necesaria. a) Inductiva.
b) Mediata.
b) Absoluta.
c) Falacia.
c) Probable.
d) Proposición.
d) Relativa.
e) Inmediata.
e) Contingente.
44. Constituye una proposición:
36. La Lógica aparece de manera orgánica en los escritos a) 2x + 1 = y
de: b) Marte tiene dos satélites.
a) Platón. c) Tus cejas son dos aves heridas.
b) Sócrates. d) ¿Qué edad tienes?
c) Thales. e) Joven, deje de hablar.
d) Aristóteles.
e) Pitágoras. 45. VERDAD : PROPOSICIÓN:
a) Validez : pensamiento.
37. Las inferencias se dividen en: b) Inferencia : falsedad.
a) Verdaderas - falsas. c) Validez : inferencia.
d) Premisas : razonamiento.
b) Válidas - falsas.
e) Conclusión : validez.
c) Inductivas - deductivas.
d) Simples - compuestas.
46. Una inferencia puede ser:
e) Silogismos - inmediatos.
a) Verdadera o falsa.
b) Deductiva o inductiva.
38. ¿Cuál no es una proposición? c) Válida o deductiva.
a) 2 + 3 = 6 d) Falaz o inválida.
b) Lima es capital de Chile. e) Deductiva o silogística.
c) Vallejo es autor de Trilce.
d) ¿Qué edad tiene Alberto?
e) No es cierto que llueva.

13
47. Una inferencia inductiva se define por su carácter de: 54. Una inferencia donde la conclusión se sigue
a) Necesidad. necesariamente de las premisas, se dice que es:
b) Validez. a) Incoherente.
c) Falsedad. b) Falaz.
d) Probabilidad. c) Inductiva.
e) Inconclusa. d) Verdadera.
e) Válida.
48. De las siguientes expresiones:
I. C. Vallejo es poeta europeo. 55. P. Todo hombre es mortal.
II. A. Einstein es físico. C. Algún hombre es mortal.
III. Estudia para que ingreses. Lo anterior es un ejemplo de:
IV. Te deseo suerte en el examen.
I. Inferencia.
a) Dos no son proposiciones. II. Silogismo.
b) Ninguna es proposición. III. Deducción.
c) Todas son proposiciones. IV. Inducción.
d) Una es proposición. V. Mediata.
e) Tres son proposiciones. VI. Inmediata.

49. La Lógica según Aristóteles es: a) I , III , VI.

a) Ciencia primera. b) I , III , V.
b) Ciencia del pensamiento. c) II , V.
c) Instrumento para pensar. d) I , IV , VI.
d) Razonamiento coherente. e) Sólo II.
e) Método matemático.
56. Si llueve, no seca la ropa. Llueve. Por ello, no seca la
50. Con respecto a la Lógica, marque V o F: ropa.
I. Es una ciencia del pensamiento. ( ) Es una inferencia:
II. Es una ciencia de la inferencia. ( ) a) Inductiva.
III.El padre de la Lógica no es Aristóteles ( ) b) Deductiva.
IV.Es una ciencia formal () c) Mediata.
d) Inmediata.
a) VVVV. e) b y c
b) FVFV.
c) FVVF. 57. INDUCCIÓN : PROBABILIDAD
d) VFFV. a) Proposición : verdad.
e) FVFF. b) Inferencia : validez.
c) Deducción : necesidad.
51. En toda inferencia válida: d) Lógica : inferencia.
a) La conclusión se deriva necesariamente de las e) Premisa : conclusión.
premisas.
b) Las premisas se derivan de la conclusión. 58. Es correcto sobre la Lógica:
c) Hay coherencia con la realidad observada. a) Determina el origen de los razonamientos.
d) Las proposiciones son las premisas y la b) Estudia las leyes del pensamiento.
conclusión. c) Investiga hechos de la realidad.
e) Todas las proposiciones deben ser verdaderas. d) Determina la validez de inferencias.
e) Estudia la coherencia del lenguaje.
52. De las siguientes expresiones, indique cuál es
proposición: 59. La proposición se caracteriza por:
a) Tengo que aprobar Matemática. a) Ser verdadera o falsa.
b) Deseo ser un investigador. b) Ser exclamativa.
c) Prohibido fumar. c) Ser compuesta.
d) x + 1 = y d) Afirmar.
e) 2 > 4 e) Tener operadores.

53. Un silogismo presenta: 60. El enunciado "Cámbiate y vámonos a comprar",

a) Dos inferencias. pertenece a qué función del lenguaje.
b) Una premisa y conclusión. a) Informativa.
c) Dos conclusiones. b) Expresiva.
d) Un par de premisas. c) Conativa.
e) Sólo premisas. d) Directiva.
e) c y d.

14
 LÓGICA PROPOSICIONAL
I. DEFINICIÓN : Es llamada también lógica de las proposiciones sin analizar, tiene por objeto de estudio a las proposiciones
y su formalización con la finalidad de determinar sus valores lógicos.

II. PROPOSICIÓN (ENUNCIADO) : Se denomina así a las expresiones lingüísticas de las cuales se puede afirmar que
son verdaderas o falsas.

CARACTERÍSTICAS
* Toda proposición es una oración aseverativa, pero no toda oración es una proposición.
* Toda proposición o es verdadera (V) o falsa (F) (no puede ser ambas a la vez).
* Dentro del razonamiento, la proposición puede ser premisa o conclusión.
* La proposición verdadera o falsa se puede afirmar o negar.
* Los enunciados matemáticos tienen el rango de proposición.
Ejm.:
- Los futbolistas son deportistas. (V)
- Todo africano es asiático. (F)
- La botánica estudia a las plantas. (V)

III. CLASES DE PROPOSICIONES: Las proposiciones se clasifican básicamente en: simples y compuestas.

3.1 PROPOSICIONES SIMPLES (Atómicas)

Son siempre afirmativas y no se pueden descomponer.
Pueden ser:

A. PREDICATIVAS. - Aquellas que presentan, en su estructura, sólo un sujeto y un solo predicado (el sujeto
puede hallarse tácito).
Ejm.:
- Los Iquiteños son alegres.
- Los bufeos son mamíferos.

B. RELACIONALES. - Presentan en su estructura un vínculo, dos sujetos o más.

Ejm.:
- Pedro es amigo de José.
- La Trigonometría es más compleja que la Geometría.
- Lucho y Maricarmen se odian.

3.2 COMPUESTAS (Moleculares, Coligativas)

Están constituidas por más de una proposición simple unida por las conectivas y, o, entonces, si y sólo si, o la
negación (no). Son las siguientes:

A. Negativas. - Son las que presentan la negación (no, no es cierto que, es falso que, es mentira que, no ocurre que,
etc.).
Ejm.: - Rocío no es menor de edad.
- Es falso que el gallo y la gallina sean acuáticos.

B. Conjuntivas. - Presentan como conectiva a la "Y". La conjunción puede hallarse tácita, o puede ser reemplazada
por sus sinónimos: Como, pero, a la vez, además, incluso, también, aunque, a pesar, sin embargo, ni, etc.
Ejm. - Nelly y Roger son médicos
- Ruby es lingüista también literata.

C. Disyuntivas. - Presentan como conectiva a la "O", "u", "o ... o...", son de dos tipos:
Inclusiva o Débil. - Cuando de las alternativas que se proponen se cumplen todas ellas, ya sea al mismo tiempo
o de manera alternada.

15
 Ejm: - Jennifer es cantante o abogada.
- La mesa es un mueble o es de madera.

Exclusiva o Fuerte. - Cuando de las alternativas que se proponen se cumple sólo una y se excluye la otra.
Ejm.: - César Vallejo murió en Lima o en París.
- O corremos o caminamos

D. Condicional (Implicativa). - Presentan como conectiva la palabra "Entonces" o sus equivalentes: luego, por lo
tanto, en conclusión, en consecuencia, de ahí, etc. Esta proposición indica una relación de causa - efecto,
(antecedente - consecuente)
La condicional se puede hallar tácita, sobrentendida.
Su esquema básico es:

Se divide en:

Condicional Directo. - Aquí se presenta primero el antecedente y luego el consecuente (causa - efecto).
Ejm.

Condicional Inverso. - Aquí se presenta primero el consecuente luego el antecedente. Se usa las conectivas:
dado que, puesto que, ya que, porque, si, siempre que, cada vez que, etc.
Ejm.

Alex trabaja necesita dinero.

E. Bicondicional (doble implicación). - Presentan como conectiva a "Si y sólo si", o sus equivalentes: cuando y
sólo cuando, entonces y sólo entonces, etc.
Ejm.
- Edwin corre si y sólo si quiere llegar a la meta.
- Héctor se baña cuando y sólo cuando lo invitan a un matrimonio.

16
 PRÁCTICA
01. Señale la proposición que no sea disyunción exclusiva: e) John Locke fue empirista debido a que sostenía
a) Mañana es lunes o martes. que la única fuente del conocimiento es la
b) La cría de la perra es macho o hembra. experiencia sensible.
c) Sara es estudiante o abogada.
07. "Tanto Rocky como Pedro son profesionales; si tienen
d) España está ubicada en Asia o Europa.
título profesional". Lo anterior es:
e) O vamos al Complejo del CNI o vamos a la a) Una conjunción.
biblioteca.
b) Un condicional directo.
c) Un condicional inverso.
02. "Martha Hildebrandt es peruana porque nació en Lima", d) Un bicondicional.
la afirmación anterior es una proposición: e) Una negación.
a) Simple.
b) Compuesta. 08. "Jonhson es líder u orador". ¿Qué tipo de proposición
c) Conjuntiva. es?
d) Condicional. a) Conjunción.
e) Condicional inversa. b) Disyunción exclusiva.
c) Disyunción inclusiva.
d) No es proposición.
03. ¿Cuál de los siguientes es una proposición conjuntiva?
e) Simple.
a) Porque soy peruano, hablo en castellano.
b) Así como estoy casado, soy mayor de edad. 09. Señale Ud, cuál es una proposición compuesta
c) Lucrecio es médico o arquitecto disyuntiva fuerte:
d) Rony y Joel son socios. a) Félix es cusqueño o peruano.
e) Sócrates bebió la cicuta y murió. b) O postulamos a la UNI o a UNMSM.
c) Cuando corrí, llegué temprano.
04. Relacione correctamente: d) Puede ser que mañana llame por teléfono a mi
I. Máximo tenía las dos dosis de la vacuna, sin amigo Arturo.
embargo, se contagió. e) El agua de mar es salada.
II. El gato es un animal doméstico.
III. No se da el caso que el sol sea una estrella. 10. La expresión: "Los estudiantes universitarios pobres
IV. Epicuro es hedonista o filósofo. son estudiosos; sin embargo, tienen limitaciones
económicas". Presenta como antecedente a:
A. Negación. a) Tienen limitaciones económicas.
B. Conjunción. b) Los estudiantes universitarios pobres.
C. Disyunción. c) Los estudiantes universitarios tienen limitaciones
D. Simple predicativa. económicas.
d) Los universitarios son pobres y tienen limitaciones
a) IA -IIB-IIIC-IVD económicas.
e) Ninguna, porque no es una proposición
b) IB-IID-IIIA-IVC
condicional.
c) IC-IID-IIIA-IVB
d) ID-IIA-IIIB-IVC
11. ¿Cuál es una proposición compuesta?
e) IB-IID-IIIC-IVA
a) Shakira y Paulina Rubio son vecinas.
b) Jennifer, la dueña de la botica, está embarazada.
05. ¿Cuál es la conectiva que tiene mayor jerarquía en la
c) Los insectos son invertebrados.
siguiente afirmación?
"Carolina viajó a Brasil, también a E.E.U.U.; más aún, d) Todo hombre es racional.
aprendió el idioma portugués e inglés. e) Los eucaliptos juegan y las palmeras bailan.
Consecuentemente, su viaje fue exitoso".
a) También. 12. ¿Qué proposición es: "Es el caso que eres un buen
b) Más aún. estudiante si apruebas tus cursos"?
c) Consecuentemente. a) Conjuntiva.
d) e. b) Disyuntiva.
e) Más aún y consecuentemente. c) Bicondicional.
d) Condicional.
06. Señale la alternativa que sea una proposición e) Negativa.
condicional invertida.
a) Si tomo cerveza entonces no tomo vino. 13. Una proposición disyuntiva inclusiva, será:
b) Milagros aprobó el examen de ahí que le a) Héctor es soltero o casado.
entregarán su título profesional. b) Si hay dinero, iremos de vacaciones.
c) Los tigres son animales salvajes. c) La leche está fría o caliente.
d) Porque quiero estar sano, me pongo las dos dosis
de la vacuna.
17
 d) Rommel es líder u orador. e) Charo y Sophie son hermanas; pero no trabajan
e) Eres tú o soy yo quien se casará con Diana. juntas.

14. Una proposición es elemental cuando: 20. ¿Cuál de los siguientes es un enunciado aseverativo
a) Carece de oraciones. lógico?
b) Tiene una sola oración. 1. Mi deseo es trabajar por los pobres.
c) Contiene implicación. 2. La teoría de la relatividad.
d) Se divide en dos o más significados. 3. El sol es una estrella.
e) Posee un solo significado. 4. Ciertos mamíferos son carnívoros.

15. La finalidad de todo enlace lógico es: a) Todos.

a) Relacionar variables entre sí. b) 1 y 2.
b) Encontrarse en una proposición básica. c) 3 y 4.
c) Establecer valores veritativos. d) Sólo 4.
d) Operar lógicamente. e) Ninguno.
e) Formar proposiciones simples.
21. La característica principal de una proposición coligativa,
16. La proposición: "Aneth está en Requena o en Nauta", es que:
presenta una disyunción exclusiva porque: a) Por lo menos tiene una proposición básica.
a) Está en los dos lugares a la vez. b) Debe llevar cuantificadores.
b) Está en Requena sí y sólo si está en N a u t a . c) Debe llevar términos de enlace.
c) Si está en Nauta entonces va a R e q u e n a . d) Debe tener una copula.
d) No puede estar en los dos lugares a la vez. e) Relaciona necesariamente a dos sujetos.
e) Puede al mismo rato ir a los dos lugares.
22. Señale la correspondencia:
17. ¿Cuál no es una proposición conjuntiva? 1. Amigo amable.
I. Marco y Dante son amigos. 2. A pesar que te estimo, no te saludo.
II. César es tan amable como Zoila. 3. Salgo de viaje puesto que es fin de año.
III. A pesar que Juan es alto, no llega al techo. 4. Marcelo y Rosita son compañeros.
IV. Hoy cantas pues estás feliz.
V. El niño llora si tiene hambre. a. Condicional.
b. Simple o atómica.
a) I - II - III. c. Conjuntiva.
b) III - IV - V. d. Simple relacional.
c) Sólo IV y V.
d) I - IV - V. a) 1a , 2b , 3c , 4d.
e) I - II - V. b) 1b , 2c , 3a , 4d.
c) 1d , 2a , 3b , 4c.
18. Señale la correspondencia: d) 1a , 2d , 3b , 4c.
1. Si la puerta está abierta, sale el gato a la calle. e) 1c , 2d , 3b , 4a.
2. La historia es una ciencia social o fáctica.
3. Quizás vengas mañana si hoy es Lunes. 23. Indique cuál es una proposición conjuntiva:
4. Puede ser que mañana te llame. a) Sonia o Martha son médicas.
b) El caballo relincha cada vez que trota.
a. Disyuntiva. c) La Física es una ciencia fáctica ya que requiere de la
b. Condicional. matemática.
c. No es proposición. d) Iré al cine; sin embargo, no te llevaré.
d. Condicional invertida. e) Gloria y Ramón son amantes.

a) 1c , 2a , 3b , 4d. 24. Señale cuál es una proposición simple:

b) 1b , 2a , 3d , 4c. a) El gato y el lobo son carnívoros.
c) 1d , 2c , 3a , 4b. b) Carola o Juana son enemigas de Pedro.
d) 1a , 2b , 3c , 4d. c) Júpiter no es tan grande como el sol.
e) 1b , 2a , 3c , 4b. d) Otras personas son más cultas que ustedes.
e) El Perú y Bolivia son países tercermundistas.
19. En las siguientes expresiones, marque aquella que es
una proposición básica relacional: 25. No es característica de la proposición simple:
a) Todos los mamíferos son vertebrados. a) Siempre es afirmativa.
b) Juan y Lucio viajaron al Sur. b) No se puede descomponer en varias
c) Tanto Perú como Chile están al sur de América.
proposiciones.
d) Vargas Llosa y Bryce Echenique son
c) Puede tener 2 sustantivos (sujeto compuesto).
contemporáneos.
d) Puede ser interrogativa.

18
 e) No puede ser negativa. 33. En la siguiente lista de proposiciones relacione
correctamente:
26. Señale Ud. cuál es proposición: 1. Condicional.
a) Más bella que un amanecer. 2. Disyuntiva.
b) ¿Por qué me tratas mal? 3. Conjuntiva.
c) Trabajarás por las noches. 4. Simple relacional.
d) A pan duro, diente agudo.
e) ¡Gané la Tinka! A. El león es un mamífero a la vez que carnívoro.
B. Arturo está a la derecha de Moisés.
27. Señale Ud. cuál no es característica de la proposición: C. El agua está salada porque es del mar.
a) Toda proposición o es verdadera o es falsa. D. Almorzamos estofado o arroz chaufa.
b) La proposición falsa se puede afirmar o negar.
c) Toda oración exclamativa es una proposición. a) C1 , D2 , A3 , B4.
d) Dentro del razonamiento la proposición puede ser b) A1 , B3 , C3 , D4.
premisa o conclusión. c) B1 , C2 , D3 , A4.
e) La oración informativa puede ser proposición. d) D1 , A2 , B3 , A4.
e) D1 , A2 , B3 , C4.
28. A qué clase de proposición corresponde:
"La música es un arte a pesar que es un 34. De las siguientes proposiciones, cuál no pertenece a la
sentimiento ". disyunción fuerte:
a) Simple. a) "Augusta es norteña o sureña".
b) Disyuntiva. b) "César Vallejo murió en Lima o en París".
c) Condicional. c) "Te vistes o te desvistes para correr".
d) Conjuntiva. d) "Vamos al parque de las leyendas o vamos a
e) No es proposición. pasear".
e) "El día de mi cumpleaños es el 26 o el 29 de
29. Señale qué aseveración es verdadera: agosto".
a) Toda oración es una proposición.
b) La proposición simple puede ser afirmativa o 35. Señale cuál es una proposición compuesta:
negativa. a) Voy al cine solo los domingos.
c) Toda condicional indica causa - efecto. b) ¿Estás cansado y fatigado?
d) La oración dubitativa puede ser proposición al c) Sergio es más hábil que Jorge.
forman parte de una compuesta. d) Salgo de viaje en invierno.
e) La proposición compuesta está formada por varias e) Juego la lotería sólo si no hay fraude.
proposiciones simples.
36. El enunciado: "La Física es una ciencia; sin
30. Señale cuál no es característica de la proposición: embargo, no es complicada", posee básicamente:
a) Toda proposición o es verdadera o es falsa. a) 2 proposiciones simples.
b) La proposición falsa se puede afirmar o negar. b) 1 proposición compuesta.
c) Toda oración aseverativa es una proposición. c) 2 proposiciones negativas.
d) La oración interrogativa puede ser proposición. d) 1 proposición simple y 1 proposición compuesta.
e) Dentro del razonamiento, la proposición puede ser e) 1 proposición simple y 1 proposición compuesta
premisa o conclusión. condicional.

31. Indique cuál no es una proposición conjuntiva: 37. A la proposición simple se le conoce también como:
a) "Emelly y Flavia son contadoras". a) Compuesta.
b) "El caballo relincha a la vez que trota". b) Atómica.
c) "La Física es una ciencia fáctica a pesar que c) Molecular.
requiere de la matemática". d) Universal.
d) "Te amo, sin embargo, no me casaré". e) Particular.
e) "Gloria y Ramón son amantes".
38. Indique la condicional inversa:
32. La proposición: a) Iré al concierto siempre que tenga dinero.
"Aunque esté caro compraré una computadora " b) El cantante peruano ganó ya que se preparó mucho.
es: c) Nos divertimos mucho en la fiesta Covid.
a) Una disyuntiva. d) Tengo frío, por lo tanto, tengo fiebre.
b) Simple predicativa. e) a y b.
c) Simple relacional.
d) Una conjuntiva. 39. Señale lo correcto:
e) Un condicional indirecto. a) Las expresiones imperativas son proposiciones.
b) "Ojalá me regalen una bicicleta", es falso que sea

19
 una proposición. 47. "Alberto y José son hermanos "; es ejemplo de
c) El teléfono es chismoso. proposición:
d) Sólo b. a) Atómica.
e) a y c. b) Conjuntiva.
c) Molecular.
40. Señale la proposición negativa simple: d) Disyuntiva.
a) Pedro y Omar son desconsiderados. e) Condicional.
b) No ocurre si es de confianza, que traicione.
c) Es falso que, Juan es inmoral. 48. "Cuando llueve en plena tarde soleada, se
d) Mariela irá de viaje si y sólo si saca buenas notas. produce el l lamado arcoiris "; es ejemplo de
e) Es imposible que Juan mienta. proposición:
a) Conjuntiva.
41. "El Imperio Incaico se encuentra en América del Sur"; b) Simple.
es una proposición de tipo: c) Condicional.
a) Simple predicativa.
d) Bicondicional.
b) Atómica relacional por ubicación.
e) Disyuntiva.
c) Simple predicativa de grado.
d) Conjuntiva relacional. 49. "Estoy vivo o estoy muerto "; es una proposición:
e) Atómica predicativa disyuntiva. a) Disyuntiva débil.
b) Conjuntiva.
42. Son aquellas proposiciones que carecen de enlaces
c) Condicional.
lógicos o conjunciones gramaticales, se refiere:
d) Disyuntiva fuerte.
a) Conjuntiva.
e) Bicondicional.
b) Disyuntiva.
c) Simple.
d) Bicondicional. 50. Señale la proposición atómica:
e) Negativa. a) Luis y Alberto estudian juntos.
b) No volveré a verla, amada mía.
43. Javier trabaja, además, estudia inglés; es una c) Ojalá llueva en la sierra de Lima.
proposición. d) No es cierto que estudie en la UNAP.
a) Simple. e) Como prácticas, dominas el curso.
b) Coligativa.
c) Compuesta. 51. ¿Qué estructura corresponde a una proposición
d) Molecular. condicional?
e) Todas menos la a. a) .................. o ..................
b) .................. de ahí que ..................
44. La Lógica Proposicional también es conocida como c) .................. pese a que ..................
lógica: d) .................. como ..................
a) De clases.
e) .................. sin embargo ..................
b) De predicados.
c) Cuantificacional.
52. Ubique la proposición conjuntiva:
d) De las proposiciones analizadas.
a) No es cierto que cante y baile.
e) De las proposiciones sin analizar.
b) Ángel y Melissa son vecinos.
c) Entre Ica y Ancash está Lima.
45. Conector monádico, considerado también como
d) César y Andrés son médicos.
modificador lógico:
e) Al igual que te amo, te odio.
a) Conjunción.
b) Disyunción.
53. ".................. debido a que ..................."; corresponde a:
c) Negación.
a) Condicional inverso.
d) Condicional.
b) Condicional directo.
e) Bicondicional.
c) Disyuntivo.
d) Conjuntivo.
46. Las proposiciones atómicas: e) Negativo.
a) Presentan operadores.
b) Pueden ser negativas. 54. Moro no fue romántico ni modernista. Por ello, no
c) Pueden ser falsas. siguió una poética tradicional.
d) Son divisibles. ¿Qué conectores se indican?
e) No son relacionales. a) Negación - conjunción - condicional.
b) Negación - disyunción - condicional.
c) Negación - condicional - conjunción.

20
 d) Negación - conjunción - bicondicional. 58. "Darío vendrá hoy, solo si su hermano se queda en
e) Negación - conjunción - disyunción. casa". Es una proposición:

a) Condicional b) Negativa
55. Proposición molecular que establece una relación de
c) Disyuntiva d) Conjuntiva
antecedente y consecuente:
e) Bicondicional
a) Conjunción.
b) Disyunción. 59. "Salma toca piano, también el violín". Es una
c) Condicional. proposición:
d) Bicondicional.
e) Negación. a) Conjuntiva b) Disyuntiva
c) Condicional d) Bicondicional
56. Señale la expresión que establezca una disyunción e) Negativa
exclusiva:
60. ¿En cuál de los casos se emplea el conector "porque"?
a) Moro escribió en castellano o en francés.
b) La proposición es verdadera o falsa. a) Fumo mucho .......... caeré enfermo.
c) Paco toca guitarra o cajón. b) Estudio.......... aprobaré el examen.
d) Postularé a San Marcos o a la Católica. c) Salí temprano; ....... llegué tarde.
e) Luis trabaja o estudia con dedicación. d) Me abrigo ............ la temperatura es baja.
e) Viajarás al Norte ......... te irás al Sur.
57. ¿Cuál de los siguientes enunciados no es proposicional?
a) Zeus fue una divinidad griega o romana.
b) Los Elfos son personajes de una obra literaria.
c) El ornitorrinco es un mamífero, pero pone huevos.
d) El presidente del Perú no ha renunciado.
e) La fascinante y compleja filosofía de Nietzsche.

21
 FORMALIZACION EN LA LÓGICA PROPOSICIONAL
(SIMBOLIZACIÓN)

La simbolización de proposiciones consiste en la representación del lenguaje ordinario mediante el lenguaje artificial
(convencional). Formalizar, significa reemplazar cada proposición por una variable y cada conectivo (término de enlace) o
modificador (la negación) por un operador lógico, todo ello correctamente jerarquizado mediante signos de agrupación.

1. . VARIABLES
Se utilizan para representar a las proposiciones simples. Son las letras minúsculas: p, q, r, s, t, ..... , etc.

Ejemplo:
a) Juan Pablo es compositor.

p
b) Rosario es empresaria así como estudiante universitaria.

p q

2. . OPERADORES LÓGICOS
Son de dos tipos:

a) Diádicos .- Se utilizan para representar a las conectivas (términos de enlace).

Conectiva .... y .... .... o .... o ... o ... si ... entonces ... ... si y solo si ...
Operador   → 

Ejemplo:

* Si practicamos los ejercicios de lógica, entonces aprendemos.

* Los leones son salvajes y carnívoros.

b) Monádico.- Sirve para reemplazar al modificador "no" o sus expresiones equivalentes (no es cierto, es falso que, no
es el caso que, etc.).

Modificador no
Operador ~
Ejemplo:

* Marte no es una estrella .

* No es cierto que, las gallinas tengan 2 patas y no sean aves.

23
3. . SIGNOS DE AGRUPACIÓN
Se utilizan para agrupar a las variables y operadores asi como, darles jerarquía. Son los siguientes:
* Paréntesis ( )
* Corchetes [ ]
* Llaves { }
* Barras | |

a) JERARQUIZACIÓN
Jerarquizar significa agrupar las variables y los operadores dentro de los signos de colección, llamados también de
agrupación.
Para jerarquizar hay que tener en cuenta los siguientes requisitos:

* Sólo presentan jerarquía los conectivos lógicos (y, o, entonces, si y solo si, etc.).
* Para realizar una correcta jerarquización hay que tener en cuenta los signos de puntuación del texto a jerarquizar,
en cuanto ellos indican la ubicación de los signos de colección.
* En el texto, el punto seguido tiene mayor jerarquía, le sigue en 2do. lugar el punto y coma, y en 3er. lugar la coma.

b) REGLAS PARA JERARQUIZAR

1. Donde esté ubicado el signo de puntuación más importante del texto, ahí se encuentra ubicado el conectivo
principal.
2. Donde se encuentre un signo de puntuación ahí se abre o cierra un signo de colección (paréntesis, corchete o
llave)
3. El conectivo que se encuentre fuera o en la parte más externa de los signos de colección es el que tiene mayor
jerarquía.
4. Si encontramos un texto donde se presente una sucesión de idénticos signos de puntuación, será mayor el que
presente como conectivo entonces, luego o cualquiera de sus sinónimos.
5. La negación antecede a la variable (~ p), no enlaza proposiciones, pues no es conectivo: (p ~ q).
Ejemplo:
Esther estudia física y química, o estudia lógica. Sin embargo, estudia matemática.

- p y q, o r. Sin embargo, s (reemplazando proposiciones)

- p  q ,  r .  s (reemplazando conectivos)
 
jerarquía 2 jerarquía 1
- [ (p q)  r ]  s (jerarquizando)

4. . FÓRMULAS
Es el resultado de la correcta formalización y jerarquización de las proposiciones o inferencias.

Ejemplo:
a) Galileo Galilei fue físico y matemático.
p q
Fórmula :  q
p
Nombre : fórmula conjuntiva

b) Si el agua del río es dulce, entonces puede ser para el consumo humano o
p q
servir para regar los sembríos del tomate.
r
Fórmula : p →(q  r)
Nombre : Fórmula condicional

NOTA : Si al formalizar, encontramos al condicional inverso, se debe permutar las proposiciones que conforman el
condicional.

24
 Ejemplo:

* Lucy participa en el curso de actualización porque tiene dinero.

p q

Fórmula : q → p
Nombre : Fórmula condicional inverso

5. . FÓRMULAS BIEN FORMADAS (fbf)

Obedecen a las siguientes reglas de formación:

I. Cada variable proposicional es una fbf

Ejm. p, q, r, .............

II. Si A es una fbf entonces ~ A es una fbf.

Ejm.
*p * ~p
*q * ~q

III. Si A y B son fbfs entonces A B , A  B , A B, A →B , A  B son fbfs.

Ejem.
* pq * p q * (pq)(r →s)

* p  q * p  q * (p→q) [ r (p→q)]

* p → q * (p q) →r *pqr
*pqr

IV. Ninguna otra es una fbf. en caso contrario son fórmulas mal formadas (fmf)
Ejm.
* p~ q Es una fmf porque la negación no es un operador diádico.
*pq Es una fmf porque el operador "  ", no es monádico y debe estar entre variables.
(Ejm. p  q)
* pqr Es una fmf porque no se puede determinar cuál de los operadores tiene mayor jerarquía, dado
que le falta el signo de agrupación.
(Ejm. (pq)  r )

6. . JERARQUIZACIÓN DE FÓRMULAS
En cualquier fórmula lógica, el operador que tiene mayor jerarquia es aquel operador diádico fuera o en la parte más
externa de los signos de agrupación (divide a la fórmula en dos) o en todo caso la negación libre.
Ejemplo :

* (p q) r * (p q) (p r) (r s)
2 1 2 1 3 2 3
Mayor jerarquía Mayor jerarquía
Menor jerarquía
Mayor jerarquía
1
* (p q) (r s) * p (q p) (q r)
2 Menor 2
1 2 4 3 4 5
jerarquía
Mayor jerarquía

7. USO DE LOS PUNTOS AUXILIARES

Se utilizan dentro de la simbología de Peano y Russell. Estos puntos auxiliares, sirven para determinar la jerarquía de
los operadores diádicos en reemplazo de los signos de agrupación.

25
 Proposición Operador Estructura formal fórmula
Conjunción . pyq p.q
Disyunción inclusiva v poq p q
Disyunción exclusiva opoq p q
Condicional si p entonces q p q
Bicondicional p si solo si q p q
Negación ~ no p ~p

Ejemplo:

* El alcohol el cigarro son dañinos para la salud = p.q

p y q
.
* Si Noriega es astronauta entonces viaja a la Luna = p q
p q

REGLAS PARA EL USO DE PUNTOS AUXILIARES

1) La conjunción tiene mayor jerarquía que cualquier otro operador que no tenga o éste afectado por puntos.
Ejm:

Mayor jerarquía
1
- p .q r - p q . r s
2 1 2
Mayor jerarquía

2) El operador diádico con mayor número de puntos es el de mayor jerarquía, si y solo si no esté limitado por los signos
de agrupación.
Ejm:
- p q r - r : :p p v r q
2 1 1 2 4 3
Mayor jerarquía
Mayor jerarquía

3) Al operador monádico (negación) no se le puede asignar puntos auxiliares, porque estos se asignan solamente
a los operadores diádicos. De ahí que cuando se trata de una negación libre, es necesario utilizar los signos de
agrupación .
Ejm:

* ~ (p v q . r)
* ~ [ ~ ( p v q ) : : q . . r . s]
1 3 2 4 2 3 4
1 3
Mayor jerarquía
Mayor jerarquía

26
 PRÁCTICA

01. "Si Jennifer es alta o baja, entonces le queda el 07. Formule:

anillo de compromiso " "Carmen no adquirió un vino; sin embargo,
Simbolizando lo anterior, resulta: porque tiene sed, pidió un helado ".
a) (p  q) → r a) ~ p  (q → r)
b) (p  q) →~ r b) ~ p  (r → q)
c) (p   q) → r c) p → (q  r)
d) (p   q) 
 r
d) ~ p → (q  r)
e) p  (q →~ r
e) ~ p  (q → r)
02. Simbolice:
El avión despegará a las 5 de la mañana a menos que 08. ¿Cuál es la fórmula correcta de:
la neblina cubra el aeropuerto. "El Alcalde será reelegido, si mantiene el ornato
a) p  q de la ciudad o no aumenta el impuesto predial "?
b) p → q a) p → (q ~ r)
c) q → p
b) (q ~ r) → p
d) p  q
e) p  q c) (q ~ r) → p
d) p~ q
03. Simbolice:
e) (~ q  p) → r
O Martín estudia alemán y portugués o va a la biblioteca
y busca información.
a) (p  q)   (r  s) 09. "Si Gloria trabaja entonces gana dinero, si gana
b) (p  q)  (r  s) dinero compra un auto; por tanto, si trabaja
c) p   [q  (r  s)] compra un auto".
d) p  [(q  s)  r] Señale la alternativa que le corresponde:
e) (p  q)  (r  s) a) (p → q)  {(q → r) → (p → r)}
b) (p → q)  [(r → q)  (p → r)]
04. Marque la alternativa que corresponda a la fórmula: c) (p  q)  [(q → p)  (r → p)]
~q→p d) [(p → q)  (q → r)] → (p → r)
a) Si no voy al museo entonces soy feliz. e) (p  q) → [(q → r) → (p → r)]
b) Corro o no llego tarde.
c) No camino si y solo si me duele los pies. 10. Formalice:
d) Llegaré tarde porque no corro.
Hugo llora si Milagros no viene, no obstante Milagros
e) Es falso que si voy al museo, sea infeliz.
no viene porque Hugo llora.
05. "El pantalón de Manuel está arrugado porque no a) (~ q → p) ~ (p →~ q)
lo planchó, además está usado". Formalizando b) (p →~ q) ~ (~ q → p)
resulta: c) (~ q → p)  (p →~ q)
a) (p →~ q)  r d) p  ~ q  p  q
e) (~ q → p)  (p →~ q)
b) (~ q → p)  r
c) p q 11. Formalizar lo siguiente:
d) ~ p  q "María tiene 15 ó 16 años de edad, así como
estudia Derecho o Ingeniería de Sistemas.
e) (~ q  r) → q Luego, es mayor de edad o tiene DNI ".
a) [(p  q)  (r  s)] → (t  w)
06. Simbolice:
Melissa come yuca o camote; sin embargo, no come b) [(p 
 q)  (r  s)] → (t  w)
camote. De ahí que, come yuca: c) [(p 
 q)  (r  s)] → (t  w)
a) [(p  q)  r] → s d) [p  (q  r)] → s
b) [(p 
 q) ~ q]  p e) No se puede formalizar.
c) [(p  q) ~ q] → p
12. Simbolice:
d) (p ~ q) → r Cuando Platón desprecia lo sensible; pero aprecia lo
e) (p  q)  (~ q → p) ideal, muestra la característica del valor denominado
jerarquía.

27
 a) (~ p  q) → r 18. Sin igualdad, nunca habrá justicia :
b) pq a) p q
c) (p  q) → r b) p
d) p c) p  q
e) p → q d) ~ p ~ q
e) ~ q  ~ p
13. Simbolice:
"El poeta es sensible ya que es romántico, 19. "Sonia no vino al Seminario tampoco al
pues es sensible". Concurso de becas debido a que viajó al Sur ".
a) q.  .p.r Simbolizando lo anterior, resulta:
b) p.  .q  p a) r.  . ~ p. ~ q
c) qp b) r.  . ~ p.q
d) r.  .q  p c) ~ p.q.  .r
e) p  q.  .r d) ~ p  ~ q  r
e) q  p
14. Simbolice:
"Eduardo y Víctor son vecinos, además 20. Qué operadores presenta el texto siguiente: "Es
estudian en la UNAP ". imposible que salga el sol y estemos de noche.
a) p . q v r Por ello o es de día o estamos de noche ".
b) p . q a) ~, . , , v
c) p v q
b) ~, . , , v
d) (p . q) . (r . s)
e) p . (q . r) c) ~,  , ,
/
d) ~ , 
/ ,, 
15. "Al igual que filósofo, Pitágoras fue
matemático, dado que concibió al número e) ~ , . ,  , /
como fundamento de todo existente". La fórmula
que lo representa, es: 21. Formalizar:
a) p.q  r "Si llueve al medio día, no secará la ropa; si no
b) qp llueve, secará y te irás a la fiesta. Por lo tanto,
c) r.  .p.q si vas a la fiesta, no llovió ".

d) r  p.q a) p  ~ q  (~ p    q  r) :  : r  ~ p

e) r.  .p  q b) p  ~ q  ~ p    q  r :  : r  ~ p
c) p  ~ q  ~ p  q  r :  : r  ~p
16. Simbolice: d) p  ~ q ~ p    q  r :  : r  ~ p
"O el ornitorrinco es mamífero o es ave. Pero e) ~ q  p:  : ~ p  q  r :  : ~ p  r
tiene glándulas mamarias. Por lo tanto, no es
22. Simbolice:
ave". "Tendremos muchas flores en el jardín, si la
a) p  q  r  ~ q estación es propicia y las semillas no están
b) p  q  r   ~ q malogradas".
a) p  q   ~ r
c) p    q  r  q
b) pqr
d) p  q  r    ~ q
c) q~ r p
e) p  q  r  ~ q
d) p q r s
e) qp
17. "Locke fue empirista, en cambio Descartes fue
racionalista. Por ello, tuvieron filosofías 23. "Como Franklin se esforzó bastante cuando no
opuestas". lo apoyaron sus amigos, no es cierto que esté
desempleado o no haya progresado".
Formalizando, obtenemos: Luego de formalizar lo anterior, resulta:
a) p q   r a) p  ~ q    ~ r  ~ s
b) p  q r
b) p  ~ q    ~ (~ r  ~ s)
c) pq
c) ~ q  p    ~ (~ r  ~ s)
d) qp
e) p    q r

28
 d) ~ p  (q  ~ r) d) [~ (p  q) → p] →~ q

e) p  ~ q    ~ (~ r  ~ s) e) [~ (p  q)  p] →~ q

24. El escritor es sensible ya que es enamoradizo, 30. Simbolice correctamente la siguiente proposición:
pues es sensible.
"Alonso es abogado o diplomático y si es
a) (p  q) → p
diplomático viaja casi siempre al extranjero ". (Si
b) (p → q) → p se sabe que P = Alonso es abogado; q = Alonso es
c) p → (q → p) diplomático; r = Alonso viaja casi siempre al
d) p → (q  p) extranjero).
e) (p → q)  q a) (p  q)  (r  s)
b) (p  q)  (r → s)
25. Si la historia es una ciencia social o una ciencia c) (p  q) → (q  r)
fáctica, entonces o es objetiva o subjetiva . d) (p  q)  (q  r)
a) (p  q) → (r  s) e) (p  q)  (q → r)
b) (p  q)  (r → s)
c) (p  q)  (r  s) 31. Represente formalmente el siguiente enunciado:
d) (p  q) → (r  s) "Es falso que hace calor si la temperatura no ha
aumentado".
e) (p  q) → (r  s)
(Sabiendo que p = hace calor y q = la temperatura
26. Mañana voy al cine, como al parque; si y solo sí aumenta)
es domingo, si no llueve: a) ~ p → ~ q
a) ~ s → {( p  q)  r} b) ~ (p → ~ q)
b) {( p  q)  r} →~ s c) ~ q →~ p
c) {( p  q)  r}  s d) ~ (~ q → p)

d) s → {( p  q)  r} e) p →~ q

e) {( p  q) → r}  ~ s 32. Simbolice correctamente la siguiente expresión:

"Si la neblina aumenta, la visibilidad disminuye y
27. Formule: si disminuye la visibilidad, pueden ocurrir
"Rocío no adquirió un vino, sin embargo tiene
accidentes".
sed, pidió un helado".
(Donde p = la neblina aumenta, q = la visibilidad
a) (q →~ p) → r
disminuye; r = ocurren accidentes)
b) (~ p → q) → r a) (p  q) → (r  s)
c) (~ p → q)  r b) (p → q)  (q → r)
d) (~ q → p)  r c) (p → q)  (r → s)
e) (~ p  q)  r d) (p → q)  (r → s)
e) (p  q) → (q  r)
28. La biología estudia la vida y los seres vivos, si es una
ciencia natural.
a) (p  q) → r 33. Señale la simbolización de:
"Cuando hace Sol, es posible que la temperatura
b) r → (p  q)
aumente o sea verano".
c) (p → q)  r
a) p  (q  r)
d) r  (p → q)
b) p → (q  r)
e) (p  q) → r
c) p  (q  r)

29. "No es cierto que seas mujer y hombre, ya que d) p  (q  r)

eres hombre. Por lo tanto no eres mujer ". e) p   q  r
Su formalización corresponde a:
a) [~ (p  q) → q] →~ p 34. El argumento:
"Pitágoras fue matemático tal como filósofo. Pero
b) [q →~ (p  q)] →~ p
Lutero fue protestante siempre, que no se sometió
c) [p →~ (p  q)] →~ q al Catolicismo ".

29
 Se formaliza como: a) [(p → q) (r → s) (p → r)] →~ (~ q  ~ s)
a) (p  q)  r  →~ s
b) [(p →q) (r → s) (p r)] →~ (~ q  ~ s)
b) p  (q →~ r)
c) [(p→q)(~ p~ r)(p~ p)]→~ (~ q~ s)
c) (p  q) → (r →~ s)
d) (p → q) ~ (p → s)
d) (p  q)  (r →~ s)
e) (p ~ p) →~ (~ q  ~ r)
e) (p  q)  (~ r → s)
40. "Judas es desleal y deshonesto porque no dijo
35. Formalice correctamente: la verdad a Jesús y lo entregó a los judíos; de
"No es el caso que no haya control de precios o ahí que ya no es una persona de confianza".
los combustibles se encarezcan". Formalizando la expresión anterior, se obtiene:
La fórmula lógica correcta de la expresión anterior es: a) ~ t → [(~ r  s) → (~ p ~ q)]
a) ~ (p  q) b) [(~ r  s) → (~ p ~ q)] →~ t
b) ~ (~ p  q) c) [~ (~ p ~ q) → (~ r  s)] →~ t
c) ~ (p  q) d) [(p  q) → (~ r  s)] →~ t
d) ~ p~ q e) [(p  q) → r] →~ s
e) ~ (p  q)
41. Tardé en llegar, porque se malogró el auto y tuve
36. "Si Diego es matemático y Sebastián ingeniero, que venir a pie.
entonces ambos trabajarán en la NASA ". a) p → (q  r)
La simbolización correcta es: b) (q  r) → p
a) (p  q) → r
c) (q  r)  p
b) p → (q  r)
d) (q  r) → p
c) (p  q) → (r  s)
e) (q  r)  p
d) (p  q) → (r  s)
e) (p → q) → (r → s) 42. No iré a trabajar, si y sólo si declaran el día
feriado o me encuentre enfermo.
37. Simbolice: a) ~ p → (q  r)
"No es cierto que compró acciones de la b) ~ p  (q  r)
telefónica o bonos del gobierno. Luego obtuvo
c) ~ p  (q  r)
buenos dividendos porque compró acciones de
la telefónica". d) (q  r) → p

a) r → (~ p  q)  (s → t) e) (q  r)  p

b) ~ (p  q) → (p → t)
43. Sin justicia social, no hay democracia ni
c) ~ (p  q) → (r → s) legalidad.
d) r → (p  q)  (s → t) a) ~ p → (~ q  ~ r)
e) ~ (p  q) → (s → t) b) ~ (p → q) → r
c) (~ p  ~ q ) →~ r
38. Formalizar:
d) (~ p → ~ q )  ~ r
"Si llueve al mediodía, no secará la ropa; si no
llueve, secará y te irás a la fiesta. Por lo tanto, e) (~ p → ~ q ) → ~ r
si vas a la fiesta, no llovió ".
a) {[( p → q) ~ (p → q)]} → (s  r) 44. Si Salma es alta o baja, entonces no le queda el
b) (p → q)  (r → s) →~ p vestido.
a) (p  q) → ~ r
c) {[(p →~ q) ~ r → (q  s)]} → (r →~ p)
b) (p  q) → ~ r
d) [(p → q) ~ (p → r)] → (p →~ r)
c) (p  q) → ~ r
e) {(p →~ q) [~ p → (q  r)]} → (r →~ p)
d) (p  q)  ~ r
39. "Si hablas, irás a juicio; si callas, te condenarán, e) (p → ~ q)  r
pero hablas o callas. Por lo tanto es imposible
que no vayas a juicio y no te condenen".

30
45. Si es feriado, no iré a trabajar. No es feriado. los físicos.
Luego, iré a trabajar . a) p  q    r  s
a) (p  ~ q ~ p)  ~ p b) p  q    r  s
b) (p  ~ q ~ q)  ~ p c) p.~ q = . r. s
c) (~ p  p)  (~ q  ~ p) d) p  q    r  s
d) p  ~ q ~ p   q e) p q    r  s
e) ~ q  p ~ p  q
52. El ornitorrinco no es ave, dado que tiene
glándulas mamarias; no obstante es falso que
46. La Lógica es una ciencia formal, debido a que
sea vivíparo:
su objeto de estudio es abstracto y no empírico .
a) (q → p)  ~ r
a) (q  r) → p
b) (q → ~ p)  ~ r
b) q ~ r    p
c) q  ~ r   p c) (~ p → q)  ~ r
d) q ~ rp d) (q → ~ p) → ~ r
e) p → (q  ~ r) e) (q → ~ p)  ~ r

47. Las aves migran si es invierno; pero no migran 53. Saldremos de viaje o no haremos turismo, si y
si antes no se reproducen. sólo si dispondremos de tiempo.
a) q  p ~ r  ~ p a) (p  ~ q)  r
b) q  p ~ r   ~ p b) (p  ~ q)  r
c) p  q ~ r  ~ p c) (p  ~ q) → r
d) p  q ~ p  ~ r
d) r → (p  ~ q)
e) q  p r    ~ p
e) ~ r (p ~ q)
48. No es el caso que postule a Letras o Sociales,
puesto que tengo vocación por los números. 54. R. Descartes, pese a que fue el primer
exponente del Racionalismo Moderno, fue
a) ~ (p  q)  r
creyente, dado que consideró demostrable la
b) r  ~ (p  q) existencia de Dios.
c) r  ~ (p  q) a) p  (r → q)

d) r  ~ (p  q) b) (p  r) → q

e) r  ~ (p  q) c) p  (q → r)
d) (p  q) → r
49. Iré al médico, siempre que esté enfermo. Pero
e) r → (p  q)
no estoy enfermo. Luego, al médico no voy .
a) (q  p ~ p)  ~ q 55. Llueve, cuando no es verano. Pero es verano.
b) (p  q ~ p)  ~ q Se concluye que, no llueve ni hace frío o no es
c) (q  p ~ q)  ~ p verano.
a) [(p →~ q)  p] → [(~ r  ~ s)  ~ t]
d) (p  q ~ q)  ~ p
b) [(~ q → p)  p] → [(~ r  ~ s)  ~ p]
e) (p  q  ~ q)  ~ p
c) [(~ q → p) → p]  [(~ p  ~ r)  ~ q]
50. Es falso que vaya al médico y no me encuentre d) [(~ q → p)  q] → [(~ p  ~ r)  ~ q]
mal de salud. e) [(p →~ q)  q] → [(~ p  ~ r)  ~ q]
a) ~ p  ~ q
b) ~ (p  ~ q) 56. Simbolice:
c) ~ (p  ~ q)
"Si Locke es empirista, rechazó al innatismo y
consideró que la mente al nacer está vacía ".
d) ~ (p  ~ q) a) (p → q)  r
e) ~ (p  q) b) p  (q  r)
c) p → (q  r)
51. O la Psicología es una ciencia social y los
fenómenos naturales no son determinantes de d) p → (q  r)
la conducta, o es una ciencia natural y los
e) (q  r) → p
eventos psíquicos son una mera continuidad de

31
57. Formalizar: 59. "Si Luis viaja a Francia, tiene pasaporte. Es
"No es el caso que Alex sea ingeniero o Abogado; cierto que viaja a Francia. Por lo tanto tiene
en conclusión Alex es abogado".
pasaporte".
a) (~ p  q)  p
Su fórmula es:
b) ~ (p  q) → q
a) [(p → q)  p] → q
c) ~ (p  q) → q b) [(~ p  q)  ~ p] → q
d) (~ p  q) → p c) [(p → q)  p] → q
e) q → (p  q) d) (p → q)  (q → p)
e) (p  q)  (q  p)
58. La simbolización correcta:
"Aumentaré mi perspicacia e ingenio si estudio
60. Formalice:
Lógica ". "Los deshonestos son desleales, porque son
a) q→p personas inmorales"
a) p →q a) q → p
b) r → (p  q) b) ~q→~p
c) (r → p) → q c) (~ p → ~ q) → ~ r
d) p q d) ~ r → (~ p → ~ q)
e) p  q

32
 FUNCIONES VERITATIVAS TABLAS DE VERDAD
I. FUNCIONES VERITATIVAS

1. . DEFINICIÓN : Son interpretaciones semánticas de las posibilidades de verdad o falsedad de las

proposiciones moleculares en base a sus conectivas o el modificador.
Son las siguientes:

A) Negación: Lógicamente se rige por la siguiente regla: "La negación de una proposición verdadera es falsa. La
negación de una proposición falsa es verdadera".
Esquemáticamente, se representa por la siguiente tabla de verdad:
p ~p
V F
F V
Esto significa que si "p" es V, su negación F o viceversa.

B) Conjunción: La función veritativa de la conjunción se rige por la siguiente regla: "Una proposición conjuntiva
es verdadera cuando todas sus proposiciones componentes son verdaderas, siendo falsa en los
demás casos".
Esquemáticamente, se tiene:
P q pq
V V V
V F F
F V F
F F F

C) Disyunción inclusiva o débil: En este caso es: "Es falsa sólo cuando todos sus componentes son falsos, en
los demás casos es verdadera".
Esquemáticamente, se tiene:
p q pq
V V V
V F V
F V V
F F F

D) Disyunción exclusiva o fuerte: La regla es : "Una proposición disyuntiva fuerte es falsa cuando sus
componentes tienen valores iguales, en los demás casos es verdadera".
Esquemáticamente, se representa:

p q p
 q
V V F
V F V
F V V
F F F

33
 E) Condicional : La regla es: "Una proposición condicional es falsa sólo cuando el antecedente es verda-
dero y el consecuente es falso, siendo verdadero en los demás casos" .
La función veritativa se expresa en el siguiente esquema:

p q p→q
V V V
V F F
F V V
F F V
F) Bicondicional : La regla es: "Una proposición bicondicional es verdadera cuando sus dos componentes
tienen valores iguales, y es falsa cuando sus dos componentes tienen valores distintos" .
Esquemáticamente, se tiene:

p q pq
V V V
V F F
F V F
F F V

RESUMEN:

Disyuntiva Disyuntiva
Conjuntiva débil fuerte Condici onal Bicondicional Negación
Scholz   
 →  ~
Russell .     ~
p q pq p q p
 q p→ q p q ~p
V V V V F V V F
V F F V V F F F
F V F V V V F V
F F F F F V V V

Ejemplos:
1. Si : p = F, q = V y r = F; indicar el valor de verdad (verdadero o falso) de las siguientes fórmulas:
a) (q  p)  (r  p)
b) ~ [r  q.  . ~ (p.q)]
Desarrollo :
a) (q  p)  (r  p)
Pasos a seguir:
1. Asignar los valores correspondientes a cada variable:
(q  p)  (r  p)
V F F F
2. Evaluar las fórmulas de acuerdo a las reglas de las funciones veritativas:
(q  p)  (r  p)
V F F F
V V
V

3. El valor final se obtiene del operador principal (mayor jerarquía).

Resultado = V (verdadero).

Nota: Para resolver el ejercicio siguiente procedemos en forma directa, porque ya conocemos los pasos que se
siguen.

34
 b) ~ [(r q) ~ (p . q)]
FV F V
V F

V
F
Resultado: F (falso).
2. Si la fórmula (p  q)  (p → s) , es falsa, halle los valores de p, q y r, respectivamente:
Desarrollo :
Pasos a seguir:
1. El valor de verdad de la fórmula se ubica en el operador principal (mayor jerarquía).
(p  q)  (p → r)
F
2. Se procede a dar el valor correspondiente a cada fórmula o variable de acuerdo al valor dado del operador
principal, que cumpla con las reglas de las funciones veritativas.

(p  q)  (p → r)
V F F F V F F

3. Luego obtenemos el valor de cada variable.

p= V q= F r=F

Resultado: VFF.

II. TABLAS DE VERDAD Y ESQUEMAS LÓGICOS

1. . TABLAS DE VERDAD
Llamadas también de valores, tablas veritacionales, método de las matrices. Son gráficos en los que se represen-
tan todos los valores de verdad o falsedad que pueden asumir las distintas interpretaciones de un esquema o
fórmula lógica.
Wittgenstein (1889 – 1951), filósofo vienés, padre de la Filosofía Neopositivista y Analítica, es el que propone las
tablas de verdad.
FÓRMULA : C = 2 n
C = Número de líneas o arreglos que tendrá las tabla.
2 = Constante numérica
n = Número de variables
GRÁFICO :
Variables
de la fórmula Fórmula Lógica

Combinaciones
(matriz (ces))
de V y/o F

Margen Cuerpo
Izquierdo

NOTA: Para hallar los valores de Verdad o Falsedad de la matriz principal de una fórmula lógica en la Tabla de Verdad,
es necesario emplear las funciones veritativas.

35
* FUNCIONES VERITATIVAS :

Disyuntivo Disyuntivo
Conjuntivo Condicional Equivalente Negativo
Inclusivo Exclusivo
VV VV
V será F
VV= V FF= F F VF= F V
F será V
FF FF

n p q p q p q p q p q p q p
C=2 n
C=2
V V F V V F V V
2 V V V V V V V V V V V V
1
C=2 V F V F F V V F V V F V F F V F F C=2
F V F F V F V V F V V F V V F F V V F F
C=4 F F F F F F F F F F F F V F F V F
C=2
Matriz principal o cifra tabular

* PASOS A SEGUIR PARA EVALUAR LAS FÓRMULAS LÓGICAS :

1) Ubicar la fórmula en el lugar correspondiente de la Tabla.

2) Jerarquizar la fórmula.
3) Determinar el número de arreglos mediante la fórmula respectiva.
4) Evaluar la fórmula de acuerdo a las reglas de las funciones veritativas, procediendo de la matriz de menor
jerarquía, hasta llegar a la matriz de mayor jerarquía.

EJEMPLOS:
Determinar la matriz principal de las siguientes fórmulas:
A) p → q
B) (p  q)  (r  p)
C)  p

DESARROLLO

A) p q p → q
V V V # de arreglos:

V F F n
C=2
F V V 2
F F V C=2=4

matriz

2 1 2
B) p q r (p  q)  (r  p) # de arreglos
V V V V V V
n
V V F V V V C=2

V F V V V V 3
C=2 =8
V F F V V V
F V V V V V
F V F V F F
F F V F F V
F F F F F F

Matriz Principal

C) p p # de arreglos
V F
C=2n
F V
C=21=2
matriz

36
2. . ESQUEMAS LÓGICOS (E. L.):
Son fórmulas lógicas (proposiciones formalizadas) las cuales pueden asumir funciones veritativas determinadas.
Pueden ser:

1. Tautológicos (T) : Son aquellos cuya matriz principal contiene únicamente valores de verdad. Se le llama
también "Principios Lógicos".
Ejemplo:

3 2 3 1 2
pq [( p → q)  q] → p
F V F
F V F
F V V
V V V

E. L. Condicional Tautológico

2. Consistentes (Q): Llamados también esquemas contingentes. En estas fórmulas lógicas, la matriz principal de
su tabla veritativa presentan por lo menos un valor de verdad y uno de falsedad.
Ejemplo:

3 2 1 2
pq [(p → q)  q]  p

E. L. Bicondicional Contingente.

3. . Contradictorios ( ): Son fórmulas formalmente falsas, la matriz principal de su tabla de verdad sólo
contiene valores falsos.
Ejemplo:

2 1 2 3
pq [(p  q)  (p  q)

E. L. Conjuntivo Contradictorio

37
 PRÁCTICA
01. Señale la matriz principal del siguiente esquema
c) FFVV
molecular:
d) FVFV
[(p → q)  q] → p e) VVVV
a) VVFV
b) VFVV 08. Si p # q = ~ (p → q) , halle los valores de:
c) VVVF
d) FFV (p # q) # p
e) VVVV a) FFVF
b) VVFV
02. ¿Qué matriz principal corresponde al siguiente esquema a) VFVF
molecular? b) FVFV
[(p → q)  ( q → r)] → (p → r ) e) FFFF
a) VVVVVVVV b) VVVVVFFV
c) VFFVVFFV d) VVVVVVFF 09. Si p + q = ~ p  q , halle la matriz de:
e) VVVFVVVF (p + q) + (p + ~ q)
a) FFVF
03. Señale la matriz principal del siguiente esquema b) VVVF
molecular: c) FFFV
[( q  r)  p] → (p  q) d) VFFV
a) FFFFVVVV e) FVVF
b) FFFVVVFF
c) FFFFVFVV 10. Sabiendo que:
d) VVVVVVVV p q p ~q y p q ~p~ q
e) VVVVVVVF Señale los valores de:
(p q) (p q)
04. Un esquema molecular es Tautológico cuando su matriz
a) VVVV
está constituida:
b) FFVF
a) Sólo por valores verdaderos.
b) Sólo por valores falsos. c) FFFV
c) Por valores falsos y verdaderos. d) VFVF
d) Sólo por valores posibles. e) VVVF
e) Por valores necesarios y falsos.
11. Si el esquema es F, señale el valor de cada variable:
05. Si : p  q ~ (p  q) . ~ (p → q)  [p → (r  q)]
Halle los valores de: (p  q)  p . a) VVV
a) VVVV b) FFF
b) FFFF c) VFV
c) VVFF d) VVF
d) FFVV e) FFV
e) VVVF
12. Si el esquema es F, señale el valor de cada variable:
06. Si el esquema es F, diga el valor de las variables: p, q, r  r) → (~ s  t)]
[(p  q) → (s  p)]  [(q 
y s respectivamente: a) VVVVV
[(p  q) → (q  b) FFVVF
 r)]  [r  (s  p)]
c) FFFVF
a) VVVV
d) FFFFF
b) VVFF
e) FFVFF
c) VVVF
d) VFVF 13. Si el esquema es V, diga el valor de las variables:
e) FFFF
 q)  r] ~ [(r  p)  s]
[(~ p 
a) FVVF
07. Si: b) FFVF
p  q =~ (p  q) y p  q = ~ (p  q) c) FVFV
Señale la matriz de: d) VFVF
[p  (q  q)]  q e) VVFF
a) VFVF
b) VVFF

38
14. Halle la matriz de: d) VVFF
p~q e) VVVV
a) VVVV
21. Si el esquema (p  q) → (q → r) es falso,
b) FFFF
luego:
c) VFFV
I. (p  q) no es falso.
d) FVVF
e) VFVV II. (q  s) es verdadera.
III. (q  p) es verdadera.
15. Señale el esquema al que corresponde la matriz FVFV. a) Sólo I.
a) (p → q)  q b) I y II.
c) Todas.
b) (q → p)  ~ q
d) Sólo III.
c) (p 
 q)  ~ p e) N. A.
d) (p  ~ q) → p
e) (p ~ q)  q 22. Determinar la T. V. de:
[(p  q)  ~ q]  [(~ q  p)  p]
16. Si el esquema no es V, señale el valor de cada variable a) VVVV
(p → q) q  (r ~ s) b) FVVV
a) VFVFV c) VFVF
b) VVFFV d) VVVF
c) VVVFV e) N. A.
d) FVFVF
e) VFVVV 23. De la no verdad de:
[(p  q)  (r ~ t)]
17. Si el esquema (p  q) → (s → r) es falso, hallar el valor Determinar, respectivamente, los valores de las
de p, q, r y s respectivamente: siguientes fórmulas:
a) VFFV ( ) (r  p) → (~ r  ~ t)
b) FVVF ( ) (q  r)  (r → t)
c) VVFV
( ) p → (r → t)
d) VVVF
e) VFVF a) FFF
b) FVV
18. Si (p  q) → (s  r) es falso, hallar el valor de p, q, r y s, c) VFF
respectivamente: d) FVF
a) VVVF e) VVF
b) FVFV
c) VVFF 24. Si se sabe que:
d) VFVV p  ~ r es F
e) FVVV r → q es V
q  t es F
19. Sabiendo el valor verdadero de:
Determine los valores de verdad de p, q, r y t.
[q (p  ~ r)] ~ (r  s) a) VVVV
Entonces señalar el valor de p, q, r y s respectivamente: b) VVFF
a) FVVF c) VFVF
b) VVFV d) FVFF
c) VVFF e) FFFF
d) VVVF
e) FFFF 25. Los valores de verdad de las proposiciones p, q, r y s
son respectivamente V, F, F, V.
20. Si se sabe que: Obtener los valores de verdad de:
* (p ~ r) = F ( ) [(p  q)  r] → s
* (r → q) = V ( ) r → (s  q)
* (q  t) = F ( ) (p  r) ~ (r  ~ s)
Hallar los valores de p, q, r y t respectivamente. a) VFF
a) VFFF b) VVV
b) VVFV c) FFF
c) FFFF d) FVV
e) VVF

39
26. Dada la proposición: 33. ¿Cuál de las siguientes fórmulas tiene como valores:
"Si llueve, el suelo se moja".
VVVF?
Los valores de la matriz principal de su tabla de verdad
son: a) (p  q)  r
a) FVFV b) (p → q)  r
b) VFVF
c) (p  r) → ~ q
c) VVVV
d) VFVV d) (~ p  r)  p
e) FFVV e) r → (q  p)

27. Si la proposición compuesta: 34. Si p = V y q = F, entonces una de las siguientes fórmulas

(p  q) → (r  t) es falsa es verdadera:
Indicar las proposiciones que son verdaderas. a) p → q
a) p y r b) p q
b) p y q c) ~ p q
c) r y t
d) ~ p  q
d) q y t
e) p ; r y t e) p~ q

28. Si la proposición: 35. En la tabla de verdad del siguiente esquema: ~ p → q ,

(~ p  q) → r , es falsa. el valor de la primera y cuarta fila, respectivamente es:
Determinar, cuáles de las proposiciones son falsas: a) V y F.
a) p y q b) F y F.
b) p y r c) V y V.
c) p; q y r d) F y V.
d) q y r e) Indeterminado.
e) r y q
36. El valor definido de:
29. Es una proposición que admite el valor V sólo cuando "Es falso que no ocurra el temblor y haya derrumbes",
las dos proposiciones componentes son verdaderas: es:
a) Conjunción. a) VVFV
b) Disyunción. b) V y F
c) Condicional. c) V ó F
d) Bicondicional. d) FFVFF
e) Negación. e) Siempre falso.

30. Es una proposición que admite el valor V solo cuando 37. Se tiene que : ~ p = F ; q = V y ~ r = F.
las dos proposiciones tiene el mismo valor de verdad: Entonces:
a) Conjunción.
a) (p  q) es falso.
b) Disyunción.
c) Bicondicional. b) p → (q  ~ r) es verdadero.
d) Condicional. c) (~ p  q) es verdadero.
e) Negación. d) ~ r  (p  q) es falso.
e) (r → ~ q) es falso.
31. Es una proposición en la cual basta que una de las
proposiciones sea verdadera para que la proposición
sea verdadera: 38. Si el esquema: (p  q) → (s → r) es falso, hallar el valor
a) Conjunción. de p , q , r y s, respectivamente:
b) Disyunción. a) V - F - F - V.
c) Bicondicional. b) F - V - V - F.
d) Condicional. c) V - V - F - V.
e) Negación. d) V - V - V - F.
e) V - F - V - F.
32. Si : p = V ; q = F y r = V.
39. La fórmula (p  q) es falsa.
Señala cuál de las siguientes fórmulas no es verdadera: Hallar el valor veritativo del siguiente esquema:
a) (p  q)  r
~ (~ p  ~ q)
b) (p → q)  r
a) Verdadero.
c) (p  r) → ~ q b) Falso.
d) (~ p  r)  p c) Indefinido.
e) r → (q  p) d) Consistente.
e) N.A.

40
40. Sabiendo el valor verdadero de: 47. ¿Cuál es el resultado final de la proposición?
[q  (p  ~ r)] ~ (r  s) [(p → q)  (~ r  q)] → [r →~ p]
Entonces señalar el valor de p , q , r y s respectivamente. a) VVVVVVVV
a) V - F - V - F. b) FFFFFFFF
b) V - V - F - F. c) VFVFVFVF
c) F - V - V - F. d) FVFVFVFV
d) V - F - F - V. e) VVVVFFFF
e) F - F - V - V.
48. Halle el valor final del siguiente esquema:
41. Hallar la tabla de verdad de la siguiente fórmula: (p  q)  (r ~ p)
~ (p  q)  (p  q)
a) VVVVFFFF
a) VVFF
b) FFFFFFVF
b) FFVV
c) FFFFFFFF
c) VFFV
d) FVVF d) FFFFFFVV
e) VVVF e) VVFFVVFF

42. Si: p = V , q = F y r = V. 49. Defina el valor del siguiente esquema:

Señala cuál de las siguientes fórmulas es verdadera: [p → (p → q)] →~ (~ q →~ p)
a) (pq)~ r a) FVVV
b) FVFF
b) (p → q)  r
c) VVVV
c) (~ q   r) d) VFVF
d) (r → q) e) Ninguna anterior.
e) (p  r) → q
50. Si hallamos la tabla de valores de la fórmula:
43. ¿Cuál de las siguientes fórmulas tiene como valores (p  q)  (p  r)
"VFVV"? El resultado final es :
a) A  B a) VVVVVVVV
b) FFFFFFFF
b) A B
c) VVVVFFVV
c) A→B d) FFVVVVVV
d) AB e) FVFVFFFF
e) AB
51. Determine el valor final de:
44. Efectuar el siguiente ejercicio: [~ (q  p) ~ (~ p  r)] ~ (r  p)
[(p  q) → r] ~ p a) VVVVFFFF
a) VFVFVFVF b) VFVFVFVF
b) FVFVVFVV c) FFFFFFFF
c) FFFFFFFF d) FFFFFFVV
d) VVVVVVVV e) VFFFVVVV
e) FFFFVVVV
52. Determinar la T. V., luego de negar el siguiente esquema:
45. El valor final del siguiente esquema: [(p → q) ~ q]  [(~ q  p)  p]
[(~ p  q) ~ p]  (p  q) a) VVVV
b) FVVV
se define como:
c) FFFF
a) Tautológico.
b) Contradictorio. d) VFFV
c) Consistente. e) VFVF
d) Contingente.
e) Inconsistente. 53. Los valores FVVV pertenecen a la fórmula:
a) ~ p  ~ q
46. Realizar el siguiente ejercicio: b) ~ (p  q)
[p  (q  r)]  [(q →~ r)  p] c) ~ p  ~ q
a) VFVFVFVF d) a y b
b) FFFFVVVV e) b y c
c) VVVVVVVV
d) VVVVFFFF
e) FFFFFFFF

41
54. La tabla valorativa de (~ p ~ q) es equivalente a la 58. Qué valores pertenecen a:
negación de: (p →~ q)  (q  r)
a) p  q a) VFVVVVVF
b) p q b) FVFFFFFF
c) VFVVVVVV
c) pq d) VVFVVVVV
d) pq e) VVVFVVFF
e) ~ (p  q)
59. Cuál es la matriz de:
55. Si un esquema presenta tres variables entonces las [(~ p → q)  p] →~ (q → p)
combinaciones posibles en una TV son: a) VFVF
a) 6 b) VVVF
b) 8 c) VFFF
c) 10 d) VVFF
d) 12 e) FFVV
e) N. A.

60. Determine la matriz de:

56. ¿A qué operador corresponde VFFV?
a) Conjunción. p  q   ~ r  p
b) Disyunción inclusiva. a) FFFFVFVF
c) Negación. b) VVVFVFVF
d) Bicondicional.
c) VVVVFVFV
e) Condicional.
d) VVVVFVFF
57. Hallar el valor final en el enunciado siguiente: e) VVVVVFVF
"Si Sebastián no estudia y no ayuda en casa,
entonces juega nintendo o no lo hace ".
a) Tautología.
b) Consistencia.
c) Contingencia.
d) Contradicción.
e) Inconsistencia.

42
 PRINCIPIOS LÓGICOS LEYES LÓGICAS:
Equivalencias Notables
I. PRINCIPIO LÓGICO :

Un Principio Lógico, es el fundamento de toda verdad lógica (Tautológia). De un principio lógico podemos generar
tautologías indefinidamente, y, a la vez, cualquier tautología del universo lógico puede reducirse a un principio lógico.
Son conocidos los tres principios.

II. PRINCIPIOS LÓGICOS CLÁSICOS

2.1 PRINCIPIO DE IDENTIDAD

Establece que si se afirma una proposición, se concluye la misma; si una proposición es verdadera, entonces es
verdadera, una proposición sólo es idéntica a sí misma.En el plano de la realidad, toda cosa es idéntica a sí misma.
Simbólicamente se expresa por:
A → A ; A  A Ej : p → p ; p  p

Ej.: "Si el libro es de matemática se deduce que el libro es de matemática".

2.2 PRINCIPIO DE NO CONTRADICCIÓN

Establece que inadmisiblemente una cosa sea y no sea a la vez. Es imposible que una proposición sea verdadera
y falsa a la vez, que una cosa exista y no exista al mismo tiempo. Su formulación simbólica es:
~ (A~ A) Ej : ~ (p~ p)

Ej.: Es falso que la jirafa sea mamífero y no sea mamífero.

2.3 PRINCIPIO DEL TERCIO EXCLUIDO

Fue planteado por Aristóteles. Establece que una cosa es o no es, no existe una tercera posibilidad. Una proposi-
ción es verdadera o falsa, no existe una tercera posibilidad.
Simbólicamente se expresa:
A~ A Ej : p~ p

Ejemplo: Augusto Salazar Bondy es peruano o no es peruano.

III. EQUIVALENCIAS NOTABLES

Son leyes que permiten la transformación y simplificación de los esquemas moleculares en esquema más simples. Se
denominan equivalencias porque tanto la expresión original como la expresión simplificada tienen la misma matriz
principal en sus respectivas tablas de verdad. A continuación las leyes equivalentes.

43
 Leyes Con variables
Con valores de esquema
Equivalentes proposicionales

1. Doble Negación ~~AA ~~p p

(DN) ~~~AA ~ ~~ p ~ p

2. Idempotencia A A A p p p
(Idem) A A A p p p

3. Conmulativa A B B A p q p q
(Conm) A B B A p q q p
A B B A p q q p
A B B A p q q p
4. Asociativa A (B C) (A B) C p (q r) (p q) r p q r
(Asoc.) A (B C) (A B) C p (q r) (p q) r p q r

5. Distributiva A (B C) (A B) (A C) p (q r) (p q) (p r)
(Dist.) A (B C) (A B) (A C) p (q r) (p q) (p r)
6. De Morgan ~(A B) ~ A ~ B ~(p q) ~ p ~ q
(DM) ~(A B) ~ A ~ B ~(p q) ~ p ~ q
7. Definición del A B~A B p q ~p q
Condicional (DC) A B ~(A ~ B) p q ~(p ~ q)
8. Bicondicional A B (A B) (B A) p q (p q) (q p)
(DB) A B (A B) (~ A ~ B) p q (p q) (~ p ~ q)
9. Absorción A (A B) A p (p q) p
(Abs) A (A B) A p (p q) p
A (~ A B) A B p (~ p q) p q
A (~ A B) A B p (~ p q) p q
10. Transposición A B ~B ~A p q ~q ~p

EJEMPLOS:

I. DETERMINAR EL EQUIVALENTE DE LA SIGUIENTE PROPOSICIÓN

"Si Federico decide quedarse en la biblioteca después de las clases, entonces repasará la lección de hoy".
Pasos a seguir:

1. Reemplazando las proposiciones simples

p = Federico decide quedarse en la biblioteca después de las clases.
q = Repasará la lección de hoy.

2. . Estructura formal
Si p entonces q.

3. . Reemplazando los conectivos obtenemos:

p→q

4. . Aplicando la definición del condicional

p→q~pq
p → q  ~ (p~ q)

5. . Reemplazando su equivalente resulta

* Federico no decide quedarse en la biblioteca después de las clases o repasará la leccion de hoy ~ p  q .
* Es imposible que Federico decida quedarse en la biblioteca después de las clases y no repase la lección de hoy
 ~ (p ~ q).

44
II. SIMPLIFICAR LAS SIGUIENTES FÓRMULAS
a) p  (p  q)

b)  ~ p →q  ~ (q  p) q
Desarrollando :

a) p  (p  q)

(p p) q Asociativa

p q Idempotencia

45
 PRÁCTICA
01. Marque la fórmula que no representa a uno de los
a) q → p b) p → q c) p  q
principios lógicos clásicos:
d) p  q e) ~ p  q
a) ~ (p~ p) b) p → p c) p  p

d) p~ p e) ~ (p~ p) 08. Al simplificar el esquema:

( ~ pq) →p→~(q~ p)p, obtenemos:
02. ¿Cuál de las siguientes alternativas es lógicamente
verdadera (principio lógico)? a) Una conjunción.
a) Si Amparo ingresa a la primera, entonces se alegra- b) Tercio excluido.
rá. c) Identidad.
b) Si el diskett contiene información, entonces le d) No contradicción.
servirá a Lalo o no le servirá. e) Idempotencia.
c) La lógica es una ciencia formal que estudia la
validez de las inferencias. 
09. Simplificar ~ ~ (~ p  q) → p  q 
d) Es falso que Manuel compre el reloj o no lo
compre. a) q → p b) p → q c) ~ p~ q
e) Judith es abogada o no es abogada. d) ~ p~ q e) ~ p  q

03. Señale la expresión equivalente a la siguiente

afirmación:
10. Luego de simplificar la fórmula:
"No es cierto que viajes en taxi y no llegues tem-
prano". ~ (~ p ~ q) →~ [~ p  (p ~ q)]
a) No viajas en taxi y llegas temprano. a) ~ p  q b) ~ p~ q c) p → q
b) Viajas en taxi y llegas temprano.
c) No viajas en taxi y llegas tarde. d) q → p e) ~ p~ q
d) Si no viajas en taxi, no llegas temprano.
e) No viajas en taxi o llegas temprano. 11. Simplificando a:
p → (q~ p  r) ~ (q → p)~ (p~ q) , resulta:
04. "No se da el caso que Pepe sea médico y no sea
a) p b) ~ p c) p  q
cirujano".
Lo anterior tiene como equivalente a: d) ~ p  q e) q
a) Pepe es médico de ahí que es cirujano.
b) Pepe no es médico o es cirujano. 12. "Es falso que Juan sea ingeniero y no sea a la
c) Si Pepe no es cirujano entonces no es médico. vez matemático ".
d) Pepe es cirujano o no es médico. Equivale a:
e) Todas las anteriores. a) Si Juan es matemático, es ingeniero.
b) Juan es ingeniero o matemático.
05. En cuál de las siguientes fórmulas no se puede aplicar c) Juan no es ingeniero o no es matemático.
la ley de la absorción: d) Si Juan es ingeniero, es matemático.
a) q  (p  q) e) Juan es ingeniero o no es matemático.

b) s (~ s  r) 13. "Si Juanito Silba, Yolita enrojece " es equivalente

c) ~ p (q~ p) a:
a) Yolita enrojece si y solo si Juanito silba.
d) p  (p  q) b) Si Yolita enrojece es entonces Juanito silba.
e) (p → q)  r  (p → q) c) Juanito silba y Yolita enrojece.
d) Juanito no silba o Yolita enrojece.
06. Según la regla de Morgan, el equivalente de la siguiente e) Es falso que Juanito Silba y Yolanda enrojezca.
proposición es:
"Es mentira que nieva y llueva a la vez ". 14. Señale la fórmula equivalente a:
a) No es el caso que nieva o llueva. p  (q  r)
b) No nieva ni llueve. a) (p  q)  (p  r)
c) No nieva o no llueve.
d) O nieva o llueve. b) (p  q)  r
e) Si llueve, entonces nieva. c) (p  q)  r
d) p  (q  r)
07. Utilizando las equivalencias notables, reducir:

~ ~ (p → q)~ (~ q→~ p)  e) (p  q)  (p  r)

46
15. ¿Cuál representa al principio del Tercio Excluido? 22. La proposición:
a) Si te preparas, entonces postularás. “ Si me preparo en Trilce, entonces ingreso a la
b) Si la nieve es blanca entonces deducimos que la primera”, es lógicamente equivalente a:
nieve es blanca. a) Si ingreso a la primera, me preparé en Trilce.
c) No ocurre que postules y no postules. b) Si no me preparo en Trilce entonces no ingreso a la
d) Maribel va a la playa o no va a la playa. primera.
e) b y c.
c) No es posible que me prepare en Trilce y no ingre-
se a la primera.
16. De un principio lógico podemos generar:
a) Implicancias. d) Ingreso a la primera si y sólo si me preparo en Trilce.
b) Equivalencias. e) No ingreso a la primera o no me preparo en Trilce.
c) Leyes.
d) Tautologías indefinidamente. 23. ~ (A  B) →~ (B →~ A) , halle su equivalente.
e) Todas las anteriores.
a) A B
17. Señale la expresión equivalente de: b) A→B
"Si Michael es Ingeniero, entonces es c) ~ (~ A ~ B)
profesional".
a) Es Ingeniero también profesional. d) ~ (~ A ~ B)
b) O es Ingeniero o es profesional. e) ~ A →~ B
c) Si es profesional entonces es Ingeniero.
d) Es Ingeniero pero no es profesional. 24. El enunciado equivalente de:
e) No es ingeniero o es profesional. “ Si los dinosaurios fueron reptiles, no tuvieron
sangre caliente”, es:
18. La proposición: a) No fueron los dinosaurios reptiles o tuvieron san-
"Si ingresas a la universidad, entonces te gre caliente.
compraré un casco". b) Fueron los dinosaurios reptiles y tuvieron sangre
Es equivalente a la fórmula: caliente.
a) p → q c) No tuvieron los dinosaurios sangre caliente y fue-
b) ~ p  q ron reptiles.
d) Es mentira que, los dinosaurios fueron reptiles y
c) ~ (~ q  p)
tuvieron sangre caliente.
d) ~ q →~ p e) Los dinosaurios no fueron reptiles ni tuvieron san-
e) Todas las anteriores. gre caliente.

19. La expresión: “Es falso que Julián postule a Medicina y 25. Simplificar el siguiente esquema:
no lo haga”, representa al principio lógico: [(~ q  p)  (~ p  q)] → [(p  q) ~ p]
a) De contradicción.
a) ~ p b) p  q c) p → q
b) Del tercio excluido.
c) De identidad. d) p e) q
d) De no – contradicción.
e) Condicional. 26. Reducir:
~ (p → r) →~ [(~ p → q)  (~ q →~ r)]
20. Si llueve y hace frío se deduce que hace frío y también a) p  q b) p → q c) ~ p  q
llueve”.
d) p → r e) p  r
La expresión anterior, se denomina:
a) Principio de contradicción.
b) De Morgan. 27. Si p q  p ~ q ; indique la proposición equivalente
c) Idempotencia. a:
d) Principio de identidad. [~ (~ p  q) ~ q] ~ p
e) Principio del tercio excluido.
a) q  p b) ~ q  p c) ~ p →~ q
21. Señale la expresión equivalente a la siguiente d) ~ p ~ q e) p → q
afirmación:
“ No se da el caso que, trabajes y no tengas 28. La proposición:
dinero”. "Es falso que si voy al campo entonces me
a) No trabajas o tienes dinero. distraiga ".
b) Trabajas y tienes dinero. Es lógicamente equivalente a:
c) No trabajas y tienes dinero. a) No voy al campo, pero me distraigo.
d) No trabajas o no tienes dinero. b) Voy al campo o me distraigo.
e) Si no trabajas, no tienes dinero. c) No me distraigo; sin embargo, voy al campo.
d) Me distraigo o no voy al campo.
e) Es falso que vaya al campo y no me distraiga.

47
29. "Si es invierno, hace frío; si es invierno, el 36. La fórmula: (p  q)  (p  r) , es equivalente a:
resfriado es común".
El enunciado anterior equivale a: a) [p  (q  r)]
a) Si es invierno, el resfrío es común. b) [p → (q  r)]
b) Si hace frío, el resfriado es común.
c) [(p → q)  (p → r)]
c) Si es invierno, hace frío o el resfrío es común.
d) Más de una es correcta. d) [p  (q → r)]
e) N. A. e) (p  q)  (p  r)

30. La proposición:
37. Aplicando las equivalencias notables simplificar:
"Es falso que, si no logras ingresar, te pondrás a
[(p → q) ~ q] ~ q
trabajar ".
Es equivalente a: a) ~ q b) ~ p  q c) q ~ p
a) Ingresas pero no trabajas. d) ~ p ~ q e) (~ q ~ p) ~ q
b) No ingresas pero trabajas.
c) Ingresas pero también trabajas. 38. Determine la proposición equivalente más simplificada
d) Ingresas o no trabajas. de:
e) Ni trabajas ni ingresas. [(p  p)  q] [(p  p)  q] donde:
p  q ~ [~ p → q]
31. "Lees historia porque mañana jueves es el
examen del curso". a) p → q b) q → p c) ~ p ~ q
Es equivalente a: d) p  q e) p  q
a) Mañana no es el examen o lees historia.
b) Lees historia y mañana es el examen. 39. Reducir la siguiente fórmula, usando equivalencias
c) El jueves es el examen de historia. notables:
d) Si lees historia, mañana es el examen.
{ p  [~ q → (~ q ~ p)]}  ~ p
e) Porque lees historia, mañana es el examen.
a) p  q b) q ~ p c) q ~ p
32. Dado el esquema: d) ~ q  p e) ~ p
(p  q)  (~ q  r)
Señale la proposición equivalente que solo presente 40. ¿Cuáles de las siguientes fórmulas lógicas son
los conectivos: " → " "~" equivalentes?
A. [(p  q)  q] ~ (p → q)
a) (p → q) → (~ r →~ q)
B. (~ p → q) ~ (~ q ~ p)
b) (p → q) →~ r
C. [(~ q ~ p)  q]  (~ p  q)
c) (p →~ q) → (q → r)
d) (r → q) ~ p a) A y C b) C b) A y B
e) (q → p) → (q → r) d) B y C e) A , B y C

33. Halle la equivalencia de: 41. Simplificar:

"Si no practico, no domino el curso ". s → {[~ s  (q → r)]  [(r → q) →~ q]}
a) Si practico, domino el curso.
a) ~ s b) q  s c) r  q
b) Si domino el curso, practico.
c) No practico o domino el curso. d) ~ r e) ~ q
d) No domino el curso o practico.
e) b y d. 42. Si p q  p →~ q
Simplifique:
34. Simplifique: (~ p q) p
[(p → q) ~ p] →~ (q ~ p) a) q b) p → q c) p ~ q
a) p b) ~ p c) p ~ q d) ~ p e) p
d) ~ p  q e) ~ p  q
43. Considerando que:
35. La fórmula: ~ p →~ q , es equivalente a: p  q ~ (p → q) y p# q ~ p ~ q
a) p  q b) p  q c) p → q Reduzca:
d) q → p e) p  q [(p ~ q)# q] [~ p # (q  p)]
a) q ~ p b) ~ q  p
c) q ~ p d) ~ q  p
e) N. A.

48
44. Señale la equivalencia de: e) (r → p)  q
"Toca de oído, ya que no tiene formación
musical ".
53. Simplifique:
a) Si toca de oído, no tiene formación musical.
[(p → q)  q] →~ q
b) Toca de oído o no tiene formación musical.
c) Tiene formación musical, también toca de oído.
d) No toca de oído, de ahí que tiene formación musi- a) p  q b) ~ p c) ~ q
cal. d) p e) p ~ q
e) Si no toca de oído, carece de formación musical.
54. Reduzca:
45. [(p ~ q) ~ r] equivale a: [(q → p) →~ p] →~ (q →~ p)
a) (~ r  p)  (~ r ~ q) a) ~ p b) p c) q
d) ~ q e) p ~ q
b) (~ r  p)  (~ r ~ q)
c) (p ~ r)  (~ r  q) 55. Qué fórmula equivale a:
d) (~ r ~ p)  (~ r  q) [(p → q)  (~ q  p)] ~ p
e) (~ r ~ p)  (~ r  q) a) p → q b) V c) F
d) p e) ~ p
46. [(p → q) →~ q] equivale a:
a) p b) p → q c) ~ q 56. Señale la expresión equivalente a:
"No se da el caso que caminas y no avances".
d) ~ p e) q → p
a) Caminas y avanzas.
47. Simplifique: b) No caminas o tienes que avanzar lentamente.
[p → (q ~ p)] →~ (q →~ p) c) No caminas o no avanzas.
d) No caminas o avanzas.
a) p  q b) p  q c) ~ p e) Avanzas y caminas.
d) q e) p
57. La proposición:
48. "Si fumo, estaré enfermo ". "Si Basadre es tacneño, entonces es peruano ".
Equivale a: Es lógicamente equivalente a :
a) Si no estoy enfermo, no fumo. a) Si Basadre es peruano, entonces es tacneño.
b) No fumo o estaré enfermo. b) Si Basadre no es tacneño, entonces no es peruano.
c) Fumo y no estoy enfermo. c) No es posible que Basadre sea tacneño y o sea
d) No fumo ni estoy enfermo. peruano.
e) A y B. d) Basadre es peruano si y solo si es tacneño.
e) Basadre no es peruano o es tacneño.
49. "No escribo poesía, dado que estoy en equilibrio ".
Equivale a: 58. "Si Richard no estudia, Jorge trabajará; o
a) Es falso que escriba poesía y esté en equilibrio. Richard estudia".
b) Si no estoy en equilibrio, escribo poesía. Es lógicamente equivalente a:
c) Estoy en equilibrio o no escribo poesía. a) Richard estudia y Jorge trabaja.
d) Ni escribo poesía ni estoy en equilibrio. b) Richard estudia si y sólo si Jorge trabaja.
e) Es falso que escriba poesía o esté en equilibrio. c) Richard trabaja o Jorge estudia.
d) Jorge trabaja o Richard estudia.
50. [~ (p~ q)~ p] →q , se reduce a: e) Richard estudia pero Jorge no trabaja.
a) p  q b) q  p c) p → q
d) ~ p e) q 59. Identifique cuál de las siguientes fórmulas simbolizan
una ley conmutativa:
51. "Es falso que Silver sea estadista y no sea a la a) (A  B)  (B  A)
vez matemático ". b) (~ A  B)  (B  A)
Equivalen a:
a) Si Silver es matemático, es estadista.
c) (p → q)  (~ q  p)
b) Silver es estadista o matemático. d) (A → B)  (~ A ~ B)
c) Silver no es estadista o no es matemático. e) [(p  q) → r]  (p → r)
d) Si Silver es estadista, es matemático.
e) Silver es estadista o no es matemático. 60. Simplifique:
{[( A → B)  (A → C)] ~ A}  B
52. Señale el esquema equivalente a: (p  q)  (~ r  q)
a) q  (p ~ r) b) (p ~ r)  q a) A → C b) B → A c) ~ B
d) ~ A e) ~ A  B
c) q  (r ~ p) d) q → (p ~ r)

49
 LÓGICA E INFORMÁTICA
RELACIÓN ENTRE LA LÓGICA Y LA INFORMÁTICA

La lógica constituye el fundamento teórico de la informática en cuanto le proporciona las herramientas para la construcción
de lenguajes de programación. Entre sus múltiples aplicaciones, la lógica se aplica a la tecnología. En este campo, la lógica
se aplica a la construcción de circuitos lógicos y entre ellos los circuitos eléctricos, compuertas lógicas, los diagramas de flujo,
etc.

I. CIRCUITOS ELÉCTRICOS
Para cualquier fórmula proposicional podemos construir un circuito eléctrico que resultará más fácil en tanto la fórmula
tenga sólo operadores “  ”, “  ” y/o “~”.
Los circuitos eléctricos están formados por conmutadores o interruptores que son los órganos lógicos que dejan
pasar o no dejan pasar la corriente eléctrica.

Estado lógico Interruptor Lámpara

V Cerrado Encendida
F Abierto Apagada

Ahora podemos construir los circuitos. El procedimiento que se sigue es el mismo que se emplea en la construcción de
computadoras electrónicas. Estos circuitos son de dos clases: en serie y en paralelo.

A. Circuitos en serie: Los circuitos en serie constan de dos o más interruptores donde un interruptor está después
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 que se representa de la siguiente manera:

p q

@
lámpara

batería
Ejm.:
p q p q

Para que este circuito quede cerrado y la lámpara se encienda, “p” y “q” deben estar cerrados, esto es, “p” y “q”
deben ser verdaderos a la vez. En otros términos, es la aplicación de la tabla de verdad de la fórmula “p  q”.

B. Circuitos en paralelo: Los circuitos en paralelo constan de dos o más interruptores, donde un interruptor están
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 que se representa así:
p

q
@
lámpara

batería
Ejm.:
p
p q
q
Para que este circuito quede cerrado y la lámpara se encienda, bastará que uno de los interruptores esté cerrado. Esto
es, el circuito quedará cerrado, o bien cuando “p” sea verdadero o cuando “q” sea verdadero, o bien cuando ambos
sean verdaderos. Solamente no se encenderá la lámpara cuando los dos interruptores estén abiertos, o sea, cuando
“p” y “q”, ambos, sean falsos a la vez. Este caso, es la aplicación de la tabla de verdad de " p  q ".

51
 PRÁCTICA
01. Señale lo correcto: a) ~ p  q b) p  ~ q c) q
I. La fórmula simple de un circuito seriado es p  q. d) p e) p  ~ q
II. La contradicción en un circuito en serie enciende la
lámpara.
06. Dadas las siguientes afirmaciones:
III. En (~ p  q), una lámpara no se enciende.
IV. En un circuito seriado, la lámpara se enciende si I. En una (  ) un conmutador puede estar abierto y
uno de sus conmutadores está abierto. el otro cerrado, encendiéndose la lámpara.
a) I y II verdaderos. b) I y IV ciertos .
c) II y IV son falsos. d) I y III no correctos. II. En una (  ) un conmutador puede estar abierto y
e) Todos falsos. cerrado a la vez, no encendiéndose el foco.
02. La siguiente fórmula se representa gráficamente en el III. Un conmutador abierto equivale a un estado lógi-
sistema de circuitos lógicos: co verdadero.
(pq)q [pq)(~ p ~ q)]  Son verdaderas:
p q p q a) I y III b) I y II c) II y III
d) Sólo I e) I, II y III
a)
~p ~q 07. Encontrar el equivalente al siguiente circuito lógico:
p q p ~p ~q

b) p q p p
q
~q

p q a) ~p ~q

b) p
c) p q
q
p’ q’ c) ~p

d) T. A. d) q ~p
e) Sólo vale b.
e) ~q p
03. El diagrama
p q
08. Sobre los circuitos en paralelo señale lo correcto:
q p
I. Fórmula lógica (p  q)
II. El foco se enciende si los valores no son falsos.
III. Si un conmutador no es falso, la lámpara no se
p q enciende.
Se simplifica en: IV. El tercio excluido hace que la lámpara se encienda.
a) (p  q) b) (p  q) c) p
d) q e) ~ (q  p) a) Sólo I es verdadero.
b) Sólo IV es falso.
04. Dado el siguiente circuito: c) Sólo III es falso.
d) I y III son verdaderos.
p
e) III y IV son falsos.
p q q
09. El circuito lógico más simple que representa a :
r ~p p

su equivalente es:
~pq r q
a) p  q b) p  q c) r
es:
d) p  r e) p  ~ q

05. Hallar el equivalente de: a) p ~q

q q ~p ~p
b)
~p ~p q q

52
 p a) p  [(~ p  q)  (p  q)]

c) b) p  [(~ p  q)  (p  q)]
q
c) (~ p  q)  [(p  q)  p]
d) p q d) (~ p  q)  [p  (p  q)]

e) ~p q e) (~ p  q)  [p  (p  q)]

10. Encontrar el equivalente del siguiente circuito lógico: 14. ¿A qué formula representa el siguiente circuito lógico?
p ~p q
p p q
r
q p q r
a) (p  q)  r  [(~ p  q)  r]

p q b) (~ p  q)  r  [(~ p  ~ q)]
a)
c) (p  q)  r  (p  q)
b) p
d) (p  q)  r  [(~ p  q)  r]
c) ‘p e) No se puede.

d) q ‘p
15. Luego de simplificar el siguiente circuito señale su valor
e) ‘q p final
q p
11. Señale la fórmula simplificada del siguiente circuito p r
lógico: p

p ‘q a) V b) F c) FV
d) VF e) Indeterminado.
‘q p
16. Señale la fórmula final del siguiente diagrama:
pq
q
a) (p  ~ q)  (q  p) r
b) pq q r
c) p~ q p q
a) [(p  q)  r]  q
d) ~ p  ~ q
e) ~ q→p b) [(q  r)  (p  q)]  q
c) (p  q)  (r  q)
12. La fórmula del siguiente circuito lógico es: d) (p  q)  (r  q)
p
p e) {[( p  q)  r]  q}  [(q  r)  (p  q)]
q
17. ¿Cuál de los siguientes circuitos lógicos representa a
una contradicción?
p q q
a) [p  (~ p  q)  (p  q)] I. ‘p
p
b) [(p  ~ p)  q]  (p  q) ‘p q
c) [p  (~ p  q)]  (p  q) II. p
‘p
d) (p  q)  (~ p  q  q)
p q p
e) p → (~ p  q)  (p  q)
III.
p
13. La fórmula del siguiente circuito lógico es:

~p a) Sólo I. b) Sólo II. c) I y II.

d) Sólo III. e) II y III.
q
p

p q

53
18. ¿Cuál de los siguientes circuitos puede ser representado d) ~ (p  p)  r  p
únicamente por el conmutador “p”?
e) ~ (p  p)  r  p
p q p
a) rp
r 'p 24.
'p q
b) 'p ‘p
q r
q En el diagrama anterior:
c) p p a) La lámpara se enciende.
r b) La lámpara no se enciende.
c) Es un circuito seriado.
q d) Es un circuito en paralelo.
d) p q
r e) Más de una es correcta.
p q
25. Simplificar el siguiente circuito :
e)
r ‘p p
p q
q
19. En:
‘p q p
1
a) p  q b) p  q c) p  (p  q)
r ‘s
d) ~ p  q e) p
a) El foco no se enciende.
b) Es un circuito en serie. 26. En un circuito en serie, si un conmutador está abierto
c) Es un circuito falso. entonces:
d) El foco se enciende. a) Posiblemente el foco se enciende.
e) Todas son correctas.
b) Necesariamente el foco se enciende.
20. Determine el valor final del siguiente circuito: c) Posiblemente el foco no se enciende.
p d) Necesariamente el foco no se enciende.
‘p e) Es indeterminable.
p q
a) Tautología. b) Consistente.
'p
c) Indefinido. d) Contingente. p r
27. q
e) Contradictorio.
p
21. Indique la proposición correcta:
Al simplificar el diagrama, se obtiene:
a) Las compuertas lógicas son bloques de circuitos
a) p  q b) ~ p  q c) p  r
que producen señales de salida.
d) p e) N. A.
b) La compuerta NOT es un estado inversor.
c) Las compuertas no inversoras son AND y OR.
d) a y b. 28.
p
e) a, b y c.
q
22. La fórmula simple de un círculo en paralelo es:

a) p  q b) p  q c) ~ p  ~ q
r s
d) p  q e) N. A.
a) (p  q)  (r  s)
23. Señale la fórmula del siguiente diagrama:
b) ~ (p →~ q)  (r  s)
'p q'
c) ~ (p  q)  (r  s)
r d) (p → q)  (~ r  ~ s)
p e) (p → q)  (r → s)
a) (~ p  ~ q)  (r  p)
b) (~ p  ~ q)  (r  p)
c) (~ p  ~ q)  (r  p)

54
 34. Halle el circuito simplificado de:
q s
[~ p  (q  p)]  [q  (r  q)]
s q
~p
29. q
p q a) b) ~p q
q
s t r
a) {[( q  s)  (s  q)]  [(p  q)  (s  t)]}  q c) d) p
q
b) {[( q  s)  (s  q)]  [(p  q)  (s  t)]  q}
e) q
c) {[( q  s)  (s  q)]  [(p  q)  (s  t)]}  q
d) Sólo a y b. 35. Determine el diagrama simplificado de :
e) Sólo a y c. [(p  q)  (~ p  q)] → [(p  ~ q)  p]

30. Reduzca y determine la expresión equivalente: ~p

p q a) b) p q
q ~q p
p c) ~p q d)
q
~p e) p
p
p
~q 36. Dada la fórmula simplificada: p  q , cuál de los
q siguientes diagramas es su equivalente:
q ~q
p p
p
q q ~p q
a) ~ p  ~ q b) p  q
a) p q
c) p  q d) p  ~ p
e) p  ~ p
pq
31. Halle la fórmula simplificada del siguiente diagrama: q p~q
q b)
q q
p
r
r s
r r
a) p b) r c) p  q s
c) p
d) q  r e) p  r p
q p
32. Halle la fórmula de:
~p q p
q p
~r p p
r
q q q pq
s d) p ~p
p
a) [(~ p  q)  (r  s)]  ~ r  (p  q)
q
r s
b) [(~ p  q)  (r  s)]  ~ r  (p  q)
c) (p  q  r  s) ~ r  (p  ~ q) p
p q
d) (p  q  r  s) ~ r  (p  ~ q) e) q
~p
e) No tiene fórmula.
p q r
33. Halle la fórmula simplificada de:
~r
s
s
t
p
s
~q
a) s  t b) s  t c) p  s
d) ~ q  s e) t  q

55
37. Corresponde a: 42. Simplifique:

p' p q'
r
p q
q p'
a) p  (~ p  q) p'
q q' p
b) p  (~ p  q)
c) p  (~ p  q) a) r
d) p  (~ p  q) b) r'
p
e) (p  ~ p)  q
c)
q
38. El circuito corresponde a:
p' q' r
d)
q p p
a) p → q b) q → p e) r q
c) ~ p  q d) ~ q  p
e) p  q 43. Qué circuito corresponde a:
(p → q) → ~ q
39. Qué circuito corresponde a:
(p → q) ~ p
a) p
p' b) q
a)
q c) q'

b) d) p'
p
c) p' p
e)
d) p' q q'
e) q'
44. Simplifique:
40. ¿A qué esquema corresponde?
p'
q' p' q
p p q
q p'
r p q
p'
a) p b) q c) ~ p
d) ~ q e) r
a) p' q
41. Simplifique el circuito siguiente:
p' q' p'
q' b)
q q
p c)
r' q' p

a) q' p d) p'
q' e) q'
b)
p
45. Los sistemas empleados por la informática se basan en
c) p' estructuras:
d) q' a) Lógicas. b) Matemáticas.
e) q p' c) Dicotómicas. d) Atómicas.
e) Monotómicas.

56
46. La siguiente fórmula: p  ~ q  r corresponde a un 51. La fórmula simplificada de:
s
circuito en : s
a) Paralelo. b) Serie. t
c) Lógica. d) Informática. ~q
e) Electricidad. ~q

p ~p
47. Señale la fórmula de:
p p
a) p  t b) ~ q c) ~ q  ~ p
~p d) ~ p e) t  s

a) p  ~ p b) p  ~ p 52. Represente a (p → q) →~ r , en el diagrama del circuito

c) p → p d) p →~ p eléctrico.
e) p  ~ q p ~q
a)
48. El circuito ~r
q p
q b) r
p q
p
p q
Equivale al circuito: c)
a) q r
b) ~p d) No tiene diagrama
q
~p
c)
p
e) q
d) ~q ~r
e) p

49. La expresión ~ (q → ~ p) equivale al circuito: 53. Represente a: (p  q) → (r → s)

p p
a)
q q

b) a) ~r
~p q
c)
s
q ~p
~p ~p
d)
~q ~q
e) p q b) ~r
50. La fórmula de:
p s
p ~r
~q q
~p r c)
q s
p ~q
~p ~q
r d)
~r s
a) ~ p  (~ q  p)  [(p  q)  (~ q  r)]  r
p
b) (~ p  ~ q)  [(p  q)  (~ q  r)  r]  r ~r s
e)
q
c) [~ p  (~ q  p)]  [(p  q)  (~ q  r)]  r
d) (~ q  p)  [(p  q)  (~ q  r)]  r
e) r  [~ p  (~ q  p)]  [(p  q)  (~ q  r)]

57
54. La fórmula que presenta al diagrama siguiente es: ~p
p ~q r
q
d) ~q
~p q r
p
a) (p  q  r)  (p ~ q  r)
pq
b) (p ~ q  r)  (~ p  q  r)
e)
c) (p ~ q  r)  (~ p  q  r)
~p~q
d) (p → q)  r 58. Simplifique el siguiente diagrama:
e) (p  q  r)  q r
r
s p
55. El equivalente al diagrama, es: p
p
p q
q
a) p
q b) q
p
p c) r s
a) p q d) p q
b) p e) p  q
c) p  q
59. Qué esquema corresponde a:
d) p  (p  q)  r q
e) q p'
p'
56. El diagrama de: (p → q)  (q → r) , es: r' q'
~p ~q
a) a) [~ p  (q ~ p)]  (~ r ~ q)
q r b) [~ p  (q ~ p)]  (~ r ~ q)
p c) ~ p ~ q ~ r
b) d) ~ p(~ q  ~ r)
q
e) ~ p  (~ q  ~ r)
~p
c) p
60. Simplifique:
q
p q'
d)
p q p
q'
e) No tiene diagrama lógico.
p'
57. El diagrama de: p  q , es: q
a) p q
a) V
~p ~q
b) F
b) c) p  (~ p  q)
q p
d) ~ q  p
p e) ~ q  p
c) p
q

58
BIBLIOGRAFÍA

• Camacho Luis A. (2015). Lógica simbólica Básica. Editorial Limunsa, México

• Córdova Jacinto. (2012). Lógica objetiva dialéctica y Matemática Bivalente) UNT
• Córdova Roy. (2011). Lógica. Centro editorial UNT.

59