1. PROPOSICIÓN Trujillo es la capital de la libertad.

1.1. Definición. Es una oración 1.2.2. Por su cualidad: Pueden ser:

aseverativa con sentido y contenido - Afirmativas: Cuando atribuyen una
significativo, que puede ser verdadero o cualidad.
falso. Ejemplos:
Ejemplo: “El triángulo es un polígono de “El azufre tiene valencia –2”
tres lados” - Negativas: Cuando rechazan una
- Es una oración aseverativa por que cualidad.
contribuye una propiedad del sujeto. Ejemplos:
- Tiene sentido por que es aceptada su “El agua no es incolora”
verdad universalmente.
- Tiene contenido por que tiene un 1.2.3. Por su modalidad: Las
referente de carácter abstracto. proposiciones pueden ser:
- Es oración verdadera, es su carácter - Asertóricas: Cuando se refiere a una
bivalente de toda proposición (principal situación de hecho.
característica de la proposición). Ejemplo:
“El cobre es un mineral”
1.2. Propiedades intrínsecas de las Son llamadas también lácticas,
proposiciones plásticas etc.
- Apodícticas: Cuando se refiere a una
1.2.1. Por su cantidad; las situación necesaria, son también
proposiciones pueden ser: llamadas forzosas.
Ejemplo:
- Universales: Cuando abarca una “3+5 es necesariamente 8”
totalidad de elementos. - Problemáticas: Cuando se refiere a
Ejemplo: una situación posible, también son
“Todos los mamíferos son llamadas plausibles.
vertebrados” Ejemplo:
“Ningún pobre es millonario” “Posiblemente en este verano haya
- Particulares: Cuando abarca una sequía”
cantidad parcial. Ejemplo practico:
Ejemplos: La proposición: “Einstein es
“Algunos políticos son demagogos” posiblemente el mejor genio del siglo
“Algunos comerciantes no son XX”: es:
honrados” = Singular por su cantidad
- Singulares: Cuando se refiere a un = afirmativa por su cualidad
solo sujeto. = problemática por su modalidad
Ejemplo:

321
 Lógica Proposicional

1.3. Clasificación de las Términos relacionales

proposiciones Contemporáneos vecino
Mezclan gemelos
Por la presencia o no del operador, las Juntos aman
proposiciones se clasifican en: Escriben fronterizos
1.3.1. Simples o atómicas: Cuando
carecen de operadores lógicos: 1.3.2. Compuestas o moleculares:
Clases: (También llamadas coligativas) son
a) Simples predicativas: Cuando aquellas que poseen dos o mas
atribuyen una cualidad o proposiciones simples, unidas por un
circunstancia del sujeto. operador lógico.
Ejemplo: Clases:
- Ana es muy responsable (cualidad) - Conjuntivas
- Pedro es Chiclayano (circunstancia) - Disyuntivas incluyentes
- Implicativas
b) Simples relacionales: Cuando - Replicativas
relacionan dos o más sujetos. - Biimplicativas
Ejemplo: - Disyuntivas excluyentes
“Manuel escribe a Maria” - Binegacion conjuntivas
“Pedro y Juan estudian juntos” - Binegación disyuntivas
“Rosa es vecina de Elena” - Negativas

CLASIFICACIÓN DE LAS PROPOSICIONES COMPUESTAS

Clases Operador Se lee Ejemplos Fórmula Función

Conjuntivas “Y” Pedro estudia y Compatibilizador
trabaja
Disyuntivas “O” Pedro estudia o Alternador
trabaja
Implicativas “Si… Si Pedro Causalidad
entonces” estudia
entonces
trabaja
Replicativa “… Si … ” Pedro estudia Recíproco del
s si trabaja implicador
Bimplicador “Si y sólo si” Pedro estudia Equivalorador
si y sólo si
trabaja
Disyuntor “o … o” O Pedro Exclusador
excluyente estudia o
trabaja
Binegación Daga Sheffer “Ni … ni” Pedro ni trabaja Inalternador
exclusiva ni estudia
Binegación / Barra Nicod “No o no” Pedro trabaja o Incompatibilizado
disyuntiva no estudia r
322
 Lógica Proposicional

Negativas “No” Pedro no Inversor

trabaja

2. “gato” es le nombre de un animal

3. Pedro y Pablo estudian juntos
PROBLEMAS PROPUESTOS 1 4. Ana y Rosa son vecinas de Maria
5. Diversión y deporte es lo que distrae
a la gente
01. Son proposiciones: Son ciertas:
1. Es la esposa de Toledo A) Solo 1 y 3 B) 3, 4 y 5
2. Trabajador de la UNT local central C) 1, 2 y 5 D) 1, 4 y 5
3. Atahualpa fundo Roma E) N. A
4. Rosas rojas para mi madre
5. Los insectos son aéreos 05. Son proposiciones relacionales
Son ciertas: 1. El agua y el aceite no se mezclan al
combinarse
A) solo 2 y 4 B) 3,4 y 5
2. Perú y Ecuador son países vecinos
C) solo 3 y 5 D) 1, 2 y 5
3. Beso equivale a ósculo
E) N.A.
4. Toledo y su esposa debatieron frente
al pueblo
02. Son proposiciones: 5. Trujillo esta al norte de Chimbote
1. Toda proposición es un juicio Son obviamente ciertas excepto:
2. La bivalencia es principal propiedad A) 1, 2 y 3 B) Sólo 1
de las proposiciones C) 3, 4 y 5 D) 2, 6, 4 y 5
3. Quien madruga Dios le ayuda E) Todas
4. ¿Cómo te llamas? Le preguntó Ana a
Maria 06. Son proposiciones condicionales
5. Los insectos son aviones 1. Si llueve, hay cosecha
Son ciertas: 2. Tienes dinero si trabajas
A) Sólo 1 y 2 B) 3, 4 y 5 3. Ya que te esfuerzas por eso triunfas
C) 1, 2 y 4 D) 2, 3 y 4 4. Porque es verano, hace calor
E) Todas 5. Perú es país explotador porque tiene
materias primas
03. No son proposiciones: Son ciertas:
1. El mejor profesor de mi colegio A) 2, 3 y 4 B) 1, 2 y 5
2. C) solo 1 y 3 D) 3, 4 y 5
E) Todas
3.
4. Don Quijote representa al tipo 07. Son proposiciones compatibles o
introvertido conjuntivas
5. Todo libro tiene páginas bellas 1. No solo el mercurio es metal si no que
Son ciertas: también el mas pesado
A) Sólo 2 y 3 B) 2, 4 y 5 2. La desintegración ni es división ni
C) Sólo 1 y 5 D) 1, 2 y 3 clasificación
E) Todas 3. Es incompatible que el sol sea una
estrella no obstante un astro
04. Son proposiciones coligativas 4. Los ofidios carecen de extremidades
1. Los insectos son aéreos y terrestres al igual que los vertebrados

323
 Lógica Proposicional

5. Los conceptos al igual que los juicios 3. Rosa no es limeña

son pensamientos 4. El gobierno no es republicano
Son ciertas: 5.
A) 2, 3 y 4 B) 1, 2 y 5 Son falsas, excepto:
C) 1, 2 y 3 D) 2, 4 y 5 A) 3, 4 y 5 B) solo 1 y 2
E) Todas menos 3
C) 1, 2 y 3 D) 1, 2 y 5
08. Son proposiciones
E) Ninguna
1. Todo colegio tiene aulas bellas
2. Un jardín sin flores es como una
10. Son proposiciones atómicas
familia sin hijos
1. Ojalá llueva en la sierra
3. Trujillo es la capital de la cultura
2. Te necesito junto a mí
4. “Mendigar o morir” es la expresión de
3. La luna es un planeta
la extrema pobreza
4. Fausto hizo un pacto con Mefistófeles
5. Creo que pronto tendré éxito
5. Humala es un ex militar
Son ciertas:
Son ciertas:
A) 3, 2 y 1 B) 1, 2 y 5
A) Sólo 3 B) 1, 2 y 3
C) 3, 4 y 5 D) Todas
C) 3 y 5 D) Ninguna
E) Ninguna
E) 3, 4 y 5
09. Son proposiciones simples
1. Chimbote esta al sur de Trujillo
2. Antonio es compadre de Samuel

FORMALIZACIÓN DE LAS PROPOSICIONES

2. Formalización de expresiones del Lenguaje usual y de otras ramas de

conocimiento.

2.1. Formalización de proposiciones: Es el proceso de traducción de un conjunto

de afirmaciones escritas en lenguaje natural a fórmulas o símbolos lógicos.
Ejemplo:
Formalizar la siguiente proposición:

Solución:
La proposición se formaliza como

2.2. Elementos de la proposición:

a) Operadores Lógicos: Son símbolos cuyo significado está determinado.

Ejemplo:

b) Modos Lingüísticos: Son las diversas formas de expresión lingüística de

cada operador.

324
 Lógica Proposicional

Ejemplo: Los modos lingüísticos de la conjunción; además de “y” son “sin

embargo”, “además”, “empero”, “no solo … también”, “no obstante”, etc.

c) Variables proposicionales: Son símbolos de significado indeterminado, ya

que representan a cualquier proposición.
Ejemplo: A, B, C, D, … etc.
d) Signos auxiliares: De jerarquía son los signos de agrupación que sirven
para jerarquizar a los operadores y son los siguientes: de
menor a mayor jerarquía.
Ejemplo:

Componente
menor
Subcomponente
Componente mayor o principal

e) Jerarquía de las operaciones: Se usa cuando no hay símbolos auxiliares.

Criterio de jerarquía:
de menor a mayor

(negador complejo)

2.3. Criterios de formalización

1º Identificar operadores. - Para convertir en su explicitación verbal a su

símbolo respectivo.

Ejemplo:
“Si hay nubes y viento entonces lloverá”
Los operadores proposicionales son “si … entonces”, “y” cuyos símbolos son: “
”, “ ” respectivamente.
Además, hay que considerar los signos lingüísticos que reemplazan a los
operadores:
Ejemplo:
“Carlos es estudiante, comerciante y además responsable”.
El signo lingüístico es (,) que reemplaza a la conjunción ( )

Uso de la coma (,): Se usa para reemplazar a la conjunción, disyunción

incluyente, excluyente o al “entonces” en una implicación. Además, para
separar proposiciones.
Ejemplo:
El sol es un astro estrella. Así mismo una gran fuente de energía.

325
 Lógica Proposicional

Pedro es estudiante, profesor o abogado

La sede del próximo mundial será Japón, China o solo Brasil. Si
estudias triunfas
2º Elegir variables. = Preposicionales, cada variable representa a una
proposición simple que debe estar en sentido afirmativo.
Ejemplo:

3º Agruparlos mediante signos auxiliares de jerarquía

Del ejemplo anterior:
Al agruparlos se vería así:

B)
C)
PROBLEMAS PROPUESTOS 2
D)
E)
1. La proposición Lógica: Abel, 4. “Si los arácnidos son
Beto, Carlos y Darío estudian juntos, sin invertebrados, no tienen cráneo ni
embargo, Maria estudia separado de vértebras”.
Rosa; se formaliza: Se formaliza:
A) A)
B) B)
C) C)
D) D)
E) E)

2. “No solo el mercurio es un 5. “No es inobjetablemente cierto

metal si no que también se dilata con el que el elefante no demora 20 meses
calor. Además, es un metal liquido”. Se para nacer o tampoco el ornitorrinco
formaliza: ponga dos huevos de 2 cm”; se
A) B) formaliza:
C) D) A) B)
E) C) D)
E)
3. “El triángulo es un polígono o
también es una figura geométrica. Al 6. “Subirá el precio de la gasolina
igual que las figuras planas están por que subió el precio del dólar. En
formadas por líneas rectas o así como vista de que subió el precio del dólar, el
por líneas curvas”. Se formaliza: gobierno no podrá controlar la inflación”.
A) Se formaliza:
A)
326
 Lógica Proposicional

B) producido por el golpe en una masa

