L

 Dpto. Pedagógico TRILCE

 Derechos de Edición
Asociación Educativa TRILCE

Tercera Edición, 2007.

Todos los Derechos Reservados. Esta publicación no

puede ser reproducida, ni en todo ni en parte, ni
registrada en, o transmitida por, un sistema de
recuperación de información, en ninguna forma y por
ningún medio, sea mecánico, fotoquímico, electrónico,
magnético, electroóptico, por fotocopia, o cualquier
otro, sin el permiso previo de la editorial.
 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 este curso, podrás conocer cómo el hombre va deduciendo hechos de la naturaleza que se van convirtien-
do en leyes. La Lógica la puedes encontrar en cualquier circusntancia 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, sobretodo, 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
 TRILCE

Capítulo

1 NOCIONES BASICAS
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.

9
Lógica

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.
* A. 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.
- Trujillo es la capital de la primavera.
- Me preparo en la "TRILCE".
- 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 UNMSM?
- "Más vale ser cabeza de ratón que cola de león".

10
 TRILCE

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 ambi- e) a y b.
guas.
e) Todas. 09. Señale una proposición verdadera:
a) No hay peruanos que sean cubanos.
02. "Tu deber es ingresar a la universidad". ¿Qué b) Los gatos son pardos.
función básica del lenguaje se cumple, en la oración c) Si Carlos estudia, Carlos ingresa.
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
una proposición: c) Pueden ser negativas.
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:
Todo piurano es norteño. d) Te buscaré.
Algunos héroes son piuranos. e) "Ud. estudie".
Muchos héroes son piuranos.
Se refiere a:

11
Lógica

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.
b) Reflejo de la realidad en el cerebro. 25. El siguiente argumento:
c) Respeta las reglas. "Si todo hombre es mortal, entonces algunos
d) Cuando se repite tal como es. seres mortales son humanos" se clasifica como :
e) Producto de comprobar que es así. a) Inferencia deductiva mediata.
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: 27. La Lógica, se clasifica como una ciencia:
Los 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ísico. 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
 TRILCE

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.
b) Válidas - falsas. d)Premisas : razonamiento.
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
Lógica

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 conclu- b) Estudia las leyes del pensamiento.
sió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 ingresar a la UNI. a) Ser verdadera o falsa.
b) Deseo estudiar arquitectura. 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 "Cambiáte 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
 TRILCE

Capítulo

2 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 proposisió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 huancayinos son alegres.
- Las ballenas 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 constituída 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
Lógica

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
 TRILCE

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 expe-
b) La cría de la perra es macho o hembra. riencia 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 a la discoteca o vamos a la biblioteca. a) Una conjunción.
b) Un condicional directo.
02. "Martha Hildebrandt es peruana porque nació en Lima", c) Un condicional inverso.
la afirmación anterior es una proposición: d) Una bicondicional.
a) Simple. e) Una negación.
b) Compuesta.
c) Conjuntiva. 08. "Jhonson es líder u orador". ¿Qué tipo de proposición
d) Condicional. es?
a) Conjunción.
e) Condicional inversa.
b) Disyunción exclusiva.
c) Disyunción inclusiva.
03. ¿Cuál de los siguientes es una proposición conjuntiva?
d) No es proposición.
a) Porque soy peruano, hablo en castellano. e) Simple.
b) Así como estoy casado, soy mayor de edad.
c) Lucrecio es médico o arquitecto 09. Señale Ud, cuál es una proposición compuesta
d) Rony y Joel son socios. disyuntiva fuerte:
e) Sócrates bebió la cicuta y murió. a) Félix es cusqueño o peruano.
b) O postulamos a la UNI o a UNMSM.
04.Relacione correctamente: c) Cuando corrí, llegué temprano.
I. Máximo tenía bolsa de viaje, sin embargo no viajó. d) Puede ser que mañana llame por teléfono a mi
II. El gato es un animal doméstico. amigo Arturo.
III. No se da el caso que el sol sea una estrella. e) El agua de mar es salada.
IV. Epicuro es hedonista o filósofo.
10. La expresión: "Los estudiantes universitarios pobres
A. Negación. son estudiosos; sin embargo, tienen limitaciones
económicas". Presenta como antecedente a:
B. Conjunción.
a) Tienen limitaciones económicas.
C. Disyunción.
b) Los estudiantes universitarios pobres.
D. Simple predicativa.
c) Los estudiantes universitarios tienen limitaciones
económicas.
a) IA -IIB-IIIC-IVD d) Los universitarios son pobres y tienen limitaciones
b) IB-IID-IIIA-IVC económicas.
c) IC-IID-IIIA-IVB e) Ninguna, porque no es una proposición condicio-
d) ID-IIA-IIIB-IVC nal.
e) IB-IID-IIIC-IVA
11. ¿Cuál es una proposición compuesta?
05. ¿Cuál es la conectiva que tiene mayor jerarquía en la a) Shakira y Paulina Rubio son vecinas.
siguiente afirmación? b) Jennifer, la dueña de la botica, está embarazada.
"Carolina viajó a Brasil, también a E.E.U.U.; más aún, c) Los insectos son invertebrados.
aprendió el idioma portugués e inglés.
d) Todo hombre es racional.
Consecuentemente, su viaje fue exitoso".
e) Los eucaliptos juegan y las palmeras bailan.
a) También.
b) Más aún.
12. ¿Qué proposición es :"Es el caso que eres un buen
c) Consecuentemente.
postulante si te preparas en TRILCE"?
d) e.
a) Conjuntiva.
e) Más aún y consecuentemente.
b) Disyuntiva.
c) Bicondicional.
06. Señale la alternativa que sea una proposición
d) Condicional.
condicional invertida.
e) Negativa.
a) Si tomo cerveza entonces no tomo vino.
b) Milagros aprobó el examen de ahí que le entrega-
13. Una proposición disyuntiva inclusiva, será:
rán su título profesional.
a) Héctor es soltero o casado.
c) Los tigres son animales salvajes.
b) Si hay dinero, iremos de vacaciones.
d) Porque quiero estudiar en la universidad, me pre-
c) La leche está fría o caliente.
paro adecuadamente.

17
Lógica

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 Lima o en Chincha", 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 Chincha sí y sólo si está en Lima. c) Debe llevar términos de enlace.
c) Se está en Lima entonces va a Chincha. 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 proposicio-
c) Tanto Perú como Chile están al sur de América.
nes.
d) Vargas Llosa y Bryce Echenique son contemporá-
c) Puede tener 2 sustantivos (sujeto compuesto).
neos.
d) Puede ser interrogativa.

18
 TRILCE

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 nega- 35. Señale cuál es una proposición compuesta:
tiva. 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 táctica a pesar que requie- c) Molecular.
re 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 equipo peruano ganó ya que entrenó mucho.
es : c) Nos divertimos mucho en la fiesta.
a) Una disyuntiva. d) Hace frío, por lo tanto me abrigo.
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
Lógica

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 llamado 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 UNI.
a) Simple. e) Como practicas, 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
 TRILCE

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:

55. Proposición molecular que establece una relación de a) Condicional b) Negativa

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
 TRILCE

Capítulo
FORMALIZACION EN LA
3 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
Lógica

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 : p  q
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
 TRILCE

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 jearquía de
los operadores diádicos en reemplazo de los signos de agrupación.

25
Lógica

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 y el cigarro son dañinos para la salud = p.q

p . 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 :
1
:p .. .
2
p v r
4 3
q
2 1
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) * ~[~(pvq) : : q . . r . s]
1 3 2
1 3 4 2 3 4
Mayor jerarquía
Mayor jerarquía

26
 TRILCE

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 por que a) (~ q  p) ~ (p ~ q)
no lo planchó, además está usado". b) (p ~ q) ~ (~ q  p)
Formalizando 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
Lógica

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 UNMSM". 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
 TRILCE

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".
b) (p  q)  p (Si 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
27. Formule: y 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
c) [p ~ (p  q)] ~ q sometió al Catolicismo".

29
Lógica

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
vestido.
b) (p  q)  (r  s) ~ p
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
 TRILCE

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
verano.
c) (q  p  ~ q)  ~ p
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
Lógica

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:
"Javier aumentará su perspicacia e ingenio si
60. Formalice:
estudia Lógica". "Los deshonestos son desleales, porque son
a) q  p personas inmorales"
b) p  q a) q  p
c) r  (p  q) b) ~ q  ~ p
d) (r  p)  q c) (~ p  ~ q)  ~ r
e) p  q d) ~ r  (~ p  ~ q)
e) p  q

32
 TRILCE

Capítulo
FUNCIONES VERITATIVAS
4 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
Lógica

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 Condicional Bicondicional Negación
débil fuerte
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

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
 TRILCE

b) ~ [r q . . ~ (p . q)]
F V 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 = 2n
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
Lógica

* 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
C=2 V F V F F V V F V V F V F F V F F 1
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

1
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 C = 23 = 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
 TRILCE

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
p q [(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
p q [(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
p q [(p  q)  (p  q)

E. L. Conjuntivo Contradictorio

37
Lógica

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 c) VFVF
molecular? d) 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 [(p  q)  (s  p)]  [(q 
 r)  (~ s  t)]
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
[(~ p  q)  r] ~ [(r  p)  s]
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
 TRILCE

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
Lógica

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) q y t d) ~ p  q
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
 TRILCE

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) A  B b) FFFFFFFF
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
Lógica

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
 TRILCE

Capítulo PRINCIPIOS LÓGICOS

5 LEYES LÓGICAS I:
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
Lógica

Leyes Con variables

Con valores de esquema
Equivalentes proposicionales

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

(DN) ~ ~~A A ~~~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
 TRILCE

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
Lógica

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

07. Utilizando las equivalencias notables, reducir: d) p  (q  r)


~ ~(p  q)~ (~ q ~ p)  e) (p  q)  (p  r)

46
 TRILCE

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
Lógica

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
 TRILCE

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.
b) No caminas o tienes que avanzar lentamente.
47. Simplifique:
c) No caminas o no avanzas.
[p  (q  ~ p)] ~ (q ~ p)
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:
c) (p  q)  (~ q  p)
a) Si Silver es matemático, es estadista.
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
 TRILCE

Capítulo

6 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
Lógica

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.
III. En (~p  q), una lámpara no se enciende. 06. Dadas las siguientes afirmaciones:
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:
~p q 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
 TRILCE

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]

a) p q b) (~ p  q)  r  [(~ p  ~ q)]
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:
p q
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
Lógica

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)
r 'p r p 24.
'p q
b) 'p ‘p
q r
q En el diagrama anterior:
p p a) La lámpara se enciende.
c)
b) La lámpara no se enciende.
r
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.
e) Contradictorio. q
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
 TRILCE

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 q
~p
a) ~ p  ~ q b) p  q
a) p q
c) p  q d) p  ~ p
e) p  ~ p
p q
31. Halle la fórmula simplificada del siguiente diagrama: q p ~q
q b)
q q
p r
r r s
r s
a) p b) r c) p  q p
c)
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 p q
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. q
p 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
Lógica

37. Corresponde a: 42. Simplifique:

p'
p q'
r
p q
q p'
a) p  (~ p  q) p'
q' p
b) p  (~ p  q) q
c) p  (~ p  q) a) r
d) p  (~ p  q) b) r'
e) (p  ~ p)  q p
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) p d) p'
c) p' p
d) e)
p' q q'
e) q'
44. Simplifique:
40. ¿A qué esquema corresponde?
p'
q' p' q
p q
p
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'
b)
q' 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
 TRILCE

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
b) r
q 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
e) p ~r

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
s
c) q ~p
~p ~p
d)
~q ~q
e) p q b) ~r
50. La fórmula de: s
p
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
Lógica

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)
p q
b) (p  ~ q  r)  (~ p  q  r)
c) (p  ~ q  r)  (~ p  q  r) e)
~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
d) pq
a) 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
p 60. Simplifique:
c)
q
p q'
d) p q p
e) No tiene diagrama lógico. q'
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
p
c)
q

58
 TRILCE

Capítulo
LEYES LÓGICAS II:
7 IMPLICACIONES NOTABLES
Llamadas también Leyes Implicativas. Son esquemas condicionales tautológicos, por lo que representan inferencias válidas.
En consecuencia, teniendo la(s) premisa(s) podemos derivar inmediatamente su respectiva conclusión.
Las más importantes son las siguientes:

1. Modus Ponendo Ponens (MPP): Si se afirma el antecedente de una premisa condicional, se concluye la afirmación
del consecuente de dicha premisa.
Regla: Ley:

AB [(p  q)  p]  q
A
B

Ejemplo: Formalizando:
P1 : Si llueve en la noche, las pistas están mojadas. P1 : p  q
P2 : Llueve en la noche. P2 : p
C : Luego, las pistas están mojadas. C q

2. Modus Tollendo Tollens (MTT): Si se niega el consecuente de una premisa condicional, se concluye la negación del
antecedente de dicha premisa.
Regla: Ley:

AB [(p  q)  ~ q]  ~ p
~B
~A

Ejemplo: Formalizando:
P1 : Si eres estudiante de Trilce, te están preparando adecuadamente. P1 : p  q
P2 : No te están preparando adecuadamente. P2 :~ q
C : Consecuentemente, no eres estudiante de Trilce. C ~ p

3. Silogismo Disyuntivo (SD): Si se niega uno de los elementos de una premisa disyuntiva, se concluye la afirmación
del otro elemento.
Regla: Ley:

AB AB [(p  q)  ~ p]  q

~A ~B [(p  q)  ~ q]  p
B A

Ejemplo: Formalizando:
P1 : Estudio Contabilidad o Economía. P1 : p  q
P2 : No estudio Economía. P2 :~ q
C : Estudio Contabilidad. C p

4. Silogismo Hipotético Puro (SHP): Si de un conjunto de dos premisas condicionales, el consecuente de una de las
premisas es la afirmación del antecedente de la otra premisa, entonces del antecedente de una de las premisas se deriva
el consecuente de la otra premisa.

59
Lógica

Regla: Ley:
AB BC [(p  q)  (q  r)]  (p  r)
BC AB [(q  r )  (p  q)]  (p  r)
AC AC

Ej.: Si Carnap fue neopositivista, conformó el Círculo de Viena. Y si conformó el Círculo de Viena, confiaba en la Lógica
Simbólica. Por lo tanto, si Carnap fue neopositivista, confiaba en a Lógica Simbólica.
Formalizando:
P1 : p  q
P2 : q  r
C p  r

5. Conjunción: De un conjunto de premisas, se puede concluir la Conjunción de las mismas.

Regla: Ley:
A (p)  (q)  p  q
B
AB

Ejemplo:
Juan es escritor. Juan es poeta. Luego, Juan es escritor y poeta
p q p q
Formalizando :
P1 : p
P2 : q
C p  q

6. Simplificación: De una premisa conjuntiva se puede concluir cualquiera de sus componentes.

Regla: Ley:

AB AB (p  q)  q
B A (p  q)  p

Ejemplo: Formalizando:
P1 : Copérnico fue Astrónomo y Físico. P1 : p  q
C Copérnico fue Astrónomo. C p

DERIVACIÓN O DEDUCCIÓN NATURAL

Es un procedimiento formal que sirve para demostrar que la conclusión se deduce lógicamente de las premisas o de un
conjunto de premisas.
Este procedimiento consiste en obtener la conclusión deseada mediante la aplicación de leyes lógicas en una secuencia finita
de pasos. Entonces, dado un conjunto de premisas, la deducción lógica debe permitirnos sacar consecuencias que sólo se
deriven lógicamente de las premisas; en otros términos, consecuencias que son implicadas por las premisas.

Ejemplo:

1. Sean las premisas y su conclusión respectivamente:

P1 :~ p  (q  ~ r)
P2 :~ p
P3 : s  r
C ~ s
Indique qué pasos se han efectuado para obtener la conclusión: “~ s”.

60
 TRILCE

Resolución:

P1 :~ p  (q  ~ r)
P2 :~ p
P3 : s  r // ~ s

4) q  ~ r : se deduce de la P1 y P2 mediante (M. P. P.)

5) ~r : se obtiene al utilizar Simpl. en la P

4
6) ~s se deduce de la P3 y P5 mediante (M. T. T. )
:
De esta manera, la derivación queda lógicamente justificada por los pasos efectuados, resultando su validez.

2. Sea el razonamiento:
“Si hay sol, entonces es verano o iremos a la playa. Hay sol pero no es verano. Por lo tanto, vamos a la playa”.

* Para facilitar la demostración, es necesaria la formalización:

P1 : p  (q  r)
P2 : p  ~ q
r
* Ahora efectuamos la derivación:
P1 : p  (q  r)
P2 : p  ~ q //  r
3) p (2) x simp.
4) qr (1) y (3) x M. P. P.
5) ~q (2) x simp.
6) r (4) y (5) x S. D.

61
Lógica

