Professional Documents
Culture Documents
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")
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?
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.
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
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.
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.
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.
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
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:
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.
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
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.
18
TRILCE
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
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:
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:
Conectiva .... y .... .... o .... o ... o ... si ... entonces ... ... si y solo si ...
Operador
Ejemplo:
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:
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.
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:
Fórmula : q p
Nombre : Fórmula condicional inverso
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.
* pq Es una fmf porque el operador " ", no es monádico y debe estar entre variables.
(Ejm. p q)
* pqr 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
25
Lógica
Ejemplo:
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) pq 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
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
29
Lógica
30
TRILCE
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
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 pq
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 pq
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 pq
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 pq
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
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
Resultado: VFF.
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
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
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
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)
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.
jhsf 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
41
Lógica
42
TRILCE
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.
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
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:
"Si Federico decide quedarse en la biblioteca después de las clases, entonces repasará la lección de hoy".
Pasos a seguir:
2. Estructura formal
Si p entonces q.
p q ~ p q
p q ~(p~q)
* 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
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:
( ~pq) 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
~ ~(p q)~ (~ q ~ p) e) (p q) (p r)
46
TRILCE
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
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
48
TRILCE
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.
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
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 q
53
Lógica
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
55
Lógica
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
57
Lógica
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:
AB [(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:
AB [(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:
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:
AB BC [(p q) (q r)] (p r)
BC AB [(q r ) (p q)] (p r)
AC AC
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
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
AB AB (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
Ejemplo:
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
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”.
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) qr (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 //
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
64
TRILCE
36. Si es vacaciones y temporada de feria, saldremos a 41. Si las cosas salen bien, viajaremos al Sur, pero si hay
pasear. Ocurre que no salimos a pasear, luego: demasiado trabajo, el viaje se suspende hasta la otra
a) No es vacaciones y temporada de feria. semana. Así que las cosas salen bien o hay demasiado
b) Si es vacaciones pero no hay feria. trabajo.
c) Es falso que sea vacaciones o temporada de feria.
Luego:
d) No es vacaciones o no es temporada de feria.
a) Si viajamos al Sur, no iremos la otra semana.
e) Ni es vacaciones ni temporada de feria.
b) Viajamos al Sur o lo suspendemos hasta la otra
37. Si: semana.
* Hay contaminación o el clima es muy húmedo. c) Viajamos al Sur la próxima semana.
* Pero el clima no es muy húmedo. d) Viajamos al Sur ahora.
Luego: e) Ya no iremos de viaje.
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. 42. Si se cumple no p entonces no q.
d) Hay contaminación. Pero se da el caso que no p.
e) El clima es muy húmedo o no hay contaminación. Por tanto:
a) q b) No q
38. A partir de los siguientes enunciados: c) No p d) p
* Si ocurre el Fenómeno del Niño, habrá una ola de e) s
calor.
* Pero no habrá una ola de calor. 43. Ha ocurrido que Pedro recibió el mensaje. Suponemos
¿Qué se puede concluir de ellos? que Pedro fue de compras o salió a pasear si recibió el
a) Ocurrirá el Fenómeno del Niño. mensaje.
b) Ocurrirá el Fenómeno del Niño, pero no habrá una ¿De tales situaciones qué podemos deducir?
ola de calor. a) Pedro no salió de compras pero sí a pasear.
c) Habrá una ola de calor, pero no ocurrirá el Fenó- b) Pedro salió de compras o a pasear.
meno del Niño. c) Es falso que Pedro haya salido a comprar o a pa-
d) Ocurrirá el Fenómeno del Niño y habrá una ola de sear.
calor.
d) Pedro no salió a comprar ni a pasear.
e) No ocurrirá el Fenómeno del Niño.
e) Es falso que Pedro no haya salido a comprar o no
salió a pasear.
39. Qué se concluye de:
* Si practicas pesas, estás en forma.
44. Si Aneth es estudiosa o empeñosa, ingresará. Sabemos
* Las chicas te miran si estás en forma.
que es mentira que no sea estudiosa ni empeñosa.
a) No es el caso que practiques deportes y las chicas te
Entonces, se deduce que:
miren.
a) Aneth es estudiosa, pero no ingresa.
b) No es cierto que estés en forma o las chicas te mi-
b) Aneth ingresará.
ren.
c) Aneth no ingresará.
c) Las chicas te miran y no practicas pesas.
d) Aneth no es empeñosa, pero si estudiosa.
d) No practicas pesas o las chicas te miran.
e) Aneth es empeñosa, pero tampoco ingresa.
e) No es cierto que practiques pesas o las chicas te
miren.
45. Ingrid no es limeña o peruana. No es el caso que sea
peruana ni latina, en consecuencia:
40. Si Carolina regresa a Moscú, Jorge será feliz. El avión a) Si Ingrid es peruana, es latina.
llegará al amanecer si no hay niebla en la ciudad. Pero, b) Ingrid no es latina pero si peruana.
si hay niebla en la ciudad entonces Carolina no c) Si Ingrid es latina, es limeña.
regresaba de Moscú. d) Ingrid es limeña y es latina.
e) Si Ingrid es limeña, es latina.
Si sabemos que Carolina regresa de Moscú, se deduce:
I. Jorge será feliz.
46. Cuando te titules, serás profesional.
II. El avión llegará al amanecer. Además si trabajas, ganarás dinero.
III. No hay niebla en la ciudad. Pero es falso que seas profesional y ganes dinero, por
lo tanto:
a) Sólo I. a) Cuando te titules, trabajarás.
b) III y II. b) Si no te titulas, no ganas dinero.
c) I y II. c) Si te titulas, no trabajarás.
d) Si no eres profesional, no ganarás dinero.
d) I y III.
e) Te titulas o no trabajas.
e) Todas.
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. CB
e) Si eres el criminal, entonces estás en la cárcel. b) CA
~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
66
TRILCE
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.
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
Ejemplo:
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 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.
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.
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
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:
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"?
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
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
S P
x
73
Lógica
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
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
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
78
TRILCE
PRÁCTICA
01. "Es imposible que todo pez sea ave". 08. El siguiente enunciado es falso: "Algunas ballenas
Determinar la conclusión correcta del argumento son mamíferos". Determine la conclusión verdadera:
anterior: a) Algunas ballenas sí son mamíferos.
I. Algunos peces son no-aves. b) Es falso que algunas ballenas no sean mamíferos.
II. Toda ave no es un pez. c) Toda ballena es mamífero.
III. Algunas aves son no peces. d) No es verdad que toda ballena sea mamífero.
a) Sólo I. e) Toda ballena probablemente sea mamífero.
b) Sólo II.
c) II y III. 09. Si: "Algunos cardiólogos no son profesionales",
d) Todas. es falso; se deduce también que es falso que:
e) Sólo III. a) No es verdad que muchos cardiólogos sean profe-
sionales.
02. "Si todos los ratones comen queso, b) No es probable que algunos cardiólogos no sean
entonces............ "La conclusión correcta para que profesionales.
el razonamiento sea válido, es: c) Algunos cardiólogos son profesionales.
a) Algunos ratones no comen queso. d) No todo cardiólogo es profesional.
b) Nadie que coma queso es ratón. e) Todo cardiólogo es no profesional.
c) Algunos que comen queso son ratones.
d) Algunos que comen queso no son ratones. 10. Si: "Todo ciudadano es no mayor de edad", entonces
e) Todo aquel que come queso no es ratón. se desprende que:
a) Ningún ciudadano es no mayor de edad.
03. La proposición equivalente a "Es falso que todo b) Algunas personas mayores de edad son ciudada-
argentino sea sudamericano", es: nos.
a) Todo argentino es sudamericano. c) Algunas personas mayores de edad no son ciuda-
b) Todo argentino es no sudamericano. danos.
c) Ningún argentino es sudamericano. d) a y b.
d) Algunos argentinos no son sudamericanos. e) b y c.
e) Algunos argentinos pueden ser sudamericanos.
11. Determine la conclusión válida del argumento:
"Algunos casados son infieles".
04. En la proposición, "Todo abogado no es penalista".
a) Ningún infiel es casado.
Es lógicamente equivalente a:
b) Algunos casados no son fieles.
a) Ningún abogado es penalista. c) Todo infiel está casado.
b) No todo abogado es penalista. d) Muchos casados son no fieles.
c) Algunos abogados no son penalistas. e) Todo fiel está casado.
d) a y b.
e) b y c. 12. "Ningún norteño es sureño", por lo tanto:
a) Algunos sureños son norteños.
05. "Es falso que algunas mujeres opten por el b) Todo sureño no es norteño.
c) Algunos norteños son sureños.
machismo", equivale a:
d) Todo norteño es sureño.
a) Toda mujer opta por el machismo.
e) Es falso que muchos sureños no sean norteños.
b) Ninguna mujer opta por el machismo.
c) Algunas mujeres optan por el machismo. 13. "Ningún mortal vive eternamente", es la negación
d) Muchas mujeres no optan por el machismo. de:
e) No toda mujer opta por el machismo. a) Algunos mortales viven eternamente.
b) Algunos mortales no viven eternamente.
06."Toda serpiente es venenosa", equivale a: c) Todo mortal vive eternamente.
a) Algunas serpientes son venenosas. d) Todo mortal no vive eternamente.
b) No toda serpiente es venenosa. e) Ningún mortal no vive eternamente.
c) Muchas serpientes no son venenosas.
d) a y b. 14. Encontramos la negación de: Todo postulante es
e) b y c. responsable".
a) Ningún postulante es responsable.
07. Si: "Todo ayacuchano es peruano" es verdadera; b) Algunos postulantes son responsables.
entonces es falso que: c) Todo postulante es no responsable.
a) Todo ayacuchano es peruano. d) Muchos postulantes no son responsables.
b) Algunos no ayacuchanos no son peruanos. e) Es falso que ciertos postulantes sean responsable.
c) Ningún ayacuchano es peruano.
d) Ciertos ayacuchanos si son peruanos. 15. "Por lo menos hay un peruano que es millonario",
e) Algunos ayacuchanos son peruanos. 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 P0
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.
jhsf
80
TRILCE
29. Las relaciones entre las proposiciones de Tipo I y O en 36. Si: "Todo adventista es religioso" es verdadero,
el cuadro de oposición son: entonces es falso que:
a) Subcontrarias. a) Todo adventista es religioso.
b) Subalternantes. b) Algunos no adventistas no son religiosos.
c) Contrarias. c) Ningún adventista es religioso.
d) Contradictorias. d) Ciertos adventistas si son religiosos.
e) Subalternas. e) Algunos adventistas son religiosos.
30. La contraria de la contradictoria de una proposición 37. El siguiente enunciado es falso: "Algunas arequipeñas
particular afirmativa es una proposición de forma típica. son muy hermosas". Determine la conclusión
verdadera:
a) S o P b) S e P a) Algunas arequipeñas sí son muy hermosas.
c) No S i P d) S i P b) Es falso que algunas arequipeñas no sean hermo-
e) S a P sas.
c) Toda arequipeña es muy hermosa.
31. "Es imposible que todo joven sea estudioso". d) No es verdad que toda arequipeña sea muy her-
Determinar la conclusión correcta del argumento mosa.
anterior: e) Toda arequipeña probablemente sea muy hermo-
I. Algunos jóvenes son no estudiosos. sa.
II. Todo estudioso no es joven.
III. Algunos estudiosos no son jóvenes. 38. "Todo funcionario no es corrupto", equivale a:
a) Algunos funcionarios son corruptos.
a) Sólo I. b) No todo funcionario es corrupto.
b) Sólo II. c) Muchos funcionarios no son corruptos.
c) II y III. d) a y b.
d) Todas. e) b y c.
e) Sólo III.
39. "Algunos jueces son imparciales", es conclusión
32. "Si todos los universitarios van a la biblioteca, de:
entonces....... "La conclusión para que el a) Algunos jueces no son parciales.
razonamiento sea válido es: b) Todo imparcial no es juez.
a) Algunos universitarios no van a la biblioteca. c) Ningún juez es imparcial.
b) Nadie que vaya a la biblioteca es universitario. d) Algunos imparciales no son jueces.
c) Algunos que van a la biblioteca son universitarios. e) Casi todo juez es imparcial.
d) Algunos que van a la biblioteca no son universita-
rios. 40. "Si ningún deportista es disciplinado" es falso;
e) Todo aquel que va a la biblioteca no es universita- entonces, señale la conclusión verdadera.
rio. a) Todo deportista es disciplinado.
b) Algunos deportistas son disciplinados.
33 La proposición equivalente a: "Es falso que toda c) Algunos deportistas no son disciplinados.
selvática sea apasionada" , es: d) Nadie que sea disciplinado es deportista.
a) Toda selvática es apasionada. e) No hay conclusión.
b) Toda selvática no es apasionada.
c) Ninguna selvática es apasionada. 41. "No ocurre que todo ciudadano no sea honesto",
d) Algunas selváticas son apasionadas. es equivalente a:
e) Algunas selváticas pueden ser apasionadas. a) Todo S es P.
b) Ningún S es P.
34. "Ningún peruano es chileno", por lo tanto: c) Algunos S son P.
a) Algunos chilenos son peruanos. d) Algunos S no son P.
b) Todo chileno no es peruano. e) No todo S es P.
c) Algunos peruanos son chilenos.
d) Todo peruano no es chileno. 42. "Si todo gobierno es democrático" es falso, qué
e) Es falso que muchos chilenos no sean norteños. enunciado se desprende como verdadero:
a) Ningún gobierno es democrático.
35. "Ningún religioso es político" es la negación de: b) Algunos gobiernos son democráticos.
a) Algunos religiosos son políticos. c) Todo democrático es gobierno.
b) Algunos religiosos no son políticos. d) Algunos gobiernos no son democráticos.
c) Todo religioso es político.
e) Más de una es correcta.
d) Todo religioso no es político.
e) Ningún religioso no es político.
81
Lógica
82
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.
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.
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.
85
Lógica
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
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
90
TRILCE
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:
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!!!
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.
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
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 ¿?
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)
Ejemplo (2)
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 : ¿?
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.
95
Lógica
14. Indique la alternativa no correcta en el silogismo: 20. En un silogismo, si una de las premisas es débil,
a) Debe existir por lo menos una proposición univer- entonces la conclusión:
sal. a) Es universal.
b) Puede ser afirmativa o negativa.
b) Si las premisas son afirmativas, la conclusión no es c) Puede ser una particular o una negativa.
negativa. d) Siempre es negativa.
c) Debe existir por lo menos una proposición afirma- e) Es una particular negativa en todos los casos.
tiva.
d) Si las premisas son negativas no hay conclusión. 21."Todo cantante es artista y todo artista es bohemio", luego:
e) Si las premisas son particulares, la conclusión es
particular. a) Muchos cantantes son bohemios.
b) Ningún artista es bohemio
15. En el siguiente argumento: "Ningún Arequipeño es c) Algunos bohemios son cantantes.
norteño y los Chiclayanos son norteños; entonces la
d) Determinados bohemios no son artistas.
conclusión correcta es:
e) Algunos cantantes no son artistas.
a) Ningún norteño es arequipeño.
b) Los chiclayanos no son arequipeños.
c) Ningún chiclayano es arequipeño. 22. De las siguientes premisas:
d) Algunos arequipeños son norteños. P1: Algunos fanáticos no son amistosos.
e) b y c. P2: Algunos amistosos son educados.
La conclusión será:
16. Si en un silogismo una de las premisas es particular a) Todos los educados son fanáticos.
negativa entonces, necesariamente, la otra premisa debe b) Algunos educados son fanáticos.
ser: c) Ningún fanático es educado.
a) También negativa. d) Todos los fanáticos no son educados.
b) Afirmativa. e) No existe conclusión.
c) Universal.
d) Universal negativa. 23. Determine la conclusión correcta:
e) Universal afirmativa. "Algunos psicólogos son humanistas y todo humanista
es fenomenólogo"
17. Para que un silogismo esté bien estructurado, es a) Algunos fenomenólogos son humanistas.
importante que: b) Muchos fenomenólogos son psicológos.
a) La premisas sean negativas. c) Ningún fenomenólogo es psicológo.
b) La conclusión sea débil. d) Todo psicólogo es fenomenólogo.
e) Ninguna de las anteriores.
c) El término medio esté en la conclusión.
d) Por lo menos una premisa sea universal. 24. En un silogismo de la primera figura, tiene como
e) Por lo menos el término medio se encuentre en las premisas el modo "OI" por lo tanto la conclusión será
premisas y en la conclusión. una proposición:
a) Universal afirmativa.
18. Determinar la conclusión lógica de: "Los juristas saben b) Universal negativa.
de leyes; los que saben leyes son abogados entonces c) Particular afirmativa.
........" d) Particular negativa.
a) Los abogados son juristas. e) No existe conclusión.
b) Algunos abogados son juristas.
25. "Si todos los matemáticos son científicos y todos los
c) Ningún jurista es abogado.
científicos son investigadores, luego todos los
d) Todo jurista es abogado.
investigadores son metodólogos".
e) Muchos abogados no son juristas.
En el razonamiento anterior, el error está en la presencia
de (l):
19. Señale la conclusión correcta de los siguientes
a) Dos términos.
propuestos:
1. Algunas flores son rojas. b) Un término.
2. Todas las flores son vegetales. c) Cuatro términos.
a) Algunas flores son vegetales. d) Término medio.
b) Algunos vegetales no son rojos. e) Término mayor.
c) Ningún vegetal es una flor.
d) Algunos vegetales son rojos. 26."Muchos poetas son románticos, pero también todo
e) Todas las flores no son rojas. romántico es localista; por lo tanto algunos localistas
son románticos".
96
TRILCE
97
Lógica
98
TRILCE
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
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.
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
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
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.
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
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
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
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
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
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
U
d) S P
S x P
M
M
MP 0 PM 0 S P
e)
SM 0
a) b) S M 0 M
SP0 SP0
MP 0 MP 0
MS 0 MS 0
c) d)
SP0 SP 0
107
Lógica
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".
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
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
MP P P
a) S b)
SM
e) M M
SP
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