metálica o solamente por las cuerdas de
C)
un violín”. Se formaliza:
D) A)
E) B)
C)
7. La proposición “los logaritmos
son positivos si se encuentran entre los D)
valores mayores que 1 salvo que solo E)
aquellos que son negativos y son 3. PROPOSICIONES TAUTOLÓGI-
menores que 1 y mayores que 0”.se CAS, CONTRADICTORIAS Y
formaliza: CONTINGENTES
A)
B) 3.1. Proposiciones tautológicas: Son
aquellas proposiciones que tienen
C) valores solo verdaderos en su
D) matriz principal. Toda regla lógica
E) es una tautología.
Ejemplo:
8. La proposición es absurdo que
, no obstante es inobjetable que
1 1 0
es igual a 1.41 e incluso es
0 1 1
innegable que ”, se formaliza:
0 1 1
A)
B) 1 1 0
Matriz tautológica
C)
D) 3.2. Proposiciones contradictorias:
Aquellas cuya matriz principal son
E) todas falsas, es lo contrario a una
9. “El calor que desarrolla una tautología.
corriente al pasar por un conducto es Símbolo: .
directamente proporcional a la Ejemplo:
resistencia, al cuadrado de la de la
intensidad de la corriente y al tiempo que
dura la corriente. No interesa ni el 0 0 1
sentido técnico ni físico de la corriente”. 1 0 0
Se formaliza: 1 0 0
A)
0 0 1
B) Matriz contradictoria
C)
D) 3.3. Proposiciones contingentes:
E) Aquellas cuya matriz principal
poseen valores distintotes decir: V y
10. “Las hondas se propalan en F.
vacío o solo en el aire o únicamente es Ejemplo:
327
 Lógica Proposicional


Solo es verdadero cuando tienen valores
1 1 1 iguales
0 0 1
1 1 1

1 1 0
Matriz contingente
4. TABLA DE VALORES DE VERDAD Solo es verdadero cuando tienen valores
DE UNA FORMULA LÓGICA iguales

Para hallar los valores de verdad de una

proposición compuesta, se debe primero 
conocer las siguientes reglas.
Contrario al biimplicador
4.1. Función de verdad de operadores
(por definición) 
Solo es verdadero cunado tienen valores
 falsos
Solo es verdadero cuando ambos son
verdaderos 
Solo es verdadero cuando tienen valores
 verdaderos.
Solo es falso cuando ambos son falsos
Reglas de los operadores lógicos: Se
 utilizan en el cálculo matricial para
Solo es falso cuando el antecedente es determinar el valor de verdad de un
verdadero y el consecuente es falso. esquema molecular compuesto.

4.2.

4.2.1 Con una variable

p – p P – P – s – t – –(p – –(p –
p p p p s t p) p)
1 0 1 0 1 0 1 1 0
0 1 0 0 1 0 1 1 0

4.2.2 Con dos variables

P q – – p p p p p p p p/
p q p p q q q q q
q
1 1 0 0 1 1 1 1 1 0 0 0
1 0 0 1 0 1 0 1 0 1 0 1
0 1 1 0 0 1 1 0 0 1 0 1
328
 Lógica Proposicional

0 0 1 1 0 0 1 1 1 0 1 1

4.2.3 Con tres variables

p q –p –q p p p p q p q p q p q p q p/q
p
1 1 0 0 1 1 1 1 1 0 0 0
1 1 0 0 1 1 1 1 1 0 0 0
1 0 0 1 0 1 0 1 0 1 0 1
1 0 0 1 0 1 0 1 0 1 0 1
0 1 1 0 0 1 1 0 0 1 0 1
0 1 1 0 0 1 1 0 0 1 0 1
0 0 1 1 0 0 1 1 1 0 1 1
0 0 1 1 0 0 1 1 1 0 1 1

Ejemplos: Resolución:
1) 1100 4) 0000
1. Hallar los valores de los 2) 0000 5) 1001
siguientes operadores: 3) 0111 6) 1111

1) 2) 3. Si:
3) 4) Hallar los valores de p, q, r, y s
5) 6) respectivamente
7) 8)
Resolución:
9) 10)

Resolución: 1 0 0 1
1) 1 2) 1 3) 0 4) 1
5) 0 6) 1 7) 0 8) 1 0 0
9) 0 10) 1
0
2. Hallar los valores matriciales de Luego:
las siguientes fórmulas moleculares:

1)
4)
2)
5)
3)
6)

329
 Lógica Proposicional

1)
2)
3)
4) A/B
5)
Son ciertas:
A) 1, 2, 3 B) 2, 3, 4
C) 1 y 2 D) sólo 2
E) todas menos 3
4. Si: .
Luego son esquemas falsos:
PROBLEMAS PROPUESTOS 3 1)
2)
1. Si: 3)
A = El número dos es un número primo y 4)
B = El triángulo es un polígono
5)
Luego: Son esquemas verdaderos
Son ciertas:
1) 2)
A) 1, 2, 3 B) 2, 3, 4
3) 4) C) 1, 4, 5 D) 1, 2, 5
5) E) todas
Son ciertas
A) 1, 2, 3 B) 2, 3, 4 5. Si:
C) 1, 2, 5 D) 2, 4 Luego son esquemas verdaderos:
E) todas 1)
2. Sean las proposiciones 2)
A = La radiactividad se descubrió por 3)
casualidad 4)
B = Algunos insectos poseen cráneo
Son esquemas verdaderos 5)
1) Son ciertas:
A) 1, 2, 3 B) 2, 3, 4
2)
C) 1, 2, 4 D) 3, 4, 5
3) E) Todas
4)
6. Si: y C y D tienen
5)
valores opuestos, luego son esquemas
Son ciertas:
verdaderos:
A) 1, 2, 3 B) 2, 3, 4
C) 3, 4, 5 D) 1 y 3 1)
E) Sólo y 3 2)
3)
3. Si , luego son 4)
esquemas verdaderos:

330
 Lógica Proposicional

5) 10. Si:
Son ciertas: es verdadero y
A) 1, 2, 3 B) 2, 3, 4 también es
C) 3, 4, 5 D) 1 y 2 verdadero
E) 2 ¿Cuáles son los valores de verdad de “p”
y “q” respectivamente?
7. Si la negación de es A) VF
falso luego son esquemas verdaderos:: B) VV
1) C) FF
2) D) FV
3) E) N.A.
5. LEYES DE LA LÓGICA PROPO-
4)
SICIONAL
5)
Son ciertas: 5.1. EQUIVALENCIAS LÓGICAS
A) 1. 2. 3 B) 2, 3, 4 Dos esquemas son equivalentes
C) 3, 4 D) 1, 5 (=) cuando poseen idénticas
E) 5 matrices.
Ejemplo:
8. Sean las proposiciones:
es la formula del agua
oxigenada
B = El azufre tiene valencia .2.
Luego, son esquemas falsos:
1)
2) 5.2. LEYES LÓGICAS FUNDAMEN-
3) TALES
4) Son axiomas cuyas formulas
5) proposicionales tienen como
Son ciertas: operador principal al biimplificador
A) 1, 2, 3 B) 2, 3, 4 y cuya esquema es una
C) 1, 2, 5 D) 3, 4 tautología.
E) Todas
Ejemplo 1:
9. Sean las proposiciones:
A = Wilhelm Roentgen descubrió los
rayos x
B = J.J Thompson no descubrió el
electrón
La conjunción verdadera es solamente.
A) B)
C) D)
E) 5.3. USOS DE LAS LEYES LÓGI-
CAS

331
 Lógica Proposicional

Pueden ser usadas como Los esquemas lógicos pueden

equivalencias o como una permutarse sin alterar su valor
diferencia; ya que son operadores conmutables:
tautológicas.
Ejemplo 1:
Ejemplo: 1

LA PROPOSICIÓN:
“Si Carlos tiene dinero entonces
podría comprar un carro”.
Equivale a decir:
“Carlos no tiene dinero o podrá Ejemplo 2:
comprar un carro” Si llueve hay cosecha; o hay sequía
Ejemplo 2: Equivale por conmutación
LA PROPOSICIÓN: Hay sequía; a menos que si llueve,
“Pedro trabaja o estudia” hay cosecha
Se define por conmutación Formalización:
“Pedro estudia o trabaja”

Principales leyes lógicas: 3. La asociación. - (Asoc)

Llamadas también algebra de Operadores asociativos:
proposiciones cuyo autor fue
George Boole. menos
Ejemplo:
1. Doble negación. - (D.N.) Esquemas asociables
La doble negación equivale a una
afirmación.
Ejemplo:
Se traduce como: ´
“es falso que Luís no trabaja”
equivale a decir que: Ejemplo:
“Luís trabaja”. Carmen estudia; pero Dora estudia
Casos: y trabaja
1)
2) Equivale decir:
Carmen y Dora estudian; pero Dora
además trabaja
Explicitaciones de la doble negación
Innegablemente cierto que p

4. Ley de Morgan. - (D.M.)

Innegablemente falso que p
No es inconcebiblemente falso que p
2. La conmutación. - (Conm)
La negación de la disyunción o de la
conjunción de dos o más variables
equivale a la conjunción o
disyunción de dichas variables
negadas respectivamente.
Ejemplo:

332
 Lógica Proposicional

Ejemplo:
Operadores aplicables; Solo y

Ejemplo: Ejemplo:
“Es falso que llueve y este nublado” Si llueve, hay cosecha
Equivale a: Equivale a:
No llueve o no esta nublada Si no hay cosecha, no llueve
5. Distribución. - (dist.)
Operadores distribuibles, la
7. Absorción: (abs)
combinación de:
Operadores de absorción;
combinación simultáneos
Operadores no distribuibles: Ejemplo:
Ejemplos:
Absorbida
Absorbente
1)
2) Ejemplo:

3)
4)

El inverso de la distribución se le llama

factor común. Ejemplo: Esquemas aplicados a la absorción

6. Contraposición.- (Cp) Ejemplo:

Operadores contrapuestos: Carlos trabaja, y estudia o trabaja
Equivale a “Carlos trabaja”, (por
Las variables pueden permutarse absorción)
pero cambiándole su valor.
Ejemplo: 8. Exportación (exp.)

333
 Lógica Proposicional

Operadores aplicables: Def. 2

simultáneos Def. 3
Ejemplo:
Tienes dinero si y solo si trabajas
Equivale decir:
Demostración
Si tienes dinero, trabajas y si
trabajas, tienes dinero

9. Importación (import) 14. Definición del disyuntor fuerte

Operadores aplicables (Def. )
simultáneos Esquema:

10. La mutación (mut)

Operador aplicables
simultáneos

Ejemplo:
11. Definición del implicador (Def Vas al cusco o únicamente a Lima
) Equivale decir:
Esquema: Es falso que, si vas al cusco, vas a
Lima, o es falso que si
Vas a Lima vas al Cusco.
Ejemplo:
Equivalencias entre
Si llueve, hay cosecha
Equivale decir:
No llueve o hay cosecha
Ó es falso que, llueve pero no hay
cosecha
12. Definición del replicador (Def )
Esquema:

Ejemplo:
Ingresas si estudias
Equivale decir
Ingresas o no estudias
Ó Es falso que, no ingresas, pero
estudias
15. Ley del complemento
13. Definición del biimoplicador (Def. Esquemas:
)
Esquema:

Def. 1 Ejemplos:

334
 Lógica Proposicional

16. Ley de identidad

Esquemas:

Ejemplos:
PROBLEMAS PROPUESTOS 4

EQUIVALENCIAS LÓGICAS CON:

17. Expansión (Exp): Instrucciones: A continuación, te

Se aplica con esquemas: presentamos un enunciado con 5
posibles respuestas. De estas
selecciona aquella que consideres
correcta:

1. “Estar con fiebre es de la

misma forma que estar enfermo”, es
equivalente a la formula:
18. Idempotencia (idemp)
1)
2)
4)
3)
5)
Son ciertas solamente:
A) 1, 2, 3 B) 2, 3, 4
C) 1, 2, 5 D) todos
E) N.A.

2. La proposición “Siempre y
solo cuando el animal marino sea un
cetáceo es que se trate de un mamifero”.
Es la contradicción de su esquema.

335
 Lógica Proposicional

A) B) sean cetáceos”, es equivalente el