PRÁCTICA
01. Si eres un líder, tienes muchas admiradoras. Si tienes c) Los políticos son Abogados y también diplomáti-
muchas admiradoras entonces serás elegido como el cos.
mejor amigo. Luego: d) Los políticos no son Abogados pero si diplomáti-
a) O eres un líder o no lo eres. cos.
b) Si eres un líder, serás elegido como el mejor amigo. e) No tiene conclusión válida.
c) Tienes muchas admiradoras si y sólo si eres un
líder. 08. "Robert acude al médico o al Psiquiatra. Robert
d) Eres un líder y serás elegido como el mejor amigo. no acude al psiquiatra".
e) Si no eres un líder entonces no te admiran. Entonces:
a) Tampoco va al médico.
02. La proposición: "Claudia es caprichosa o Martín b) Va al médico.
es respetuoso, pero no es el caso que Claudia c) Le teme a los psiquiatras.
sea caprichosa". d) Sabe que no está loco.
Implica a: e) No tiene dinero.
a) Martín no es respetuoso.
09. Determine la conclusión:
b) Claudia es caprichosa.
P1 : q  (p  r)
c) Claudia no es respetuosa.
d) Martín es respetuoso. P2 :~ (p  q)
e) Ninguna de las anteriores. C // 

03. Si llueve y nieva entonces habrá tormenta. Ocurre que a) p

no hay tormenta. Luego: b) q
c) r
a) No llueve y nieva.
d) ~p
b) Si llueve pero no nieva. e) ~r
c) Es falso que llueva o nieve.
d) No nieva o no llueve. 10. La conclusión de:
e) Ni llueve ni nieva. P1 : p  q
P2 :~ r ~ q
04. Si Junior sabe Lógica, desaprobará el examen, pero
ha aprobado el examen; de ahí que: P3 : s  ~ r
a) Junior no sabe Lógica. P4 : s  t
b) Si no sabe Lógica, irá a la universidad.
P5 ~ t
c) Es falso que no sabe Lógica.
d) Junior no ha dado examen. C // 
e) Junior tiene que estudiar más.
Es:
05. Si estudias en la UNI, te gustará las matemáticas; no a) p
obstante es imposible que no estudies en la UNI. Por b) s
lo tanto: c) r
a) No te gustará las matemáticas. d) ~p
b) Te gustará las matemáticas. e) q
c) Estudias en la UNI.
d) Eres estudiante de la UNI y matemático. 11. "Si Aurora no es comerciante, es empresaria.
e) Si eres matemático entonces estudias en la UNI. Pero se sabe que no es empresaria".
Por lo tanto la conclusión es:
06. En el Modus Ponendo Ponens (MPP) la conclusión se
a) Aurora es comerciante.
haya luego que:
a) Se afirma el consecuente. b) Aurora no es comerciante.
b) Se negó el antecedente. c) Aurora es empresaria.
c) Se negó el consecuente. d) Aurora es comerciante o empresaria
d) Se afirmó el antecedente. e) Aurora es comerciante, pero no empresaria.
e) Se obvió el consecuente.

07. Los políticos son Abogados a menos que no sean 12. "Si yo tengo tu misma edad y tú tienes la misma
diplomáticos. Pero, los políticos no son Abogados, edad que él, entonces yo tengo la misma edad
entonces: que él".
a) Los políticos son diplomáticos. El razonamiento anterior corresponde a:
b) Los políticos no son diplomáticos. a) M. P. P.
b) M. T. T.

62
 TRILCE

c) S. H. P. No gasto dinero.
d) T. S. Por tanto:
e) S. D. a) No fumo.
b) Enfermaré.
13. No hablo japonés.
c) Voy al médico.
Tampoco hablo chino.
Hablaría chino o japonés, si fuera políglota. d) Fumo.
Es falso que hable varias lenguas y no sea políglota. e) Gasto dinero.
En consecuencia:
a) Hablo varias lenguas. 19. "Si terminas la tarea, irás a la fiesta. No
b) No hablo varias lenguas. aprobarás el examen si dejas de lado tus
c) Hablo pocas lenguas. obligaciones. También tenemos que si vas a la
d) Soy políglota. fiesta, dejas de lados tus obligaciones, lo cierto
e) Hablo japonés y chino. es que terminas la tarea".
Concluimos que:
14. Determinar la conclusión del siguiente razonamiento: a) No vas a la fiesta.
"Si conduces un automóvil, no debes beber b) Dejas de lado tus obligaciones.
cerveza. Pero bebes cerveza". c) No apruebas el examen.
En conclusión: d) No estudias.
a) Conducir y no beber cerveza. e) Apruebas el examen.
b) No conduces un automóvil.
c) Sólo conduces. 20. De las siguientes premisas:
d) Bebes cerveza y no bebes cerveza. "Si Débora estudia Educación Inicial, entonces
e) No bebes cerveza y conduces. instruirá a los niños", "Si Lucila estudia
Enfermería, curará a los enfermos" y "Débora no
15. Derive la conclusión instruirá a los niños o Lucila no curará a los
1. p  (~ q  r) enfermos".
2. ~ p  ~ r//  Se infiere:
a) Débora no estudia Educación Inicial o Lucila no
a) q estudia Enfermería.
b) r b) Débora estudia Educación Inicial o Lucila estudia
c) p Enfermería.
d) ~q c) Débora no estudia Educación Inicial o Lucila estu-
e) q~ r dia Enfermería.
d) Débora instruirá a los niños y Lucila curará a los
16. ¿A qué principio lógico corresponde el siguiente enfermos.
enunciado? e) Lucila cura a los enfermos y Débora instruye a los
niños.
"No se da el caso que el fotón esté y no esté en
un mismo punto al mismo tiempo". 21. De las siguientes premisas: "Carlos ingresó a
a) Principio de no contradicción. Medicina o a Ingeniería; Carlos no ingresó a
b) Principio de exclusión de medio. Biología y si Carlos ingresó a Ingeniería, ingresó
c) Principio del tercio excluido. a Biología".
d) Principio de identidad. Entonces se infiere que:
e) Principio de razón suficiente. a) Carlos ingresó a Ingeniería.
b) Carlos ingresó a Medicina.
17. Derive la conclusión: c) Carlos no ingresó a Medicina.
P1 : p  (q  r) d) Carlos ingresó a Biología.
e) Carlos no ingresó a ninguna de las carreras.
P2 : p  ~ r
P3 : s  q 22. Si soy poeta, soy escritor:
Si soy escritor, domino el lenguaje.
No domino el lenguaje o soy "culto".
a) ~s
Pero no soy "culto".
b) r
Por ende:
c) q
a) No soy poeta.
d) s
b) No soy escritor, aunque soy poeta.
e) ~p
c) No domino el lenguaje, pero soy poeta.
d) Soy poeta.
18. Si fumo, enfermaré:
e) Domino el lenguaje.
SI no voy al médico, no enfermo.
Gasto dinero o no voy al médico.

63
Lógica

23. Soy atleta o no soy deportista. a) Somos felices.

Si soy fumador, no soy atleta. b) Ganamos.
Estoy sano, ya que no soy fumador. c) No nos botan.
Es falso que esté sano. d) No somos felices.
Luego, no es cierto que: e) N. A.
a) No sea atleta.
b) Sea fumador. 30. Manuel asiste a la fiesta ya que fue invitado, porque es
c) Sea deportista.
amigo de José. Manuel es amigo de José. De ahí que:
d) No sea deportista.
a) Es amigo de José y asiste a la fiesta.
e) No esté sano.
b) No fue invitado o asiste a la fiesta.
c) No fue invitado y no es amigo de José.
24. De las premisas:
d) Es amigo de José y no asiste a la fiesta.
"Andrómeda es una constelación, salvo que sea
e) Es invitado pero no asiste a la fiesta.
una galaxia", y "es absurdo pensar que
Andrómeda sea una constelación".
31. Si no obtengo la beca, no viajaré. Yo sé que no seré
Se infiere:
profesional si es que no viajo. Entonces llego a la
a) Andrómeda es una constelación.
conclusión que:
b) Andrómeda es una galaxia.
a) Es falso que obtenga la beca o sea profesional.
c) Andrómeda es una estrella.
b) No es cierto que no obtenga la beca y no viaje.
d) Andrómeda no es una galaxia.
c) No es cierto que obtenga la beca o no sea profesio-
e) Andrómeda no es una constelación.
nal.
d) Es falso que no obtenga la beca y no sea profesio-
25. De las siguientes premisas:
nal.
"Si Willy es profesor, entonces no es millonario".
e) Obtengo beca y no viajo.
"Si Willy no es matemático, entonces es
corrupto", y "Willy es profesor, a menos que no
32. Si ingresas, serás ingeniero. Si no eres un gerente,
sea matemático".
entonces no eres ingeniero.
Se infiere que:
Se deduce:
a) Willy es matemático y profesor.
a) Si ingresas, no eres ingeniero.
b) Willy no es millonario ni corrupto.
b) Si ingresas, serás gerente.
c) Willy no es millonario salvo que sea corrupto.
c) Si eres gerente, entonces ingresaste.
d) Willy es un profesor no corrupto.
d) Si no ingresas, serás gerente.
e) Willy no es matemático.
e) Si no eres ingeniero, eres gerente.
26. Si llueve entonces no hace calor, o vamos a la playa.
33. Si Periquito no es bandolero, se meterá en una caja.
Pero no vamos a la playa. Sin embargo, llueve. Luego:
Pero se sabe que no se meterá en una caja. Por lo tanto,
a) No llueve.
la conclusión es:
b) Hace calor. a) Periquito es bandolero.
c) No vamos a la playa. b) Periquito no es bandolero.
d) No hace calor. c) Periquito se meterá en una caja.
e) Vamos al cine. d) Periquito es bandolero, pero no se meterá en una
caja.
27. María no me quiere o no me odia. María me odia. e) Periquito se meterá en una caja o es bandolero.
Además si no es rencorosa, María me quiere. Sin
embargo, si es rencorosa entonces es temperamental. 34. En el Modus Tollendo Tollens, la conclusión, se deduce
a) No es rencorosa. luego:
b) No es temperamental. a) Se afirmó el antecedente.
c) Es temperamental. b) Ha sido negado el consecuente.
d) Me odia. c) Afirmar el consecuente.
e) Me quiere. d) Se negó el antecedente.
e) Se ha negado cualquier elemento de la premisa
28. Si no me matas entonces vivo. Pero no vivo. Además condicional.
si me matas, me voy al cielo. Por lo tanto:
a) No me voy al cielo. 35. "La conclusión es una fórmula condicional, cuyo
b) Me matas. antecedente proviene del antecedente de la
c) No vivo. primera premisa y su consecuente proviene del
d) Me voy al cielo. consecuente de la segunda premisa".
e) Me voy al infierno. Tal principio, se denomina:
a) Modus Ponens.
29. No ganamos y somos felices. Sin embargo, ganamos o b) Modus Tollens.
no nos botan a la vez. Si no somos felices entonces nos c) Silogismo Disyuntivo.
botan. d) Silogismo Hipotético Puro.
Luego: e) Silogismo Categórico.

64

36. Si es vacaciones y temporada de feria, saldremos a
pasear. Ocurre que no salimos a pasear, luego:
a) No es vacaciones y temporada de feria.
b) Si es vacaciones pero no hay feria.
c) Es falso que sea vacaciones o temporada de feria.
d) No es vacaciones o no es temporada de feria.
e) Ni es vacaciones ni temporada de feria.
37. Si:
* Hay contaminación o el clima es muy húmedo.
* Pero el clima no es muy húmedo.
Luego:
a) No hay contaminación.
b) El clima es muy húmedo y no hay contaminación.
c) Hay contaminación y el clima es muy húmedo.
d) Hay contaminación.
e) El clima es muy húmedo o no hay contaminación.
38. A partir de los siguientes enunciados:
* Si ocurre el Fenómeno del Niño, habrá una ola de
calor.
* Pero no habrá una ola de calor.
¿Qué se puede concluir de ellos?
a) Ocurrirá el Fenómeno del Niño.
b) Ocurrirá el Fenómeno del Niño, pero no habrá una
ola de calor.
c) Habrá una ola de calor, pero no ocurrirá el Fenó-
meno del Niño.
d) Ocurrirá el Fenómeno del Niño y habrá una ola de
calor.
e) No ocurrirá el Fenómeno del Niño.
39. Qué se concluye de:
* Si practicas pesas, estás en forma.
* Las chicas te miran si estás en forma.
a) No es el caso que practiques deportes y las chicas te
miren.
b) No es cierto que estés en forma o las chicas te mi-
ren.
c) Las chicas te miran y no practicas pesas.
d) No practicas pesas o las chicas te miran.
e) No es cierto que practiques pesas o las chicas te
miren.
40. Si Carolina regresa a Moscú, Jorge será feliz. El avión
llegará al amanecer si no hay niebla en la ciudad. Pero,
si hay niebla en la ciudad entonces Carolina no
regresaba de Moscú.
Si sabemos que Carolina regresa de Moscú, se deduce:
I. Jorge será feliz.
II. El avión llegará al amanecer.
III. No hay niebla en la ciudad.
a) Sólo I.
b) III y II.
c) I y II.
d) I y III.
e) Todas.
TRILCE
41. Si las cosas salen bien, viajaremos al Sur, pero si hay
demasiado trabajo, el viaje se suspende hasta la otra
semana. Así que las cosas salen bien o hay demasiado
trabajo.
Luego:
a) Si viajamos al Sur, no iremos la otra semana.
b) Viajamos al Sur o lo suspendemos hasta la otra
semana.
c) Viajamos al Sur la próxima semana.
d) Viajamos al Sur ahora.
e) Ya no iremos de viaje.
42. Si se cumple no p entonces no q.
Pero se da el caso que no p.
Por tanto:
a) q b) No q
c) No p d) p
e) s
43. Ha ocurrido que Pedro recibió el mensaje. Suponemos
que Pedro fue de compras o salió a pasear si recibió el
mensaje.
¿De tales situaciones qué podemos deducir?
a) Pedro no salió de compras pero sí a pasear.
b) Pedro salió de compras o a pasear.
c) Es falso que Pedro haya salido a comprar o a pa-
sear.
d) Pedro no salió a comprar ni a pasear.
e) Es falso que Pedro no haya salido a comprar o no
salió a pasear.
44. Si Aneth es estudiosa o empeñosa, ingresará. Sabemos
que es mentira que no sea estudiosa ni empeñosa.
Entonces, se deduce que:
a) Aneth es estudiosa, pero no ingresa.
b) Aneth ingresará.
c) Aneth no ingresará.
d) Aneth no es empeñosa, pero si estudiosa.
e) Aneth es empeñosa, pero tampoco ingresa.
45. Ingrid no es limeña o peruana. No es el caso que sea
peruana ni latina, en consecuencia:
a) Si Ingrid es peruana, es latina.
b) Ingrid no es latina pero si peruana.
c) Si Ingrid es latina, es limeña.
d) Ingrid es limeña y es latina.
e) Si Ingrid es limeña, es latina.
46. Cuando te titules, serás profesional.
Además si trabajas, ganarás dinero.
Pero es falso que seas profesional y ganes dinero, por
lo tanto:
a) Cuando te titules, trabajarás.
b) Si no te titulas, no ganas dinero.
c) Si te titulas, no trabajarás.
d) Si no eres profesional, no ganarás dinero.
e) Te titulas o no trabajas.
65
Lógica

47. Si un cuerpo se calienta es obvio que dicho cuerpo se c) No trabajas en el Congreso o no trabajas en un
dilata. Sin embargo, si no es cierto que un cuerpo se Estudio Jurídico.
dilate; podemos concluir en que:
1. No es un cuerpo. d) No trabajas en un Estudio Jurídico porque trabajas
2. Se calienta. en el Congreso.
3. Se dilata y se calienta. e) Todas cumplen.
4. Se dilata y no se calienta.
5. No se dilata y aunque no se caliente. 52. "Si Diego se prepara en TRILCE, de hecho que
ingresa; tal como si sabe ciencias, postula a
Son ciertas: Medicina. Ocurre que es mentira que ingrese y
a) 1 y 5. postule a Medicina".
b) 2 y 3. ¿Qué afirmación será la correcta?
c) Sólo 5.
d) 3 y 4.
e) N. A. a) Diego se prepara en TRILCE, luego postula a Medi-
cina.
48. "No río a menos que reniegue. No reniego b) No es cierto que Diego se prepare en TRILCE y
excepto que esté tranquilo" sepa ciencias.
Luego: c) Diego no sabe ciencias y no postula a Medicina.
d) Es falso que Diego ingrese y postule a Medicina.
a) Ni río ni estoy tranquilo. e) Si Diego no se prepara en TRILCE no ingresa a
b) No estoy tranquilo salvo que reniegue. Medicina.
c) Río porque estoy tranquilo.
d) No río salvo que esté tranquilo. 53. Corresponde a la Ley de Modus Ponens:
e) Si reniego, no estoy tranquilo. a) [(p  q)  q]  p
b) [(p  q)  ~ q]  ~ p
49. "No es cierto que no seas el criminal y no hayas
estado en la cárcel. Pero, si estás condenado c) [(p  q)  ~ p]  q
entonces has mentido, ya que eres el criminal o d) p  (p  q)
estuviste en la cárcel".
e) [(p  q)  p]  q
La conclusión correcta es:

a) Eres el criminal, pero no estuviste en la cárcel. 54. ¿De qué premisas se deriva A  ~ B ?
b) Si estas condenado, entonces has mentido.
a) A  C
c) Si has mentido, eres el criminal.
d) No estuviste en la cárcel porque has mentido. CB
e) Si eres el criminal, entonces estás en la cárcel. b) CA
~B C
50. Halle la conclusión correcta de las siguientes premisas:
Es falso que, o hay problemas en la frontera o se acepta c) A B
el acuerdo de paz, además se acepta el acuerdo de paz B ~ C
siempre y cuando haya amenaza de guerra:
d) C  ~ A
a) Si hay problemas en la frontera entonces no hay B C
amenaza de guerra.
b) Se acepta el acuerdo de paz si hay amenaza de e) C ~ A
guerra. ~B  C
c) Hay problemas en la frontera sí y sólo sí existe ame-
naza de guerra.
55. Señale el esquema correspondiente al Modus Tollendo
d) Hay amenaza de guerra si se acepta el acuerdo de
Tollens.
paz.
e) Todas cumplen. a) [(p  ~ q)  q]  p
b) [(p  ~ q)  ~ p]  q
51. Es falso que sea abogado o penalista. Si trabajas en el
c) [(~ p  q)  p]  ~ q
Congreso en un Estudio Jurídico, eres Abogado o
d) [(p  ~ q)  q]  ~ p
Penalista.
De ahí que: e) [(~ p  q)  q]  p

a) Si trabajas en el Congreso, no trabajas en un Estu-

dio Jurídico.
b) Es falso que trabajes en el Congreso y en un Estu-
dio Jurídico.

66
 TRILCE

56. Domino el curso porque lo estudio. Pero no lo domino. 59.

Luego, no lo estudio. P1 : A  (B  C)
¿Qué ley se presenta? P2 : .......
a) MPP
b) MTT P3 : A
c) SHP ¿Qué premisa falta para deducir C?
d) MSD a) B
e) Simp. b) ~C
c) ~A
57. d) ~B
AB
e) A  B
BC
~ CD 60. Derive:

P1 : p  (q  r)
a) A  D
P2 :~ q  p
b) ~ A  ~ D
P3 : s  ~ r
c) D  A
d) A a) s
e) A  D b) ~s
c) ~p
58. Si es invierno, hace frío. d) q
No hace frío o me abrigo.
e) ~r
Me desabrigo.
Luego:
a) Es invierno.
b) Hace frío.
c) No hace frío.
d) No es invierno.
e) c y d.

67
 TRILCE

Capítulo
LÓGICA PREDICATIVA:
8 PROPOSICIONES CATEGÓRICAS
CONCEPTO: Las proposiciones categóricas son aserciones acerca de clases que afirman o niegan que una clase esté
incluida en otra, ya sea en forma parcial o total.

Ejemplo: "Todas las aves tienen alas".

Una "clase" es una colección de objetos que tienen algunas características específicas en común. Las proposiciones
categóricas afirman o niegan la relación entre clases.

CARACTERÍSTICAS

* Son proposiciones predicativas (Sujeto - Verbo - Predicado).

* Poseen 2 términos: Término Sujeto (S) y Término Predicado (P).
* Llevan Cuantificadores (Todos, Ningún, Algunos, Muchos, Pocos).
* Son CUANTITATIVAS: Es decir poseen Cantidad (Universales y Particulares).
* Son CUALITATIVAS: Tienen una Cualidad o Calidad (Afirmativas y Negativas).
* Utilizan el Lenguaje Booleano.
* Se representan mediante los diagramas de Venn.

Las formas típicas y su relación:

Formas típicas Relación

Todo S es P. Inclusión total
Ningún S es P Exclusión total
Algún S es P Inclusión parcial
Algún S no es P Exclusión parcial

Ejemplo:

1. Todos los hombres son inteligentes.

2. Ningún político es honesto.
3. Algunos deportistas son atletas.
4. Algunos mamíferos no son cuadrúpedos.

La proposición categórica es un enunciado que afirma o niega algo. Esta proposición es pieza central de la teoría deductiva
aristotélica, porque la proposición categórica expresa relaciones de inclusión o exclusión entre clases, que pueden ser, por
otra parte, relaciones de inclusión total o parcial.
En la proposición "todos los hombres son mortales", se expresa la relación de inclusión total. La clase de los hombres está
incluida totalmente en la clase de los mortales. Se expresa por: Todo S es P.

En la proposición "Ningún hombre es mortal", se expresa la relación de exclusión total. Ningún elemento de la clase de los
hombres pertenece a la clase de los mortales. Se expresa por: Ningún S es P.

En la proposición "Algunos hombres son mortales", se ve la relación de inclusión parcial. Al menos uno de la clase de los
hombres etá inluido en la clase de los mortales. Se expresa por: Algún S es P.

En la proposición "Algunos hombres no son mortales" se advierte la relación de exclusión parcial. Expresa que al menos
uno de los hombres no pertenece a la clase de los mortales. Se expresa por: Algún S no es P.

69
Lógica

CALIDAD Y CANTIDAD

Las proposiciones categóricas de forma típica son por su calidad afirmativas y negativas, y por su cantidad universales y
particulares. Son cuatro las formas típicas de proposiciones categóricas:
 Todo S es P Ningún S es P
Afirmativa s  Negativas 
 Algún S es P  Algún S no es P
Normalmente, usamos las letras mayúsculas A, E, I, O, para representar las cuatro formas típicas de proposiciones categóricas:

A : Para la universal afirmativa.

E : Para la universal negativa.
I : Para la particular afirmativa.
O : Para la particular negativa.

A e I, que representan las proposiciones afirmativas, se dice que vienen del verbo latino "Affirmo" (afirmo), E y O que
representan a las negativas vienen del verbo latino "nEgO" (niego).

La cantidad de la proposición categórica de forma típica es universal o particular. Es universal cuando abarca a todos los
miembros de la clase designada por el término sujeto. Es particular cuando abarca solamente algunos (por lo menos uno
o más de uno) miembros de la clase designada por el sujeto.

Son universales las proposiciones A y E. Y particulares I y O.

Ejemplos:
Todos los jugadores son deportistas.
Ningún reptil es ave.
Algunos jugadores son deportistas.
Algunos reptiles no son aves.

Las proposiciones categóricas de forma típica comienzan sus enunciados con los cuantificadores "todos", "ningún", "algunos".
Estos cuantificadores indican la cantidad de las proposiciones.

Elementos: Las proposiciones categóricas poseen cuatro elementos:

Cuantificador Sujeto (S) Verbo Predicado (P)

Ej. Algunos Profesionales Son Médicos

Todos los hombres son mortales .

C S V P

Ningún contribuyente es honrado .

C S V P

Algunos hombres son mortales .

C S V P

Algunos contribuyentes no son mortales .

C S V P

En este último caso, se agrega la negación antes de la cópula. En su simbolización correspondiente:

S a P se lee "Todo S es P".

S e P se lee "Ningún S es P".
S i P se lee "Algunos S son P".
S o P se lee "Algunos S no son P".

Se puede advertir que las Letras a, e, i, o, colocados entre sujeto "(S) y predicado (P), se corresponden con sus respectivas
mayúsculas A - E - I - O y que indican la calidad y la cantidad de las proposiciones.

70
 TRILCE

Distribución de términos

Cuando un determinado término del silogismo tiene cantidad universal se dice que está distribuido. El siguiente cuadro
presenta los términos distribuidos encerrados en un círculo:

A : Todos S es P
E : Ningún S es P
I : Algún S es P
O : Algún S no es P

Los Diagramas de Venn

Son círculos que se trasladan y se utilizan para graficar las relaciones entre conjuntos o clases y, consiguientemente, en el
análisis de las proposiciones categóricas.

CUADRO DE RESUMEN:

Proposición categórica Forma típica Tipo Cantidad y Fórmula Diagrama de

cualidad Booleana Venn
Todos los filósofos son Todo S SaP A Universal SP  
críticos es P afirmativa S P

Ningún Argentino es Ningún SeP E Universal SP  

brasilero S es P negativa S P

Algún animal es terrestre Algún SiP I Particular SP  

S es P afirmativa S x P

Algún profesional no es Algún SoP O Particular SP  

arquitecto S no es negativa S x P
P

71
Lógica

PRÁCTICA
01. Señale lo verdadero de: d) Sólo particular.
"Algunos materialistas no son socialistas". e) Sólo universal.
a) Particular negativa, término distribuido: socialistas.
b) Universal afirmativa, término distribuido: socialis- 07. ¿Qué letra representa a: "Ningún ave tiene pelaje"?
tas. a) A b) E c) I
c) Particular afirmativa, T. distribuido: materialista. d) O e) U
d) Particular negativa, término distribuido: materialis-
tas 08. ¿Cuál es la fórmula que corresponde a: "Todo filósofo
e) Universal negativa, no hay términos distribuidos. es crítico"?

02. Si L = día laborable y F = día festivo y el diagrama es a) FC   b) FC   c) FC  

el que sigue. Diga Ud. cuál es la expresión correcta:
d) FC   e) FC  
U
09. ¿Qué proposición corresponde a una universal
X negativa?
a) Todo x es y.
L F b) Algún x es y.
c) Ningún x es y.
a) Alguno días no laborales son días festivos. d) Algún x no es y.
b) Todos los días festivos son laborables. e) Todo no x es y.
c) Algunos días no festivos no son laborables.
d) Todos los días festivos no son laborables. 10. Constituye una relación de inclusión parcial:
e) Ningún día festivo es laborable. a) Todo A es B.
b) Ningún A es B.
03. Simbolice mediante fórmulas booleanas y grafique por
c) Algún A no es B.
diagramas de Venn la siguiente proposición categórica.
d) Algún A es B.
"Algunos estudiantes son impuntuales".
e) Algún no A no es B.
E P E P
a) b) x 11.
x
S
E P E P x
c) d) x
x
Corresponde a:
E P
a) S   b) S   c) S  
e)
d) S   e) S  ?

04. La fórmula Booleana del siguiente diagrama es: 12. ¿Qué gráfico corresponde a Todo S es P?
U a) S P b) S P
x
S P
c) S P d) S P
a) SP   b) SP   x

c) SP   d) SP  
e) S P
e) SP  

05. La Lógica Predicativa estudia proposiciones:

a) Conjuntivas. b) Atómicas. 13. El gráfico corresponde a:
c) Categóricas. d) Condicionales. P
S
e) Negativas.
x
06. La proposición categórica es una proposición:
a) Acerca de clases. a) Todo no S es P.
b) Que solo afirma. b) Ningún S es P.
c) Algún no S es no P.
c) Que solo niega.

72
 TRILCE

d) Algún S es P. a) P   b) S   c) S  
e) Algún no S es P.
d) P   e) P  
14. Todo ladrón es deshonesto. Luego:
a) Ningún ladrón es honesto.
21. Realizó una interpretación algebráica de la Lógica de
b) Algún ladrón es honesto.
c) Todo honesto es ladrón. predicados:
d) Ningún ladrón es deshonesto. a) Leibnitz.
e) Algún no ladrón es deshonesto. b) Aristóteles.
c) Frege.
15. Si no es verdad que ciertos reptiles sean vivíparos, d) Boole.
entonces: e) Venn.
a) Todo vivíparo es reptil.
b) Ningún reptil es vivíparo. 22. Las ........... son aserciones acerca de clases que afirman
c) Algún reptil es vivíparo. o niegan si una clase está incluida o excluida en otra,
d) Algún vivíparo es reptil. sea total o parcialmente.
a) Inferencias inmediatas.
e) Algún no reptil es no vivíparo.
b) Proposiciones.
c) Inferencias mediatas.
16. Equivalen al cuantificador "Algún(os)": d) Proposiciones categóricas.
a) Cualquier, cada. e) Afirmaciones categóricas.
b) Ciertos, muchos.
c) No hay, no existe. 23. No es una característica de las proposiciones categóricas:
d) El 100%, varios. a) Posee un cuantificador.
e) Los, la totalidad. b) Posee sujeto y predicado.
c) Posee un verbo copulativo.
17. Señale la fórmula de: d) Determinan la validez de las inferencias.
e) b y c.

S P 24. La proposición:
x "Todos los hombres son mortales".
a) Inclusión parcial.
b) Exclusión total.
a) SP   b) SP   c) SP   c) Inclusión total.
d) Exclusión parcial.
d) PS   e) P S   e) Proposición Universal Válida.

18. Ubique la fórmula de: 25. ¿Cuál de las siguientes alternativas expresa que al
menos un elemento de la clase S no pertenece a la
S P clase P?

x x
a) b)
S P S P
a) S   b) P   c) PS  
d) SP   e) SP   c) d) x
S P S P
19. Qué fórmula pertenece a: x
e)
U S P

26. Si en un gráfico tuviéramos dos clases (La clase

A B S=Hombres y la clase P=Mujeres). ¿Cómo
representaríamos la clase de los que no son hombres
a) AB   b) A B   c) A B   ni mujeres?
d) AB   e) AB   a) S P b) S P c) S P
d) S P e) S
20. Ubique la fórmula de:

S P
x

73
Lógica

27. Relacione: a) Una proposición de tipo A.

I. Todos los S son P. b) Algunas limeñas son rubias.
II. Algunos S no son P. c) Todos los ateos son no creyentes.
III. Ningún S es P. d) Todos los hombres son fieles.
IV. Algunos S son P. e) a y d.

A. Indica que en la intersección de S y P hay elemen- 33. La siguiente proposición:

tos por lo menos uno. "Algunos filósofos no son cuerdos".
B. Indica que en la intersección de S y P no hay ele- a) No se refiere a todos los filósofos, sino solamente a
mentos. aquellos que son cuerdos.
C. Indica que en la intersección de S que no es P no b) Se refiere a la clase filósofos que no son cuerdos
hay elementos. sino locos.
D. Indica que en la clase de S que no es P hay elemen- c) No afirma que todos los filósofos son locos.
tos por lo menos uno. d) Afirma que todos los filósofos no son cuerdos.
e) No afirma que todos los filósofos son cuerdos, ni
a) IIIA , IIB , IC , IVD. menos que todos los cuerdos son filósofos.
b) IC , IIIB , IID , IVA.
c) IIIA , IVB , IIC , ID. 34. Las proposiciones categóricas de forma típica
d) IVD , IIC , IIIB , IA. comienzan sus enunciados con los .................. "todos",
e) IIIB , IC , IVD , IIA. "ningún", "algunos", los cuales nos indican la ...............
de las proposiciones.
28. Las proposiciones categóricas de forma típica son por a) términos - jerarquía.
su calidad ............. y por su cantidad .............. b) universales - cantidad.
a) claras, sencillas - extensas, abstractas. c) cuantificadores - cantidad.
b) positivas, universales - negativas, particulares. d) cuantificadores - calidad.
e) términos - extensión.
c) negativas, particulares - afirmativas, universales.
d) afirmativas, negativas - particulares, universales. 35. Señale Ud. la proposición que refiere a todos los
e) particulares, universales - afirmativas, negativas. miembros de la clase designada por su término sujeto
y, por consiguiente, lo distribuye:
29. El Diagrama respectivo se entiende como: a) Todos los hombres son mortales.
b) Ningún psicólogo es desorganizado.
S P
c) Algunos filósofos no son locos.
d) No todo filósofo no es loco.
e) Algunos matemáticos son lógicos.
a) Algunos S no son P.
b) Ningún S no es P. 36. El diagrama respectivo se entiende como:
c) Ningún P no es S. S P
d) Ningún S es P.
e) Algunos no S no son P.
a) La clase de S que no es P no posee elementos, es
30. Señale lo incorrecto: vacío.
a) A : SP ; Universal afirmativa. b) La clase P que no es de S no hay elementos, es
vacío.
b) I : SP  O ; Particular afirmativa. c) Lo que no es de P es igual a  .
c) E : SP  O ; Particular afirmativa. d) a y b.
e) a y c.
d) O : SP  O ; Particular negativa.
e) E : SP = O; Universal negativa. 37. Señale la proposición contraria de la siguiente
afirmación :
31. La expresión: "Ningún peruano es chileno", es "Todos los abogados son profesionales".
definida como: a) Algunos abogados son profesionales.
a) Proposición universal negativa. b) Ningún profesional es no abogado.
b) Tipo E y fórmula SP = O. c) Ningún abogado es profesional.
c) Tipo O y fórmula SP  O . d) Es falso que ningún abogado sea profesional.
d) Tipo E y fórmula SP  O e) Algunos no profesionales no son abogados.
e) a y b.
38. Identifique el diagrama correcto de la expresión:
32. Es una proposición universal afirmativa, en la cual el "Todo artista es meticuloso".
término sujeto está distribuido en el término predicado,
pero el término predicado, no está distribuido en el
término sujeto: a) b)
A M A M

74
 TRILCE