esquema por contraposición:
C) D) A)
E) N.A B)
C)
3. “Los moluscos tienen el
cuerpo segmentado o unicamente el D)
cuerpo blando”. Es un esquema E)
equivalente:
A) 7. La proposición: “El átomo
normal es eléctricamente positivo o es
B)
únicamente neutro”, es su esquema
C) equivalente:
D) todas A) B)
E) Ninguna
4. “Los peces; los pulmones, C) D)
extremidades y pelos no tiene”, es su E)
esquema equivalente: 8. La proposición. “El neutrón ni
1) es positivo ni es negativo o únicamente
2) es neutro”. Es su esquema equivalente:
3) 1)
4) 2)
5)
3)
Son ciertas solamente:
A) 1, 2, 3 B) 2, 3, 4 4)
C) 3, 4, 5 D) Sólo 4 5)
E) N.A
Son ciertas:
A) 1, 2, 3 B) 2, 3, 4
5. La proposición: “Es
C) 3, 4, 5 D) todas
imposible que los conceptos tengan la
E) N.A
misma extensión e intensión”. Es
equivalente al esquema:
9. “O el delfín es pez o es un cetáceo”
1) Equivale a:
2) 1) “O únicamente el delfín es un cetáceo,
3) pez”
2) “Es falso que el delfín es pez y solo si
4)
es un cetáceo”
5) 3) “O el delfín es un pez a menos que
Son ciertas solamente: sea un cetáceo”
A) 1, 2, 3 B) 2, 3, 4 4) “El delfín es cetáceo por que no es un
C) 1, 2, 5 D) 2, 3, 5 pez”
E) N.A 5) “El delfín es un mamifero se define
que es un mamifero”
6. La proposición “Si son Son ciertas únicamente
ballenas, así como delfines es obvio que A) 1, 2, 3 B) 2, 3, 4

336
 Lógica Proposicional

C) 3, 4, 5 D) 1, 2, 5 5)
E) todas: 3)
Son ciertas solamente:
10. Si se define: A) 1, 2, 3 B) 2, 3, 4
entonces C) 3, 4, 5 D) Sólo 1
Es equivalente a: E) N.A.
1)
4)
2)
CIRCUITOS LÓGICOS
CIRCUITOS LÓGICOS

Aplicación lógica
a la tecnología

Clases

A conmutadores A compuertas
a corriente digitales
Pueden ser Pueden ser

En En ASA ISO
serie Paralelo americano inglés

AB AB

6.1 Circuitos Lógicos

1. Interruptor o Conmutador. - Es
Es la representación gráfica del (campo la llave o palanquita que permite
eléctrico y digital) mediante un esquema el paso o interrupción de la
lógico formal. corriente eléctrica.

La finalidad de este módulo es de Se representa por variables: p, q,

conocer, comprender, aplicar y r, s, t, etc.
relacionar las leyes lógicas con los
circuitos lógicos en problemas de 2. Clases de circuitos
aplicación.
 Cerrado:
6.2 Circuitos conmutadores
Es un circuito que tiene interruptores que 
p
permiten el paso o interrupción de la
corriente.  Abierto:

Elementos: p

337
 Lógica Proposicional

4.1. Representación o formaliza-

Circuito en serie (con dos ción de un circuito
conmutadores) Es la operación formal partiendo de
Se representa con ( ) un circuito.
p q Ejemplo 1:
El circuito mostrado en la siguiente
Circuito en paralelo figura:
Se representa con ( )
p
p q p
q
q
3. DISEÑO DE UN CIRCUITO
Para diseñar un circuito a
conmutadores con fórmulas que no
sean y se procede de la p q
siguiente forma: Se representa:
Ejemplo 1:
Diseñar: Solución:
Solución: Por bloques:
1º
Luego: 2º
p
3º
q
4º
Diseñar: 5º
Solución:
Ejemplo 2:
Luego: El circuito:
p p p q
q p
q q p
q
4. OPERACIONES CON CIRCUITOS p q
q p
Se representa:
1º
2º
3º
4º
5º

338
 Lógica Proposicional

4.2. Diseño de circuito. - Es la construcción de un circuito partiendo de una

fórmula proposicional.

Ejemplo 1:
Diseñar:

Solución:

Luego: p q
r
Ejemplo 2:
Diseñar:

Solución:

Luego: p q
p

4.3. Simplificación de circuitos. -

Es la reducción de un circuito a
su mínima expresión, por Por la ley de absorción
medio de las leyes de
equivalencia. Ejemplo 2:
Simplificar:
Ejemplo 1:
Simplificar el circuito:
p q
p r
p q s
q
Solución: p
El circuito se representa como: q

Solución:
Formalizando el circuito:
Luego:
p q
p

p q (Abs)
q
339
 Lógica Proposicional

Luego el circuito simplificado

es:
p
q

CIRCUITO A COMPUERTAS

Es un circuito que tiene sistemas digitales:

1.1 Elementos:
Compuerta
A de entrada
Entradas
(2) B

Puente Compuerta AND

de salida
2da compuerta

El circuito presenta:
 Dos entradas: A y B
 Tres compuertas: que se representan
respectivamente:

, ,

 Un puente que va a permitir la formación de la segunda compuerta.

 La función AND representada por la compuerta de salida.
 Se formaliza:
 Su equivalencia o simplificación:

A
B
1.2 Representación de los circuitos

Ejemplo 1:
Representar el circuito:
A  (A  B)

B  (A  B)  (  A  B)

(  A  B)
340
 Lógica Proposicional

1º A  (A  B)

2º A  A  B
B

3º (A  B)  (A  B)  (  A  B)
(  A  B)

1.3 Diseño de circuitos o compuertas

Diseñar en sistema ASA e ISO la fórmula lógica

Sistema ASA Sistema ISO

A A

B B 
1

1.4 Simplificación de circuitos

Ejemplo 1:
Simplificar el circuito:
A

Solución:
Formalizando el circuito:

Luego:
A
A
B 
B

341
 Lógica Proposicional

Ejemplo 2:
Simplificar:
A 1

B 

&

Solución:
Formalizando:

Luego:
A 1

B   1
&

CUADRO RESUMEN DE CIRCUITOS

Fórmula A conmutadores A compuertas Función

A A
A B & AND
B B
A A A
1 OR
B B B

A A A
& NAND
B B B

A A
A B 1
NOR
B B

A A A
1 Not OR
B B B not

A A A A 1 A Not

342
 Lógica Proposicional

A B A A
1 XOR
B A B B

A
A A B A
 NXOR
B B A
B

Otras formas:
(A  A)   A
A
A  (A  B)
B

A (A  A)   A
A  (A  B) &
B &

A
1
PROBLEMAS PROPUESTOS 5
B 1

1. El circuito A) Universalmente verdadero

A B) Universalmente falso
A C) Idéntico – verdadero
B D) Contingente
B E) Contradictorio

A 3. Dado el siguiente diseño:

Se formaliza: A & &

A) B 1
B)
C) Tiene como matriz principal:
A) 1101 B) 1011
D)
C) 0010 D) 1111
E) E) 000

2. El circuito adjunto: 4. El circuito:

343
 Lógica Proposicional

7. El circuito lógico:
A
A
B
B

Representa a la fórmula:
A)
Representa a:
B) A)
C)
B)
D)
C)
E) D)
E)
5. El circuito:
A
1 8. El circuito:
B
&
A
 B

Representa a la fórmula:
Se formaliza:
A)
B) A)
C) B)
D) C)
E)
D)
6. El circuito: E)
p
&
q 9. El circuito:
1
r  A
1  1
B
Representa:
A)
B) Tiene como matriz:
A) 0110 B) 1001
C) C) 1111 D) 0001
E) 1110
D)
E) 10. El circuito:
p
q
344
r
 Lógica Proposicional

Se representa por la fórmula:

A)
B)
C)
D)
E)
SIMPLIFICACIÓN

1. Noción: Es la operación que consiste en reducir a su mínima expresión una

fórmula lógica mediante la aplicación de las leyes lógicas.
Ejemplo 1:
Simplificar la expresión:

Luego; la simplificación mínima del esquema anterior es: aplicando ley de

absorción.

Ejemplo 1:
Simplificar el circuito:
p
1 &
q
1

Solución:
Formalizando:
Aplicando la Ley de Morgan e idempotencia.

Luego el circuito equivalente es:

p
&
q

p
O también: q

345
 Lógica Proposicional

D) Trabajas, así como te diviertes

E) Es falso que, trabajas no obstante te
PROBLEMAS PROPUESTOS 6 diviertes

3. El circuito:
1. El circuito: B
B
A B A
A
B
A B
B A
Equivale al circuito: Equivale al circuito:
B B
A) A)
A A
B) A B) A
C) A B C) A B
D) B A D) B A
B
E) B B B E)
A
2. El circuito:
4. El circuito adjunto:
A
B A

Equivale a la proposición: Equivale a:

A) No hay trabajo, pero sí división 1
B) Trabajas, pero no te diviertes
2.
C) Ni trabajas ni te diviertes

346
 Lógica Proposicional

3. Donde: A = alegre; B = carismático y C =

bondadoso. En su equivalencia mínima
4. diría:
5. A) Eres alegre y bondadoso
Son ciertas: B) No es alegre pero sí carismático
A) Sólo 1, 2 y 3 B) 2, 3 y 5 C) Eres carismático o bondadoso
C) 1, 2 y 3 D) 2, 4 y 5 D) Eres alegre, carismático y
E) Todas bondadoso
E) No eres carismático, pero sí
5. Las funciones lógicas: bondadoso

Equivale a: 8. El circuito:
A) NXOR B) NOR A
C) NAND D) XOR
E) NOT A B B

6. El circuito equivalente a: C

A A Equivale a la proposición:
1. Es falso que, si tengo dinero, no me
B B A enfermo
B B B 2. Hay empresas pero muchas no son
peruanas
A A 3. Es falso que, si no tengo
Es: computadora, soy ignorante
4. Llueve, pero si llueve, no voy al
A A concierto
A) 1 B) 1 5. Es falso que, ni trabajo ni estudio
B B Son ciertas:
A) 1, 3 y 5 B) 2, 3 y 4
A A C) Sólo 2 y 4 D) 3, 4 y 5
C)  D) 1
B E) Sólo 1 y 2
B
9. Si cada conmutador del circuito
A cuesta S/. 15. ¿Cuánto costará el circuito
E) 1
B simplificado y cuánto se ahorrará
respectivamente?
7. Dado el siguiente circuito: p r
B q s
C p
A B C q
C B
A) 60 – 30 B) 45 – 45
C) 30 – 60 D) 120 – 20
E) 120 – 20

347
 Lógica Proposicional

El sol es un astro y una estrella

10. El circuito: Luego:
El sol es un astro.
1 1
Ejemplo 2:
 1 Si trabajas tienes dinero y si tienes
dinero, trabajas.
Equivale a: Luego:
A) B) Si trabajas, tienes dinero.
C) D) Fórmulas aplicadas:
E)

3. El nuevo factor o Nueva adición

(N.f.).-
Se usa solo con .
Estructura: En forma lineal

Ejemplo 1:
Rosa es enfermera
Luego:
REGLAS DE INFERENCIA Rosa es enfermera o profesora.
7.1 Aplicaciones a la validez de Ejemplo 2:
razonamientos Pedro es chiclayano
1. La conjunción (c) Luego:
Estructura: Pedro es chiclayano o Norteño

Ejemplo: P1 Carlos trabaja

P2 Rosa estudia 4. Las reglas de los Modus
Luego:
Carlos trabaja y Rosa estudia 4.1 Modus Ponendo Ponens
(P.P.).-
2. La simplificación (s) (Afirmando) (afirma)
Se usa con la conjunción. Estructuras:
Estructura:

En forma lineal:
Ejemplo:
Ejemplo 1: Si llueve, hay cosecha
348
 Lógica Proposicional

y llueve
Luego; hay cosecha

Ejemplo:
Ingresarán si y sólo si te esfuerzas
y te esfuerzas Ejemplo:
Luego; ingresarás Vas al colegio o al cine
y si es así que no vas al cine
4.2 Modus Tollendo Tollenus Luego; vas a colegio
(T.T.).-
(Negando) (niego) 4.5 Silogismo Hipotético Puro
Estructuras: (S.H.P.)
Estructuras:

Ejemplo:
Si tiene cráneo, vertebrado Ejemplo 1:
y no es vertebrado Si llueve, hay cosecha
Luego; no tiene cráneo si hay cosecha, hay producción
Luego; si llueve, hay producción
Ejemplo:
Es ave si y sólo si tiene quilla Ejemplo 2:
y si es así que no es ave Estudias si y sólo si te esfuerzas
Luego; no tiene quilla te esfuerzas si y sólo si triunfas
4.3 Modus Ponendo Tollendo Luego; estudia si y sólo si triunfas
(P.T.).-
Se usa con la disyunción 4.6 Dilema
excluyente. Clases:
D. constructiva D. Destructiva
Estructuras:

P.P. T.T.

Ejemplo: D. Mixta D. Demostrativa

Vas a Lima o al Cusco
pero vas al Cusco
Luego; no vas a Lima

4.4 Modus Tollendo Ponens

(T.P.).- T.T. P.T.
Se usa con la disyunción incluyente
y excluyente. Ejemplo:
Estructuras: Si tiene cráneo, es vertebrado

349
 Lógica Proposicional

si es ave, tiene quilla 2. En cuanto llueve en tanto se

tiene cráneo o es ave moja sin embargo está seco. Se infiere
Luego; es vertebrado o tiene quilla que:
1) No es cierto que no llueva
2) Es innegable que no llueva
3) Es cierto que llueva
4) No llueve
5) No es cierto que no llueva
Son ciertas:
A) 5, 4, 3 B) 1, 3, 2
C) sólo 2 y 4 D) 5, 2 y 1
E) N.A.

3. Si Descartes fue filósofo, así

como matemático es obvio que fue
sabio, aunque es falso que Descartes no
fue matemático o ni filósofo. Se concluye
que:
1) Descartes no fue sabio
2) Es falso que Descartes no fue sabio
3) Naturalmente Descartes siempre
fue sabio
4) Inobjetablemente Descartes fue
sabio
5) Inobjetablemente Descartes no fue
sabio
Son ciertas:
PROBLEMAS PROPUESTOS 7
A) 3, 2, 1 B) 1, 3, 2
C) 3, 4, 5 D) todas menos 1
E) Sólo 1
1. Si tiene buen abogado, será
absuelto, sin embargo, es innegable que 4. El pueblo respetará las leyes si
tenga un buen abogado. Luego; se y sólo si su gobernador es honrado. El
concluye que: pueblo sin duda respetará las leyes.
1) Es innegable que será absuelto Se infiere que:
2) No es innegable que será absuelto 1) Su gobernante es deshonesto
3) Será absuelto siempre que tenga 2) Su gobernante es siempre honrado
buen abogado 3) Honrado es su gobernante
4) Innegablemente será absuelto 4) Inobjetablemente su gobernante es
5) Su abogado es incompetente honrado
5) Descartes es su gobernante
Son ciertas:
A) 3, 1, 2 B) 5, 3, 2 Son correctas:
C) 4, 1 D) 5, 2, 1 A) 5, 3, 1 B) 2, 4, 3
E) N.A. C) 2, 1, 3 D) 5, 4, 3
E) 5, 1

350
 Lógica Proposicional

5. Leonardo Da Vinci fue pintor y 8. Estudiar o a la vez pintar

escultor a menos que antropólogo, pero requiere concentración. Pero en el caso
Leonardo Da Vinci no fue lo antedicho. que estudiar que estudiar no fuese la
Por lo tanto: actividad que Elena escogiera,
1) Leonardo Da Vinci también fue deduciríamos que:
antropólogo A) Elena se casaría
2) Pintor, así como escultor fue B) Elena tampoco pintaría
Leonardo Da Vinci C) Elena de repente trabajaría
3) Es falso que no fue ni pintor ni D) Elena pintaría
escultor Leonardo Da Vinci E) Para que Elena estudie tiene que
4) Leonardo si fue pintor, fue escultor concentrarse
5) Ni pintor ni escultor fue Leonardo
Da Vinci 9. No estudio a menos que sea
perezoso. No estoy perezoso excepto
Son ciertas:
que tenga interés, luego:
A) 1, 2 y 5 B) 2, 3 y 4
A) Ni estudio ni tengo interés
C) sólo 2 y 4 D) 3, 4 y 5
B) No estoy perezoso ni estudio
E) sólo 2
C) No tengo interés salvo que esté
perezoso
6. Es falso que o bien eres D) Estudio, porque tengo interés
disciplinado o bien eres responsable. Sin E) No estudio salvo que tenga interés
embargo, es mentira que no eres
disciplinado. Luego: 10. Ser médico a no ser que quiera
1) Eres responsable ser abogado. He allí el dilema pero si se
2) Eres indisciplinado
es jurisconsulto. Luego:
3) Es innegable que no eres
A) Es abogado obviamente
responsable B) También se es médico
4) Inobjetablemente eres irresponsable
C) No será ni médico ni abogado
5) Siempre serás no responsable
D) No es de ninguna manera médico
Son ciertas excepto:
E) N.A.
A) 3, 2, 1 B) 5, 4, 3
LÓGICA DE PREDICADOS
C) 5, 2, 1 D) todas menos 1
E) sólo 1
La lógica de predicados, denominada
7. Es felizmente cierto que ser también lógica de las proposiciones
pobre es lo mismo que ser feliz. Así analizadas, trata de las estructuras
como es ser pobre. Se infiere que: lógica interna de las proposiciones, esto
1) Es ser feliz es la relación entre el sujeto y el
2) Es feliz predicado.
3) No es falso que es ser infeliz
4) Innegablemente no es feliz Ejemplo:
5) No es infeliz Todos los trujillanos son liberteños
Esta proposición llamada proposición
Son correctas: categórica presenta los siguientes
A) 5, 4, 3 B) 2, 3, 4 términos principales:
C) 1, 5, 2 D) 5, 1
E) N.A. Término sujeto.- trujillanos
Término predicado.- liberteños

351
 Lógica Proposicional

Además del cuantificador literal “todos” mente en la clase de los

que indica que la clase “trujillanos” está matemáticos.
incluido totalmente en la clase predicado 4. Particular negativo: “Algunas
liberteño. líneas no son rectas”.
En esta proposición el conjunto de
2.1. Las proposiciones categóricas.- las “líneas” está excluido
Son aserciones acerca de clases, parcialmente del conjunto de las
donde una clase respecto a otra “rectas”.
está incluido o excluido total o
parcialmente. 2.2. Formas típicas.- En la lógica
tradicional las proposiciones
1. Universal afirmativo: “Todos los categóricas se expresan en las
mamíferos son vertebrados” llamadas cuatro formas típicas
En esta proposición la clase o siguientes:
conjunto de los mamíferos está Todo S es P
incluida totalmente en la clase o Ningún S es P
conjunto de los vertebrados. Algún S es P
Algún S no es P
2. Universal negativo: “Ningún
insecto es vertebrado”. Esta
Características:
proposición expresa la exclusión
 Tienen cuantificador: Todo,
total entre la clase insecto y la clase
ningún, algún.
“vertebrado”.
 Sujeto, que se representa como
3. Particular afirmativo: “Algunos (S).
profesores son matemáticos”.  Verbo copulativo, que puede
En este caso la clase de los ser expresado en distintos tiempos.
profesores está incluida parcial-  Predicado, que se representa
como (P)

Forma
Fórmula Se lee Ejemplo
típica
SaP Todo S es P A Todo pez es acuático
E Ningún cuadrúpedo
SeP Ningún S es P
es volador
I Algunos religiosos son
SiP Algún S es P
católicos
O Algunas aves no son
SoP Algún S no es P
voladoras

Relaciones entre las proposiciones

CONTRARIAS
A E
categóricas típicas (A, E, I, O)
SUBALTERNANTE

CO S
SUBALTERNA

NT IA
RA T OR
DI C
D I CTO
A RI
TR AS
ON
352 C

I SUBCONTRARIAS O
 Lógica Proposicional

 Se lee la subalterna de A es I
 La subalterna de O es E No equivalentes

2.4. Reglas de Oposición Ejemplos:

1. Las contrarias: 1. Todos los caballos son equinos
Luego su converso
Algunos equinos son caballos

Se lee si la premisa es (V) la 2. Ningún ateo es cristiano

conclusión es (F) falsa, pero si la Luego
premisa es (F) la conclusión es Ningún cristiano es ateo (Simple)
indeterminada. o
Algunos cristianos no son ateos
2. Las subcontrarias: (accidentales)

2.6. Las obversas

3. Las contradictorias:

4. Subalternas:

Ejemplos 1:
Todo católico es religioso.
5. Subalternantes Luego; (su obversa)
Ningún católico es no religioso

2.5. Las conversas Ejemplos 2:

Algunos congresistas son demagogos.
Luego; (su obversa)

Solución:
“Es falso que algunos ateos sean
religiosos”
equivale a:
Conversos Simples “Ningún ateo es religioso”
Luego; (su obversa es:)
Todo ateo es no religioso

2.7. Las contrapuestas.-

Equivalentes
Parcial:
Conversos Accidentales
353
 Lógica Proposicional

C) 2, 3 D) 3, 4
E) Todas

2. Son estructuras de las

conversas accidentales:
I.
II.
Total: III.
A) Sólo I menos II
B) Todas menos III
C) Sólo I
D) Todas menos I
E) Todas
3. Son esquemas equivalentes a
las equipolencias:
Simples Accidentales 1)
2)
3)
4)

Simples Accidentales
5)
Son innegables absurdas:
A) 1, 2 B) 3, 4
C) 4, 5 D) 3, 4, 5
E) Todas
Ejemplo:
La proposición: 4. Si la forma típica A es falsa, la
“Ningún ave es mamífero” subalternante de su contradictoria es:
Luego; su contrapuesta es: A) Falso B) Verdadero
“Algún mamífero es ave” C) Indeterminada D) Válida
E) Inválida
5. Si , luego la
PROBLEMAS PROPUESTOS 8 contradictoria de su subalterna es:
A) Verdadera B) Falsa
C) Indeterminada D) Válida
1. Si ningún ave es mamífero; E) Inválida
luego se concluye por conversión:
1) Toda ave es no mamífero. 6. La subcontraria de la
2) Es falso que algunas aves son contradictoria de “Ningún político es
mamíferos. sincero”.
3) Ningún mamífero es ave. A) Ningún sincero es político.
4) Algunos mamíferos no son aves B) Algunos políticos son sinceros.
5) Algunas aves no son mamíferos C) Todos los políticos son no sinceros.
Son ciertas excepto: D) Algunos políticos no son sinceros.
A) 1, 2, 5 B) 2, 3, 4 E) No se puede determinar.
354
 Lógica Proposicional

Son ciertas:
7. Es la contrapuesta de “Algunos A) 1, 3 B) 2, 3
mamíferos son animales marinos”. C) sólo 1 D) 1 y 2
A) Algunos mamíferos no son no E) Todas
animales marinos.
B) Es falso que ningún mamífero es
animal marino.
C) Algunos animales marinos son
mamíferos.
D) Todas.
E) Ninguna de las anteriores.

8. La contrapuesta de “Todos los

ofidios son vertebrados”, es:
1)
2)
3)
4)

5) Ningún no vertebrado es ofidio

A) 1, 5 B) 1, 2, 3
C) 2, 4 D) 1, 2, 5
E) Todas

9. De las proposiciones:
I. Algunas aves no vuelan.
II. Es falso que todas las aves vuelan.
III. Ninguna ave vuela

Podemos decir que:

1. I no es contradictoria de II
2. III es subalterna de I
3. Si II es verdadera, I es falso
Son ciertas excepto: LÓGICA DE CLASES
A) 1, 2 B) 1 y 3
C) sólo 3 D) sólo 2 7.1 Noción de clase: Conjunto de
E) Todas elementos que tienen elementos en
común.
10. De las expresiones: Ejemplo:
I. Ningún cristiano es ateo. Conjunto o clase de “Estudiantes
II. Todo ateo es no cristiano universitarios”.
III. Es falso que algún ateo sea no
cristiano 7.2 Tipos de Clase:
Se afirma que:
1) I es equivalente a II 1. Clase Universo: Clase cuyos
2) II no equivale a III elementos están en cantidad
3) II obversa de I universal.

355
 Lógica Proposicional

Ejemplo:
Clase de “Estrellas en el universo”.
Definición:
2. Clase Unitaria: Clase que posee un
solo elemento.
Símbolo: a
Ejemplo:
Gráfica:
U Clase universal
a Clase particular

Ejemplo: 2. Intersección o producto de clase:

Clase de “Estrellas de la tierra”. Símbolo:

3. Clase Nula o vacía: Clase Gráfica:

que no posee elementos.
Símbolo: x 
a b a b
Gráfica:

Ejemplo: Clase de elementos entre

Definición:
el 3 y el 4.

4. Clase Complemento: Clase

contraria o complementaria a la Ejemplo:
clase mencionada.
Símbolo:
Gráfica:
U 3. Diferencia de Clase:
Símbolo: (–)
a
Ejemplo: “Árbol” su complemento “no Gráfica:
árbol”.

7.3 Operaciones entre clases x 

a b a b
1. Reunión o Suma:
Símbolo:
Definición:
Gráfica:
U U
x x x 
Ejemplo:
a b a b