x Es definida como:
a) Proposición particular negativa.
c) d) b) Tipo "I" y fórmula SP  O
A M A M
c) Su fórmula es SP  O
d) Tipo "O" y fórmula SP  O
x e) Proposición universal particular.
e)
A M
45. La proposición SAP se diferencia con la proposición
39. La oración: SEP en el sentido que:
"Algunos agricultores son financistas". a) Tienen la misma cantidad, pero distinta cualidad.
Es subcontraria de : b) Se diferencian por la cantidad.
a) Algunos agricultores son no financistas. c) Se diferencian tanto en cantidad como en cualidad.
b) Algunos agricultores son financistas. d) Tienen distinta cantidad, pero igual cualidad.
c) Algunos agricultores no son financistas. e) Tienen la misma cantidad y cualidad.
d) Ciertos agricultores son financistas.
e) Algunos agricultores no son financistas. 46. Los tipos proposicionales "A" e "I" determinan;
respectivamente:
40. En cuanto a las proposiciones categóricas. Señale lo a) Relación de inclusión total.
b) Relación de exclusión parcial.
no correcto:
c) Relación de inclusión y exclusión.
a) Son aserciones acerca de clases.
d) Relación de inclusión total y parcial.
b) Afirman o niegan inclusión o exclusión de clases.
e) Relación de exclusión total y parcial.
c) Un cuantificador señala cantidad definida o indefi-
nida. 47. Es falso que los pudientes no sean humildes, se
d) El todo S es P hay exclusión total. diagrama como:
e) Los tipos son A - E - I - O, respectivamente.
U U
41. En la proposición: a) b)
"Cualquier ciudadano es mayor de edad". S P S P
Lo incorrecto es:
a) Forma típica "Todo S es P". U U
b) Hay afirmación de S y negación de P. x
c) d)
c) Tipo A y fórmula SP  O . S P S P
d) Hay inclusión total.
e) El área diagramada es "S". U
x x
e)
42. Determine la fórmula que representa a la proposición: S P
"Algunos no - orgullosos no son incultos".
a) SP  O b) ~ (SP  O) 48. Señale lo incorrecto:
c) SP  0 d) ~ (SP  O) a) A : SP  O : Universal afirmativa.
e) SP  O b) E : SP  O : Universal negativa.
c) I : SP  O : Particular afirmativa.
43. Dada la proposición:
d) O : SP  O : Particular negativa.
"Todos los famosos son adinerados".
e) Toda son correctas.
I. El término "S" denota universo.
II. Su fórmula categórica es SP = O. 49. "Casi la mayoría de los que se prepararon en
III. El cuantificador es indefinido. TRILCE han ingresado a San Marcos".
IV. Pertenece al tipo "A". La relación correcta es:
a) SP  O ; Tipo I
a) Todas son ciertas. b) SP  O ; Tipo O..
b) II y III son falsas.
c) SP  O ; Tipo A.
c) I y IV son falsas.
d) SP = O ; Tipo E.
d) I y II son ciertas.
e) Sólo IV es verdadera. e) SP  O ; Tipo I.

44. La expresión:
"Existe por lo menos un peruano que no haya
viajado a Cuba".

75
Lógica

50. En, "Los seres vivos están constituidos por 56. Señale una proposición de tipo I:
muchas células". a) "Varios estudiosos no tienen buenos trabajos"
La relación en esta proposición categórica es de: b) "Las manzanas son frutas"
a) Inclusión parcial. c) "Ni siquiera el alma es inmortal"
b) Inclusión total. d) "La mayor parte de los poetas son literatos"
c) Exclusión total. e) "Es mentira que algunos católicos sean ateos"
d) Exclusión parcial.
e) Oposición total. 57. "Los estudiosos de TRILCE siempre participan
en olimpiadas internacionales", la formulación
51. correcta es:
U
a) SP = O b) SP  O c) SP  O
d) SP  O e) SP  O
S P

El diagrama anterior tiene como fórmula: 58. Identifique el diagrama correcto en la expresión : "Todo
ateo es materialista".
a) S P  O b) S P  O c) ~ (SP  O)
d) Todos e) a y c
a) b)
52. "Ciertos políticos son abogados", la fórmula que le A M A M
corresponde a la proposición es:
x
a) S P  O b) SP  O c) S P  O
c) d)
d) SP  O e) SP  O A M A M

53. "Es imposible que algunos gobernantes no sean

honestos". x
El diagrama que le corresponde es: e)
A M
G H G H
a) b) 59. Las proposiciones E y O señalan, respectivamente:
a) Relación de exclusión total.
G H G H
b) Relación de exclusión parcial.
c) d) x c) Relación de inclusión y exclusión.
d) Relación de inclusión parcial y total.
G H e) Relación de exclusión total y parcial.
e)
60. La proposición:
"Todos los economi stas son técnicos
profesionales".
54. ¿Cuál de las proposiciones categóricas resulta de calidad
Tiene como contradictoria a la proposición:
afirmativa?
a) "Es falso que algún sordo sea ciego". a) "Algunos economistas son técnicos profesionales".
b) "No ocurre que todo niño es egocéntrico". b) "Ningún economista es técnico profesional".
c) "Ningún docente es universitario". c) "Algunos economistas no son técnicos profesiona-
d) "Todo empresario no es inversionista". les".
d) Ningún técnico profesional es economista.
e) "Es imposible que ningún joven sea aventurero".
e) Todo técnico profesional no es economista.
55. ¿Qué tipo de relación se da en la siguiente proposición
categórica: "Algunas at letas son
latinoamericanos"?
a) Exclusión total.
b) Exclusión parcial.
c) Inclusión total.
d) Inclusión parcial.
e) Inclusión - exclusión.

76
 TRILCE

Capítulo
INFERENCIAS INMEDIATAS
9 CUADRO DE BOECIO
Una inferencia o razonamiento es un proceso mediante el cual a partir de una o más proposiciones llamadas premisas se
deduce otra proposición llamada conclusión.
Las inferencias inmediatas de la Lógica Tradicional son estructuras de "Proposiciones Categóricas" en las que a partir de
una premisa se obtiene la conclusión.

Recordando:

Proposiciones Categóricas

A : Todo S es P (S A P) Inclusión Total

E : Ningún S es P (S E P) Exclusión Total
I : Algún S es P (S I P) Inclusión Parcial
O : Algún S no es P (S O P) Exclusión Parcial

Ejemplo:
Premisa: Todo peruano es latino.
Conclusión: Algunos latinos son peruanos.

4. CUADRO DE BOECIO
Son inferencias inmediatas que resultan de relacionar las cuatro formas típicas según el cuadro tradicional de la
oposición de Boecio (480-524).
El cuadro de Boecio suministra la base para determinar que las inferencias inmediatas sean o no válidas, para ello se
debe conocer la V o F de una de las cuatro proposiciones categóricas de forma típica, para inferir inmediatamente la
verdad o falsedad de las otras.

(S a P) A Contrarias E (S e P)
subalternante

subal ternante

C as
subalterna

subalterna

on
ori
tr
a ct
di
a di
tr ct
on or
ia
C s

(S i P) I Sub-contrarias O (S o P)

* CONTRADICTORIAS

A E I O V F

O I E A F V

77
Lógica

* CONTRARIAS

* SUBCONTRARIAS

* SUBALTERNAS

* SUBALTERNANTES

Ejemplos:
1. Por equivalencia
A ~ O P Todo león es felino
E ~ I C Es falso que algún león no sea felino
I ~E
O ~ A
2. Por implicación
* Entre las contrarias P Ningún ave tiene pelos
A ~ E C No toda ave tiene pelos
E ~ A

* Entre las subcontrarias

P No es cierto que algún juez no sea corrupta
~ I O C Algún juez es corrupto
~ O I

* Entre las subalternas

P Todos los franceses son europeos
A I C Algunos franceses son europeos
E O

* Entre las subalternantes P No es cierto que algún niño sea viejo

~I  ~A C No todo niño es viejo
~O  ~E

78

PRÁCTICA
01. "Es imposible que todo pez sea ave".
Determinar la conclusión correcta del argumento
anterior:
I. Algunos peces son no-aves.
II. Toda ave no es un pez.
III. Algunas aves son no peces.
a) Sólo I.
b) Sólo II.
c) II y III.
d) Todas.
e) Sólo III.
02. "Si todos los ratones comen queso,
entonces............ "La conclusión correcta para que
el razonamiento sea válido, es:
a) Algunos ratones no comen queso.
b) Nadie que coma queso es ratón.
c) Algunos que comen queso son ratones.
d) Algunos que comen queso no son ratones.
e) Todo aquel que come queso no es ratón.
03. La proposición equivalente a "Es falso que todo
argentino sea sudamericano", es:
a) Todo argentino es sudamericano.
b) Todo argentino es no sudamericano.
c) Ningún argentino es sudamericano.
d) Algunos argentinos no son sudamericanos.
e) Algunos argentinos pueden ser sudamericanos.
04. En la proposición, "Todo abogado no es penalista".
Es lógicamente equivalente a:
a) Ningún abogado es penalista.
b) No todo abogado es penalista.
c) Algunos abogados no son penalistas.
d) a y b.
e) b y c.
05. "Es falso que algunas mujeres opten por el
machismo", equivale a:
a) Toda mujer opta por el machismo.
b) Ninguna mujer opta por el machismo.
c) Algunas mujeres optan por el machismo.
d) Muchas mujeres no optan por el machismo.
e) No toda mujer opta por el machismo.
06."Toda serpiente es venenosa", equivale a:
a) Algunas serpientes son venenosas.
b) No toda serpiente es venenosa.
c) Muchas serpientes no son venenosas.
d) a y b.
e) b y c.
07. Si: "Todo ayacuchano es peruano" es verdadera;
entonces es falso que:
a) Todo ayacuchano es peruano.
b) Algunos no ayacuchanos no son peruanos.
c) Ningún ayacuchano es peruano.
d) Ciertos ayacuchanos si son peruanos.
e) Algunos ayacuchanos son peruanos.
TRILCE
08. El siguiente enunciado es falso: "Algunas ballenas
son mamíferos". Determine la conclusión verdadera:
a) Algunas ballenas sí son mamíferos.
b) Es falso que algunas ballenas no sean mamíferos.
c) Toda ballena es mamífero.
d) No es verdad que toda ballena sea mamífero.
e) Toda ballena probablemente sea mamífero.
09. Si: "Algunos cardiólogos no son profesionales",
es falso; se deduce también que es falso que:
a) No es verdad que muchos cardiólogos sean profe-
sionales.
b) No es probable que algunos cardiólogos no sean
profesionales.
c) Algunos cardiólogos son profesionales.
d) No todo cardiólogo es profesional.
e) Todo cardiólogo es no profesional.
10. Si: "Todo ciudadano es no mayor de edad", entonces
se desprende que:
a) Ningún ciudadano es no mayor de edad.
b) Algunas personas mayores de edad son ciudada-
nos.
c) Algunas personas mayores de edad no son ciuda-
danos.
d) a y b.
e) b y c.
11. Determine la conclusión válida del argumento:
"Algunos casados son infieles".
a) Ningún infiel es casado.
b) Algunos casados no son fieles.
c) Todo infiel está casado.
d) Muchos casados son no fieles.
e) Todo fiel está casado.
12. "Ningún norteño es sureño", por lo tanto:
a) Algunos sureños son norteños.
b) Todo sureño no es norteño.
c) Algunos norteños son sureños.
d) Todo norteño es sureño.
e) Es falso que muchos sureños no sean norteños.
13. "Ningún mortal vive eternamente", es la negación
de:
a) Algunos mortales viven eternamente.
b) Algunos mortales no viven eternamente.
c) Todo mortal vive eternamente.
d) Todo mortal no vive eternamente.
e) Ningún mortal no vive eternamente.
14. Encontramos la negación de: Todo postulante es
responsable".
a) Ningún postulante es responsable.
b) Algunos postulantes son responsables.
c) Todo postulante es no responsable.
d) Muchos postulantes no son responsables.
e) Es falso que ciertos postulantes sean responsable.
15. "Por lo menos hay un peruano que es millonario",
la negación de lo propuesto es:
79
Lógica

a) Muchos peruanos no son millonarios. 22. ¿Cuál es la proposición equivalente de: "No todo
b) Es falso que todo peruano sea millonario. limeño es imparcial"?
c) Ningún peruano es millonario. a) Todo limeño es parcial.
d) Algunos peruanos no son millonarios. b) Ningún limeños es parcial.
e) Hay peruanos que no son millonarios. c) Algunos limeños no son parcial.
d) Algún no limeño es parcial.
16. "Toda riqueza ictiológica proviene de nuestro e) Algún limeño no es imparcial.
Mar Territorial"; en consecuencia podemos hacer
válida la siguiente información: 23. ¿Cuál es la subcontraria de la subalterna de la
a) Algunos productos que provienen de nuestro mar contradictoria de: "Algunos soldados no son
oficiales".
son riquezas ictiológicas.
a) Ningún soldado es oficial.
b) Debemos cuidar nuestro mar territorial. b) Algún soldado no es oficial.
c) Ninguna riqueza ictiológica no proviene de nues- c) Todo oficial es soldado.
tro mar territorial. d) Algunos soldados son oficiales.
d) Todo lo que proviene de nuestro mar territorial es e) Todo no soldado es no oficial.
riqueza ictiológica.
e) Más de una es válida. 24. "Ciertos políticos no son abogados", la fórmula
que le corresponde a su contraria obversa es:
17. "Algunos periodistas son imparciales ", es
conclusión de: a) S P  0 b) S P  0
a) Algunos periodistas no son parciales. c) S P  0 d) S P  0
b) Todo imparcial no es periodista.
c) Ningún periodista es imparcial. e) S P0
d) Algunos imparciales no son periodistas.
e) Casi todo periodista es imparcial. 25. Es imposible que algunos gobernantes no sean
honestos". El diagrama que le corresponde, luego de
18. Si "Ningún católico tiene fe" es falso, entonces determinar su obversa es:
señale la conclusión verdadera:
G H G H
a) Todo católico tiene fe.
b) Algunos católicos tienen fe. a) b)
c) Algunos católicos no tiene fe.
d) Nadie que tenga fe es católico. G H
e) No hay conclusión. x
c) d)
19. Si "Todo peruano es latino" es falso, entonces qué
enunciado se desprende como verdadero: G H
a) Ningún peruano es latino.
e)
b) Algunos peruanos son latinos.
c) Todo latino es peruano.
d) Algunos peruanos no son latinos.
e) Más de una es correcta. 26. La contradictoria de una proposición Universal
afirmativa es una proposición de forma típica.
20. Señale las conclusiones válidas de la premisa: "Ningún a) S o P b) S e P
socialista es inhumano". c) No S i P d) S i P
I. Todo inhumano no es socialista. e) S a P
II. Algunos socialistas son humanos.
III. Algunos humanos no son no socialistas. 27. "Es falso que todo inculto sea deshonesto". La
IV. Los socialistas son humanos. proposición categórica que resulta como equivalente
a) Sólo I y IV es de forma típica:
b) Sólo I y III a) S e P b) No S e P
c) I, II y III c) S i P d) S o P
d) I, III y IV e) No S i P
e) Sólo III y IV
28. Si "Ningún científico es generoso" es falso, su
21. Si "Algunos peruanos son venezolanos" es falso, contradictoria resulta:
entonces es verdad que: a) Incorrecto.
a) Todo peruano es venezolano. b) Verdadero.
b) Ningún peruano es venezolano. c) Indeterminado.
c) Algunos peruanos no son venezolanos. d) Consistente.
d) Los peruanos no son venezolanos.
e) Inválido.
e) Más de una es cierta.

80

29. Las relaciones entre las proposiciones de Tipo I y O en
el cuadro de oposición son:
a) Subcontrarias.
b) Subalternantes.
c) Contrarias.
d) Contradictorias.
e) Subalternas.
30. La contraria de la contradictoria de una proposición
particular afirmativa es una proposición de forma típica.
a) S o P b) S e P
c) No S i P d) S i P
e) S a P
31. "Es imposible que todo joven sea estudioso".
Determinar la conclusión correcta del argumento
anterior:
I. Algunos jóvenes son no estudiosos.
II. Todo estudioso no es joven.
III. Algunos estudiosos no son jóvenes.
a) Sólo I.
b) Sólo II.
c) II y III.
d) Todas.
e) Sólo III.
32. "Si todos los universitarios van a la biblioteca,
entonces....... "La conclusión para que el
razonamiento sea válido es:
a) Algunos universitarios no van a la biblioteca.
b) Nadie que vaya a la biblioteca es universitario.
c) Algunos que van a la biblioteca son universitarios.
d) Algunos que van a la biblioteca no son universita-
rios.
e) Todo aquel que va a la biblioteca no es universita-
rio.
33 La proposición equivalente a: "Es falso que toda
selvática sea apasionada" , es:
a) Toda selvática es apasionada.
b) Toda selvática no es apasionada.
c) Ninguna selvática es apasionada.
d) Algunas selváticas son apasionadas.
e) Algunas selváticas pueden ser apasionadas.
34. "Ningún peruano es chileno", por lo tanto:
a) Algunos chilenos son peruanos.
b) Todo chileno no es peruano.
c) Algunos peruanos son chilenos.
d) Todo peruano no es chileno.
e) Es falso que muchos chilenos no sean norteños.
35. "Ningún religioso es político" es la negación de:
a) Algunos religiosos son políticos.
b) Algunos religiosos no son políticos.
c) Todo religioso es político.
d) Todo religioso no es político.
e) Ningún religioso no es político.
TRILCE
36. Si: "Todo adventista es religioso" es verdadero,
entonces es falso que:
a) Todo adventista es religioso.
b) Algunos no adventistas no son religiosos.
c) Ningún adventista es religioso.
d) Ciertos adventistas si son religiosos.
e) Algunos adventistas son religiosos.
37. El siguiente enunciado es falso: "Algunas arequipeñas
son muy hermosas". Determine la conclusión
verdadera:
a) Algunas arequipeñas sí son muy hermosas.
b) Es falso que algunas arequipeñas no sean hermo-
sas.
c) Toda arequipeña es muy hermosa.
d) No es verdad que toda arequipeña sea muy her-
mosa.
e) Toda arequipeña probablemente sea muy hermo-
sa.
38. "Todo funcionario no es corrupto", equivale a:
a) Algunos funcionarios son corruptos.
b) No todo funcionario es corrupto.
c) Muchos funcionarios no son corruptos.
d) a y b.
e) b y c.
39. "Algunos jueces son imparciales", es conclusión
de:
a) Algunos jueces no son parciales.
b) Todo imparcial no es juez.
c) Ningún juez es imparcial.
d) Algunos imparciales no son jueces.
e) Casi todo juez es imparcial.
40. "Si ningún deportista es disciplinado" es falso;
entonces, señale la conclusión verdadera.
a) Todo deportista es disciplinado.
b) Algunos deportistas son disciplinados.
c) Algunos deportistas no son disciplinados.
d) Nadie que sea disciplinado es deportista.
e) No hay conclusión.
41. "No ocurre que todo ciudadano no sea honesto",
es equivalente a:
a) Todo S es P.
b) Ningún S es P.
c) Algunos S son P.
d) Algunos S no son P.
e) No todo S es P.
42. "Si todo gobierno es democrático" es falso, qué
enunciado se desprende como verdadero:
a) Ningún gobierno es democrático.
b) Algunos gobiernos son democráticos.
c) Todo democrático es gobierno.
d) Algunos gobiernos no son democráticos.
e) Más de una es correcta.
81
Lógica
43. De la siguiente afirmación "Ningún casado es
soltero", se concluye válidamente:
a) Algún casado es soltero.
b) Todo soltero es casado.
c) Algún casado es soltero.
d) Cierto divorciado es casado.
e) N.A.
44. Señale la equivalencia de "Ningún F es L": . y su respectiva conclusión.
a) Es falso que todo L sea F.
b) Cierto F es L.
c) No es cierto que algún F sea L.
d) Es imposible que algún L no sea F.
e) Todo F es L.
45. Señale la contradictoria de: "Cierto futbolista es
lesionado en la cancha de juego".
a) Algún futbolista no es lesionado en cancha de jue-
go.
b) Todo futbolista es lesionado en la cancha de juego.
c) Los futbolistas nunca son lesionados en la cancha
de juego.
d) Es falso que ningún futbolista sea lesionado en el
cancha de juego.
e) N.A
46. Indique la contraria de la contradictoria de: "Algún M
no es P".
a) Algún no M es no P.
b) Algún M es P.
c) Todo M es P.
d) Ningún M es P.
e) Cierto M no es P.
47. Indique la subcontraria de la subalterna de "Ningún
idealista es materialista".
a) Todo idealista es materialista.
b) Algún idealista no es materialista.
c) Ningún idealista es metafísico.
d) No es cierto que todo idealista es materialista.
e) Es falso que algún idealista es materialista.
48. El equivalente a la proposición: "Algunas minas no
son de mercurio".
a) No es el caso que todas las minas sean de mercurio.
b) Es falso que ninguna mina sea de mercurio.
c) Algunas minas son de mercurio.
d) No es el caso que algunas minas sean de mercurio.
e) Todas las minas son de mercurio.
49. Obtenga la subcontraria de la subalterna de la contraria
de: "Ningún despreocupado es realista".
a) Algunos despreocupados son realistas.
b) No es cierto que todo despreocupado sea realista.
c) Algunos preocupados son despreocupados.
d) Algunos despreocupados no son realistas.
e) Algún preocupado puede ser realista.
82
50. Señale la alternativa correcta:
a) La conclusión de una inferencia inmediata es pro-
bable.
b) Las relaciones por oposición se dan entre proposi-
ciones simples.
c) El cuadro de oposición fue ideado por Aristóteles.
d) La inferencia inmediata consta de una sola premisa
e) El cuadro de oposición fue ideado por Platón.
51. Respecto a las subalternas es falso que:
a) Son proposiciones que se diferencian en cantidad
mas no de la calidad.
b) No es un tipo de relación entre las proposiciones
categóricas.
c) La relación se da de la particular a la universal.
d) Se obtiene una inferencia válida negando tanto pre-
misa como conclusión.
e) La relación es excluyente.
52. Determine la subcontraria de la subalterna de "ningún
K es G".
a) Todo K es G.
b) Algún K es G.
c) Algún K no es G.
d) Ningún K es G.
e) Todo G es K.
53. Señale la subalternante de dos contradictoria de "Todo
F es H".
a) Ningún F es H.
b) Algún F es H.
c) Algún F no es H.
d) Todo H es F.
e) Algún H es F.
54. Señale la contradictoria de "Algún mamífero no es
cuadrúpedo"
a) Algún cuadrúpedo es mamífero.
b) Todo mamífero es cuadrúpedo.
c) Todo cuadrúpedo es mamífero.
d) Ningún mamífero es cuadrúpedo.
e) Pocos mamíferos son cuadrúpedos.
55. Halle la subalterna de: "Ningún cartesiano es empirista"
a) Todo empirista es cartesiano.
b) Algún empirista es cartesiano.
c) Algún cartesiano no es empirista.
d) Muy pocos cartesianos son empiristas.
e) Los cartesianos son empiristas.
56. Halle el equivalente de: "No es cierto que ciertos
esquimales sean carpinteros".
a) Los esquimales son carpinteros.
b) Muchos carpinteros son esquimales.
c) No existe esquimal que sea carpintero.
d) Los esquimales son carpinteros
e) No existen esquimales.
 TRILCE

57. Halle la contradictoria de la subalterna de todo X es M: 59. Halle la contradictoria de la subcontraria: de Algún D
a) Todo M es X. es Q.
b) Algún S es M. a) Todo Q es D.
c) Ningún X es M.
b) Todo D es Q.
d) No existe M que sea X.
e) Pocos X son M. c) Algún Q es D.
d) Algún D no es Q.
58. Halle el equivalente de la contraria de: Ningún C es F. e) Pocos Q son D.
a) Es falso que todo C sea F.
b) Todo F es C. 60. Halle la subalterna de la contraria de la subalternante
c) Es imposible que algún C no sea F. de: "Cierta trujillana es publicista"
a) Alguna trujillana no es publicista.
d) El 75% de los F son C.
b) Alguna publicista no es trujillana.
e) Algún C es F.
c) Muchas publicistas son trujillanas.
d) Toda publicista es trujillana.
e) Las trujillanas son publicistas.

83
 TRILCE

Capítulo
SILOGISMO
10 CATEGÓRICO
GENERALIDADES
El silogismo es una teoría deductiva cuya importancia histórica es relevante porque fue la primera teoría lógica desarrollada
de manera rigurosa por Aristóteles (386 - 322 a. C) en el "Organon".
La palabra "silogismo" viene del griego "syllogismos" cuyas raíces son "syn" que significa "con" y "logismos" que
significa "razonamiento". Etimológicamente, "Silogismo" quiere decir razonamiento ligado, razonamiento relacionado.

DEFINICIÓN DE SILOGISMO CATEGÓRICO

Es una inferencia mediata, con razonamiento deductivo, que está estructurada por tres poposiciones categóricas típicas. El
silogismo es el proceso racional que consiste en pasar de la verdad de dos proposiciones predicativas llamadas premisas a
la verdad de una tercera proposición predicativa llamada conclusión.
Ejemplo:
P(1): Todos los cuerpos celestes están en el espacio
P(2): Todos los planetas son cuerpos celestes .
C  Todos los planetas están en el espacio

ESTRUCTURA DEL SILOGISMO CATEGÓRICO

A. Términos del Silogismo: Está formado por tres términos o clases:

1. TÉRMINO MAYOR: Representado por la letra (P), se encuentra en la primera premisa y hace de predicado en
la conclusión.
2. TÉRMINO MEDIO: Representado por la letra (M), aparece en ambas premisas y desaparece en la conclusión.
3. TÉRMINO MENOR: Representado por la letra (S), se encuentra en la segunda premisa y hace de sujeto en la
conclusión.

B. Proposiciones del Silogismo:

1. Premisa mayor: es la primera premisa y relaciona al término mayor con el término medio.
2. Premisa menor: es la segunda premisa y relaciona al término menor con el término medio.
3. Conclusión: relaciona al término menor con el termino mayor, es decir, el Sujeto con el predicado.

Ejemplos explicativos:

1. P(1) (Premisa mayor): Todos los mamíferos son animales que toman leche.
P(2) (Premisa menor): Todos los gatos son mamíferos. .
C: Conclusión : Luego, todos los gatos son animales que toman leche.

En este silogismo, los elementos son:

* Término Mayor (P) = animales que toman leche (P1 y Conclusión)
* Término Medio (M)= mamíferos (se repite en las premisas)
* Término Menor (S) = gatos (P2 y Conclusión)

2. P(1): Ningún piurano es sureño. Es decir:

P M
P(2): Todo tacneño es sureño. P(1): Ningún P es M
S M P(2): Todo S es M
________________________ __________________
C: Ningun tacneño es piurano. C: Ningun S es P
S P

85
Lógica

FIGURAS DEL SILOGISMO

Las figuras del silogismo dependen de las diversas posiciones que adopta el término en el silogismo. Hay cuatro figuras del
Silogismo expresadas en las siguientes estructuras:

Primera Segunda Tercera Cuarta

Figura Figura Figura Figura
M P P M M P P M
S M S M M S M S
S P S P S P S P

MODOS DEL SILOGISMO

Los modos del silogismo dependen de la combinación de proposiciones categóricas que integran el silogismo; se represen-
ta por un tipo categórico definido.

Ejemplos:
P(1): Algunos adolescentes no son responsables. (Tipo "O")
P(2): Todo adolescente es menor de edad. . (Tipo "A")
C: Algunos menores de edad no son responsables. (Tipo "O")

EL MODO SERÁ O A O
P(1) P(2) C
P(1): Todos los pragmáticos son utilitaristas. P(1): M A P
P A M
P(2): Ningun socialista es utilitarista. P(2): S E M Es el modo: A-E-O
S E M C: SOP
________________________________
C: Algunos socialistas no son pragmáticos.
S O P

86
 TRILCE

PRÁCTICA
01. Señala la alternativa correcta sobre la forma que debe d) Clases de figuras.
tener silogismo: e) Silogismo no válidos.
a) El término medio debe estar en la conclusión.
b) El término menor debe repetirse en ambas 07. Señale el modo y figura del silogismo "Es falso que
premisas. los científicos sean poetas, dado que ningún
c) El sujeto del silogismo se halla en la premisa ma- científico es bohemio y todo poeta es bohemio".
yor. a) A - E - O ; 2da. fig.
d) El término medio no debe estar en la conclusión. b) O -E - A ; 2da fig.
e) El predicado del silogismo está en la segunda pre- c) A -E - A ; 2da. fig.
misa. d) A -E - O ; 3ra. fig.
e) A - E - A ; 3ra. fig.
02."Muchos que saben de leyes no ejercen su
08. El silogismo: Todos los M son P
profesión, ya que los abogados saben de leyes y
Ningún S es M.
también algunos abogados no ejercen su
Todos los S no son P
profesión". corresponde a la .......... figura y al modo .......
La premisa mayor es: a) primera: A- E - A
a) Muchos que no saben de leyes son abogados. b) segunda: A - E - A
b) Todo abogado sabe de leyes. c) primera: A - E - O
c) Algunos abogados no ejercen su profesión. d) tercera: E - A - E
d) Los que ejercen su profesión son abogados. e) cuarta: A - E - O
e) Los abogados ejercen su profesión.
09.El término mayor del silogismo se encuentra en:
03. En el silogismo: "Todo poeta es idealista, muchos a) El sujeto de la conclusión.
poetas son novelistas. Luego, algunos novelistas b) Ambas premisas.
son idealistas". c) No se ubica en la conclusión.
El término mayor es........., el término medio es....... y el d) La premisa mayor.
término menor es.......... e) Ambas premisas.
a) poetas - idealistas - novelistas.
b) idealistas - novelistas - poetas. 10. En el siguiente razonamiento: "Todo diplomático es
educado y algunos educados son militares.
c) novelistas - idealistas - poetas.
Entonces muchos militares son diplomáticos",
d) idealistas - poetas - novelistas.
señale su figura y modo:
e) novelistas - idealistas - poetas. a) 2da. figura ; A - I - O
b) 3ra. figura ; A - I - I
04. Los modos del silogismo son: c) 2da. figura ; A - I - I
a) Las formas como el silogismo se presenta. d) 1ra. figura ; A - I - O
b) Las estructuras del silogismo. e) 4ta. figura ; A - I - I
c) Los tipos categóricos que componen el silogismo.
d) Las posiciones de los tipos categóricos en el silo- 11. Todo Silogismo está constituido por:
gismo. a) Una premisa y una conclusión.
e) Las clases de silogismos que existen. b) Más de dos premisas y conclusión.
c) Dos premisas y conclusión.
05. En el siguiente silogismo: "Todo mamífero no es d) Un antecedente y un consecuente.
cuadrúpedo y ciertos "cuadrúpedos" son e) Conversas y obversas.
carnívoros. Entonces, varios carnívoros no son
mamíferos". 12. El término mayor del silogismo es:
Señale su figura y modo: a) El sujeto del silogismo.
a) 4ta. fig; A - I - O b) El que se repite en ambas premisas.
b) 1ra. fig; O - I - O c) El predicado del silogismo.
c) 1ra. fig; A - I - O d) El que abarca la mayor cantidad de elementos.
d) 4ta. fig; O - I - O e) El que se ubica en la segunda premisa y la conclu-
e) 3ra. fig; A - I - O sión.

06. Las expresiones: "BARBARA", "FERISON", "BAROCO" 13. En el argumento: "Ningún aventurero es
o también "DISAMIS", se refieren a: sedentario, ciertos aventureros son extranjeros.
a) Figuras del silogismo. Por lo tanto, algunos extranjeros no son
b) Modos silogísticos. sedentarios". Señale lo correcto:
c) Silogismo inmediatos. a) El término medio es "extranjeros".

87
Lógica

b) El término mayor es "extranjeros". b) La figura.

c) El término menor es "extranjeros". c) La conclusión.
d) El término medio es "sedentario". d) La premisa menor.
e) El término mayor es "aventurero". e) El modo.

14. Se definen a las Figuras del Silogismo como las diversas 20. Señale el modo y figura del silogismo: "Es falso que
formas que adopta este razonamiento, según sea la los filósofos sean ingenieros dado que ningún
ubicación del término medio en ambas premisas. Así filósofo es matemático y todo ingeniero es
por ejemplo el silogismo: "Los humanos son matemático".
mortales, los huancaínos son humanos. En a) A - E - O ; 2da. fig.
consecuencia, los huancaínos son mortales". b) O - E - A ; 2da. fig.
c) A - E - O ; 3ra. fig.
Pertenece a la ........ figura.
d) A - E - A ; 2da. fig.
a) Primera.
e) A - E - A ; 3ra- fig.
b) Segunda.
c) Tercera. 21. El silogismo categórico es un razonamiento:
d) Cuarta. a) Deductivo inmediato.
e) Quinto. b) Inductivo mediato.
c) Deductivo mediato.
15. Señale la figura y el modo del siguiente silogismo: d) Inductivo está bien.
"Todos los peces son seres vivos acuáticos y gran e) Deductivo inductivo.
porcentaje de ellos no son carnívoros. Por lo
tanto, algunos animales carnívoros no son 22. Es una inferencia mediata, estructurada de proposi-
acuáticos". ciones categóricas típicas, de donde a partir de dos
a) 1ra. figura ; A- O - A premisas se logra una conclusión:
b) 2da. figura ; A - O - O a) Proposición categórica.
c) 3ra. figura ; A - O - O b) Deducción mediata.
d) 4ta. figura ; A - O - A c) Silogismo categórico.
e) 5ta. figura ; A - O - A d) Operador lógico.
e) a y b
16. Señale el modo y la figura del siguiente razonamiento:
Algunas pelotas son de plástico. 23. Señale la tercera figura del silogismo categórico:
Todas las pelotas son juguetes. _
MP PM
Algunos juguetes son de plástico.
a) A - I - A: 1era. figura. SM MS
a) b)
b) A - I - A: 2da. figura.  SP  SP
c) A - I - A: 2da. figura.
d) I - A - I : 2da. figura. PM MP
e) I - A - I: 3era. figura. SM MS
c) d)
 SP  SP
17. Señale la figura y modo en: "Todo demócrata es e) N.A.
constitucionalista y muchos demócratas no son
políticos. Entonces algunos políticos no son 24. Los modos del silogismo son:
constitucionalistas" a) Formas como se presenta el silogismo.
a) 1ra. fig ; A - O - A b) Clases de silogismo.
b) 2da. fig ; A - O - O c) Estructuras del silogismos.
c) 3ra. fig ; A - O - O d) Posiciones de los tipos categóricos en el silogismo.
d) 2da. fig ; O - A - O e) Tipos categóricos dentro del silogismo.
e) 3ra. fig ; A - O - I
25. En el siguiente razonamiento, señale la figura y el modo:
18. Sobre la formación de un silogismo, señale lo no P1: Todos los jueces son probos.
correcto: P2: Algunos fiscales son probos.
a) Existen tres términos. C: Todo fiscal es juez.
b) En la primera premisa está el predicado. a) 2 Fig. A - I - O
c) El término medio está repartido en P1 y P2. b) 2 Fig. A-I-A
d) El término medio está presente en la conclusión. c) 4 Fig. E - I - O
e) El término menor está presente en la conclusión. d) 3 Fig. A - E - I
e) 3 Fig. O - E -I
19. Cuando el término medio se ubica en las premisas de
distintas formas, nos indica:
a) Silogismo correcto.