356
 Lógica Proposicional

mujeres (clase resultante)

Definición:
7.4 Relaciones entre clases:

1. Inclusión
Símbolo: Ejemplo:

Gráfica:

b ningún ave es pez (clase

a 
resultante)
a b
3. Igualdad de clases:
Símbolo: =
Definición: Gráfica:
ab
ab
Ejemplo:
Definición:

Todos los mamíferos son

vertebrados Ejemplo:

2. Exclusión de clases: Números divisibles por 2

Símbolo:
Gráfica: “Números pares” es
equivalente a “Números divisibles por
dos”

a b a b

LOS DIAGRAMAS DE VENN

7.1. Noción: Es un sistema de gráficas que sirven para demostrar la validez de un

razonamiento o inferencia.

Clases:

1. Con una clase:

x
x
S S S S S
No se lee S S S S
nada en el Clase "S" Clase "S" Complemento Complemento
diagrama es igual es diferente clase "S" es clase "S" 357
es
a vacío a vacío igual al vacío diferente al
vacío
 Lógica Proposicional

2. Con dos clases:

Formas típicas:
A E C O

x x
S P S P S P S P
SP   SP   SP   SP  
Se lee:
Complemento de Intersección de Intersección de Complemento de
"P" que es "S" es "S" y "P" es "S" y "P" es "P" que es "S"
igual al vacío igual al vacío diferente al vacío es diferente al vacío
ó ó ó ó
Todo "S" es "P" Ningún S es P Algún S es P Ningún S no es P
Formas no típicas:
SaP SeP SiP SoP
x
x
S P S P S P S P
SP   SP   SP   SP  
"Todo no S es P" "Ningún no S es P" "Algún no S es P" "Algún no S es no P"

3. Con tres clases:

S P S P S P S P
x
x x

M M M M

MP   MP   PM   MP  

SM  
SM   SM   MS  
SP  
SP   SP   SP  
S P S P S P S P
A A A 1 E I O 1 A O O2 OAO
x x
BARBARA FERIO BAROCO BOCARDO

M M M M
MP   MP   PM   MP  
SM   SP   SM   MS  
SP   SP   SP   SP  
358
C A E 1 A I I1 A E E2 IA I
CELAREN DARII CAMENES DISAMC
 Lógica Proposicional

2) Si no son vertebrados, son insectos

3) Es falso que si son mamíferos, no
PROBLEMAS PROPUESTOS 9 son vertebrados
4) Es falso que existen mamíferos o
cetáceos
1. En el diagrama: Son ciertas:
A) 1, 2 y 3 B) 2, 3 y 4
P M C) 1, 2 y 4 D) sólo 3
x E) N.A.

3. El diagrama:
Se traduce como: a
1) Cualquier pez no es marino b
2) Ningún pez no es marino
3) Aunque sea un pez no es marino
4) Es absurdo que todo pez es marino
5) No acaece que si son peces, son Representa a:
marinos A) Una inclusión total de clases
Son ciertas: B) Una clase complemento
A) 2, 3 y 4 B) 1, 4 y 5 C) Una clase exclusión parcial de clases
C) 3, 4 y 5 D) 2, 3 y 5 D) Una exclusión total de clases
E) 2, 4 y 5 E) Una igualdad entre clases

2. El diagrama adjunto: 4. Son fórmulas verdaderas:

a b 1)

2)
3)
1) Todos son mamíferos o vertebrados 4)

359
 Lógica Proposicional

5)
7. De la gráfica:
Son ciertas:
A) 1, 2 y 3 B) Sólo 2 y 3 Artistas
C) 3, 4 y 5 D) 1, 2 y 5
Pintor Escultor
E) Todas

5. El gráfico adjunto:
Donde:
S P

Son fórmulas verdaderas:

Representa a: 1) 2)
1) Todos desleales son hipócritas
2) Todos los mamíferos son 3) 4)
vertebrados 5)
3) Es falso que los peces no son Son ciertas:
voladores ni anfibios A) 2, 3 y 5 B) 3, 4 y 5
4) Todos los rumiantes son herbívoros C) 1 y 4 D) 4
5) Ningún marsupial es no mamífero E) Ninguno
Son ciertas:
A) 2, 3 y 4 B) 1, 2 y 3 8. El diagrama:
C) 2, 4 y 5 D) 1, 2 y 5
P C
E) 3, 4 y 5
x
6. El diagrama clasial:
I M
Donde:

x
Tiene como proposición equivalente: Representa a:
1) Es falso que ningún ingeniero sea 1) Algún científico no es poeta
matemático 2) Algún poeta no es científico
2) Existen no ingenieros que no son 3) Es falso que todo poeta no es
matemáticos científico
3) Una gran cantidad de no ingenieros 4) Algún poeta es científico
no son matemáticos 5) Es mentira que ningún poeta no sea
4) No se da que ningún no ingeniero científico
sea matemático Son ciertas:
5) No todos los no ingenieros son A) Sólo 1 B) 2, 3 y 4
matemáticos C) 3, 4 y 5 D) 2, 4 y 5
Son ciertas: E) 1 y 3
A) 2, 3 y 5 B) 1, 2 y 5 9. Dadas las premisas:
C) 2, 4 y 5 D) 1, 2 y 5
E) Sólo 2 y 3 ;

360
 Lógica Proposicional

Podemos afirmar que sea: Quien quiera x Cada uno de los x.

1) Conclusión es:
2) Particular:
2) Conclusión es: Ningún P es S
se lee:
3) Conclusión es: Todo S es P
4) Conclusión es una proposición Existe x Pocos x
categórica del tipo A Algunos x Muchos x
Su gráfica es: Hay x Al menos un x, etc.

S P 11.2Formalización de los cuantifica-

dores
Sea:
M = mamíferos
M Se lee:
Todos son mamíferos
Son falsas: Se lee:
A) 1, 2 y 3 B) Sólo 2 Algunos son mamíferos
C) Sólo 1 y 2 D) 3 y 4
E) Sólo 1 Sea:
10. El diagrama: Todos son abogados
No todos son abogados
A B
Ninguno es abogado
Es falso que ninguno
sea abogado
Representa a: Es falso que algunos
A) Todo insecto es vertebrado no son abogados
B) Ningún no insecto no es no Algunos no son
vertebrado abogados
C) Los no insectos son mamíferos Es falso que haya
D) Todas abogados
E) N.A.
11. LÓGICA CUANTIFICACIONAL Equivalencias con un predicado o
monódicos
11.1Cuantificadores
Noción: Son símbolos que pueden
representar la cantidad (Universal o
particular) de elementos que
contienen el sujeto dentro del
predicado.
Ejemplos:
Clases: No hay vacaciones
1) Universal: Equivale a decir
se lee:
Para todo x La totalidad de x Solución:
Todo x Los x
Cualquier x Las x, etc.
361
 Lógica Proposicional
Para nada hay vacaciones
1) Todos son racionales
Equivale a decir
Solución:
Es falso que algunos no sean
racionales
2) No todo es legalidad
Equivale a decir
Solución:
Algunos no son legales
11.3Cuantificadores con
predicados (diádicos)
 Formalización
Sea:
M = médicos C = cirujanos
Luego:
Ejemplos:
1) La proposición: “Hay médicos que
son cirujanos”; equivale a:
 Es falso que ningún médico es
cirujano
 Es falso que ningún cirujano es
médico
 Pocos cirujanos son médicos
362
Se traduce: “Todos los médicos
son cirujanos”
Equivalencias:
A)
– O
E)
– I
Se traduce:
1) “Todos los médicos son
cirujanos” …… A
Equivale decir:
“Es falso que algunos médicos no
son cirujanos”
……..
dos 2) “Ningún médico es cirujano”
…… E
Equivale decir:
“Es falso que algunos médicos
son cirujanos”
……..
2) La proposición: “Son médicos o
cirujanos”; equivale a decir:
 Si no son médicos, son cirujanos
 Si son cirujanos, no son médicos
 Son cirujanos o bien son médicos
3) La proposición: “Si son médicos,
son cirujanos”; equivale:
 No son médicos a menos que
cirujanos
 Lógica Proposicional

 Si no son cirujanos, no son médicos Resumen:

11.4 Equivalencias en un universo
finito
Sea:
A = Abogado

El universalizador
Nota: Si el esquema es
se busca su equivalencia,
recuerde que:
Todos son abogados
Equivale a:
Ejemplos:
Ana es abogada, Bertha es
1) La proposición: “Muchos son
abogada así como Carlos es
congresistas”;
abogado.
Equivale a:
Ana es congresista a menos
El negador universalizador
que Bertha o Carla sean
“No congresistas.

todos son abogados” equivale a 2) La proposición: “Ni siquiera

decir: uno es vocal”;
(En un universo finito) Equivale a:
“Alberto no es abogado” o “Beto Mario no es vocal no Alberto
no es abogado” o “Carlos no es ni Rafael es vocal
abogado” o también “Es falso que
Alberto, Beto y Carlos no son
abogados”.

El particularizador

Hay

abogados
Equivale a decir: (en universo
finito)
Roberto es abogado o Enrique es
abogado o Federico es abogado. PROBLEMAS PROPUESTOS 10
El negador del particularizador
1. La expresión: “No hay anfibios”;
equivale a:
Roberto no es abogado ni 1) Todos son anfibios
Enrique ni Federico son 2) Quienquiera que sea no es anfibio
abogados. 3) Ninguno no es anfibio
4) Ni siquiera uno es anfibio

363
 Lógica Proposicional

5) Es falso que algunos no sean no 5. La expresión: “Hay psicólogos”;

anfibios equivale a:
Son ciertas: 1) Ricardo o sólo Enrique es psicólogo
A) 1, 2 y 4 B) 3, 4 y 5 2) Si Luis no psicólogo obviamente
C) 2, 4 y 5 D) 1, 3 y 5 que Enrique si lo es
E) 1, 2 y 3 3) Marcos y Alonso son psicólogos
4) Es mentira que Richard y Enrique
2. La expresión: “Ninguno es no sean psicólogos
alcohólico”; equivale a: 5) Marcos a no ser que también
1) No ocurre que haya alcohólico Antonio son psicólogos
2) Ni siquiera uno no es alcohólico Son ciertas:
3) Muchos no son alcohólicos A) 1, 2 y 5 B) 2, 3 y 4
4) Cualquiera no es alcohólico C) 2, 4 y 5 D) 1, 3 y 4
5) No todos son alcohólicos E) 1, 3 y 5
Son falsas:
A) 1, 2 y 4 B) 2, 3 y 4 6. “No todos no son mecánicos”;
C) 1, 3 y 5 D) 1, 4 y 5 es la expresión que tiene como negación
E) 2, 3 y 5 a:
1) Ninguno es mecánico
3. “Casi no hay deportistas”; 2) Algunos son mecánicos
expresión que equivale a: 3) Algunos no son no mecánicos
1) Varios son deportistas 4) Es falso que haya mecánicos
2) No ocurre que ninguno no sea no 5) Es falso que algunos no sean
deportista mecánicos
3) No todos no son deportistas Son ciertas:
4) Es mentira que ninguno sea A) 1 y 4 B) 2 y 4
deportista C) 3 y 5 D) 1 y 2
5) Es innegable que al menos hay un E) 1, 3 y 5
deportista
Son ciertas: 7. La expresión: “Ni siquiera una
A) Todas B) 1, 3 y 4 es irresponsable”; equivale a:
C) Sólo 2, 3 y 5 D) Sólo 3, 4 y 5 1) Ana así como que también Bertha
E) 1, 2 y 4 son responsables
2) No sólo Evelyn sino también Mary
4. La expresión: “Algunos no son son responsables
choferes”; tiene como negación a: 3) Rosa no obstante Paty no son
1) Ni siquiera uno no es chofer responsables
2) No todos son choferes 4) Lady no es irresponsable a pesar
3) Todos son choferes que Paola es responsable
4) Varios son no choferes 5) Ni Mirella ni Zoila son
5) Es falso que algunos sean choferes irresponsables
Son ciertas: Son falsas:
A) 1, 2 y 5 B) Sólo 1 y 3 A) Sólo 2 y 3 B) Sólo 4 y 5
C) 1, 3 y 4 D) Sólo 4 y 5 C) 1, 2 y 4 D) Sólo 3 y 5
E) 2, 4 y 5 E) Ninguno

364
 Lógica Proposicional

8. La proposición: “Ni siquiera un E) Todas

ave es reptil”; equivale a:
A) Algunas aves no son reptiles
B) Por lo menos hay aves que son
reptiles
C) En lo absoluto hay aves reptiles
D) Es falso que cada ave no reptil
E) Pocas aves no son reptiles
9. La expresión: “Cada uno es
militar”; no equivale a:
1) Todos son generales
2) Es falso que no haya militares
3) Todos son militares
4) Ni siquiera uno no es militar
5) Es falso que no haya militares
Son correctas:
A) 1, 3 y 4 B) 3, 4 y 5
C) 2 y 5 D) 1, 2 y 5
10. La expresión: “Todos los
ingenieros son matemáticos”; equivale a:
A) Casi no hay ingenieros matemáticos
B) Cada uno de los matemáticos son
ingenieros
C) Es absurdo que haya ingenieros
matemáticos
D) Es absoluto que cualquier no
ingeniero no es matemático
E) Es falso que haya matemáticos
ingenieros

12. REGLAS DE GENERALIZACIÓN Y EJEMPLIFICACIÓN

12.1 Demostración formal de la validez de razonamientos

1) La prueba directa: Demostrar la validez de una inferencia mediante la

prueba directa consiste en derivar la conclusión a partir de un conjunto de
premisas en una secuencia finita de pasos, donde cada paso debe ser
justificado por una regla lógica.

Ejemplo 1:

1 y 3 P.P. 2 y 4 T.T.

Ejemplo 2:
2 D.M.
3 y 1 (S) y (P.P.)

3 (S)

4 y 5 (T.P.)

365
 Lógica Proposicional

2) La prueba condicional: Es una forma de derivación para demostrar

inferencias válidas, que es posible sólo cuando la inferencia tiene como
conclusión una proposición condicional. Este procedimiento consiste en
asumir como premisa adicional el antecedente de la fórmula condicional
que aparece en la conclusión.

Ejemplo:

Prem. Adicional
1, 3 P.P.
2, 4 P.P.
(3, 5) P.C.

Ejemplos de Demostración formal

1. Hallar la conclusión de las premisas:
1) 2)

3) 4)

12.2 Silogismos y cuantificación

1. Silogismos

2. No son inferencias mediatas formadas por proposiciones cuantificadotas,

que poseen dos premisas y tres términos: P, S y M.
Ejemplo:
Todos los mamíferos son vertebrados
Todas las ballenas son mamíferos
Luego:
Todas las ballenas son vertebrados
366
 Lógica Proposicional

Término mayor: (p) “vertebrados”

Término menor: (s) “ballenas”
Término medio: (m) “mamífero”

3. Reglas del silogismo

3.1 De los términos

 Todo silogismo debe tener sólo tres términos P, S y M,
 El término medio se repite en las dos premisas pero no en
conclusión
 En conclusión los términos mayor y menor no deben tener más
extensión que las premisas
 El término medio debe estar en premisas distribuido por lo
menos una vez

3.2 De las proposiciones o premisas

 De dos premisas afirmativas se concluye otra afirmativa
 En conclusión debe estar la premisa más débil, siendo la
particular más débil que la afirmativa.
 De dos premisas negativas universales, nada se concluye.
 De dos premisas particulares, nada se concluye

4. Figuras del silogismo

Sirven para identificar la ubicación del término medio:

Ejemplo: (Del caso anterior)

Pertenece a la primera figura

5. Modos del silogismo: Sirve para ubicar las formas típicas de las
proposiciones (A E I O), los modos válidos están agrupados por cada
figura:

367
 Lógica Proposicional

Nota: La primera columna de cada figura corresponde a la primera

premisa, la segunda a la segunda premisa y la tercera a la conclusión.

SILOGISMOS Y LA LÓGICA CUANTIFICACIONAL

Las reglas de la lógica cuantificacional sirven para demostrar también la validez del
silogismo.

Ejemplo:
Todos los mamíferos son vertebrados
Todas las ballenas son mamíferos

Luego:
Todas las ballenas son vertebrados
MÉTODOS PARA DEMOSTRAR LA VALIDEZ

Estructura:

1) Por el método válido:

2) Por la lógica Booleana:

B V

3) Por los cuantificadores:

368
 Lógica Proposicional

DEMOSTRACIÓN POR LOS CUANTIFICADORES

Ejemplo 1:

Ejemplo 2:

Ejemplo 3:

“Toda acción moral es obligatoria” y

“Algunas acciones morales son
PROBLEMAS PROPUESTOS 11 justas”
Inferimos:
1) Algunas cosas justas son
1. De las premisas: obligatorias
“Algunos ingenieros químicos no 2) Algo es justo y no es obligatorio
son estudiosos“ O 3) Todo es justo pero no es obligatorio
“Todo ingeniero químico es 4) Ninguna cosa obligatoria es justa
5) Al menos alguna cosa es justa por
dialéctico” obligatoria
Inferimos: Son correctas:
1) Algunos dialécticos no estudian A) 1, 2 y 3 B) 2, 3 y 4
2) Hay personas que siendo C) 1 y 5 D) Todas
dialécticos no estudian E) N.A.
3) Al menos debe haber una persona
dialéctica que no estudia 3. De las proposiciones lógicas:
4) Todo estudioso es dialéctico “Ningún ciudadano asiático es
5) Los dialécticos no son estudiosos europeo“ y
“Algún ciudadano asiático es
Son ciertas: peruano”
A) 1, 2 y 3 B) 2, 3 y 4 Inferimos deductivamente:
C) 3, 4 y 5 D) Todas 1) Algunos peruanos no son europeos
E) N.A. 2) Los peruanos no son europeos
3) Todo peruano no es europeo
2. De las premisas: 4) Ningún peruano no es europeo
369
 Lógica Proposicional

5) Hay peruanos que no son europeos 5) Ningún ser es animal

Son correctas: Son correctas:

A) 1, 2 y 3 B) 2, 3 y 4 A) 1, 2 y 3 B) 2, 3 y 4
C) Sólo 4 D) Todas C) 3, 4 y 5 D) Sólo I
E) N.A. E) N.A.

4. De las proposiciones lógicas: 7. De las proposiciones lógicas:

“Ningún mamífero es vivíparo” y “Algunos profesores son médicos”
“Ningún ser que no es vivíparo es “Todos los profesores encantan”
animal” Inferimos deductivamente en la
Inferimos deductivamente: siguiente proposición:
1) Ningún mamífero es animal 1) Hay personas que encantan siendo
2) Todos los mamíferos son animales médicos
3) Todos los vertebrados son animales 2) Existen personas encantadoras que
4) Algunos animales son los son médicos
mamíferos 3) Hay personas que encantan y son
5) Ningún animal es mamífero médicos
4) Algún individuo es encantador y es
Son correctas: médico
A) Sólo 1 y 5 B) 2, 3 y 4 5) Al menos una persona encantadora
C) 3, 4 y 5 D) Todas es médico
E) N.A.
De las anteriores proposiciones son
5. De las premisas: correctas:
“Ningún estudiante es malo” A) 1, 2 y 3 B) 2, 3 y 4
“Todo negligente es malo” C) 3, 4 y 5 D) Todas
Deducimos: E) N.A.
1) Ningún negligente es estudioso
2) Todo negligente no es estudioso 8. De las proposiciones lógicas:
3) Los negligentes no estudian “Todo estudiante es optimista” y
4) Cada persona negligente no es “Toda persona optimista es
estudiosa honesta”
5) Ningún estudioso es negligente 1) Cualquier estudiante es honrado
2) Basta que una persona sea
Son correctas: estudiante para que
A) 1, 2 y 3 B) 2, 3 y 4 necesariamente sea honesto
C) 3, 4 y 5 D) Todas 3) Ningún estudiante es deshonesto
E) N.A. 4) Ningún deshonesto es estudiante
6. De las premisas: 5) Toda persona al ser un estudiante,
“Ningún animal piensa” y luego forzosamente es honesto
“Algunos seres piensan”
Inferimos: De las anteriores proposiciones son
1) Algunos seres no son animales correctas:
2) Hay animales que son seres A) 1, 2 y 3 B) 2, 3 y 4
3) Es falso que todo ser no sea animal C) 1, 2 y 5 D) Todas
4) Ningún animal es ser E) N.A.

370
 Lógica Proposicional

Ejemplo:
9. De las proposiciones lógicas: La plata es un buen conductor de la
“Todos los políticos no son electricidad
honrados” y El cobre es un buen conductor de la
“Algunas personas honestas son electricidad
congresistas” El plomo es un buen conductor de la
1) Cualquier estudiante es honrado electricidad
2) Basta que una persona sea Luego:
estudiante para que Todos los minerales son buenos
necesariamente sea honesto conductores de la electricidad
3) Ningún estudiante es deshonesto
4) Ningún deshonesto es estudiante 2) Características:
5) Toda persona al ser un estudiante, a) Son razonamientos que parten de
luego forzosamente es honesto verdades particulares para concluir
en verdades particulares para
De las anteriores proposiciones son concluir en verdades generales.
correctas: b) Se establece de manera probable
A) 1, 2 y 3 B) 2, 3 y 4 parcialmente confirmado
C) 1, 2 y 5 D) Todas c) Sus razonamientos son aplicados a
E) N.A. las leyes científicas

10. De las siguientes premisas: 3) Tipos:

“Todas las ciudades o bien son 3.1. Inducción por
urbanas o bien son rurales” y enumeración completa: Aquel
“Lima no es urbana” razonamiento cuyas premisas son
Se infiere deductivamente en la proposiciones singulares que se
siguiente conclusión: determinan una por una para
A) Lima no es rural concluir en una proposición general.
B) Lima es una ciudad Ejemplo:
C) Lima no es urbana  El precio del servicio de la luz es
D) Lima es rural muy caro
E) La ciudad de Lima es linda  El precio del servicio del agua es
muy caro
 El precio del servicio del teléfono es
muy caro
Luego:
Todos los servicios públicos son muy
caros

FORMAS DE RAZONAMIENTO 3.2. Inducción por coligación:

Razonamiento cuyos juicios
RAZONAMIENTO INDUCTIVO indirectos se establece en forma
ordenado para expresarse en una
1) Noción.- Es un razonamiento en propiedad de conjunto considerado
cuya ilación va de lo particular a lo como unidad.
general. Ejemplo:
Es un animal:
371
 Lógica Proposicional

- De piel desnuda Luego:

- Anfibio Son mamíferos sí y sólo si son
- Batracio vertebrados
Luego: Formalizando argumento
Este animal es un SAPO

3.3. Inducción amplificadora:

Aquella en la cual la relación
formulada por el juicio inducido se  Muestra:
aplica a todos sus miembros de una Ejemplo:
clase. El diagnóstico de una enfermedad
Ejemplo: por muestra (muestreo) de la sangre.
De los profesionales:
- Algunos son profesores pero no son
abogados
- Algunos no son profesores pero sí
abogados
- Algunos son profesores y abogados
- Algunos no son profesores ni
abogados
Luego:
De los profesionales:
- Algunos son profesores o abogados
o profesores y abogados o ni
profesores ni abogados.
Graficando premisas y conclusión:

P
1 2 3 4

P A

Formalizando argumentos:

Clases: PROBLEMAS PROPUESTOS 12

 Recíproca
Ejemplo:
Si es mamífero, es vertebrado y si es 1. De las siguientes premisas:
vertebrado, es mamífero.

372