88
 TRILCE

26. El silogismo: "Ningún hombre es prefecto. Todos 33. Señale cuál es el término mayor, medio y menor del
los alemanes son hombres. Luego, ningún silogismo siguiente:
alemán es perfecto", corresponde al modo y a la
figura siguiente: "Ningún humanista es diplomático. Todos los
a) 1 - AAA políticos son diplomáticos. Por lo tanto ningún
b) 1 - AEE político es humanista"
c) 1 - EEA
d) 1 - AEA a) Humanista - diplomático - político.
e) 1- EAE b) Político - diplomático - humanista.
c) Humanista - político - diplomático.
27. En un silogismo, existen: d) Político - humanista - diplomático.
a) Premisa y conclusión.
e) Diplomático - político - humanista.
b) Dos premisas y conclusión.
c) Más de dos premisas y conclusión.
34. Es término que se encuentra repetido en las premisas,
d) Sólo una premisa y dos conclusiones.
es el más importante del silogismo:
e) Proposiciones aseverativas.
a) T. mayor.
b) T. superior.
28. Los modos del silogismo resultan de: c) T. menor.
a) La participación del lenguaje booleano. d) T. medio.
b) La premisa mayor y menor de un silogismo. e) N.A
c) La posición del término medio.
d) La conclusión sujeto y predicado. 35. Señale el modo y la figura del siguiente razonamiento:
Todos los futbolistas son atletas.
e) Los tipos de proposiciones categóricas.
Algunos atletas son débiles.__________
Algunos débiles son futbolistas
29. El silogismo es una inferencia mediata, construida por a) I-A-I: cuarta figura
proposiciones: b) I-E-I: segunda figura
a) Simples y compuestas. c) A-I-I: cuarta figura
b) Categóricas. d) O-A-A: segunda figura
c) El término mayor, término menor del silogismo. e) A-O-O: segunda figura
d) Constantes sujeto y predicado.
e) c y d 36.Señale el modo y figura del siguiente silogismo:
P1: Todos los abogados son venales.
P2: Algunos políticos no son venales.________
30. En el argumento: "Si algunas ciudades son costeras
C : Algunos políticos no son abogados.
y los lugares costeros son húmedos; entonces a) A-O-O : 1ra. figura
ciertos lugares húmedos son ciudades" b) A-O-I : 3ra. figura
Señale la figura y el modo; respectivamente: c) A-E-O: 3ra. figura
a) 1ra. fig ; A - A-I d) A-O-O: 4ta. figura
b) 4ta. fig ; I - A -I e) A-O-O: 2da. figura
c) 1ra. fig ; I - A - I
d) 2da. fig ; I - A - I 37. Señale la forma silogística de la siguiente expresión: "Si
e) 3ra. fig ; I - A - I todo P es C y algún C es Y, por lo tanto muchos Y son
P"
a) AIII- 3
31. Señale el modo y figura del siguiente silogismo:
b) IAI- 4
"Algunos animales son bípedos c) IAI-1
Los animales son seres vivos . d) IIA - 2
Ciertos seres vivos son bípedos" e) AII- 4
a) 3era. fig ; O - A - O
b) 2da. fig ; I - A - I 38. Señale la forma silogística de la siguiente expresión:
c) 3ra. fig ; I - A - I "Ningún V es F, ya que todo A es F y no existe V que
d) 2da. fig ; I - A - A sea A"
e) 2da. fig ; O - A - O a) AEE-3
b) EAE-2
32. El silogismo: c) AAE-1
Todos los M son P. d) EAE-4
Ningún S es M._____ e) AEE-1
 Todos los S son P.
Corresponde a la ......figura y al modo....... 39. Señale la letra típica de la conclusión: "El 75% de los D
a) Primera : I - A - I son C, porque los D son L y muchos L son C".
b) Segunda: A - E - A a) A
c) Primera: A - E - A b) E
d) Tercera: E - A - E
e) Cuarta A - I - A

89
Lógica

c) I 46. Determine la forma del silogismo siguiente:

d) O P1: Muchos deportistas no son personas saludables
e) Tanto A como C. P2: Cualquier persona saludable es metódica.
C : Existen deportistas que no son metódicos.
40. Señale la letra típica de la premisa menor. "Algún I no a) OAO1
es H, dado que algún I no es C y no existe H que sea C". b) OAO4
a) E c) AOO4
b) O d) IOO1
c) A e) AOO1
d) I - E
e) A o C 47. La forma silogística de la inferencia siguiente es:
"Ningún carnívoro es rumiante, de ahí que algún
41. Dada la expresión: "Los tacneños son sureños y algún mamífero no sea rumiante pues hay mamíferos
peruano es tacneño, entonces; algún peruano es carnívoros".
sureño". Señale al término medio y menor a) EOI4
respectivamente. b) EIO1
a) Peruano - Sureño. c) IEO4
b) Tacneño - Peruano. d) EIO1
c) Sureño - Tacneño. e) EIO4
d) Peruano - Tacneño.
e) Sureño - Tacneño.
48. ¿Cuál es la forma del siguiente silogismo?
"Un bohemio es músico, toda vez que cierto artista es
42. "Si no existe electricista que sea carpintero y algún
bohemio y cada músico es artista"
electricista no es cerrajero, luego algún cerrajero no es
a) IAI-IV
carpintero", señale al término menor y mayor
b) AII-I
respectivamente.
c) IAI-I
a) Carpintero - Electricista.
d) AII-IV
b) Cartpintero - Cerrajero.
e) AAI-I
c) Electricista - Carpintero.
d) Carpintero - Cerrajero.
49. En el silogismo siguiente, qué modo encontramos:
e) Cerrajero - Carpintero.
Es imposible que todo venado es veloz.
No se da el caso que ningún veloz sea animal.
43. Señale la forma del siguiente silogismo: "Todo R es Z y
Algún animal no es veloz.
algún Z es M; luego algún M es R".
a) O-I-O
a) AII-3
b) A-E-O
b) IAI-4
c) E-E-A
c) AII-4
d) A-I-O
d) IIA-2
e) I-I-I
e) AIA-1

50. Indique la forma y figura de un silogismo categórico no

44. Ubique el término mayor y medio en el silogismo
válido:
siguiente: a) AAA-1
Cualquier caballero es gentil. Pero hay hombres que b) AII-1
no son caballeros. Por ello, ciertos hombres no son c) IAI-4
d) AII-3
gentiles.
e) AIE-1
a) Hombres - gentiles.
b) Caballeros - hombres. 51. Indicar cuál de las formas silogísticas muestra un
c) Gentiles - caballeros. silogismo válido:
a) AAE1
d) Hombres - caballeros. b) EEA4
e) Gentiles - hombres. c) OAE2
d) AEI1
e) IAI3
45. Acerca de un silogismo cuya forma es EIO3 es correcto
afirmar: 52. En el silogismo categórico:
a) La conclusión es afirmativa. PM: Ningún indio es islamita.
b) La premisa mayor es particular. Pm: Algún islamita es árabe.
c) El término medio no es sujeto. C: Algún árabe no es judío.
Es correcto:
d) La premisa menor no es universal.
a) La segunda premisa es premisa menor.
e) Ambas premisas son negativas. b) "Judío" es un término de la premisa menor.
c) La conclusión no es proposición categórica.

90
 TRILCE

d) "Islamita" puede ir en la conclusión. 58. Indique cuál es la figura y modo de:

e) Demuestra que no necesariamente la primera pre- Todo marino es fuerte.
misa es la mayor. Algún marino es valiente.
Algún valiente es fuerte.
53. Dentro de un silogismo, el término menor es: a) 2da. figura: A-O-E
a) El predicado de la premisa mayor. b) 3ra. figura: A-I-I
b) El sujeto de la conclusión. c) 4ta. figura: A-E-O
c) El término que se encuentra sólo en las premisas. d) 1ra. figura: A-E-O
d) El predicado de la conclusión. e) 2da. figura: A-E-A
e) Es el antecedente.
59. Indica los términos en el silogismo:
54. Señale la forma de un silogismo válido: Pm Ningún peruano es ecuatoriano.
a) AAE1 Pm Algún ecuatoriano es europeo.
b) OAO2 C Algún europeo es peruano.
c) AII2 (Término mayor, medio y menor)
d) AOO3 a) peruano - ecuatoriano - europeo.
e) EAE1 b) europeo - ecuatoriano - peruano.
c) peruano - europeo - ecuatoriano.
55. El silogismo: "Algunos guerreros no son intrépidos, d) europeo - peruano - ecuatoriano.
puesto que algunos políticos son guerreros y ningún e) ecuatoriano - peruano - europeo.
intrépido es un político". Señale la figura y el modo del
anterior silogismos:
a) Primera - OEI. 60. ¿Cuál figura del silogismo no corresponde?
b) Cuarta - EIO.
c) Cuarta - IOE. MP PM
d) Segunda - EIO.
a) SM b) MS
e) Primera - EOI. SP SP

56. Los modos válidos en las cuatro figuras del silogismo PM MP

categórico típico son: c) SM d) MS
a) EIO SP SP
b) IAI
c) EAE MS
d) AAA
e) OAO e) PM
SP
57. Qué figura y modo es:
Todo P no es M.
Algún S es M.
Algún S no es P.

a) 1era. A-E-O
b) 2da. A-I-O
c) 2da. O-I-O
d) 4ta. A-I-E
e) 3ra. A-E-O

91
 TRILCE

Capítulo
REGLAS DEL
11 SILOGISMO
Para poder establecer que el razonamiento o silogismo sea formalmente válido o lógicamente correcto, la Lógica Tradicional
aplica las siguientes reglas:

A) CUATRO REGLAS SOBRE LAS PROPOSICIONES QUE INTEGRAN EL SILOGISMO

1. El silogismo debe contener solamente los tres términos: Mayor Medio y Menor, cada uno de ellos usado en el
mismo sentido en todo el razonamiento.
Ejemplo:
P(1): Ningún animal es vegetal
P(2): Algunos vegetales son alimentos comestibles .
C: Algunos alimentos comestibles no son animales

Los términos: Animal (T. Mayor), Vegetal (T.Medio) y Alimentos comestibles (T:Menor), tienen un único y
mismo significado en todo el silogismo.

2. El término medio debe estar contenido solamente en las dos premisas y no en la conclusión.
Ejemplo:
P(1): Algunos profesores son matemáticos.
P(2): Todo profesor es educador.________
C : Algunos educadores son matemáticos.

El Término Medio (Profesores) es un término que sirve únicamente de intermediario, de puente, de medio para unir
los términos restantes de las premisas en la conclusión.

3. El término medio debe estar "distribuido" por lo menos en una de las premisas.
Recordando!!!

Un término está distribuido en una proposición categórica

cuando se refiere a todos lo miembros de la clase designada,
es decir el término tiene cantidad universal.
* Todo S es P : El término distribuido es "S".
* Ningún S es P : Los términos distribuidos son "S" y "P".
* Algún S es P : No hay términos distribuidos.
* Algún S no es P : El término distribuido es "P".
Ejemplo:

P(1) : Todo chiclayano es norteño

P(2) : Algunas culturas pre-incas son chiclayanas.
C : Algunas culturas pre-incas son norteñas

El Término Medio:Chiclayano está distribuido en la primera premisa por estar en la posición del "sujeto", en tal
sentido, está teniendo cantidad universal.

4. No puede haber en la conclusión ningún término distribuido que no esté también distribuido en las premisas.

Ejemplo:
P(1): Ningún materialista es religioso.
P(2): Todos los católicos son religiosos._____
C : Algunos católicos no son materialistas.

93
Lógica

Si el término medio "religiosos" está distribuido en la primera premisa (Proposición SEP) por estar en la posición
del predicado, entonces los términos "católicos" y "materialistas", respectivamente, no tienen mayor cantidad en la
conclusión que la que tienen en las premisas.

B) CUATRO REGLAS SOBRE LA DEDUCCION QUE SE HACE DE LAS PREMISAS

5. De dos premisas afirmativas no se puede deducir una conclusión negativa.

Ejemplo:
P(1): Ciertos profesionales son odontólogos (P I M): Afirmativa
P(2): Todo odontólogo cura las caries (MAS):Afirmativa
C: Ciertos que curan caries son profesionales (S I P): Afirmativa

6. De dos premisas negativas nada se concluye.

Ejemplo:
P(1): Ningún agresivo ama la paz : Premisa negativa (M E P)
P(2): Algunas mujeres no son agresivas : Premisa negativa (S O M)
C : No hay conclusión ¿?

En el silogismo, debe existir como mínimo una premisa Afirmativa.

7. La conclusión sigue siempre a la premisa más débil, entendiéndose por tal a la premisa particular o a la premisa
negativa.

Ejemplo (1)
P(1): Algunos pensadores son historiadores : Premisa afirmativa (P I M)
P(2): Todo historiador es investigador : Premisa universal (S E M)
C : Algunos investigadores son pensadores : Conclusión particular(S I P)

La conclusión utiliza el cuantificador "Algunos", que sigue a la segunda premisa.

Ejemplo (2)

P(1): Todo ser vivo tiene células : Premisa afirmativa (P A M)

P(2): Ningún mineral tiene células : Premisa negativa (S E M)
C : Ningún mineral es un ser vivo : Conclusión negativa (S E P)

La conclusión utiliza el cuantificador "Ningún" que sigue a la segunda premisa.

8. De dos premisas particulares, nada se concluye.

Ejemplo:
P(1): Algunos sacerdotes son soldados : Premisa particular (P I M)
P(2): Algunos soldados son intrépidos : Premisa particular (M I S)
C : No hay conclusión : ¿?

En el silogismo debe existir como mínimo una premisa Universal.

94
 TRILCE

PRÁCTICA
01. Si en un silogismo categórico, una de las premisas es 08. Si en un silogismo las dos premisas son universales,
negativa, entonces: entonces es posible que la conclusión sea:
a) La otra premisa es negativa. I. Universal afirmativa en la primera figura.
b) La otra premisa es universal. II. Universal negativa en todas las figuras.
c) La conclusión no es afirmativa. III.Particular afirmativa en todas las figuras.
d) La otra premisa es débil. IV. Particular negativa es todas las negativas.
e) La conclusión no es negativa. a) Sólo I.
b) Sólo II.
c) I y IV.
02.¿Cuál no es regla válida en la formación de un silogismo?
d) II y III.
e) Todas.
a) El término medio no se halla en la conclusión.
b) La conclusión se deduce de la premisa débil. 09. El modo A-A-A, es válido:
c) Ambas premisas pueden ser universales. a) Sólo en la primera figura.
d) Si las premisas son débiles, la conclusión es débil. b) En todas las figuras.
e) Si las premisas son negativas, no hay conclusión. c) En la cuarta figura.
d) En la segunda figura.
03. Señale la conclusión correcta del siguiente silogismo e) Sólo en la tercera figura.
"Ningún obrero es capitalista y todo obrero es
10. Si "Ningún triunfalista es pesimista" y "Todo ganador
proletario" . es triunfalista", entonces la conclusión válida es:
a) Ningún proletario es capitalista. a) "No todo ganador es pesimista".
b) Muchos proletarios son capitalistas. b) "Ningún ganador es pesimista".
c) Ningún capitalista es proletario. c) "Algunos ganadores no son pesimistas".
d) Algunos proletarios no son capitalistas. d) Todas son posibles.
e) a y c son conclusiones validas. e) Sólo b es válido.

11. El modo A-E-E, es válido en la ....... figura y en la .......

04. Si, "Los jueces son abogados y todo abogado es
figura.
jurista"; entonces podemos afirmar que: a) primera - tercera.
a) Todo jurista es juez. b) segunda - cuarta.
b) Algunos juristas son abogados. c) primera - cuarta.
d) segunda - tercera.
c) Ningún juez es jurista.
e) tercera - cuarta.
d) Algunos juristas son jueces.
e) No hay conclusión porque es una falacia. 12. Si "Algunos comerciantes venden telas importadas" y
"Muchos que venden telas importadas no consumen
05. Si "Todo pintor es dibujante y ningún actor es lo que el país produce", entonces "Ciertos consumidores
dibujante", entonces: de lo que el país produce no son comerciantes", es un
a) Ningún dibujante es actor. silogismo manifestantemente inválido porque:
a) El término medio se halla en la conclusión.
b) Todo pintor es actor.
b) De premisas particulares no hay conclusión.
c) Algún pintor es dibujante. c) De premisas afirmativas no se concluye en negati-
d) Ningún actor es pintor. va.
e) Algún pintor no es actor. d) El término medio no debe estar distribuido al me-
nos en una premisa.
06. En el silogismo, de dos premisas particulares: e) Si la premisa es universal entonces la conclusión,
a) Nada se concluye. necesariamente es universal.
b) Se concluye una negativa.
13. Marque la alternativa correcta:
c) Se obtiene una conclusión particular.
a) El término medio sólo debe estar en la conclusión.
d) La conclusión es válida. b) Las premisas deben tener las características más
e) La conclusión no es particular. débiles con respecto a la conclusión.
c) De premisas afirmativas, no se concluye en negati-
07. En un silogismo, una de las premisas es débil, en tal va.
d) El término medio no debe estar distribuido al me-
sentido:
nos en una premisa.
a) Su conclusión es particular. e) Si la premisa es particular, entonces la conclusión
b) Su conclusión es negativa. es universal.
c) La conclusión no es débil.
d) La otra premisa es también débil.
e) a ó b.