P1: “A y B” son números naturales y
su producto es un número
natural.
P2: “C y D” son números naturales y
su producto es un número
natural.
P3: “A y C” son números naturales y
su producto es un número
natural.
A) El producto de algunos números
naturales es otro número natural.
B) El producto de cualquier par de
números es un número natural.
C) El producto de un par de números
naturales es un número cualquiera.
D) El producto de cualquier par de
números naturales es otro número
natural.
E) El producto de dos números
naturales es conmutativo y también
transitivo.
2. De las siguientes premisas:
P1: al calentar un cilindro con pistón
que contiene nitrógeno gaseoso,
su volumen aumenta.
P2: si calentamos un recipiente,
flexible, que contiene oxigeno, su
volumen aumenta.
P3: si enfriamos bajo cero, un
recipiente plástico que contiene
cloro gaseoso, éste se contrae.
Podemos inducir:
A) Que calentar nitrógeno, éste se
expande. Pero el cloro se contrae.
B) Que al calentar el nitrógeno y el
oxigeno, estos se expanden. Pero el
cloro se contrae.
C) Que el volumen de los gases
depende directamente de la
temperatura a la que estos se
encuentran.
D) Que el volumen de los gases
depende del recipiente que los
contrae.
Lógica Proposicional
3. De las siguientes premisas:
P1: algunos mamíferos son
carnívoros.
P2: algunos mamíferos no son
carnívoros.
P3: algunos carnívoros no son
mamíferos.
Podemos inducir:
A) Algunos no son mamíferos,
carnívoros o cualquiera de los dos
aspectos.
B) Algunos no son mamíferos ni
carnívoros. Pero si ambos a la vez.
C) Todos son mamíferos o carnívoros,
salvo que también mamíferos y
carnívoros a la vez.
D) Todos son mamíferos o carnívoros,
el igual que ambos aspectos a la vez.
E) Nadie no es mamífero o carnívoro o
carnívoro y mamífero.
4. De las siguientes premisas:
P1: algunos vertebrados no son
animales marinos.
P2: algunos animales marinos no son
vertebrados.
P3: algunos no son animales marinos
ni vertebrados.
Podemos inferir:
A) Algunos son animales marinos o
vertebrados o animales marinos a la
vez que vertebrados.
B) Algunos no son animales marinos ni
vertebrados pero si son animales
marinos y vertebrados.
C) Algunos son vertebrados aunque
también animales marinos, o no son
vertebrados ni animales marinos.
D) Algunos son animales marinos o
vertebrados o animales marinos o no
vertebrados.
E) Algunos son animales marinos o
vertebrados o animales marinos y
vertebrados, o no son vertebrados ni
animales marinos.
373
 Lógica Proposicional

5. Si: “El doberman no es carnívoro, al 7. “si un animal tiene cráneo, entonces

igual que el pastor alemán, chihuahua, es vertebrado y, si un animal es
san bernardo de ningún modo son vertebrado, tiene cráneo”. Es posible
omnívoros”. ¿Qué inducimos equivalen- concluir por reciprocidad.
temente? A) Algunos animales tienen vértebras
1) Muchos animales son si tienen cráneo.
omnívoros al igual que son perros. B) Algunos animales tienen vértebras
2) Nadie creía que algún animal si tienen cráneo.
es perro y es omnívoro. C) Cada animal es vertebrado si y solo
3) Ningún perro es obviamente si tienen cráneo.
omnívoro. D) Todos los vertebrados tienen
4) En absoluto ocurre que, cada cráneo.
animal no es omnívoro salvo que no E) Todos los mamíferos son
sea perro. vertebrados.
5) Es innegable que cualquier
animal no es omnívoro excepto que 8. El pago de servicio de luz es muy
tampoco sea perro. costoso. El pago del servicio de agua
potable y desagüe son muy costosos. El
Son indiscutiblemente correctos: pago de servicios telefónicos es muy
A) 2,3 y 5 B) 1,3 y 4 costoso al igual que el alumbrado
C) 2,3 y 4 D) solo 1 y 3 público también lo es. Luego:
E) solo 2 y5 A) El pago de algunos servicios
públicos no son costosos
6. Si: “Paco no pudo sobrevivir al B) No todos los pagos de servicios
SIDA, así como Paula, paulino y Juanita públicos no son costosos.
tampoco sobrevivieron al virus del C) Cada pago de servicio público es
SIDA”; en consecuencia, ¿Qué podemos barato.
inducir? D) La mayoría de los pagos de
1) Todo género de hombres no ha servicios públicos son costosos.
podido hasta ahora sobrevivir al E) Cualquier pago de servicio público
SIDA. es costoso.
2) Ninguna raza humana ha
sobrevivido al SIDA. 9. Al calentar el nitrógeno éste
3) Ni siquiera un hombre es capaz aumenta su volumen. Al calentar el
hasta ahora de sobrevivir al SIDA. oxígeno, éste se dilata. Al calentar el
4) Es falso que, varios que hidrógeno, éste aumenta su volumen.
sobrevivieron al SIDA son seres Se concluye por inducción:
humanos. A) Algunos gases aumenta su
5) Cualquiera no es varón a no volumen.
ser que también nunca haya sobrevivido B) Algunos gases al calentarse
al SIDA. aumenta de volumen.
C) Todos los elementos químicos al
Son no absurdos, excepto: calentarse aumenta de volumen.
A) 1,3 y 5 B) solo 1 y 5 D) Todos los gases al calentarse se
C) 2,3 y 4 D) todas dilatan.
E) ninguna

374
 Lógica Proposicional

E) Cualquier gas es un elemento

químico. 2) Características:
 Tiene una estructura de
10. Del siguiente argumento: “si transitividad.
Margarita está casada, Ofelia no está
casada. Además, si Margarita no está
casada. Lorena está casada. Tanto  Está formado por proposiciones
como ni Ofelia está casada, Lorena no relacionales.
está casada.”  Premisa y conclusión tiene el
Podemos concluir: mismo grado de generalidad.
A) Margarita está casada.
B) Margarita no está casada. 3) Tipos:
C) Ofelia está casada.
D) Ofelia no está casada. 3.1. Por comparación
E) Lorena no está. Formas:

Ejemplo 1:

Ana es mayor que Bertha

Bertha es mayor que Carla
Luego
Ana es mayor que Carla

Ejemplo: 2
Pedro es gemelo de Pablo
Pablo es mayor que Carlos
Luego
Pedro es mayor que Carlos

3.2. Por ubicación geográfica

RAZONAMIENTO TRANSDUCTIVO
1) Noción: razonamiento en cuya ilación
entre premisa y conclusión va de lo
particular a lo particular; es decir que
tiene la misma generalidad.
Casos que se presentan
1) Si Ana se encuentra al sur
de Bertha y Bertha se encuentra al
sur de Carla. Luego:
Ana se encuentra al sur de Carla

375
 Lógica Proposicional

N
Ana 1. En una conservación sobre libros se
dice que Rosita tiene menos libros que
Carmen, Alberto tiene más que Rosa,
O E Bertha además Paúl tiene igual cantidad de
libros que Carmen; de lo que se deduce
Carla en:
S A) Rosa tiene más libros que Paúl.
B) Carmen tiene más libros que Rosa.
2) Si Carlos se encuentra al C) Alberto tiene menos libros que
este de Roberto y Roberto al sur de Carmen.
Manuel. D) Paúl tiene menos libros que Rosa.
Luego
Graficando: 2. Si César ingreso antes que
Manuela, Alberto ingresa antes que
Manuel Roberto Carlos César, entonces de los tres:
I) Ped
3) Si N no está al norte de ro ingresa antes que Manuela.
Marylin y Marylin al nor este de Tula II) Alb
Luego: erto ingresa antes que Pedro.
N está al nor este de Tula III) Ped
Graficando: ro y Manuela ingresan después que
N Alberto.
NE Nino
De las tres son válidas:
O E Marylin A) las tres B) solo I y II
C) solo I y III D) solo II y III
E) N.A.
Tula
S 3. Trujillo se encuentra al norte de
Lima y Piura se encuentra al norte de
Lima.
Por lo tanto es obvio que:
A) Piura no se encuentra al norte de
Lima.
B) Trujillo se encuentra al norte de
Piura.
C) Trujillo se encuentra al sur de Piura.
D) Piura no se encuentra al norte de
Trujillo.
E) N.A.

4. En ingreso a la universidad: Arévalo

es posterior a Benítez, éste es posterior
a Cruzado, éste es posterior a
PROBLEMAS PROPUESTOS 13 Domínguez y éste es posterior a Elías.
Se infiere en:

376
 Lógica Proposicional

1) Arévalo es
posterior a Cruzado y Domínguez. 7. Una leguminosa es una dialipétala,
2) Arévalo es angiosperma es traqueofita, toda
anterior a Cruzado y Benitez. dialipétala es dicotiledónea además las
3) Cruzado es dicotiledóneas son angiospermas; de los
anterior a Domínguez y a Elías. que se concluye:
4) Benítez es A) Toda dicotiledónea es leguminosa.
posterior a Domínguez y a Elías. B) Toda angiosperma es dicotile-
5) Elías es dónea.
anterior a todos. C) Toda dialipétala es leguminosa.
A) 3, 2, 1 B) 3, 2, 4 D) Toda traqueofita es dicotiledónea.
C) 5, 1, 4 D) 5, 2, 4 E) Toda leguminosa es traqueofita.
E) 5, 1, 3
8. Yo como hijo dependo de mis
padres, ellos dependían de mis abuelos,
5. A es mayor de tres hermanos y el
mis abuelos de mis bisabuelos y ellos a
de menor talla, C es menor y de talla
su vez de mis tatarabuelos. Con
intermedia; de lo que se deduce que:
respecto a mis tatarabuelos cual es mi
A) El más joven es el más alto.
relación.
B) El menos joven es el más alto.
A) nieto B) bisnieto
C) El más alto es el menos joven.
C) tataranieto D) padre
D) El menos joven es el menos alto.
E) N.A.
E) N.A.
9. Si Jacinto es más alto que Juan y
6. Cinco alumnos tenían que rendir más bajo que Marco. Si además Jonson
una prueba objetiva de lógica ante el es más alto que Elio y más bajo que
profesor Max y estaban parados de la Fida, entonces, se infiere:
siguiente manera: 1) Marco es más
El primero en responder se ubicó a la alto que Juan.
derecha del profesor y a la izquierda de 2) Fida es más
sus compañeros era el alumno Pucutay; alta que Elio.
el segundo en hablar fue el del otro 3) Juan es más
extremo que era el alumno Carpioso. El bajo que Marco.
alumno Eslava se encontraba al centro y A) solo I y II B) I y II
a su derecha de Alva. C) II y III D) I, II y III
¿Cómo se ubicaban los alumnos?
10. Raúl es más joven que Carlos y
a) Alva, Pucutay, Carpioso, Díaz, Andrés es más viejo que Raúl además
Eslava. Pedro tiene la misma edad de Carlos
b) Eslava, Díaz, Carpioso, Pucutay, luego:
Alva. A) Pedro es más joven que Andrés.
c) Díaz, Eslava, Alva, Pucutay, B) Andrés es más joven que Raúl.
Carpioso. C) Carlos y Andrés tienen la misma
d) Carpioso, Díaz, Alva, Eslava, edad.
Pucutay. D) Pedro es más viejo que Andrés.
e) Carpioso, Díaz, Eslava, Alva, E) N.A.
Pucutay.

377
 Lógica Proposicional

Luego:
Red telefónica es análoga con el
sistema nervioso.

RAZONAMIENTO POR ANALOGÍA 2) Analogías con

función diferente.
Es aquel razonamiento que se efectúa Alas de ave - brazos.
cuando dos objetos tienen semejanzas Brazos – miembros anteriores de los
en parte de sus caracteres; y de ellos se mamíferos.
infiere que probablemente tienen sus Luego:
caracteres restantes. Alas de ave – miembros anteriores
de los mamíferos.
 Es una transducción en la cual
una cierta relación se transmite de una 3) Analogías con
premisa a la otra de tal manera que la la misma función pero en distintos
conclusión viene a ser la transferencia organismos.
efectuada. Pulmones de aves – vías
respiratorias.
Estructura: Vías respiratorias – bronquios de
El objeto A posee las notas a, b, c, d y e. pez.
El objeto B posee las notas b, c, d y e. Luego:
Pulmones de ave – branquias de
Luego; el objeto B posiblemente tenga la pez.
nota a.
Ejercicios
CARACTERÍSTICAS:
1) El 1) Dora es
razonamiento debe realizarse con estudiosa, respetuosa e inteligente,
objetos análogos y no con objetos o Elena que es su hermana es
clases similares. respetuosa e inteligente.
2) La conclusión Luego:
tiene la característica de ser débil por Elena posiblemente sea estudiosa.
ser probable.
Ejemplo: 2) A, B, C y D
El átomo de neón tiene una tienen las propiedades p y q, A y B
estructura análoga a la del átomo de tienen la propiedad r.
helio. Luego:
El hielo es inerte. D posiblemente tenga la propiedad r.
Luego:
Posiblemente el neón sea inerte. 3) Para que exista
vida orgánica semejante a la Tierra
CLASES: se requiere de aire, agua y cambio
1) Analogía con de temperatura por la sucesión del
propiedades diferentes. día y la noche. En la luna no hay ni
Ejemplo: agua ni aire pero si hay cambio de
Red telefónica – comunicación. temperatura por la sucesión del día y
Comunicación – sistema nervioso. la noche.

378
 Lógica Proposicional

Luego:  De atinencia o
En la luna hay vida. atingencia.
 De ambigüedad.
4) La suma y la
multiplicación son operaciones 3.1. De atinencia: se comete
análogas. La suma no se altera cuando no hay conexión entre premisas
cuando se altera el orden de los y conclusión.
sumandos.
Luego: Clases:
Cuando se altera el orden de los
factores no se altera el producto.  Argumentum ad populum.-
Cuando va dirigido al pueblo.
RAZONAMIENTOS ERRÓNEOS O Ejemplo:
FALACIAS El jaboncillo xx es usado por las
mejores estrellas de cine, luego
1) Noción: son compra Ud. El jaboncillo xx para ser
errores de razonamiento que se más bella.
cometen de las leyes lógicas o con el  Argumentum ad homeneas.-
fin de persuadir psicológicamente al Cuando va dirigido contra el hombre;
oyente. son de dos clases:
Ofensivo
Sofismas.- Son falacias que se Circunstancial
cometen voluntariamente con el fin
de persuadir al oyente. Ejemplo:
No voten por el candidato x por que
Paralofismos.- Son falacias que se es de baja estatura y además es feo.
cometen involuntariamente.
 Argumentum de Baculum.-
2) Característica Argumento a la fuerza o a palos.
s:
 Son falsos Ejemplo:
razonamientos que se cometen en El policía le dice al chofer que le
contra de las reglas lógicas o con el pondrá una papeleta porque él es la
fin de engañar voluntariamente. autoridad y punto.
 Cuando va en
contra los principios lógicos son  Argumentum ad
llamados falacias formales y cuando Veracundiam.- Argumento por
no, son llamadas no formales. autoridad; se comete cuando se usa
el nombre de una persona
 Son muchas veces
importante como argumento para
usadas por charlatanes, politequeros,
buscar un asentimiento.
etc.
 Entre las formales, Ejemplo:
encontramos dos clases; de Darwin afirmó que la religión es lo
atinencia y de ambigüedad. más importante del mundo, luego
hay que aceptarlo.
3) Tipos de
falacias: presenta dos tipos:
379
 Lógica Proposicional
 Argumentum ad Ignoratio.-
(Argumento por ignorancia se
comete cuando se sostiene que el
enunciado es verdadero cuando no
se ha demostrado su falsedad.
Ejemplo:
“Debe de haber fantasmas porque
nadie ha podido demostrar que no
los hay”
 Argumentum misericordiam.-
(Por piedad) cuando se recurre al
sentimiento de piedad para buscar el
asentimiento.
Ejemplo:
Cuando un abogado pide rebajar la
pena de la sentencia de su cliente
acusado de asesinato recurriendo a
su pasado de miseria, abandono,
orfandad, etc.
 Argumentum ad crumenan.-
Cuando trata de aceptar que todos
los ricos tienen la razón.
Ejemplo:
Bill Gates dijo que el mundo es un
caos total por lo que debemos
cuidarnos de todo lo que
encontremos.
 Argumentun ad Lazarum.- Lo
contrario a la anterior, supone que
los pobres deben ser más virtuosos o
sensatos que los ricos.
Ejemplo:
Pedro cree que su hermana
ingresará a derecho por que ellos
proceden de una familia muy pobre.
 Argumentum Novitatem.-
Este argumento supone que algo es
mejor simplemente porque es nuevo
o es más nuevo que otra cosa.
380
Ejemplo:
Las computadoras Pentium IV son lo
mejor que hay porque recién han
salido al mercado
 Argumentum ad Antiquita-
tem.- Esto es lo contrario del
argumento anterior; es decir trata de
afirmar que algo es cierto o bueno
simplemente porque es antiguo.
Ejemplo:
Toda cosa u objeto es valioso
mientras más antiguo sea.
 Causa Falsa.- Ocurre cuando
se atribuyen como causa a ciertas
creencias o supersticiones, sin que
exista alguna relación.
a) Non causa
Pro causa.- Creencia que se
atribuye antes que suceda.
Ejemplo:
Este día me va a ir mal porque rompí
un espejo.
b) Pos Hoc
Ergo Propter Hoe.- Después del
hecho.
Ejemplo:
Jorge no ingreso a la “U” porque se
le cruzó un gato negro.
c) Cum Hoc
Ergo Propter Huc.- Dos hechos
sucedieron al mismo tiempo, deben
estar relacionados casualmente.
Ejemplo:
Yo no salgo de mi casa los domingos
7 ni martes 13 porque en estos días
suceden muchos accidentes.
 Lógica Proposicional

 Círculo Vicioso.- Ocurre

cuando dos proposiciones son
utilizadas una como premisa y como
conclusión y viceversa.
Ejemplo:
Si es extranjero es bueno y es bueno
si es extranjero.
 Petitio Principii.- (Petición de
principio) ocurre cuando la premisa
se usa como conclusión.
Ejemplo:
Ronaldinho es el mejor jugador del
mundo, este jugador es brasileño,
luego todos los jugadores de fútbol
son los mejores del mundo.
3.2. Falacias de Ambigüedad.-
Son aquellas que se forman por el
uso incorrecto del lenguaje y que
forman frases y conclusiones de más
de un significado.

Ejemplo: 3.2.1 Anfibología.- Cuando

En el mundo no existe libertad se construye frases con más de un
porque no existe nada libre. sentido.

 Ignoratio Elenchi.- Llamado Ejemplo:

también ignorancia del asunto o de la La vaca de tu tía está muy gorda.
cuestión; ocurre cuando se utiliza la La lora de tu hermana está muy
conclusión sin ninguna relación con habladora.
el asunto que se discute.
3.2.2 Equívoco u
Ejemplo: Homonimia.- Cuando se utilizan
Se reúnen los representantes de una términos con más de un sentido.
promoción para desviar la atención
se concluye que primero debe elegir Ejemplo:
el lugar del paseo de excursión. Todos los cerros tienen faldas
Algunas mujeres tienen faldas
 Accidente.- Ocurre cuando a Luego:
alguien o a algo se le atribuye algo Algunas mujeres son cerros
como esencial, siendo sólo
accidental cuando va de lo particular 3.2.3 Enfrases.- Cuando se
a lo general se le llama Accidente resalta una palabra o frase en un
inverso. argumento, generando cierta confusión o
engaño.
 División.- Cuando se acepta
como verdadero un todo y luego se Ejemplo:
acepta una parte como verdadero. GRAN REVOLUCIÓN FRANCESA
y con pequeñas letras se agrega “en el
Ejemplo: campo literario”
Esta casa está bien construida, luego
la ventana de esta casa también está 3.2.4 Pregunta compleja.-
bien hecha. Cuando a una pregunta se espera un “si”
o un “no” no cabe otra posibilidad.
 Composición.- Lo contrario a
la anterior. Ejemplo:

381
 Lógica Proposicional

“Has dejado de pegar a tu esposa” A) Argumentum ad

Es también llamado “pregunta Falacia
tramposa”. B) Argumentum ad
Antiquitetem
C) Argumentum ad
Novitatem
D) Argumentum ad
Ignoratio
E) Argumentum ad
Populum

3. El periodista Diego Batinti se

expresaba así: “River será el campeón
de la copa sudamericana porque invierte
muchos millones de dólares a diferencia
del Cienciano que no lo hace”. Él
cometió la falacia de Argumentum ad:
A) Lazarum
B) Crunenam
C) Baculum
D) Veracundiam
E) Misericordiam

4. La expresión: “Bienaventurados
PROBLEMAS PROPUESTOS 14 los pobres porque de ellos es el reino de
los cielos”. Corresponde a una falacia
de:
1. El argumento siguiente: “Los A) Argumentum ad
grandes momentos se celebran con Crunenam
Pepsi Cola; el gran Gran Gianmarco lo B) Argumentum ad
hace”. ¿Qué esperás? ¡Vive la vida con Ignoratio
Pepsi! Constituye una falacia C) Non causa pro causa
denominada. D) Argumentum ad
A) Argumentum ad Lazarum
misericordia E) Equívoco
B) Argumentum ad
Populum 5. Los científicos de la NASA no
C) Argumentum ad han logrado probar que existe vida en
Veracundiam otros planetas. Por lo tanto sólo hay vida
D) Causa falsa en la Tierra.
E) Anfibología A) Ignoratio Elenchi
B) Causa falsa
C) Argumentum ad
2. La expresión: “El diablo sabe Veracundiam
más por viejo que por diablo”, hace D) Argumentum ad
referencia a la falacia: Ignoratio

382
 Lógica Proposicional

E) Argumentum ad 9. Alejandro Toledo le replicaba a

Homenem Alan García: “Usted no puede darme
consejos en Economía porque usted no
se ha sometido a la justicia hasta ahora”.
6. ¿Hasta cuando vamos a tolerar
Se ha cometido la falacia de:
interferencia extranjera en nuestros
A) Argumentum ad
intereses nacionales?, se trata de:
Veracundiam
1) Falacia por
B) Argumentum ad
amniinterrogatorio
Populum
2) Falacia por
C) Argumentum ad
atingencia
Hominem
3) Falacia por
D) Argumentum ad
ambigüedad
Ignorantiam
4) Pregunta
E) Argumentum ad
compleja
Lazarum
5) Un
paralogismo
Son no ciertas: 10. Cuando un postulante
A) 1, 2 y 4 B) 1, 3, 4 y 5 desaprueba el Examen de Admisión y
C) sólo 2 D) 3, 4 y 5 argumenta que su mala suerte se debe a
E) Sólo 1, 3 y 4 que antes de la prueba se encontró con
un amigo “salado”, se trata de una
falacia denominada:
7. “Japón devolverá a Fujimori al
A) Non causa pro causa
Perú”; si procede el pedido formal que
B) Ignoratio Elenchi
hizo la cancillería peruana. Es lo que
C) Argumentum ad
anunció el presidente peruano”. Aquí se
Nomitatem
cometió la falacia denominada:
D) Petitio Primcipii
A) Argumentum ad
E) Argumentum ad
Populum
Ignorantiam
B) Argumentum ad
Veracundiam
C) Argumentum ad
Baculum
D) Ignoratio elenchi
E) Acentuación o énfasis

8. “Juan vio a Manuel con su

esposa entrando a un hotel”.
Corresponde a una falacia de:
A) Argumentum ad
Hominem
B) Argumentum ad
Ignoratiam
C) Anfibología
D) Énfasis
E) Circunstancial

383
 Lógica Proposicional

CLAVES DE RESPUESTAS
Ejercicios Propuestos Nº 1
1.C 3.C 5.B 7.E 9.B Ejercicios Propuestos Nº 12
2.C 4.D 6.E 8.E 10.C 1.D 3.C 5.A 7.C 9.C
2.C 4.D 6.E 8.E 10.D
Ejercicios Propuestos Nº 2
1.E 3.D 5.C 7.D 9.D Ejercicios Propuestos Nº 13
2.D 4.C 6.D 8.C 10.E 1.A 3.E 5.D 7.E 9.C
2.A 4.C 6.E 8.C 10.E
Ejercicios Propuestos Nº 3
1.C 3.E 5.C 7.C 9.B Ejercicios Propuestos Nº 14
2.D 4.C 6.E 8.B 10.C 1.B 3.B 5.D 7.E 9.C
2.A 4.D 6.E 8.C 10.A
Ejercicios Propuestos Nº 4
1.B 3.D 5.D 7.B 9.A
2.C 4.D 6.D 8.A 10.D

Ejercicios Propuestos Nº 5
1.C 3.E 5.E 7.C 9.E
2.D 4.C 6.E 8.D 10.D

Ejercicios Propuestos Nº 6
1.E 3.E 5.C 7.C 9.C
2.D 4.E 6.E 8.C 10.E

Ejercicios Propuestos Nº 7
1.C 3.D 5.C 7.C 9.E
2.C 4.B 6.E 8.D 10.D

Ejercicios Propuestos Nº 8
1.A 3.D 5.B 7.E 9.C
2.D 4.C 6.D 8.A 10.E

Ejercicios Propuestos Nº 9
1.C 3.D 5.C 7.C 9.B
2.C 4.E 6.A 8.A 10.C

Ejercicios Propuestos Nº 10
1.C 3.A 5.C 7.E 9.D
2.E 4.B 6.B 8.C 10.C

Ejercicios Propuestos Nº 11
1.D 3.C 5.D 7.D 9.A
2.C 4.A 6.D 8.D 10.D

384
Lógica Proposicional

385
 Lógica Proposicional

386