95
Lógica
14. Indique la alternativa no correcta en el silogismo:
a) Debe existir por lo menos una proposición univer-
sal.
b) Si las premisas son afirmativas, la conclusión no es
negativa.
c) Debe existir por lo menos una proposición afirma-
tiva.
d) Si las premisas son negativas no hay conclusión.
e) Si las premisas son particulares, la conclusión es
particular.
15. En el siguiente argumento: "Ningún Arequipeño es
norteño y los Chiclayanos son norteños; entonces la
conclusión correcta es:
a) Ningún norteño es arequipeño.
b) Los chiclayanos no son arequipeños.
c) Ningún chiclayano es arequipeño.
d) Algunos arequipeños son norteños.
e) b y c.
16. Si en un silogismo una de las premisas es particular
negativa entonces, necesariamente, la otra premisa debe
ser:
a) También negativa.
b) Afirmativa.
c) Universal.
d) Universal negativa.
e) Universal afirmativa.
17. Para que un silogismo esté bien estructurado, es
importante que:
a) La premisas sean negativas.
b) La conclusión sea débil.
c) El término medio esté en la conclusión.
d) Por lo menos una premisa sea universal.
e) Por lo menos el término medio se encuentre en las
premisas y en la conclusión.
18. Determinar la conclusión lógica de: "Los juristas saben
de leyes; los que saben leyes son abogados entonces
........"
a) Los abogados son juristas.
b) Algunos abogados son juristas.
c) Ningún jurista es abogado.
d) Todo jurista es abogado.
e) Muchos abogados no son juristas.
19. Señale la conclusión correcta de los siguientes
propuestos:
1. Algunas flores son rojas.
2. Todas las flores son vegetales.
a) Algunas flores son vegetales.
b) Algunos vegetales no son rojos.
c) Ningún vegetal es una flor.
d) Algunos vegetales son rojos.
e) Todas las flores no son rojas.
96
20. En un silogismo, si una de las premisas es débil,
entonces la conclusión:
a) Es universal.
b) Puede ser afirmativa o negativa.
c) Puede ser una particular o una negativa.
d) Siempre es negativa.
e) Es una particular negativa en todos los casos.
21."Todo cantante es artista y todo artista es bohemio", luego:
a) Muchos cantantes son bohemios.
b) Ningún artista es bohemio
c) Algunos bohemios son cantantes.
d) Determinados bohemios no son artistas.
e) Algunos cantantes no son artistas.
22. De las siguientes premisas:
P1: Algunos fanáticos no son amistosos.
P2: Algunos amistosos son educados.
La conclusión será:
a) Todos los educados son fanáticos.
b) Algunos educados son fanáticos.
c) Ningún fanático es educado.
d) Todos los fanáticos no son educados.
e) No existe conclusión.
23. Determine la conclusión correcta:
"Algunos psicólogos son humanistas y todo humanista
es fenomenólogo"
a) Algunos fenomenólogos son humanistas.
b) Muchos fenomenólogos son psicológos.
c) Ningún fenomenólogo es psicológo.
d) Todo psicólogo es fenomenólogo.
e) Ninguna de las anteriores.
24. En un silogismo de la primera figura, tiene como
premisas el modo "OI" por lo tanto la conclusión será
una proposición:
a) Universal afirmativa.
b) Universal negativa.
c) Particular afirmativa.
d) Particular negativa.
e) No existe conclusión.
25. "Si todos los matemáticos son científicos y todos los
científicos son investigadores, luego todos los
investigadores son metodólogos".
En el razonamiento anterior, el error está en la presencia
de (l):
a) Dos términos.
b) Un término.
c) Cuatro términos.
d) Término medio.
e) Término mayor.
26."Muchos poetas son románticos, pero también todo
romántico es localista; por lo tanto algunos localistas
son románticos".

En el razonamiento anterior, se afirma que es incorrecto
porque:
a) El término medio se halla en la conclusión.
b) El término mayor no está en las premisas.
c) La conclusión no deviene en la premisa débil.
d) Todas.
e) b y c.
27. Si:
Los cítricos son frutas.
Algunas frutas son carnosas.
Algunas carnosas no son cítricos.
El razonamiento anterior es incorrecto porque no sigue
la regla silogística que dice:
a) De dos premisas negativas nada se concluye.
b) De dos premisas particulares nada se concluye.
c) El término medio debe aparecer sólo en las
premisas.
d) El silogismo debe contener sólo tres términos.
e) De dos premisas afirmativas no se puede concluir
en una proposición negativa.
28. Todos los profesores son profesionales sacrificados.
Algunos biólogos son profesores._____________
Todos los biólogos son profesionales sacrificados.
El razonamiento anterior es incorrecto porque no sigue
la regla silogística que afirma que:
a) La conclusión siempre sigue a la premisa más débil.
b) No puede haber en la conclusión ningún término
distribuido que no lo esté en las premisas.
c) El silogismo sólo debe poseer tres términos.
d) De las premisas afirmativas no se concluye en una
proposición negativa.
e) El término medio se distribuye en una de las
premisas.
29. Si:
Ningún tenista es proletario.
Algunos deportistas no son tenistas.________
Luego : Algunos deportistas son proletarios.
El razonamiento anterior es incorrecto porque no sigue
la regla silogística del:
a) De dos premisas negativas no se puede obtener
conclusión.
b) De dos premisas particulares nada se concluye.
c) El término medio se distribuye en una de las
premisas.
d) La conclusión sigue siempre a la premisa más dé-
bil.
e) El término medio debe aparecer sólo en las
premisas.
30. Si:
Decir que eres un animal es decir la verdad.
Decirte asno es decir que eres un animal.
Por tanto: Decirte asno es decir una verdad.
Es razonamiento incorrecto por no observar la regla:
a) El silogismo debe contener sólo tres términos y cada
uno, usados en el mismo sentido.
b) De dos premisas afirmativas no se puede concluir
TRILCE
en una proposición negativa.
c) De dos premisas negativas nada se concluye.
d) El término medio se distribuye en una de las
premisas.
e) El término medio sólo aparece en las premisas.
31.Si:
Algunos tigres son de Malasia.
Algunas fieras son tigres._______
Algunas fieras son de Malasia.
Es razonamiento incorrecto ya que:
a) El término medio aparece en la conclusión.
b) De dos premisas afirmativas se concluye en una
proposición afirmativa.
c) De dos premisas particulares nada se concluye.
d) Una de las premisas tiene que ser universal.
e) La conclusión sigue siempre a las premisas más
débil.
32. Señale lo no correcto, sobre el silogismo categórico:
a) Debe haber siempre una premisa universal.
b) Si ambas premisas son débiles, la conclusión es
débil.
c) El término medio sólo está en las premisas.
d) Una de las premisas tiene que ser universal.
e) No hay conclusión si ambas premisas son negati-
vas.
33. En un silogismo categórico:
a) Existe dos términos principales mayor y menor.
b) Ambas premisas pueden ser negativas.
c) Es posible que el término medio aparezca en la
conclusión.
d) No debe evitarse incluir una premisa universal.
e) Debe evitarse que el término mayor aparezca en la
conclusión.
34. Si "Ningún delincuente es honesto, tal como es el caso
que algunos gobernantes son honestos, en
consecuencia..."
a) Algunos gobernantes son delincuentes.
b) Existe al menos un gobernante que no es delin-
cuente.
c) Ciertos delincuentes no son gobernantes.
d) Todos los gobernantes son delincuentes.
e) Muchos delincuentes no son gobernantes.
35. Algún músico es intimista; pero todo romántico es un
intimista. Luego:
a) Algún romántico es músico.
b) Algún romántico no es músico.
c) Algún músico no es romántico.
d) Algún romántico es músico.
e) Algún romántico no es intimista.
36. No es cierto que algún peruano sea asiático, ningún
asiático sea chino. En conclusión:
a) Algún asiático es chino.
97
Lógica
b) Algún chino no es chino.
c) Algún chino no es peruano.
d) Algún peruano no es chino.
e) No hay conclusión.
37. "Algún cetáceo no es mamífero, algún acuático no es
mamífero". Si la primera proposición es falsa, qué
conclusión obtenemos de las dos:
a) Todo mamífero es acuático.
b) Algún acuático es cetáceo.
c) Algún cetáceo no es acuático.
d) Algún acuático no es cetáceo.
e) Ningún acuático es cetáceo.
38. Algún vivíparo es ave.
Algún plumífero no es ave.
Siendo falsas, ¿qué conclusiones obtenemos?
a) Algún plumífero es vivíparo.
b) Algún vivíparo no es plumífero.
c) Algún plumífero no es vivíparo.
d) Ningún plumífero es vivíparo.
e) Todo plumífero es vivíparo.
39. Todo insecto es invertebrado.
Algún vertebrado es serpiente.
Por lo tanto:
a) Ningún insecto es serpiente.
b) Algún insecto es serpiente.
c) Alguna serpiente es invertebrado.
d) Toda serpiente es vertebrada.
e) Alguna serpiente no es insecto.
40. No hay hombre que sea inmortal. Muchos hombres
son artistas. En consecuencia:
a) Todo artista es inmortal.
b) Ningún artista es mortal.
c) Ningún artista es inmortal.
d) Algún artista es inmortal.
e) Algún artista es mortal.
41. Si:
Todas las aves son voladoras.
La paloma es un ave._________
Las voladoras son aves.
Es un razonamiento incorrecto porque:
a) La conclusión no sigue a la premisa más débil.
b) El término medio aparece en la conclusión.
c) El término medio no posee cantidad universal.
d) El silogismo posee más de tres términos.
e) Todas las anteriores.
42. Si:
Los picos son accidentes geográficos.
Algunas herramientas son picos._________
Algunas herramientas son accidentes geográficos.
Es un razonamiento incorrecto porque:
a) El término medio no se usa en el mismo sentido.
b) El término medio se repite en la conclusión.
c) La conclusión no sigue a la premisa débil.
d) De dos premisas afirmativas, la conclusión es am-
bigua.
e) Son seudo proposiciones.
98
43. Si:
Todos los lógicos son filósofos.
Todos los lógicos son matemáticos.
Todos los matemáticos son filósofos.
Es un razonamiento incorrecto porque:
a) No puede haber en la conclusión ningún término
distribuido que no esté también distribuido en las
premisas.
b) La conclusión no sigue a las premisas débiles.
c) De dos premisas universales nada se concluye.
d) Contiene cuatro términos.
e) El término medio aparece en la conclusión.
44. Si:
Algunos adultos son pervertidos.
Algunos curas son adultos._______
 Algunos curas son pervertidos.
Es un razonamiento incorrecto porque:
a) El silogismo posee cuatro términos.
b) El término medio es ambiguo.
c) La conclusión no sigue a la premisa débil.
d) Una de las premisas es falsa.
e) De dos premisas particulares nada se concluye.
45. Es una regla del silogismo:
a) De dos premisas particulares nada se concluye.
b) El silogismo es una inferencia mediata.
c) El silogismo tiene premisas y conclusión.
d) La conclusión del silogismo tiene sujeto y predica-
do.
e) Los términos del silogismo representan clases.
46. ¿De qué premisas obtendríamos lo siguiente como
conclusión?
" H O M"
a) HeM-MiR
b) HeR-MiH
c) MaR-HiR
d) MaR-HoR
e) MeR-HoR
47. Determine la forma y la validez del siguiente silogismo:
"El 100% de alemanes es europeo. Además, no hay
parisino que sea alemán. Por ende, nadie que sea
europeo ni parisino".
a) AEE1-válido
b) EAE1-inválido
c) EAE4-válido
d) EAE4-inválido
48. Ningún reptil es vivíparo.
Toda serpiente es reptil.
Alguna serpiente es venenosa.
Ergo:
a) Ningún venenoso es vivíparo.
b) Todo vivíparo es venenoso.
c) Todo venenoso es reptil.
d) Alguna venenosa es vivíparo.
e) Algún venenoso no es vivíparo.
 TRILCE

49. Si un individuo es filósofo, no es dogmático. d) Algún ignorante no es aviador.

Determinado filósofo es materialista. e) Más de una.
Por tanto:
a) Algún materialista no es individualista. 56. La conclusión de la premisas, es:
b) Algún materialista es dogmático. PM Algún leopardo es lento.
c) Algún materialista no es dogmático. Pm Todo leopardo es animal.
d) Ningún materialista es dogmático. C :
e) Algún dogmático no es materialista. a) Algún animal es lento.
b) Ningún animal es lento.
50. Si un sujeto es joven, es rebelde. Todo rebelde critica al c) Todo animal es lento.
sistema. Entonces: d) Algún lento no es animal.
a) Si alguien critica al sistema no es joven. e) Todo animal es leopardo.
b) Todo el que critica el sistema es joven.
c) Si alguien es rebelde es crítico. 57. Determine la conclusión de las siguientes premisas
d) Todo joven critica al sistema. P1 Ningún M es P.
e) Ningún crítica el sistema es no joven. P2 Algún M es S.
C:
51. En el siguiente silogismo la conclusión es: a) Algún S es P.
PM Algunos reyes católicos. b) Todo S es P.
Pm Algunos católicos son justos. c) Ningún S es P.
C : d) Algún S no es P.
a) Todo rey es justo. e) Varios S son P.
b) Todo justo es rey.
c) Algún rey es justo. 58. Halle la conclusión de:
d) Algún justo es rey. PM Ningún alemán es sanguinario.
e) No hay conclusión. Pm Todo alemán es hombre. _______
C:
52. La conclusión del silogismo es: a) Algún hombre no es sanguinario.
PM Todo artista no es inteligente.
b) Ningún hombre es sanguinario.
Pm Ningún artista no es niño.
c) Ningún alemán es sanguinario.
C:
a) Ningún niño es inteligente. d) Algún hombre es alemán.
b) Ningún artista es inteligente. e) Varios hombres son alemanes.
c) No existe conclusión.
d) Todo niño no es inteligente. 59. En el silogismo:
e) Algún niño no es inteligente. "Todo campeón es ganador,
muchos campeones son soberbios
53. La conclusión correcta es: Luego algunos soberbios son ganadores".
PM Ningún oso es cuidadoso. El término mayor es...........
Pm Algún animal es oso._____
El término menor es..........
C :
El término menor es..........
a) Algún animal no es cuidadoso.
b) Ningún animal es cuidadoso. a) soberbio - campeón - ganador
c) Todo animal es cuidadoso. b) ganador - campeón - soberbio
d) Algún animal es cuidadoso. c) campeón - soberbio - ganador
e) Ningún animal es cuidadoso. d) ganador - soberbio - campeón
e) soberbio - ganador - campeón
54. Halle la conclusión correcta en:
PM Todo general es riguroso 60. Señale lo correcto; con respecto a las reglas del
Pm Algún hombre es general.
silogismo:
C :
a) El término medio se halla en la conclusión.
a) Todo hombres es riguroso.
b) La conclusión particular proviene de ambas
b) Algún hombre es riguroso.
premisas particulares.
c) Algún general es hombre.
c) La conclusión negativa no proviene de una premi-
d) Ningún hombre es riguroso.
sa universal.
e) Todo general es valiente.
d) Debe existir una premisa universal siempre.
e) Si las dos premisas son débiles, la conclusión es
55. PM Todo aviador es oficial.
débil.
Pm Ningún ignorante es oficial.
La conclusión es:
a) Ningún ignorante es aviador.
b) Todo ignorante es aviador.
c) Algún ignorante es aviador.

99
 TRILCE

Capítulo
DIAGRAMAS DE VENN EN
12 EL SILOGISMO CATEGÓRICO

El Método de los Diagramas de Venn se utiliza para verificar si las reglas del silogismo se han aplicado correctamente, es
decir, nos permite determinar la validez o invalidez del Silogismo Categórico.
En este método no se necesita saber el modo y la figura del silogismo, es decir, no interesa el orden de la premisa mayor y
la premisa menor, respectivamente, sino basta que la conclusión se distinga de las premisas.
También las proposiciones componentes pueden estar o no en su forma típica, lo importante es su representación en el
diagrama.
Para analizar un silogismo se utiliza un diagrama, donde se dispongan tres circunferencias, porque el silogismo consta de
tres términos. De esta manera, se tiene lo siguiente.

Donde: 1. S P M
S= T. Menor SM P
P = T. Mayor 3 2. SM P
S M P S MP S M P
M = T. Medio 4 3. SM P
2 S M P
5 6 7 4. S M P
1
S M P S MP
8 5. S M P
SMP 6. S M P
U
S 7. S M P
8. S M P
M

PASOS DE LOS DIAGRAMAS DE VENN:

1. Las premisas y la conclusión del Silogismo deben ser representadas o formalizadas por sus fórmulas booleanas
respectivas:
Ejemplo 1:

P(1): Todo griego es occidental P(1): M A P MP =0

P(2): Todo ateniense es griego . P(2): S A M S M=0
C: Todo ateniense es occidental C: SAP S P =0

2. Se traza el diagrama de Venn, indicando el contenido de cada circulo:

Atenienses Occidentales

M
Griegos U

101
Lógica

3. Se diagrama únicamente las "Premisas" (no se diagrama la conclusión), empezando por la premisa universal; luego
por la premisa particular, si la hay.

M U

4. Analizar el diagrama: Si al graficar las premisas, se ha graficado automáticamente la conclusión, entonces el silogis-
mo es válido. Pero si al graficar las premisas la conclusión no se encuentra diagramada, entonces el silogismo es
inválido.

El ejemplo anterior es un silogismo válido porque la conclusión ha sido diagramada automáticamente.

Ejemplo: 2
P(1): Todo líder es un buen orador.
M P
P(2): Algunos sindicalistas son líderes.
S M .
C: Muchos sindicalistas son buenos oradores.
S P

P(1) : M A P MP =O x P
P(2) : S I M SM=O S
C: S IP SP =O
M

El silogismo es válido: la conclusión se lee en el diagrama.

Ejemplo: 3
P(1): Algunos indigenistas son historiadores
P M
P(2): Todos los arqueólogos son historiadores
S M .
C: Algunos arqueólogos no son indigenistas
S P

P(1) : P I M PM=O P
S
x

P(2) : S A M SM =O
C: S OP SP =O
M

El silogismo es inválido: la conclusión no se lee en el diagrama.

102
 TRILCE

PRÁCTICA
01. El siguiente diagrama de Venn: a) 2, 3 y 4 b) 5, 6 y 7
c) 1, 5 y 7 d) 1, 7, 2 y 5
e) N.A
S P
04. Determinar la alternativa correcta del silogismo: Algún
M
Corresponde a la fórmula del silogismo. responsable es decente, ya que algún decente es veraz
y todo veraz es responsable:
MP   PM   a) Es válido.
b) No es válido.
SM   SM  
a) b) c) Es imposible que sea válido.
SP   SP   d) Es falso que no sea válido.
e) No puede ser válido.

PM   MP   05. Diagrama el siguiente silogismo: Todo P es M y Ningún

PM   SM   M es S. Por lo tanto, Ningún S es P.
c) d)
SP   SP   S b P
c d
e) N.A f eg
a h
02. Marque la alternativa cuyo diagrama corresponde al M
silogismo:
"Todos los psiquiatras son médicos. a) c, d, e, f b) c, d, e, f
Todos los cirujanos son médicos. c) b, c, e, g d) b, c, f, h
Algunos cirujanos son psiquiatras. e) c, d, g y h

U 06. Identifique las áreas digramadas, respectivamente, en

el siguiente silogismo:
P(1): Ningún científico es subjetivista
a) S P P(2):Todo investigador sistemático es cien tífico.
M C : Ningún investigador sistemático es subjetivista

1
2 6 4 P
3
x S 5 7
b) S P 8
M
M
a) 2, 3, 6 y 7 b) 1, 2, 5, 6 y 7
c) 2, 3, 5, 6 y 7 d) 3, 4, 5, 6 y 7
P e) 2, 3, 5 y 7
x
c) S
07. En los siguientes propuestos:
M
I. Los diagramas de Venn demuestran si el silogismo
es válido o inválido.
U
II. Sólo se diagramarán las premisas.
x III. Se diagrama la conclusión luego de las premisas.
d) S P IV. La conclusión no necesita ser diagramada.
M Lo correcto es:
a) I y II son falsos.
e) No hay respuesta porque es una falacia. b) Sólo I es verdadero.
c) Sólo III es falso.
03. "Algunos marineros no viajan por los mares y todo d) Sólo IV es verdadero.
marinero sirve a la patria; sabiendo además que los e) Todas son falsas.
marineros en cada puerto dejan un amor". ¿Cuáles son
las áreas digramadas?. (Donde: M=marinero; 08. Si:
V=marineros que viajan por los mares; P=marineros
que sirven a la patria).
P M M S
P(1) y P(2)
U
2 3 4
6 Entonces, necesariamente la conclusión es:
P 5 7 V a) Todo S es P.
1
M b) Ningún S es P.

103
Lógica

c) Algunos S no son P. 13. Halle el diagrama de: "Ningún mamífero es

d) b y c. invertebrado" y "Algunos invertebrados son
e) a y c. Celópodos"; luego "Algunos Celópodos son
mamíferos".
09. Sabiendo que:
S P S x P
P(1) : MP  0 y P(2) : M S  0 entonces el diagrama
a) x b)
correcto de la conclusión es: M M

a) x b)
S P S P x
S x P S P
c) d)
x x M M
c) d)
S P S P
S x P

e) e)
P M
S

10. Señale el diagrama: AII3 14. En el siguiente silogismo:

Algunos latinos no hablan inglés.
Todo latino es americano.__________
S x P S x P Algunos americanos no hablan inglés.
a) b)
M M
S 1 2 3
P
4 56
S x P S x P 7
c) d) M
M M Las áreas diagramadas, respectivamente, son:
a) 4, 6 y 7
S b) 4, 5, 6 y 7
P
x c) 3, 4, 5, 6 y 7
e)
d) 1, 2, 3 y 6
M e) 2, 4, 5 y 6

11. El silogismo: "Ningún animal es un ave. Todas las 15. En el siguiente silogismo:
palomas son aves. Luego, ninguna paloma es un animal
Ningún árbol es un ave.
rumiante". Su diagrama de Venn señala que el silogismo
es: Toda paloma es una ave.
a) Válido. Ninguna paloma es árbol.
b) Inválido.
c) Falso. Las áreas diagramadas respectivamente son:
d) Verdadero.
e) Falacia. U
1 2 3
5 P
12. Indicar las áreas que se han diagramado en el siguiente S 4 6
7 8
silogismo: M

U P(1):PM=0 a) 1, 2, 3, 4, 5 y 6.
S a e c P(2):MS=0 b) 1, 2, 5 y 6.
d bf P C: SP=0 c) 1, 2, 4, 5 y 6.
h g M
d) 1, 2, 4, 5, 6 y 7.
a) a, b, c, y d e) 4, 5, 6 y 7.
b) b, c, e, f y g
c) g, f, e y c
d) d, b, f, g y c
e) a, f, g, h, c y d

104
 TRILCE

16. Qué conclusión se lee: a) d, e, f y g.

b) d, f y g.
S P c) d, e y f.
x d) c, d, e, f y g.
e) b, d, e, f y g.

M 21. Si la premisa mayor es:

P M
a) M a P b) P a M c) S o M
d) S o P e) S a P
y la conclusión es: S P   , la premisa menor será:
a) Todo S es M.
17. Todos los artistas son ególatras. b) Algún M es S.
Algunos artistas son indigentes. c) Algún S no es M.
Algunos indigentes son ególatras.
d) Algún S no es M.
El silogismo anterior es:
a) Correcto. e) Ningún S es M.
b) Válido.
c) Inválido. 22. Si:
d) Falso. P P M P2S M
e) a ó b 1

18. En el siguiente diagrama:

concluimos:
a) Ningún S es P.
S P b) Todo S es P.
x c) Algún S es P.
d) Algún S es M.
M e) Todo S es M.
Le corresponde a:
a) OIO-2 23. Si:
b) EII-3 P1 M P P2 M S
c) EIO-4
x
d) EAE-2
e) AEO-1
deducimos:
19. El diagrama corresponde al siguiente silogismo: a) S P   b) S P  

c) S P   d) S P  
P
S e) S M  
M
24. En el siguiente silogismo, las áreas diagramadas de la
a) Primera figura, modo EAE. premisa del término mayor son:
b) Segunda figura, modo EAI. P1: Algún extranjero es chileno.
c) Tercera figura, modo EAO. P2: Todo chileno es americano.
d) Cuarta figura, AEE.
 Algún americano es extranjero..
e) Primera figura EIO.

1 2 3
20. En el argumento silogístico: S
"Algunos diplomáticos no mienten, y además los 456 P
diplomáticos son oradores; se deduce que muchos 7
M
oradores no mienten". Las áreas diagramadas, respec-
tivamente son: a) 4, 5, 6.
b) 5, 6, 7.
c) 2 y 5.
a b c d) Sólo 5.
O d ef M e) 6 y 7.
g
D

105
Lógica

25. En la formulación siguiente y luego de verificar el 29. Algún metaloide no es gas.

diagrama, señale lo correcto: Todo metaloide es elemento químico.
Por lo tanto:
P1 : PM  P2 : M S  0; SP  0 a) Algún gas es metaloide.
b) Algún elemento químico no es gas.
U c) Algún elemento químico es gas.
S x P d) Todo elemento químico es gas.
e) Ningún elemento químico es gas.
M
30. Ningún lógico es mentiroso.
a) Es de la cuarta figura. Algún periodista es mentiroso.
Por tanto:
b) Es válido.
a) Algún periodista es lógico.
c) No es incorrecto. b) Algún periodista no es lógico.
d) La conclusión se lee en el diagrama. c) Todo periodista es lógico.
e) Todas son correctas. d) Ningún periodista es lógico.
e) Ningún no-periodista es lógico.
26. Un silogismo es válido mediante los diagramas de Venn,
31.
cuando:
a) Se diagraman sólo las premisas.
P1 : MP  0
b) Se diagraman premisas y conclusiones, respectiva-
x P P2 : SM  0
mente. S
c) Sólo diagramas la conclusión. M C : SP  0
d) Si una premisa es universal y la otra particular se
Analiza el diagrama y marca tu respuesta.
diagrama primero la universal. a) Es válido.
e) La conclusión ya está implícitamente diagramada. b) Es inválido.
c) Es correcto.
27. En el siguiente argumento: d) Es falso.
Todo matemático es lógico. e) N.A.
Algunos profesores son matemáticos.
Algunos profesores son lógicos. 32. Señale las áreas diagramadas en el siguiente silogismo.
Las áreas diagramadas respectivamente son: "Si algunos ingenieros son matemáticos y todos los
U matemáticos son analíticos, entonces algunos analíticos
1 2 3 son ingenieros"
P 56 7 L donde:
A I
4 8 a b c A = Analíticos
M
d ef M = Matemáticos
a) 5; 6; 7 y 4 g M I = Ingenieros
b) 4; 5; 6 y 7
c) 2; 3; 5; 6 y 7 a) c, d y e.
d) 4; 5 y 6 b) d, e, f y g.
e) 5; 6 y 7 c) e, f y g.
d) a, b, c y d.
28. En el razonamiento: "Si ningún pacifista es guerrero y e) d, e y f.
todos los espartanos eran guerreros; entonces ningún
espártano era pacifista". Luego de formular, las zonas 33. Indique el diagrama correcto de la estructura silogística:
sombreadas son: "4 - I A I"

12 3 S P
E P
456 P a) S x b) x
7 M
G M
a) 1; 2; 3; 4; 5; 6 y 7.
b) 1; 2; 3; 5 y 6.
c) 1; 2; 5 y 6. S x P S x P
c) d)
d) 1; 2; 3; 4; 5 y 6.
e) 2; 5 y 6. M M

106
 TRILCE

P MP  0
S
x MS  0
e) e)
M SP  0

34. Indentifique el diagrama correcto del silogismo: 37. Señale la forma silogística que origina el diagrama:
P1: Ningún árbitro es imparcial.
P2: Todo árbitro es humano.
 Ningún humano es imparcial. P
S
M
P P
a) S b) S a) AEA4
M M b) I EO3
c) AEE1
d) EAE4
P S P e) EAE2
c) S x d)
M M 38. Marque la alternativa cuyo diagrama corresponde al
silogismo:
S P "Todas las sillas son muebles.
Todos los banquitos son sillas.
e) Todos los banquitos son muebles".
M

35. Identifique las áreas diagramadas del término menor P

a) S
en el siguiente silogismo:
P1: Ningún gato es inmortal. M
P2: Todo animal es inmortal.
 Ningún animal es gato..
S P P
a b c x
b) S
d ef
M
g M
a) a, b, c y e.
b) a, b y c.
c) d, b, e y f. x P
d) b, c, d y e. c) S
e) d, e y f. M

36. Indique la fórmula correcta del siguiente diagrama:

U
d) S P
S x P
M
M

MP  0 PM  0 S P
e)
SM  0
a) b) S M  0 M
SP0 SP0

MP  0 MP  0
MS  0 MS  0
c) d)
SP0 SP  0

107
Lógica

39. El diagrama de Venn a) 1, 6, 3, 7.

b) 1, 6, 3, 2.
c) 1, 6, 3, 5.
P d) 8, 6 , 3, 7.
x e) N.A.
S
M
43. Para determinar la validez del silogismo.¿Qué zona
corresponde a la fórmula del silogismo: debemos sombrear?

PM   PM   M E
SM   3 5 1 PM Todo L es E
SM  
a) b) 2 78 Pm Ningún M es L
SP S P 4 C Ningún M es E
6 L
PM   MP   a) 2, 7 y 8
SM   SM   b) 3, 5, 7 ,8
c) d) c) 2, 4 y 7
S P SP d) 4, 7 ,8, 3
e) 3, 5, 2, 7
MP  
44. ¿Qué zonas debemos sombrear para determinar la
SM  
e) validez del siguiente silogismo:
SP S P PM P M  
2 3 4
40. Señale la afirmación correcta con respecto al diagrama: 6 57 Pm S M  
1 8
M  S P

a) 6, 5,7.
S P
b) 2, 3, 4.
c) 8, 7, 5.
M
d) 3, 4, 7.
a) La forma que se obtiene es AEI3. e) 3, 4, 5.
b) El diagrama representa un silogismo válido.
c) El término mayor del diagrama es S. 45. Hallar la forma del diagrama del siguiente silogismo:
d) La conclusión no está graficada en el diagrama de "Algunos policías no son honestos y ningún honesto
Venn. es delincuente; de ahí que, algunos policías no son
e) Ninguna es correcta. delincuentes".

41. Determine la forma silogística que se obtiene del x

diagrama: D D
a) P b) P
P x
S H H

P x D
M x
c) P D d)
a) AEE2
b) AAA4
H H
c) EAE2
d) IAI3 P x D
e) EAE4
e)
42. Qué zonas debemos sombrear para determinar la H
validez de los silogismos:
46. Transformar la forma típica a fórmula booleana:

8 6 1 PM Todo F es A PM : AaV
G 7 3 2 F Pm Ningún G es A Pm : PaA
4 5 C Ningún G es F
A  PaV

108
 TRILCE

PM : A V  
Pm : P A   P
a) e)
 P V S
M

PM : A V   49. Señala la forma silogística que origina el diagrama:

b) P m : P A  
 P V P
S
PM : A V   M
a) EAE2
Pm : P A  
c) b) AEE1
 P V c) EAE3
d) AEE2
e) EAE4
PM : A V  
Pm : P A   50. Determina la forma silogística que origina el diagrama:
d)
 P V
S x P
PM : A V  
M
Pm:PA  a) OAO3
e)
 PV   b) AOO2
c) IAI3
d) AII1
47. El diagrama de Venn del silogismo válido: "Todos los e) EIO4
claveles son vegetales y ningún gato es vegetal, por lo
tanto ningún gato es clavel", es: 51. ¿Qué premisas se leen en el gráfico?

P
a) S b) S P S x P
M M M

a) M a P
P P Si M
c) S d) S b) P a M
M M SoM
c) M e P
SiM
d) P a M
e) S P MiS
e) M i P
M SaM

48. El Diagrama de Venn del Silogismo AAA1 es: 52. Obtenga fórmulas correspondientes al diagrama:

U
P x
a) S P b) S P
S
M M
M

P P PM   PM  
c) S x d) S
SM   SM  
M M a) b)
SP   SP  

109
Lógica

56. Determine el diagrama de Venn que representa al

PM   PM   siguiente silogismo:
SM   SM   "Todos los leones son animales y ningún animal es
c) d)
árbol, por tanto ningún árbol es león"
SP   SP  

MP   P P
a) S b)
SM  
e) M M
SP  

53. Qué zonas deben ser sombreadas para graficar el P

c) S d) S P
silogismo:
Ningún ornitorrinco es ave. M
Todo pato es ave.
P
Por ello, ningún pato es ornitorrinco. S
S P e)
2 3 4 M
6 57
1 8
M 57. La fórmula booleana del diagrama siguiente es:
a) 2, 3, 6 , 8
b) 3, 4, 5, 6
c) 2, 3, 5, 7 P
d) 3, 4, 7, 8 S
e) 2, 3, 5, 6 M

54. Cuál es la premisa mayor en el silogismo diagramado:

PM   MP  
MS   SM  
x a) b)
P SP
S SP  
M
a) PoM MP   MP  
b) SaM MS   SM  
c) d)
c) MaS
SP S P
d) SiP
e) MoP
PM  
55. ¿Cuál de los diagramas corresponde a un silogismo de MS  
e)
forma OAO3?
SP

S P S x P 58. El diagrama corresponde al silogismo:

a) x b) U
M M
S P
S x
x P
S P x M
c) d)
a) AIO3
M M b) AIO4
c) AIO1
d) AIO2
S P e) EIO2
e)
x

110
 TRILCE

59. Qué gráfico corresponde a: 60. La forma del silogismo representado en lo siguiente es:
Ningún Y es X.
Algún Z es X.___ x
Algún Z no es Y. P
S
M
a) AOO2
x x b) EIO1
y y c) OAO2
a) z b) z
x
d) OAE2
x
e) AOO3

y
c) z x y d) z x
x x

x
e) z y
x

111
Lógica

112