Lógica Proposicional

+9
1. PROPOSICIÓN 1.2.2. Por su cualidad: Pueden ser:

- Afirmativas: Cuando atribuyen una
1.1. Definición. Es una oración cualidad.
aseverativa con sentido y contenido Ejemplos:
significativo, que puede ser verdad ero o “El azufre tiene valencia –2”
falso. - Negativas: Cuando rechazan una
Ejemplo: “El triángulo es un polígon o d e cualidad.
tres lados” Ejemplos:
- Es una oración aseverativa por que “El agua no es incolora”
contribuye una propiedad del sujeto.
- Tiene sentido por que es aceptada su 1.2.3. Por su modalidad: Las
verdad universalmente. proposiciones pueden ser:
- Tiene contenido por que tiene un - Asertóricas: Cuando se refiere a u n a
referente de carácter abstracto. situación de hecho.
- Es oración verdadera, es su carácter Ejemplo:
bivalente de toda proposición (principal “El cobre es un mineral”
característica de la proposición). Son llamadas también lácticas,
plásticas etc.
1.2. Propiedades intrínsecas de las - Apodícticas: Cuando se refiere a un a
proposiciones situación necesaria, son también
llamadas forzosas.
1.2.1. Por su cantidad; las Ejemplo:
proposiciones pueden ser: “3+5 es necesariamente 8”
- Problemáticas: Cuando se refiere a
- Universales: Cuando abarca una una situación posible, también son
totalidad de elementos. llamadas plausibles.
Ejemplo: Ejemplo:
“Todos los mamíferos son “Posiblemente en este verano haya
vertebrados” sequía”
“Ningún pobre es millonario” Ejemplo practico:
- Particulares: Cuando abarca una La proposición: “Einstein es
cantidad parcial. posiblemente el mejor genio de l si g lo
Ejemplos: XX”: es:
“Algunos políticos son demagogos” = Singular por su cantidad
“Algunos comerciantes no son = afirmativa por su cualidad
honrados” = problemática por su modalidad
- Singulares: Cuando se refiere a un
solo sujeto. 1.3. Clasificación de las proposiciones
Ejemplo:
Trujillo es la capital de la libertad. Por la presencia o no del operador, las
proposiciones se clasifican en:
321
Lógica Proposicional Alejandro Arenas O.
1.3.1. Simples o atómicas: Cuando Mezclan gemelos
carecen de operadores lógicos: Juntos aman
Clases: Escriben fronterizos
a) Simples predicativas: Cuando
atribuyen una cualidad o 1.3.2. Compuestas o moleculares:
circunstancia del sujeto. (También llamadas coligativas) son
Ejemplo: aquellas que poseen dos o mas
- Ana es muy responsable (cualidad) proposiciones simples, unidas por un
- Pedro es Chiclayano (circunstancia) operador lógico.
Clases:
b) Simples relacionales: Cuando - Conjuntivas
relacionan dos o más sujetos. - Disyuntivas incluyentes
Ejemplo: - Implicativas
“Manuel escribe a Maria” - Replicativas
“Pedro y Juan estudian juntos” - Biimplicativas
“Rosa es vecina de Elena” - Disyuntivas excluyentes
- Binegacion conjuntivas
Términos relacionales - Binegación disyuntivas
Contemporáneos vecino - Negativas
CLASIFICACIÓN DE LAS PROPOSICIONES COMPUESTAS
Clases Operador Se lee Ejemplos Fórmula Función

Conjuntivas ∧, &, , x “Y” Pedro estudia y p ∧q Compatibilizador
trabaja
Disyuntivas ∨, + “O” Pedro estudia o p∨ q Alternador
trabaja
Implicativas →, ⊃ “Si… Si Pedro p→q Causalidad
entonces” estudia
entonces
trabaja
Replicativas ← “… Si … ” Pedro estudia p←q Recíproco del
si trabaja implicador
Bimplicador ↔, ⇔ , ≡ “Si y sólo si” Pedro estudia p↔q Equivalorador
si y sólo si
trabaja
Disyuntor ∨, ↔, ≡, “o … o” O Pedro p ∨q Exclusador
excluyente _ estudia o
⊕, ∆, > <
trabaja
Binegación ↓ Daga Sheffer “Ni … ni” Pedro ni trabaja p ↓q Inalternador
exclusiva ni estudia
Binegación / Barra Nicod “No o no” Pedro trabaja o p/q Incompatibilizador
disyuntiva no estudia
_, ,¬ p
Negativas “No” Pedro no Inversor
trabaja
322
Alejandro Arenas O. Lógica Proposicional
5. Diversión y deporte es lo que distrae

a la gente
PROBLEMAS PROPUESTOS 1 Son ciertas:
A) Solo 1 y 3 B) 3, 4 y 5
C) 1, 2 y 5 D) 1, 4 y 5
01. Son proposiciones: E) N. A
1. Es la esposa de Toledo
2. Trabajador de la UNT local central 05. Son proposiciones relacionales
3. Atahualpa fundo Roma 1. El agua y el aceite no se mezclan al
4. Rosas rojas para mi madre combinarse
5. Los insectos son aéreos 2. Perú y Ecuador son países vecinos
3. Beso equivale a ósculo
Son ciertas:
4. Toledo y su esposa debatieron frente
A) solo 2 y 4 B) 3,4 y 5
al pueblo
C) solo 3 y 5 D) 1, 2 y 5
5. Trujillo esta al norte de Chimbote
E) N.A.
Son obviamente ciertas excepto:
A) 1, 2 y 3 B) Sólo 1
02. Son proposiciones: C) 3, 4 y 5 D) 2, 6, 4 y 5
1. Toda proposición es un juicio E) Todas
2. La bivalencia es principal pro pi ed a d
de las proposiciones 06. Son proposiciones condicionales
3. Quien madruga Dios le ayuda 1. Si llueve, hay cosecha
4. ¿Cómo te llamas? Le preguntó Ana a 2. Tienes dinero si trabajas
Maria 3. Ya que te esfuerzas por eso triunfas
5. Los insectos son aviones 4. Porque es verano, hace calor
Son ciertas: 5. Perú es país explotador porque tien e
A) Sólo 1 y 2 B) 3, 4 y 5 materias primas
C) 1, 2 y 4 D) 2, 3 y 4 Son ciertas:
E) Todas A) 2, 3 y 4 B) 1, 2 y 5
C) solo 1 y 3 D) 3, 4 y 5
03. No son proposiciones: E) Todas
1. El mejor profesor de mi colegio
2. x < 6 si x = 3 07. Son proposiciones compatibles o
3. ∀x ∈ N;x + 1 > 6 conjuntivas
1. No solo el mercurio es metal si no que
4. Don Quijote representa al tipo también el mas pesado
introvertido 2. La desintegración ni es división ni
5. Todo libro tiene páginas bellas clasificación
Son ciertas: 3. Es incompatible que el sol sea una
A) Sólo 2 y 3 B) 2, 4 y 5 estrella no obstante un astro
C) Sólo 1 y 5 D) 1, 2 y 3 4. Los ofidios carecen de extremi d ad es
E) Todas al igual que los vertebrados
5. Los conceptos al igual que los juicio s
04. Son proposiciones coligativas son pensamientos
1. Los insectos son aéreos y terrestres Son ciertas:
2. “gato” es le nombre de un animal A) 2, 3 y 4 B) 1, 2 y 5
3. Pedro y Pablo estudian juntos C) 1, 2 y 3 D) 2, 4 y 5
4. Ana y Rosa son vecinas de Maria E) Todas menos 3
323
Lógica Proposicional Alejandro Arenas O. Alejandro Arenas O. Lógica Proposicional
08. Son proposiciones Son falsas, excepto:
1. Todo colegio tiene aulas bellas A) 3, 4 y 5 B) solo 1 y 2
2. Un jardín sin flores es como una C) 1, 2 y 3 D) 1, 2 y 5
familia sin hijos E) Ninguna
3. Trujillo es la capital de la cultura
4. “Mendigar o morir” es la expresión de 10. Son proposiciones atómicas
la extrema pobreza 1. Ojala llueva en la sierra
5. Creo que pronto tendré éxito 2. Te necesito junto a mí
Son ciertas: 3. La luna es un planeta
A) 3, 2 y 1 B) 1, 2 y 5 4. Fausto hizo un pacto con Mefistófeles
C) 3, 4 y 5 D) Todas 5. Humala es un ex militar
E) Ninguna Son ciertas:
A) Sólo 3 B) 1, 2 y 3
09. Son proposiciones simples C) 3 y 5 D) Ninguna
1. Chimbote esta al sur de Trujillo E) 3, 4 y 5
2. Antonio es compadre de Samuel
3. Rosa no es limeña
4. El gobierno no es republicano
5. x + 5 = 11
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:
p q
∧
Es falso que el mercurio no es un mineral y que es el menor pesado.
Solución:
La proposición se formaliza como ( p ∧ q)
2.2. Elementos de la proposición:
a) Operadores Lógicos: Son símbolos cuyo significado está determinado.

Ejemplo: ∧, ∨, →, ←, ↔, ↓, /, , etc.
b) Modos Lingüísticos: Son las diversas formas de expresión li n gü ística d e

cada operador.
Ejemplo: Los modos lingüísticos de la conjunción; además d e “y” s o n “s i n
embargo”, “además”, “empero”, “no solo … también”, “no obstante”, etc.
324 385
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 sig u ie nte s: ( ) , [ ], { } d e
menor a mayor jerarquía.
Ejemplo:
{[ ( A → B ) ∧ ( B → C )] → ( A → C )}
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
1º 4º ∨
2º ∧, ∨ 5º ↔
3º →, ← 6º ¬ (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 s on :
“ → ”, “ ∧ ” 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. A ∧ B ∧ C
Pedro es estudiante, profesor o abogado A ∨ B ∨ C
La sede del próximo mundial será Japón, China o sol o Bra si l. A ∨ B ∨ C Si
estudias triunfas A → B
384 325
2º Elegir variables.= Preposicionales, cada variable representa a una
proposición simple que debe estar en sentido afirmativo.
Ejemplo: CLAVES DE RESPUESTAS
A B C
Ejercicios Propuestos Nº 1
Si hay nubes y viento entonces llovera 1.C 3.C 5.B 7.E 9.B Ejercicios Propuestos Nº 13
2.C 4.D 6.E 8.E 10.C 1.A 3.E 5.D 7.E 9.C
3º Agruparlos mediante signos auxiliares de jerarquía 2.A 4.C 6.E 8.C 10.E
Del ejemplo anterior: (A ∧ B) → C Ejercicios Propuestos Nº 14
1.E 3.D 5.C 7.D 9.D
Al agruparlos se vería así: A∧B→C 2.D 4.C 6.D 8.C 10.E 1.B 3.B 5.D 7.E 9.C
2.A 4.D 6.E 8.C 10.A
E) (A ∨ B) ∨ (C ∨ D) 1.C 3.E 5.C 7.C 9.B
4. “Si los arácnidos son invertebrados, 2.D 4.C 6.E 8.B 10.C
PROBLEMAS PROPUESTOS 2 no tienen cráneo ni vértebras”.
Se formaliza: Ejercicios Propuestos Nº 4
A) A → − (− B ∧ − C) 1.B 3.D 5.D 7.B 9.A
1. La proposición Lógica: Abel, Beto, 2.C 4.D 6.D 8.A 10.D
B) −A → −B ∧ −C
Carlos y Darío estudian juntos, sin
embargo Maria estudia separado de C) − A → (− B ∧ − C) Ejercicios Propuestos Nº 5
Rosa; se formaliza: D) A → −B ∧ −C 1.C 3.E 5.E 7.C 9.E
2.D 4.C 6.E 8.D 10.D
A) (A ∧ B ∧ C ∧ D) ∧ (E ∧ F) E) −A → −B ↓ −C
B) (A ∧ B ∧ C ∧ D) ∧ E Ejercicios Propuestos Nº 6
5. “No es inobjetablemente cierto que el 1.E 3.E 5.C 7.C 9.C
C) (A ∧ B ∧ C) ∧ D
elefante no demora 20 meses para nacer 2.D 4.E 6.E 8.C 10.E
D) (A ∧ B) ∧ D o tampoco el ornitorrinco ponga dos
E) A∧B huevos de 2 cm”; se formaliza: Ejercicios Propuestos Nº 7
A) − − − ( − A ∨ B) B) − − − (A ∨ − B) 1.C 3.D 5.C 7.C 9.E
2. “No solo el mercurio es un metal si 2.C 4.B 6.E 8.D 10.D
C) − − − ( − A ∨ − B) D) (− A ∨ − B)
no que también se dilata con el calor.
Además es un metal liquido”. Se E) −A ∨ B Ejercicios Propuestos Nº 8
formaliza: 1.A 3.D 5.B 7.E 9.C
6. “Subirá el precio de la gasolina por 2.D 4.C 6.D 8.A 10.E
A) (− A ∧ B) ∧ C B) (− A ∧ − B) ∧ B
que subió el precio del dólar. En vista de
C) A ∧ B ∧ C D) (A ∧ B) ∧ C que subió el precio del dólar, el gobierno Ejercicios Propuestos Nº 9
E) −(A ∧ B) ∧ C no podrá controlar la inflación”. Se 1.C 3.D 5.C 7.C 9.B
formaliza: 2.C 4.E 6.A 8.A 10.C
3. “El triangulo es un polígono o A) (A → B) ∧ (B → C)
también es una figura geométrica. Al B) (A → B) ∨ (B → C) 1.C 3.A 5.C 7.E 9.D
igual que las figuras planas están
C) (A → B) ∨ (B → C) 2.E 4.B 6.B 8.C 10.C
formadas por líneas rectas o así como
por líneas curvas”. Se formaliza: D) (A ← B) ← (B → − C)
A) (A ∧ B) = (C ∧ D) E) (A ← B) → (B ← − C) 1.D 3.C 5.D 7.D 9.A
B) (A ∧ B) ∧ (C ∧ D) 2.C 4.A 6.D 8.D 10.D
C) (A ∨ B) ∨ (C ∧ D) 7. La proposición “los logaritmos son
positivos si se encuentran entre los Ejercicios Propuestos Nº 12
D) (A ∨ B) ∧ (C ∨ D) valores mayores que 1 salvo que solo 1.D 3.C 5.A 7.C 9.C
2.C 4.D 6.E 8.E 10.D
326 383
9. Alejandro Toledo le replicaba a Al an aquellos que son negativos y son 3. PROPOSICIONES TAUTOLÓGI-
5. Los científicos de la NASA no han García: “Usted no puede darme consejos menores que 1 y mayores que 0”.se CAS, CONTRADICTORIAS Y
logrado probar que existe vida en otros en Economía porque usted no se ha formaliza: CONTINGENTES
planetas. Por lo tanto sólo hay vida en l a sometido a la justicia hasta ahora”. Se A) (A → B) ∪ (C ∧ D)
Tierra. ha cometido la falacia de: B) (A ← B) ∧ (C ∧ D) 3.1. Proposiciones tautológicas: Son
A) Ignoratio Elenchi A) Argumentum ad Veracundiam aquellas proposiciones que ti enen
B) Causa falsa B) Argumentum ad Populum C) (A ← B) ∧ (C ∧ D ∧ E) valores solo verdaderos en su
C) Argumentum ad Veracundiam C) Argumentum ad Hominem D) (A ← B) ⊕ (C ∧ D) matriz principal. Toda regla lógica es
D) Argumentum ad Ignoratio D) Argumentum ad Ignorantiam E) (A ← B) ∨ (C ∧ D ∧ E) una tautología.
E) Argumentum ad Homenem E) Argumentum ad Lazarum Ejemplo:
8. La proposición es absurdo que (p ↔ q) ∨ (p ∨ q) = T
6. ¿Hasta cuando vamos a tolerar 10. Cuando un postulante desaprueba el 6 = 2 + 1 , no obstante es inobjetable que
1 1 0
interferencia extranjera en nuestros Examen de Admisión y argumenta que 2 es igual a 1.41 e incluso es
0 1 1
intereses nacionales?, se trata de: su mala suerte se debe a que antes de innegable que 5 = 8 − 3 ”, se formaliza:
1) Falacia por amniinterrogatorio la prueba se encontró con un amigo A) A ∧ ( −B ∧ − C) 0 1 1
2) Falacia por atingencia “salado”, se trata de una falacia 1 1 0
B) A ∧ ( −B ∧ C)
3) Falacia por ambigüedad denominada: Matriz tautológic a
4) Pregunta compleja A) Non causa pro causa C) − A ∧ (− − B ∧ − − C)
5) Un paralogismo B) Ignoratio Elenchi D) −A ∧ [ (B = C) ∧ −D ] 3.2. Proposiciones contradictorias:
Son no ciertas: C) Argumentum ad Nomitatem Aquellas cuya matriz principal son
E) −A ∧ ( −B ∧ −C) todas falsas, es lo contrario a una
A) 1, 2 y 4 B) 1, 3, 4 y 5 D) Petitio Primcipii
C) sólo 2 D) 3, 4 y 5 E) Argumentum ad Ignorantiam 9. “El calor que desarrolla una corriente tautología.
E) Sólo 1, 3 y 4 al pasar por un conducto es Símbolo: −T,f,O .
directamente proporcional a la Ejemplo:
7. “Japón devolverá a Fujimori al Perú”; resistencia, al cuadrado de la de la (p ⊕ q) ∧ (p ≡ q)
si procede el pedido formal que hizo la intensidad de la corriente y al tiempo que
dura la corriente. No interesa ni el 0 0 1
cancillería peruana. Es lo que anunció el
presidente peruano”. Aquí se cometió l a sentido técnico ni físico de la corriente”. 1 0 0
falacia denominada: Se formaliza: 1 0 0
A) Argumentum ad Populum A) A ∧ −( −C ∧ −D)
0 0 1
B) Argumentum ad Veracundiam B) A → −(−B ∨ −C) Matriz contradictoria
C) Argumentum ad Baculum C) A ∧ B ∨ −(C ∨ D)
D) Ignoratio elenchi D) A ∧ B ∧ C ∧ −(−D ∨ −E) 3.3. Proposiciones contingentes:
E) Acentuación o énfasis Aquellas cuya matriz principal
E) A ∧ B ∧ −(C ∨ D)
poseen valores distintotes decir: V y
8. “Juan vio a Manuel con su esposa 10. “Las hondas se propalan en vacío o F.
entrando a un hotel”. Corresponde a una solo en el aire o únicamente es Ejemplo:
falacia de: producido por el golpe en una masa (p → q) ∧ (q ∨ p)
A) Argumentum ad Hominem metálica o solamente por las cuerdas de
B) Argumentum ad Ignoratiam un violín”. Se formaliza: 1 1 1
C) Anfibología A) (A ⊕ B) ∨ (C ⊕ B) ∧ E 0 0 1
D) Énfasis B) (A ⊕ B) ∧ (C ⊕ B)
E) Circunstancial 1 1 1
C) (A ⊕ B) ⊕ (C ⊕ B) 1 1 0
D) (A ∨ B) ⊕ (C ∨ B) Matriz contingente
E) (A ⊕ B) ⊕ (C ⊕ D)
382 327
4. TABLA DE VALORES DE VERDAD 1 −1  3.2.2 Equívoco u Homonimia.-
DE UNA FORMULA LÓGICA • ↔=   =1 Cuando se utilizan términos con más de
0 −0  un sentido. PROBLEMAS PROPUESTOS 14
Para hallar los valores de verdad de una Solo es verdadero cuando tienen valores
proposición compuesta, se debe primero iguales Ejemplo:
conocer las siguientes reglas. Todos los cerros tienen faldas 1. El argumento siguiente: “Los grandes
 1− 1 Algunas mujeres tienen faldas momentos se celebran con Pepsi Cola;
4.1. Función de verdad de operadores • ∨ = = 0 Luego: el gran Gran Gianmarco lo hace”. ¿Qué
(por definición) 0 −0  Algunas mujeres son cerros esperás? ¡Vive la vida con Pepsi!
Contrario al biimplicador Constituye una falacia denominada.
• ∧ = l−l = l 3.2.3 Enfrases.- Cuando se resalta A) Argumentum ad misericordia
Solo es verdadero cuando ambos son • ↓= 0 − 0 = 1 una palabra o frase en un argumento, B) Argumentum ad Populum
verdaderos Solo es verdadero cunado tienen valores generando cierta confusión o engaño. C) Argumentum ad Veracundiam
falsos D) Causa falsa
• ∨ =0−0 =0 Ejemplo: E) Anfibología
GRAN REVOLUCIÓN FRANCESA
Solo es falso cuando ambos son falsos • / = 1− 1 = 0 y con pequeñas letras se agrega “en el
Solo es verdadero cuando tienen valores campo literario” 2. La expresión: “El diablo sabe más
• →= l − 0 = 0 verdaderos. por viejo que por diablo”, hace referencia
Solo es falso cuando el antecedente es 3.2.4 Pregunta compleja.- Cuando a a la falacia:
verdadero y el consecuente es falso. Reglas de los operadores lógicos: Se una pregunta se espera un “si” o un “no” A) Argumentum ad Falacia
utilizan en el cálculo matricial para no cabe otra posibilidad. B) Argumentum ad Antiquitetem
• ←= 0 −1= 0 determinar el valor de verdad de un C) Argumentum ad Novitatem
Solo es verdadero cuando tienen valores esquema molecular compuesto. Ejemplo: D) Argumentum ad Ignoratio
iguales “Has dejado de pegar a tu esposa” E) Argumentum ad Populum
Es también llamado “pregunta
tramposa”. 3. El periodista Diego Batinti se
4.2. expresaba así: “River será el campeón
de la copa sudamericana porque invierte
4.2.1 Con una variable muchos millones de dólares a diferencia
del Cienciano que no lo hace”. Él
p – p∧ p P∧ – P∨ – s∧– t∨ – –(p ∧ – –(p ∨ – cometió la falacia de Argumentum ad:
p p p s t p) p) A) Lazarum
1 0 1 0 1 0 1 1 0 B) Crunenam
0 1 0 0 1 0 1 1 0 C) Baculum
D) Veracundiam
4.2.2 Con dos variables E) Misericordiam
P q – – p∧ p p∨ p p→ q p← q p↔ q p∨ q p↓ q p/q 4. La expresión: “Bienaventurados los

p q pobres porque de ellos es el reino de los
1 1 0 0 1 1 1 1 1 0 0 0 cielos”. Corresponde a una falacia de:
1 0 0 1 0 1 0 1 0 1 0 1 A) Argumentum ad Crunenam
0 1 1 0 0 1 1 0 0 1 0 1 B) Argumentum ad Ignoratio
0 0 1 1 0 0 1 1 1 0 1 1 C) Non causa pro causa
D) Argumentum ad Lazarum
E) Equívoco
328 381
a) Non causa Pro causa.- Creencia Ejemplo: 4.2.3 Con tres variables
que se atribuye antes que suceda. Se reúnen los representantes de una
promoción para desviar la atención p q –p –q p∧ p p∨ p p→ q p← q p↔ q p∨ q p/q
p↓ q
Ejemplo: se concluye que primero debe elegi r
Este día me va a ir mal porque rompí el lugar del paseo de excursión. 1 1 0 0 1 1 1 1 1 0 0 0
un espejo. 1 1 0 0 1 1 1 1 1 0 0 0
1 0 0 1 0 1 0 1 0 1 0 1
• Accidente.- Ocurre cuando a alguien 1 0 0 1 0 1 0 1 0 1 0 1
b) Pos Hoc Ergo Propter Hoe.- o a algo se le atribuye algo como
Después del hecho. 0 1 1 0 0 1 1 0 0 1 0 1
esencial, siendo sólo accidental
0 1 1 0 0 1 1 0 0 1 0 1
cuando va de lo particular a lo
Ejemplo: 0 0 1 1 0 0 1 1 1 0 1 1
general se le llama Accidente
Jorge no ingreso a la “U” porque s e 0 0 1 1 0 0 1 1 1 0 1 1
inverso.
le cruzó un gato negro.
• División.- Cuando se acepta como
Ejemplos: 3. Si: − [ (p → q) ∧ (r ∧ s) ] = V
c) Cum Hoc Ergo Propter Huc.- Dos verdadero un todo y luego se acepta Hallar los valores de p, q, r, y s
1. Hallar los valores de los si gui entes
hechos sucedieron al mismo tiempo, una parte como verdadero. respectivamente
deben estar relacionados operadores:
casualmente. Ejemplo: Resolución:
Esta casa está bien construida, luego 1) ∗ → 1 = 2) 1∨ ∗ =
3) 0 ∧ ∗ = 4) 1 ← ∗ = ¬ [ (p → q) ∨ (r ∧ s)] = V = f
Ejemplo: la ventana de esta casa también está
Yo no salgo de mi casa los domingos 1 0 0 1
bien hecha. 5) 1 ↓ ∗ = 6) 0 / ∗ =
7 ni martes 13 porque en estos días 7) (1 → 0) ∧ 0 = 8) (0 ∧ ∗) ∧ 1 =
suceden muchos accidentes. • Composición.- Lo contrario a la 0 0
9) (1 = 0) ∧ 1 = 10) (0 ⊕ 1) ∨ 1 =
anterior. 0
• Círculo Vicioso.- Ocurre cuando dos
proposiciones son utilizadas una Ejemplo: Resolución: Luego: p = 1; q = 0; r = 0; s = 1
como premisa y como conclusión y Ronaldinho es el mejor jugador del 1) 1 2) 1 3) 0 4) 1
viceversa. mundo, este jugador es brasileño, 5) 0 6) 1 7) 0 8) 1
luego todos los jugadores de fútbol 9) 0 10) 1
Ejemplo: son los mejores del mundo.
Si es extranjero es bueno y es bueno 2. Hallar los valores matriciales de l as
si es extranjero. 3.2. Falacias de Ambigüedad.- Son siguientes fórmulas moleculares:
aquellas que se forman por el uso
• Petitio Principii.- (Petición de incorrecto del lenguaje y que form an 1) [ p ∧ ( q ∨ p)] ↔ p =
principio) ocurre cuando la premisa
se usa como conclusión.
frases y conclusiones de más de un
significado.
4) [ (p → q) ∧ −(p → q) ] =
2) (p ↔ q) ∧ (q ⊕ p) =
Ejemplo: 3.2.1 Anfibología.- Cuando se 5) (p → q) ∧ (q → p) =
En el mundo no existe libertad construye frases con más de un
porque no existe nada libre. 3) (p ↓ q) /(p / q) =
sentido.
6) (p → q) = ( −p ∨ q) =
• Ignoratio Elenchi.- Llamado también Ejemplo:
ignorancia del asunto o de la La vaca de tu tía está muy gorda. Resolución:
cuestión; ocurre cuando se util iza l a La lora de tu hermana está muy 1) 1100 4) 0000
conclusión sin ninguna relaci ón con habladora. 2) 0000 5) 1001
el asunto que se discute. 3) 0111 6) 1111
380 329
4. Si: (A ∧ B) → (A ↓ B) = F . Luego • Argumentum ad homeneas.- su pasado de miseria, abandono,

son esquemas falsos: Cuando va dirigido contra el hombre; orfandad, etc.
PROBLEMAS PROPUESTOS 3 1) −( A ↔ −B) son de dos clases:
Ofensivo • Argumentum ad crumenan.-
2) −( A ⊕ B) Circunstancial Cuando trata de aceptar que todos
1. Si: 3) −(A ↓ B) los ricos tienen la razón.
Ejemplo:
A = El número dos es un número primo y 4) A → −B No voten por el candidato x por que Ejemplo:
B = El triángulo es un polígono 5) −(B → A ) es de baja estatura y además es feo. Bill Gates dijo que el mundo es un
Luego: Son esquemas verdaderos
Son ciertas: caos total por lo que debemos
1) −( A → −B) 2) −A → B • Argumentum de Baculum.-
A) 1, 2, 3 B) 2, 3, 4 cuidarnos de todo lo que
3) −( A ∧ B) 4) ( A ⊕ B) C) 1, 4, 5 D) 1, 2, 5 Argumento a la fuerza o a palos. encontremos.
5) −( A ↔ −B) E) todas
Ejemplo:
Son ciertas El policía le dice al chofer que le • Argumentun ad Lazarum.- Lo
A) 1, 2, 3 B) 2, 3, 4 5. Si: ( A ↔ B) ← (C ∧ D) = F contrario a la anterior, supone que
pondrá una papeleta porque él es l a
C) 1, 2, 5 D) 2, 4 Luego son esquemas verdaderos: autoridad y punto. los pobres deben ser más virtuosos o
E) todas 1) −(A ↓ B) → C sensatos que los ricos.
2) −(C ∧ D) → ( A ∨ B) • Argumentum ad Veracundiam.-
2. Sean las proposiciones Ejemplo:
Argumento por autoridad; se comete
A = La radiactividad se descubrió por 3) (A / B) ∧ (A ↓ B) cuando se usa el nombre de una Pedro cree que su hermana
casualidad 4) −( A → B ) ∨ C ingresará a derecho por que ellos
persona importante como argumento
B = Algunos insectos poseen cráneo proceden de una familia muy pobre.
5) A ↓ D para buscar un asentimiento.
Son esquemas verdaderos
1) −A → −B Son ciertas: Ejemplo: • Argumentum Novitatem.- Este
A) 1, 2, 3 B) 2, 3, 4 Darwin afirmó que la religión es lo argumento supone que algo es mejor
2) A ↓ B C) 1, 2, 4 D) 3, 4, 5 más importante del mundo, luego simplemente porque es nuevo o es
3) −(A ↓ B) E) Todas hay que aceptarlo. más nuevo que otra cosa.
4) ( A ∧ B)
6. Si: A ↓ B = F y C y D tienen valores • Argumentum ad Ignoratio.- Ejemplo:
5) −( −A I − B)
opuestos, luego son esquemas (Argumento por ignorancia se Las computadoras Pentium IV son l o
Son ciertas: verdaderos: comete cuando se sostiene que el mejor que hay porque recién han
A) 1, 2, 3 B) 2, 3, 4 salido al mercado
1) ( A ∧ B) → (C ∧ D) enunciado es verdadero cuando no
C) 3, 4, 5 D) 1 y 3 se ha demostrado su falsedad.
E) Sólo y 3 2) ( A / B) → (C ⊕ D)
• Argumentum ad Antiquita-tem.-
3) −( A ∧ B ) → ( C ↔ D) Ejemplo: Esto es lo contrario del argumento
3. Si A → B = F , luego son esquemas “Debe de haber fantasmas porque anterior; es decir trata de afirmar que
4) −A → (C ∧ D)
verdaderos: nadie ha podido demostrar que no algo es cierto o bueno simpl emente
1) A ← B 5) ( A ∧ B) → (C ↔ D) los hay” porque es antiguo.
2) −( A ∧ B) Son ciertas:
A) 1, 2, 3 B) 2, 3, 4 • Argumentum misericordiam.- (Por Ejemplo:
3) A ↓ B C) 3, 4, 5 D) 1 y 2 piedad) cuando se recurre al Toda cosa u objeto es valioso
4) A/B E) 2 sentimiento de piedad para buscar el mientras más antiguo sea.
5) A ⊕ B asentimiento.
Son ciertas: 7. Si la negación de ( A ∧ B) es falso
Ejemplo: • Causa Falsa.- Ocurre cuando se
A) 1, 2, 3 B) 2, 3, 4 luego son esquemas verdaderos:: atribuyen como causa a ciertas
C) 1 y 2 D) sólo 2 1) A → −B Cuando un abogado pide rebajar l a
pena de la sentencia de su cliente creencias o supersticiones, s i n que
E) todas menos 3 2) A ⊕ B exista alguna relación.
acusado de asesinato recurriendo a
330 379
Luego: 3) A ← B 5. LEYES DE LA LÓGICA PROPO-
Alas de ave – miembros anteriores 1) Noción: son errores de 4) A ↔ B SICIONAL
de los mamíferos. razonamiento que se cometen de las 5) −A ⊕ −B
leyes lógicas o con el fin de persuadir 5.1. EQUIVALENCIAS LÓGICAS
Son ciertas:
3) Analogías con la misma función psicológicamente al oyente. Dos esquemas son equivalentes
A) 1. 2. 3 B) 2, 3, 4
pero en distintos organismos. (=) cuando poseen idénticas
C) 3, 4 D) 1, 5
Pulmones de aves – vías Sofismas.- Son falacias que se E) 5 matrices.
respiratorias. cometen voluntariamente con el fin Ejemplo:
Vías respiratorias – bronquios de de persuadir al oyente. 8. Sean las proposiciones: p → q ≡ −p ∨ q
pez. A = H2O 2 es la formula del agua 1 1
Luego: Paralofismos.- Son falacias que s e 0 0
Pulmones de ave – branquias de cometen involuntariamente. oxigenada 1 1
pez. B = El azufre tiene valencia .2. 1 1
2) Características: Luego, son esquemas falsos: → ≡ ←
Ejercicios • Son falsos razonamientos que se 1) (A ↓ B)
cometen en contra de las reglas 2) −( A /B ) 5.2. LEYES LÓGICAS FUNDAMEN-
1) Dora es estudiosa, respetuosa e lógicas o con el fin de engañar TALES
3) −( −A ↔ −B )
inteligente, Elena que es su hermana voluntariamente. Son axiomas cuyas formulas
es respetuosa e inteligente. • Cuando va en contra los principios 4) −( A ⊕ B) proposicionales tienen como
Luego: lógicos son llamados falacias 5) A → B operador principal al biimplificador
Elena posiblemente sea estudiosa. formales y cuando no, son llamadas Son ciertas: ( ↔ ó = ) y cuya esquema es una
no formales. A) 1, 2, 3 B) 2, 3, 4 tautología.
2) A, B, C y D tienen las propiedades p • Son muchas veces usadas por C) 1, 2, 5 D) 3, 4
y q, A y B tienen la propiedad r. charlatanes, politequeros, etc. E) Todas Ejemplo 1:
Luego: • Entre las formales, encontramos dos
D posiblemente tenga la propiedad r. clases; de atinencia y de 9. Sean las proposiciones: [(p → q) ≡ ( −p ∨ q) ] = T
ambigüedad. A = Wilhelm Roentgen descubrió los 1 1 1
3) Para que exista vida orgánica rayos x
semejante a la Tierra se requiere de B = J.J Thompson no descubrió el 0 1 0
3) Tipos de falacias: presenta dos tipos:
aire, agua y cambio de temperatura • De atinencia o atingencia. electrón 1 1 1
por la sucesión del día y la noche. En La conjunción verdadera es solamente.
• De ambigüedad. 1 1 1
la luna no hay ni agua ni aire pero s i A) −A ∧ −B B) A ∧ −B
hay cambio de temperatura por la 3.1. De atinencia: se comete cuando C) − ( A ∧ B ) D) −A ∧ B
sucesión del día y la noche. 5.3. USOS DE LAS LEYES LÓGI-
Luego:
no hay conexión entre premisas y E) − ( A ∧ −B )
conclusión. CAS
En la luna hay vida. Pueden ser usadas como
10. Si: equivalencias o como una
Clases:
4) La suma y la multiplicación son A = p ∨ = q es verdadero y diferencia; ya que son
operaciones análogas. La s uma no • Argumentum ad populum.- Cuando B = (p ∧ q) ↔ (p ∨ q) también es tautológicas.
se altera cuando se altera el orden va dirigido al pueblo. verdadero Ejemplo: 1
de los sumandos. Ejemplo: ¿Cuáles son los valores de verdad de “p”
Luego: El jaboncillo xx es usado por las y “q” respectivamente? LA PROPOSICIÓN:
Cuando se altera el orden de los mejores estrellas de cine, luego A) VF “Si Carlos tiene dinero entonces
factores no se altera el producto. compra Ud. El jaboncillo xx para s er B) VV podría comprar un carro”.
más bella. C) FF Equivale a decir:
RAZONAMIENTOS ERRÓNEOS O D) FV “Carlos no tiene dinero o podrá
FALACIAS E) N.A. comprar un carro”
378 331
Ejemplo 2: Hay sequía; a menos que si llueve, dicotiledóneas son angiospermas; de los Es aquel razonamiento que se efectúa
LA PROPOSICIÓN: hay cosecha que se concluye: cuando dos objetos tienen seme ja nza s
“Pedro trabaja o estudia” Formalización: A) Toda dicotiledónea es leguminosa. en parte de sus caracteres; y de ellos se
Se define por conmutación (p → q) ∨ r ≡ r ∨ (p → q) B) Toda angiosperma es dicotile- infiere que probablemente tienen sus
“Pedro estudia o trabaja” dónea. caracteres restantes.
3. La asociación.- (Asoc) C) Toda dialipétala es leguminosa.
Principales leyes lógicas: Operadores asociativos: ∧, ∨, ∨, ↔
D) Toda traqueofita es dicotiledónea. • Es una transducción en la cual una
Llamadas también algebra de E) Toda leguminosa es traqueofita. cierta relación se transmite de una
proposiciones cuyo autor fue menos ↓ ,/ premisa a la otra de tal manera que la
George Boole. Ejemplo: p ∧ (p ∧ r ) ≡ p(p ∧ q) ∧ r 8. Yo como hijo dependo de mis conclusión viene a ser la transferencia
Esquemas asociables padres, ellos dependían de mis abuelos, efectuada.
1. Doble negación.- (D.N.) mis abuelos de mis bisabuelos y el l o s a
p ↔ ( − q ↔ r) ≡ (p ↔ − q) ↔ r
La doble negación equivale a una su vez de mis tatarabuelos. Con Estructura:
afirmación. p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r respecto a mis tatarabuelos cu a l e s m i El objeto A posee las notas a, b, c, d y e.
Ejemplo: −( − p) ≡ p p ∨  (p ↓ r) ∨ s  ≡  (p ∨ (p ↓ r))  ∨ s relación. El objeto B posee las notas b, c, d y e.
Se traduce como:´ A) nieto B) bisnieto
“es falso que Luís no trabaja” C) tataranieto D) padre Luego; el objeto B posiblemente tenga la
Ejemplo: E) N.A. nota a.
equivale a decir que: Carmen estudia; pero Dora estudi a
“Luís trabaja”. y trabaja 9. Si Jacinto es más alto que Juan y CARACTERÍSTICAS:
Casos:
p ∧ (q ∨ r ) más bajo que Marco. Si además Jonso n 1) El razonamiento debe realizarse co n
1) p ≡ −( − p) es más alto que Elio y más bajo que
Equivale decir: objetos análogos y no con obje to s o
2) − ( −p ∧ q) ≡ p ∧ q Carmen y Dora estudian; pero Dora Fida, entonces, se infiere: clases similares.
además trabaja 1) Marco es más alto que Juan. 2) La conclusión tiene la característi ca
Explicitaciones de la doble negación (p ∧ q) ∧ r 2) Fida es más alta que Elio. de ser débil por ser probable.
Innegablemente cierto que p 3) Juan es más bajo que Marco. Ejemplo:
A) solo I y II B) I y II El átomo de neón tiene una
− − (p) ≡ p 4. Ley de Morgan.- (D.M.)
La negación de la disyunción o de la C) II y III D) I, II y III estructura análoga a la del átomo d e
Innegablemente falso que p helio.
conjunción de dos o más vari ables
− − −(p) − p equivale a la conjunción o 10. Raúl es más joven que Carlos y El hielo es inerte.
No es inconcebiblemente falso que p disyunción de dichas variables Andrés es más viejo que Ra úl a d emá s Luego:
− − −(p) ≡ − p negadas respectivamente. Pedro tiene la misma edad de Carlos Posiblemente el neón sea inerte.
Ejemplo: luego:
A) Pedro es más joven que Andrés. CLASES:
2. La conmutación.- (Conm) B) Andrés es más joven que Raúl. 1) Analogía con propiedades
Los esquemas lógicos pueden − (p ∨ q) ≡ −p ∧ − q C) Carlos y Andrés tienen la misma diferentes.
permutarse sin alterar su valor edad. Ejemplo:
operadores conmutables: ∧, ∨, ↓,/, ≡, ⊕ Operadores aplicables; Solo ∧ y ∨ D) Pedro es más viejo que Andrés. Red telefónica – comunicación.
Ejemplo 1: −(p ∧ q) ≡ − p ∨ − q E) N.A. Comunicación – sistema nervioso.
p ∧ q ≡ q ∧p −(p ∨ q) ≡ − p ∧ − q Luego:
−(p ∨ q) ≡ − p ∧ − q Red telefónica es análoga con el
p ∨ q ≡ q∨ p
sistema nervioso.
(p → q) ∨ r ≡ r ∨ (p → q) −(p ∨ q ∨ r ∨ s ) ≡ − p ∧ − q ∧ − r ∧ − s
p↓ q ≡q↓p − [ −(−p ∧ q) ∨ q ] ≡ (−p ∧ q) ∧ − q 2) Analogías con función diferente.
D.N. y D.M. RAZONAMIENTO POR ANALOGÍA Alas de ave - brazos.
Ejemplo 2: D.N .
Si llueve hay cosecha; o hay sequía ( − p ∧ q) Brazos – miembros anteriores de los
Equivale por conmutación mamíferos.
332 377
1. En una conservación sobre libros s e 3) Cruzado es anterior a Domínguez y a Ejemplo: Ejemplo:
dice que Rosita tiene menos li b ros q u e Elías. “Es falso que llueve y este nublado” Si llueve, hay cosecha
Carmen, Alberto tiene más que Rosa, 4) Benítez es posterior a Domínguez y Equivale a: Equivale a:
además Paúl tiene igual cantidad de a Elías. No llueve o no esta nublado Si no hay cosecha, no llueve
libros que Carmen; de lo que se deduce 5) Elías es anterior a todos. LL → C ≡ − C → −LL
en: A) 3, 2, 1 B) 3, 2, 4 5. Distribución.- (dist.)
A) Rosa tiene más libros que Paúl. C) 5, 1, 4 D) 5, 2, 4 Operadores distribuibles , la 7. Absorción: (abs)
B) Carmen tiene más libros que Rosa. E) 5, 1, 3 combinación de: Operadores de absorción;
C) Alberto tiene menos libros que ( ∧, ∨ ),( ∨, ∧ ),(→, ∧ ),(↓, ∧ ),(/, ∨ ) combinación ∧ y ∨ simultáneos
Carmen.
D) Paúl tiene menos libros que Rosa.
5. A es mayor de tres hermanos y el d e Operadores no distribuibles: ↔, ⊕ Ejemplo:
menor talla, C es menor y de talla Ejemplos: p ∧ (p ∧ q) ≡ p
intermedia; de lo que se deduce que: Absorbida
2. Si César ingreso antes que Manuela,
A) El más joven es el más alto. Absorbente
Alberto ingresa antes que César,
B) El menos joven es el más alto. 1) p ∧ (q ∨ r ) ≡ (p ∧ q) ∨ (p ∧ r)
entonces de los tres: Ejemplo:
C) El más alto es el menos joven. 2) p ∨ (q ∧ r ) ≡ (p ∧ q) ∧ (p ∨ r)
I) Pedro ingresa antes que Manuela.
D) El menos joven es el menos alto. p ∨ (q ∧ p) ≡ p
II) Alberto ingresa antes que Pedro. 3) p → (q ∧ r) ≡ (p → q) ∧ (p → r)
III) Pedro y Manuela ingresan d e sp ué s
E) N.A. − p ∧ (q ∨ −p) ≡ −p
que Alberto. 4) p ↓ (q ∨ r ) ≡ (p ↓ q) ∨ (p ↓ r) p ∧ ( − q ∨ −p) ≡ p ∧ − q
6. Cinco alumnos tenían que rendir una
De las tres son válidas: prueba objetiva de lógica ante el El inverso de la distribución se l e l l a ma Esquemas aplicados a la absorción
A) las tres B) solo I y II profesor Max y estaban parados de la factor común. Ejemplo:
(p ∧ q) ∧ (p ∨ q) ≡ p ∧ q
C) solo I y III D) solo II y III siguiente manera:
E) N.A. El primero en responder se ubicó a la (p ∧ q) ∨ (p ∧ r ) (p ∧ q) ∨ (p ∨ q) ≡ p ∨ q
(p ⊕ q) ∧ [ (p ⊕ q) ∨ (r ∧ s) ] ≡ p ⊕ q
derecha del profesor y a la izquierd a d e
3. Trujillo se encuentra al norte de Lima sus compañeros era el alumno Pucuta y; p ∧ (q ∨ r )
y Piura se encuentra al norte de Lima. el segundo en hablar fue el del otro (p ↔ q) ∨ [ (−p ⊕ q) ∧ (r → s) ] ≡ p ↔ q
Por lo tanto es obvio que: extremo que era el alumno Carpioso . El 6. Contraposición.- (Cp) Ejemplo:
A) Piura no se encuentra al norte de alumno Eslava se encontraba al centro y Operadores contrapuestos:
Lima. a su derecha de Alva. Carlos trabaja, y estudia o trabaja
→, ←, ↔, ⊕ Equivale a “Carlos trabaja”, (por
B) Trujillo se encuentra al norte de ¿Cómo se ubicaban los alumnos?
Las variables pueden permutarse absorción)
Piura.
C) Trujillo se encuentra al sur de Piura. a) Alva, Pucutay, Carpioso, Díaz, pero cambiándole su valor.
Ejemplo: 8. Exportación (exp.)
D) Piura no se encuentra al norte de Eslava.
Trujillo. b) Eslava, Díaz, Carpioso, Pucutay, Operadores aplicables: ( ∧, → )
E) N.A. Alva. Ejemplo: p → q ≡ − q → −p simultáneos
c) Díaz, Eslava, Alva, Pucutay, Afirmativa a negativa (p ∧ q) → r ≡ p → (q → p)
4. En ingreso a la universidad: Aré va l o Carpioso.
es posterior a Benítez, éste es posterio r d) Carpioso, Díaz, Alva, Eslava, p → q ≡ − q → −p − (p ∧ q) ∨ r ≡ −p ∨ ( − q ∨ r) ←
a Cruzado, éste es posterior a Pucutay. Demostración
− (p → q) ≡ −( − q → − p)
Domínguez y éste es posterior a Elías. e) Carpioso, Díaz, Eslava, Alva, ( −p ∨ − q) ∨ r ≡ ( − p ∨ − q) ∨ r
Se infiere en: Pucutay. p ← q ≡ − q ← −p
1) Arévalo es posterior a Cruzado y −p → q ≡ −q → p 9. Importación (import)
Domínguez. 7. Una leguminosa es una dial ip éta l a, p ↔ q ≡ − q ↔ −p Operadores aplicables ( →, → )
2) Arévalo es anterior a Cruzado y angiosperma es traqueofita, toda
Benitez. dialipétala es dicotiledónea ademá s l a s p ← − q) ≡ − q → −p simultáneos
p ⊕ q ≡ − q ⊕ −p p → (q → r ) ≡ (p ∧ q) → r
376 333
10. La mutación (mut) − (p → q) ∨ − (q → p) particular a lo particular; es decir que N
Operador aplicables ( →, → ) (p ∧ − q) ∨ ( −p → q)
tiene la misma generalidad. Ana
simultáneos
(p ∨ q) ∧ ( −p ∨ − q) 2) Características:
p → (q → r ) ≡ q → (p → r) Tiene una estructura de transitividad. O E Bertha
Ejemplo:
Vas al cusco o únicamente a Lima  ( A → B ) ∧ ( B → C )  → ( A → C )
11. Definición del implicador (Def Carla
Equivale decir:
→) Es falso que, si vas al cusco, va s a
Está formado por proposiciones
S
Esquema: relacionales.
Lima, o es falso que si Premisa y conclusión tiene el mismo
p → q ≡ − p ∨ q. − (p ∧ − q) Vas a Lima vas al Cusco. 2) Si Carlos se encuentra al este de
grado de generalidad. Roberto y Roberto al sur de Manuel.
Ejemplo: Equivalencias entre ( ↔)y( ∨ )
Si llueve, hay cosecha Luego
3) Tipos:
Equivale decir: p↔q= p∨q= Graficando:
No llueve o hay cosecha 3.1. Por comparación
− (p ∨q) − (p ↔ q) Manuel Roberto Carlos
Ó es falso que, llueve pero no hay Formas:
cosecha ( −p ∨ q) ( −p ↔ q)
12. Definición del replicador (Def ← ) 3) Si N no está al norte de Marylin y
Esquema: (p ∨ − q) (p ↔ − q) A >B A <B A =B A =B Marylin al nor este de Tula
B> C B< C B> C B< C Luego:
p ← q = p ∨ − q; − ( −p ∧ q) −( − p ∨ − q) −( − p ↔ − q) N está al nor este de Tula
A >C A <C A >C A <C
Ejemplo: Graficando:
−p ↔ q −p ∨ − q
Ingresas si estudias N
A >B A <B A >B A <B NE Nino
Equivale decir − ( −p ↔ q) −( − p ∨ q)
Ingresas o no estudias B =C B =C C<B C>B
Ó Es falso que, no ingresas pero − (p ↔ − q) −(p ∨ − q) A >C A <B A >C A <C O E Mar ylin
estudias
15. Ley del complemento
Ejemplo 1: Tula
13. Definición del biimoplicador Esquemas:
(Def. ↔ ) S
p ∧ −p ≡ f p ∧ −p ≡ 0 Ana es mayor que Bertha
Esquema: Bertha es mayor que Carla
p↔q= p ∨ −p ≡ ∨ p ∨ −p ≡ 1 Luego
Ana es mayor que Carla
(p → q) ∧ (q → p) Def. 1 Ejemplos:
( −p ∨ q) ∨ (p ∨ − q) Def. 2 [(p → q) ∧ −( −p ∨ q) ] ≡ 0 Ejemplo: 2
(p ∧ q) ∨ ( −p ∧ − q) Def. 3 Pedro es gemelo de Pablo
[(p ↔ q) ∨ (p ∨q) ] ≡ 1 Pablo es mayor que Carlos
Ejemplo: Luego
Tienes dinero si y solo si trabajas Pedro es mayor que Carlos
16. Ley de identidad
Equivale decir:
Esquemas:
Si tienes dinero, trabajas y si 3.2. Por ubicación geográfica
trabajas, tienes dinero p∧∨ ≡p p ∧1≡ p
Casos que se presentan
p∨f ≡p p∨0 ≡p
14. Definición del disyuntor fuerte 1) Si Ana se encuentra al sur de Bertha
(Def. ∨ )
p∧f ≡ f p∧0 ≡0 y Bertha se encuentra al sur de
Esquema: Carla. Luego: PROBLEMAS PROPUESTOS 13
p∨v ≡ v p ∧1≡ 1
p∨q=
Ana se encuentra al sur de Carla
334 375
A) 1,3 y 5 B) solo 1 y 5 D) Todos los gases al calentarse se Ejemplos:
C) 2,3 y 4 D) todas dilatan.
E) ninguna E) Cualquier gas es un elemento (p → q) ∨ (r
14∨24
−3
r) ≡ 1
PROBLEMAS PROPUESTOS 4
químico. 1
7. “si un animal tiene cráneo, enton ces
(p ∧ q) ∧ (s
14∧ −3
24s) ≡ 0
es vertebrado y, si un animal es 10. Del siguiente argumento: “si EQUIVALENCIAS LÓGICAS CON:
vertebrado, tiene cráneo”. Es posible Margarita está casada, Ofelia no está 0
concluir por reciprocidad. casada. Además, si Margarita no está ∨, I, ⇔, ↓
A) Algunos animales tienen vérte b ra s casada. Lorena está casada. Tanto 17. Expansión (Exp):
si tienen cráneo. como ni Ofelia está casada, Lorena no Se aplica con esquemas: Instrucciones: A continuación te
B) Algunos animales tienen vérte b ra s está casada.” (p − p),p ∨ −p presentamos un enunciado con 5
123 123 posibles respuestas. De estas
si tienen cráneo. Podemos concluir: 0 1
C) Cada animal es vertebrado si y solo A) Margarita está casada. selecciona aquella que consideres
si tienen cráneo. B) Margarita no está casada. p ≡ [ p ∨ (q ∧ −p) ] correcta:
D) Todos los vertebrados tienen C) Ofelia está casada. p ≡ [ p ∧ (r ∨ −r ) ]
cráneo. D) Ofelia no está casada. 1. “Estar con fiebre es de la misma
E) Todos los mamíferos son E) Lorena no está. forma que estar enfermo”, es equivalente
18. Idempotencia (idemp) a la formula:
vertebrados.
p∧p ≡p p∨p ≡p 1) ( A → B) ∨ (B → A)
8. El pago de servicio de luz es muy 2) A ≠ B
costoso. El pago del servicio de agua 4) ( ¬ A ∨ B) ∧ ( A ∨ ¬ B)
potable y desagüe son muy costosos. El 3) (B → A) ∧ ( A → B )
pago de servicios telefónicos es muy
costoso al igual que el alumbrado 5) [ (A → B) ∨ (A → B) ]
público también lo es. Luego: Son ciertas solamente:
A) El pago de algunos servicios A) 1, 2, 3 B) 2, 3, 4
públicos no son costosos C) 1, 2, 5 D) todos
B) No todos los pagos de servicios E) N.A.
públicos no son costosos.
C) Cada pago de servicio público es 2. La proposición “Siempre y solo
barato. cuando el animal marino sea un cetáceo
D) La mayoría de los pagos de es que se trate de un mamifero”. Es la
servicios públicos son costosos. contradicción de su esquema.
E) Cualquier pago de servicio p ú b li co
es costoso. A) B → A B) A ↔ B
C) ¬ ( A ⇔ B ) D) ¬A ≡ B
9. Al calentar el nitrógeno éste aumenta E) N.A
su volumen. Al calentar el oxígeno, é s te
se dilata. Al calentar el hidrógeno, éste
3. “Los moluscos tienen el cuerpo
aumenta su volumen.
segmentado o unicamente el cuerpo
Se concluye por inducción: blando”. Es un esquema equivalente:
A) Algunos gases aumenta su volumen.
A) ( ¬ A ∨ ¬ B) ∧ ( A ∨ B)
B) Algunos gases al calentarse aumenta
de volumen. RAZONAMIENTO TRANSDUCTIVO B) ¬( A → B ) ∨ ¬(A → B)
C) Todos los elementos químicos al C) ( ¬ A ∧ B) ∨ ( A ∧ ¬ B)
calentarse aumenta de volumen. 1) Noción: razonamiento en cuya ilación D) todas
entre premisa y conclusión va de lo E) Ninguna
374 335
4. “Los peces; los pulmones,, 8. La proposición. “El neutrón ni es D) Que el volumen de los gases E) Algunos son animales marinos o
extremidades y pelos no tiene ”, es su positivo ni es negativo o únicamen te e s depende del recipiente que los vertebrados o animales marinos y
esquema equivalente: neutro”. Es su esquema equivalente: contrae. vertebrados, o no son vertebrados ni
1) ¬ ( ¬ A ∧ ¬ B ∧ ¬ C ∧ ¬ D) 1) ( A.B) ⊕ B animales marinos.
2) ¬ ( A ∨ B ∨ C ∨ D) 3. De las siguientes premisas:
2) (A ↓ B) ↔ B P1: algunos mamíferos son 5. Si: “El doberman no es carnívoro , a l
3) ¬ ( A ∧ B ∧ C) carnívoros. igual que el pastor alemán, ch i h u ah ua ,
3) ¬(A + B)∨B
4) ¬ ( A ∨ B ∨ C) P2: algunos mamíferos no son san bernardo de ningún modo son
5) ¬ ( ¬ A ∧ ¬ B ∧ ¬ C) 4) (¬A ↓ ¬B) ≡B carnívoros. omnívoros”. ¿Qué inducimos equivale n-
Son ciertas solamente: 5) ( A ⊕ B) ∆ B P3: algunos carnívoros no son temente?
A) 1, 2, 3 B) 2, 3, 4 mamíferos. 1) Muchos animales son omnívo ro s a l
Son ciertas:
C) 3, 4, 5 D) Sólo 4 igual que son perros.
A) 1, 2, 3 B) 2, 3, 4
E) N.A Podemos inducir: 2) Nadie creía que algún animal es
C) 3, 4, 5 D) todas A) Algunos no son mamíferos, perro y es omnívoro.
E) N.A carnívoros o cualquiera de los dos 3) Ningún perro es obviamente
5. La proposición: “Es imposible que los
conceptos tengan la misma extens ió n e aspectos. omnívoro.
9. “O el delfín es pez o es un cetáceo”
intensión”. Es equivalente al esquema: B) Algunos no son mamíferos ni 4) En absoluto ocurre que, cada animal
Equivale a:
1) ( A ∧ B) carnívoros. Pero si ambos a la vez. no es omnívoro salvo que no sea
1) “O únicamente el delfín es un cetáceo, C) Todos son mamíferos o carn ívo ro s, perro.
2) ( ¬ A ∨ ¬ B) pez” salvo que también mamíferos y 5) Es innegable que cualquier animal no
3) ( A / B) 2) “Es falso que el delfín es pez y solo si carnívoros a la vez. es omnívoro excepto que tampoco
es un cetáceo”
4) − [ (− A ⊕ −B) ↔ ( −A∆ − B)] 3) “O el delfín es un pez a menos que
D) Todos son mamíferos o carn ívo ro s, sea perro.
el igual que ambos aspectos a la vez.
5) A ∨ B sea un cetáceo” E) Nadie no es mamífero o carnívo ro o Son indiscutiblemente correctos:
Son ciertas solamente: 4) “El delfín es cetáceo por que no es un carnívoro y mamífero. A) 2,3 y 5 B) 1,3 y 4
A) 1, 2, 3 B) 2, 3, 4 pez” C) 2,3 y 4 D) solo 1 y 3
C) 1, 2, 5 D) 2, 3, 5 5) “El delfín es un mamifero se define
4. De las siguientes premisas: E) solo 2 y5
E) N.A que es un mamifero”
P1: algunos vertebrados no son
Son ciertas únicamente animales marinos. 6. Si: “Paco no pudo sobrevivir al SIDA,
6. La proposición “Si son ba l le na s a sí A) 1, 2, 3 B) 2, 3, 4 P2: algunos animales marinos no son así como Paula, paulino y Juanita
como delfines es obvio que sean C) 3, 4, 5 D) 1, 2, 5 vertebrados. tampoco sobrevivieron al virus del
cetáceos”, es equivalente el esquema E) todas:
P3: algunos no son animales marinos SIDA”; en consecuencia, ¿Qué podemos
por contraposición: ni vertebrados. inducir?
A) ( A ∧ B) → C 10. Si se define: P ∗ Q ≡ ¬P ∨ ¬Q 1) Todo género de hombres no ha
B) C → (A ∧ B) entonces P ∧ Q Podemos inferir: podido hasta ahora sobrevivir al
Es equivalente a: A) Algunos son animales marinos o SIDA.
C) ¬ C → (A ∧ B)
1) ¬ (P ∗ Q ) vertebrados o animales marinos a l a 2) Ninguna raza humana ha sobrevivido
D) ¬ C → ¬( A ∧ B) 4) P ∗ P vez que vertebrados. al SIDA.
E) A → B 2) ¬ P ∗ Q B) Algunos no son animales marinos n i 3) Ni siquiera un hombre es capaz
vertebrados pero si son animales hasta ahora de sobrevivir al SIDA.
5) Q ∗ Q
7. La proposición: “El átomo normal e s marinos y vertebrados. 4) Es falso que, varios que
eléctricamente positivo o es únicamen te 3) ¬ ( ¬ P ∗ Q ) C) Algunos son vertebrados aunque sobrevivieron al SIDA son seres
neutro”, es su esquema equivalente: Son ciertas solamente: también animales marinos, o no s o n humanos.
A) 1, 2, 3 B) 2, 3, 4 vertebrados ni animales marinos. 5) Cualquiera no es varón a no ser q u e
A) (A ↓ B) B) ( A ⊕ B) C) 3, 4, 5 D) Sólo 1 D) Algunos son animales marinos o también nunca haya sobrevivido al SIDA.
C) A ∨ B D) A ∨ B E) N.A. vertebrados o animales marinos o no
E) ( ¬ A / ¬ B) vertebrados. Son no absurdos, excepto:
336 373
Ejemplo:
Si es mamífero, es vertebrado y si es 1. De las siguientes premisas: CIRCUITOS LÓGICOS
vertebrado, es mamífero. P1: “A y B” son números naturales y
Luego: su producto es un número CIRCUITOS LÓGICOS
Son mamíferos sí y sólo si son natural.
vertebrados P2: “C y D” son números naturales y Aplicación lógica
Formalizando argumento su producto es un número a la tecnología
(M → V) ∧ (V → M) natural.
P3: “A y C” son números naturales y Clases
M↔V su producto es un número
natural.
Muestra: A) El producto de algunos números A conmutadores A compuertas
Ejemplo: naturales es otro número natural. a corriente digitales
El diagnóstico de una enfermedad B) El producto de cualquier par de Pueden ser Pueden ser
por muestra (muestreo) de la sangre. números es un número natural.
C) El producto de un par de números En En ASA ISO
naturales es un número cualquiera. serie Pa ra lelo a merica no inglés
D) El producto de cualquier par de
números naturales es otro número A ∧B A ∨B
natural.
E) El producto de dos números 6.1 Circuitos Lógicos 2. Clases de circuitos
naturales es conmutativo y también
transitivo. Es la representación gráfica del (ca mp o • Cerrado:
eléctrico y digital) mediante un esquema
2. De las siguientes premisas: lógico formal. =
p
P1: al calentar un cilindro con p i stón
que contiene nitrógeno gaseoso , La finalidad de este módulo es de • Abierto:
su volumen aumenta. conocer, comprender, aplicar y
=
P2: si calentamos un recipiente, relacionar las leyes lógicas con los −p
flexible, que contiene oxigeno, su circuitos lógicos en problemas de
volumen aumenta. aplicación. Circuito en serie (con dos
P3: si enfriamos bajo cero, un conmutadores)
recipiente plástico que contiene 6.2 Circuitos conmutadores Se representa con ( ∧ )
cloro gaseoso, éste se contrae. Es un circuito que tiene interruptores que
permiten el paso o interrupción de la p q p∧q
Podemos inducir: corriente.
A) Que calentar nitrógeno, éste se Circuito en paralelo
expande. Pero el cloro se contrae. Elementos: Se representa con ( ∨ )
B) Que al calentar el nitrógeno y el p
oxigeno, estos se expanden. Pero e l 1. Interruptor o Conmutador.- Es p∨q
cloro se contrae. q
la llave o palanquita que p e rmi te
C) Que el volumen de los gases el paso o interrupción de la
depende directamente de la corriente eléctrica. 3. DISEÑO DE UN CIRCUITO
temperatura a la que estos se Para diseñar un circuito a
encuentran. Se representa por variables: p, q , conmutadores con fórmulas que n o
PROBLEMAS PROPUESTOS 12 r, s, t, etc. sean ∧ y ∨ se procede de la
siguiente forma:
372 337
Ejemplo 1: p propiedad de conjunto considerad o
Diseñar: p → q 1) Noción.- Es un razonamiento en como unidad.
q cuya ilación va de lo particular a lo Ejemplo:
Solución:
p → q ≡ −p ∨ q general. Es un animal:
Ejemplo: - De piel desnuda
Luego: La plata es un buen conductor de la - Anfibio
−p −p −q
electricidad - Batracio
p→q= Se representa: El cobre es un buen conductor de la Luego:
q
electricidad Este animal es un SAPO
Diseñar: p ↔ q Solución: El plomo es un buen conductor de la
Solución: Por bloques: electricidad 3.3. Inducción amplificadora: Aquella
p ↔ q ≡ (p ∨ −q) ∧ ( −p ∨ q) 1º A = (p ∨ q) Luego: en la cual la relación formulada p o r
Todos los minerales son buenos el juicio inducido se aplica a todos
Luego: 2º B = ( −p ∧ −q) conductores de la electricidad sus miembros de una clase.
p −p 3º C=p Ejemplo:
p↔q= 2) Características: De los profesionales:
−q q 4º A y B = (p ∨ q) ∨ ( −p ∧ −q)
a) Son razonamientos que parten de - Algunos son profesores pero no son
5º A, B y C =p ∧ [(p∨ q) ∨ (−p ∧−q)] verdades particulares para conclu ir abogados
4. OPERACIONES CON CIRCUITOS en verdades particulares para - Algunos no son profesores p e ro s í
4.1. Representación o formaliza- concluir en verdades generales. abogados
Ejemplo 2:
ción de un circuito b) Se establece de manera probable - Algunos son profesores y abogados
El circuito:
Es la operación formal partiendo d e p −q parcialmente confirmado - Algunos no son profesores ni
un circuito. c) Sus razonamientos son aplicados a abogados
−q −p las leyes científicas Luego:
p
Ejemplo 1: De los profesionales:
El circuito mostrado en la sigu i en te −q
p −q 3) Tipos: - Algunos son profesores o abogados
figura: 3.1. Inducción por enumeración o profesores y abogados o ni
q −p completa: Aquel razonamiento profesores ni abogados.
cuyas premisas son proposici on es Graficando premisas y conclusión:
Se representa: singulares que se determin an u n a
1º A = [ (p ∨ − q) ∧ ( q ∧ − p) ] por una para concluir en una P
proposición general.
2º B = [ (p ∨ − q) ∨ (q ∧ − p) ] 1 2 3 4
Ejemplo:
3º C = (p ∨ − q) • El precio del servicio de la luz es
P A
4º A y B = {[ (p ∨ −q) ∧ (q ∨ −p) ] ∨ [ (p ∧ − q) ∨ (q ∧ −p) ]} muy caro
• El precio del servicio del agua es
5º A, B y C = {[ (p ∨ −q) ∧ (q ∨ −p)] ∨ [ (p ∧ −q) ∨ (q ∧ −p) ]} ∧ (p ∨ −q) muy caro Formalizando argumentos:
• El precio del servicio del teléfono es P∧ A
4.2. Diseño de circuito.- Es la construcción de un circuito partiendo de una muy caro −P ∧ A
fórmula proposicional. Luego:
Todos los servicios públicos son muy P∧ A
Ejemplo 1: caros −P ∧ −A
Diseñar: (p ↓ q) ∨ r (P ∨ A) ∨ (P ∧ A) ∨ ( −P ∧ − A)
3.2. Inducción por coligación:
Razonamiento cuyos juicios
Solución: indirectos se establece en forma Clases:
(p ↓ q) ∨ r = (−p ∧ −q) ∨ r ordenado para expresarse en una Recíproca
338 371
Inferimos: De las anteriores proposiciones son Luego: p −q
1) Algunos seres no son animales correctas: ( −p ∧ − q) ∨ r =
2) Hay animales que son seres A) 1, 2 y 3 B) 2, 3 y 4 r
3) Es falso que todo ser no sea animal C) 1, 2 y 5 D) Todas
Ejemplo 2:
4) Ningún animal es ser E) N.A.
5) Ningún ser es animal Diseñar: [(p → q) ∧ p ] → q
9. De las proposiciones lógicas:
Son correctas: “Todos los políticos no son Solución:
A) 1, 2 y 3
C) 3, 4 y 5
B) 2, 3 y 4
D) Sólo I
honrados” y
“Algunas personas honestas son
[(p → q) ∧ p ] → q ≡ ¬[ ( −p ∨ q) ∧ p ] ≡ [(p ∧ −q) ∨ −p ] ∨ q
E) N.A. congresistas” p −q
1) Cualquier estudiante es honrado Luego:
7. De las proposiciones lógicas: 2) Basta que una persona sea −p
“Algunos profesores son médicos” estudiante para que necesariamente [(p ∧ −q) ∨ −p ] ∨ q =
“Todos los profesores encantan” sea honesto q
Inferimos deductivamente en la 3) Ningún estudiante es deshonesto
siguiente proposición: 4) Ningún deshonesto es estudiante 4.3. Simplificación de circuitos.-
1) Hay personas que encantan siendo 5) Toda persona al ser un estudi a nte , p r
Es la reducción de un circuito a
médicos luego forzosamente es honesto su mínima expresión, por q s
2) Existen personas encantadoras que medio de las leyes de
son médicos De las anteriores proposiciones son equivalencia.
3) Hay personas que encantan y son correctas: p
médicos A) 1, 2 y 3 B) 2, 3 y 4 Ejemplo 1: q
4) Algún individuo es encantador y e s C) 1, 2 y 5 D) Todas Simplificar el circuito:
médico E) N.A. p q Solución:
5) Al menos una persona encantadora Formalizando el circuito:
es médico 10. De las siguientes premisas: p
(p ∨ q) ∧(r ∨ s) ∨ (p ∨ q) ≡ (p ∨ q)
“Todas las ciudades o bien son
De las anteriores proposiciones son urbanas o bien son rurales” y q
correctas: “Lima no es urbana” Solución: (Abs)
A) 1, 2 y 3 B) 2, 3 y 4 Se infiere deductivamente en la El circuito se representa como:
C) 3, 4 y 5 D) Todas siguiente conclusión: (p ∧ q) ∨ (p ∨ q) Luego el circuito simplificado
E) N.A. A) Lima no es rural es:
(p ∧ q) ∨ (p ∨ q) ≡ p ∨ q (por abs.) p
B) Lima es una ciudad
8. De las proposiciones lógicas: C) Lima no es urbana q
“Todo estudiante es optimista” y D) Lima es rural Luego:
“Toda persona optimista es p q
E) La ciudad de Lima es linda p
honesta” ≡
1) Cualquier estudiante es honrado p q
2) Basta que una persona sea q
estudiante para que necesariamente
sea honesto Por la ley de absorción
3) Ningún estudiante es deshonesto
4) Ningún deshonesto es estudiante Ejemplo 2:
5) Toda persona al ser un estudi a nte , FORMAS DE RAZONAMIENTO Simplificar:
luego forzosamente es honesto
RAZONAMIENTO INDUCTIVO
370 339
PROBLEMAS PROPUESTOS 11 Inferimos deductivamente:

CIRCUITO A COMPUERTAS 1) Algunos peruanos no son europeos
2) Los peruanos no son europeos
Es un circuito que tiene sistemas digitales: 1. De las premisas: 3) Todo peruano no es europeo
1.1 Elementos: “Algunos ingenieros químicos no 4) Ningún peruano no es europeo
Compuerta
de entrada son estudiosos“ O 5) Hay peruanos que no son europeos
A
En trada s “Todo ingeniero químico es
(2) B A Son correctas:
dialéctico” A) 1, 2 y 3 B) 2, 3 y 4
O C) Sólo 4 D) Todas
Puente Compuerta AND Inferimos: E) N.A.
de salida 1) Algunos dialécticos no estudian
2da co mpuert a
2) Hay personas que siendo 4. De las proposiciones lógicas:
El circuito presenta: dialécticos no estudian “Ningún mamífero es vivíparo” y
• Dos entradas: A y B 3) Al menos debe haber una persona “Ningún ser que no es vivíparo es
• Tres compuertas: ( − A ∧ −B) − (A ∨ B) y (A ∧ B) que se representan dialéctica que no estudia animal”
4) Todo estudioso es dialéctico Inferimos deductivamente:
respectivamente:
5) Los dialécticos no son estudiosos 1) Ningún mamífero es animal
, , 2) Todos los mamíferos son animales
Son ciertas: 3) Todos los vertebrados son animales
A) 1, 2 y 3 B) 2, 3 y 4 4) Algunos animales son los
• Un puente que va a permitir la formación de la segunda compuerta. C) 3, 4 y 5 D) Todas mamíferos
• La función AND representada por la compuerta de salida. E) N.A. 5) Ningún animal es mamífero
• Se formaliza: ( − A ∧ −B) ∧ ¬ (A ∨ B)
• Su equivalencia o simplificación: ¬ (A ∨ B) 2. De las premisas: Son correctas:
“Toda acción moral es obligatoria” y A) Sólo 1 y 5 B) 2, 3 y 4
“Algunas acciones morales son C) 3, 4 y 5 D) Todas
A
justas” E) N.A.
B Inferimos:
1) Algunas cosas justas son 5. De las premisas:
1.2 Representación de los circuitos obligatorias “Ningún estudiante es malo”
2) Algo es justo y no es obligatorio “Todo negligente es malo”
Ejemplo 1: 3) Todo es justo pero no es obligatorio Deducimos:
Representar el circuito: 4) Ninguna cosa obligatoria es justa 1) Ningún negligente es estudioso
A ¬(A ∨ B) 5) Al menos alguna cosa es justa por 2) Todo negligente no es estudioso
obligatoria 3) Los negligentes no estudian
B ¬(A ∨ B) ↔ (− A ∧ −B)
4) Cada persona negligente no es
Son correctas: estudiosa
A) 1, 2 y 3 B) 2, 3 y 4 5) Ningún estudioso es negligente
( − A ∧ −B)
C) 1 y 5 D) Todas
E) N.A. Son correctas:
1º A ¬(A ∨ B) A) 1, 2 y 3 B) 2, 3 y 4
3. De las proposiciones lógicas: C) 3, 4 y 5 D) Todas
B “Ningún ciudadano asiático es E) N.A.
europeo“ y 6. De las premisas:
2º A − A ∧ −B “Algún ciudadano asiático es “Ningún animal piensa” y
B peruano” “Algunos seres piensan”
340 369
Estructura: 3º −(A ∨ B) ¬(A ∨ B) ↔ (− A ∧ −B)
P1 MaV
( − A ∧ −B)
P2 BaM
C: BaV 1.3 Diseño de circuitos o compuertas
Diseñar en sistema ASA e ISO la fórmula lógica (A ↔ B) ∨ (A ∨ B)
1) Por el método válido:
A A A −1 Sistema ASA Sistema ISO
BARBARA A A
=
2) Por la lógica Booleana: B B ≥
Diagrama de Venn
M∩V = ∅ =1
B V
B∩M = ∅
1.4 Simplificación de circuitos
B∩ V = ∅
M Ejemplo 1:
Simplificar el circuito:
A
3) Por los cuantificadores:
∀x(Mx → Vx) M→V Por silogismo B
∀x(Bx → Mx) B→M Hipotético Puro
∀x(Bx → Vx) Bx → V (S.H.P.)
DEMOSTRACIÓN POR LOS CUANTIFICADORES Solución:

Formalizando el circuito:
Ejemplo 1: (A ∧ B) ∨ (A ∨ B) ≡ A ∨ B (abs)
∀x(Mx → −Px) M → −P Ponendo Luego:
∃ x(Sx ∧ Mx) S∧M Ponens
A
∃ x(Sx ∧ −Px) S ∧ −P (P.P.)
A
Ejemplo 2: B ≡
∀x(Px → Mx) P→M Tollendo B
∃ x(Sx ∧ −Mx) S ∧ −M Tollens
∃ x(Sx ∧ −Px) S ∧ −P (T.T.)
Ejemplo 2:
Simplificar:
Ejemplo 3:
∀x(Mx → −Px) M → −P Silogismo A ≥1
∀x(Sx → Mx) S →M Hipotético Puro B =
∀x(Sx → −Px) S → −P (S.H.P.)
&
368 341
Solución:
4. Figuras del silogismo
Formalizando: (A ∨ B) ↔ ¬ ( A ∧ B) ≡ A ∨ B
Sirven para identificar la ubicación del término medio:
If IIf IIIf IVf
Luego:
M P P M M P P M
A ≥1
S M S M M S M S
B = ≡ =1
S P S P S P S P
&
Ejemplo: (Del caso anterior)
MaV
CUADRO RESUMEN DE CIRCUITOS
BaM
Pertenece a la primera figura
Fórmula A conmutadores A compuertas Función ∴B a V
A A Modos del silogismo: Sirve para ubicar las formas típicas de las
A∧ B A B & AND 5.
B B proposiciones (A E I O), los modos válidos están agrupados por cada
figura:
A A A
A∨ B ≥1 OR If IIf IIIf IVf
B B B CAMESTRE
BARBARA BAROCO BOCARDO
DARII CESARE DISANIS DIMARIS
−(A ∧ B) −A A A
& NAND CELARENT CAMESTRE DATISI FRESISON
−A ∨ −B B B
−B FERIO FESTINO FERISON
A A AAA AOO OAO AEE
−(A ∨ B) −A −B ≥1 A I I EAE I A I
B B NOR E AI
−A ∧ −B
EAO AEE AI I E IO
E I O E I O E I O
−A A A
≥1 Not OR
A/B B Nota: La primera columna de cada figura corresponde a la primera
−B B not
premisa, la segunda a la segunda premisa y la tercera a la conclusión.
−A −A SILOGISMOS Y LA LÓGICA CUANTIFICACIONAL

−A A A 1 −A Not
Las reglas de la lógica cuantificacional sirven para demostrar también la validez del
A∨ B A −B A A silogismo.
=1 XOR
(A ∧−B) ∨ (−A ∧ B) −B A B B Ejemplo:
Todos los mamíferos son vertebrados
A Todas las ballenas son mamíferos
A ↔B A −A B A
= NXOR Luego:
(A ∨ −B) ∧ (−A ∨ B) −B B
B A Todas las ballenas son vertebrados
B MÉTODOS PARA DEMOSTRAR LA VALIDEZ
342 367
1) 2) Otras formas:
P1 p→ q P1 p → −q (A ∧ A) ∧ − A (A ∧ A ) ∧ − A
r→q A
P2 p P2
A ¬ (A ∨ B)
q→ r q
P3 P3 B
∴r ∴ −r
3) 4) A (A ∧ A ) ∧ − A
P1 p → −q P1 − p → −q A ¬ (A ↔ B) &
P2 r→q P2 − q → (r → s) B &
p (t → r) ∨ p
P3 P3
∴ −r ∴t → s
12.2 Silogismos y cuantificación 3. Dado el siguiente diseño:

1. Silogismos PROBLEMAS PROPUESTOS 5
A
& &
2. No son inferencias mediatas formadas por proposiciones cuantificadotas, B
que poseen dos premisas y tres términos: P, S y M. 1. El circuito ≥1
Ejemplo: −A
A Tiene como matriz principal:
P1 Todos los mamíferos son vertebrados −B A) 1101 B) 1011
P2 Todas las ballenas son mamíferos C) 0010 D) 1111
B E) 000
Luego:
Todas las ballenas son vertebrados A
Término mayor: (p) “vertebrados” 4. El circuito:
Término menor: (s) “ballenas” Se formaliza:
Término medio: (m) “mamífero” A
A) (A ∧ − A ∨ − B) ∨ (B ∨ A)
B
3. Reglas del silogismo
B) [ (A ∧ −B) ∨ −B ] ∨ (B ∨ A)
C) A ∧ [ (−B ∨ −A) ∨ (B ∨ A)]
3.1 De los términos Representa a la fórmula:
D) [ A ∧ (− A ∨ −B)] ∨ (B ∨ A)
• Todo silogismo debe tener sólo tres términos P, S y M, A) {[ ( A ∧ B ) ↔ ] ↔ B}
• El término medio se repite en las dos premisas pero no en E) [ (A ∧ − A) ∨ −B ] ∨ (B ∨ A)
conclusión B) ¬ {[ ( A ∧ B ) ↔ B ] ∨ B}
• En conclusión los términos mayor y menor no deben tener m ás 2. El circuito adjunto: C) {[ ( A ∧ B ) ↔ −B ] ↔ B}
extensión que las premisas
• El término medio debe estar en premisas distribuido por lo A D) −{[ ( A ∧ B ) ↔ −B ] ∨ B}
menos una vez ≥1
B 1 E) {[ ( A ∧ B ) ↔ −B ] ↔ −B}
3.2 De las proposiciones o premisas
• De dos premisas afirmativas se concluye otra afirmativa A) Universalmente verdadero 5. El circuito:
• En conclusión debe estar la premisa más débil, siendo la B) Universalmente falso A
particular más débil que la afirmativa. C) Idéntico – verdadero ≥1
• De dos premisas negativas universales, nada se concluye. D) Contingente B &
• De dos premisas particulares, nada se concluye E) Contradictorio
=
366 343
Representa a la fórmula: Se formaliza: 12.1 Demostración formal de la validez de razonamientos

A) (A ∨ B) ∧ (A ↔ − B) {
A) { [ (A ∨ B) ∨ A ∨ B ] ∧ A ∧ B} ∧ (A ∧ B) } 1) La prueba directa: Demostrar la validez de una inferencia mediante la
B) (− A ∨ − B) ∧ (A ↔ − B)
C) [ −(A ∨ B) ∨ ( −B ∨ A)]
B) {[ (A ∨ B) ∧ A ∧ B ] A ∧ ∧B} ∨ (A ∧ B) 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
D) [ −(A ∨ B) ∧ (−B ↔ A) ] C) [ (A ∨ B ∨ C) ∨ (A ∧ B)] justificado por una regla lógica.
E) ¬ [ −(A ∨ B) ∨ (−B ∨ A) ] D) {{[(A ∨ (A ∨ B) ∨ B] ∧ A ∧ B} ∨ (A ∨ B)} Ejemplo 1:
6. El circuito:
E) {[(A ≡ B ≡ C) ∧ A ∧ B ]} ∨ (A ∧ B) P1 p → −q
p
P2 r→q
& 9. El circuito:
q P3 p
≥1 1 y 3 P.P. 2 y 4 T.T.
r = A P4 − q
≥1 = =1
B P5 − r //
Representa:
A) [ (p ∧ q) ∨ −r ] ↔ p ↔ −(p ∧ q) Ejemplo 2:
Tiene como matriz:
B) [ −(p ∧ q) ∨ −r ] ↔ p ↔ − (p ∧ q) A) 0110 B) 1001 P1 P → (q ∨ −r) 2 D.M.
C) 1111 D) 0001 −( −P ∨ q)
C) [ −(p ∧ q) ∨ −r ] ↔ p ↔ (p ∧ q) P2 3 y 1 (S) y (P.P.)
E) 1110
D) [ −(p ∧ q) ∨ r ] ↔ p ↔ −(p ∧ q) P3 p ∧ −q
3 (S)
E) [ −(p ∧ q) ∨ −r ] ↔ p ↔ −(p ∧ q)
10. El circuito: P4 − q ∨ −r
p P5 − q 4 y 5 (T.P.)
7. El circuito lógico: q
P6 − r //
A
r 2) La prueba condicional: Es una forma de derivación para demostrar
B
inferencias válidas, que es posible sólo cuando la inferencia tiene como
Se representa por la fórmula:
conclusión una proposición condicional. Este procedimiento consiste en
A) −( −p ∧ q) ↔ − [ p ∨ r ∨ ( −p ∧ q)] asumir como premisa adicional el antecedente de la fórmula condicional
Representa a: B) −( −p ∧ q) ↔ − [ p ∨ r ∨ −(−p ∧ q) ] que aparece en la conclusión.
A) − [ (A ∨ B) ↔ (− A ∧ B) ] C) ( −p ∧ q) ↔ − [ p ∨ r ∨ ( −p ∧ q) ] Ejemplo:
B) − [ (− A ∨ B) ∨ (− A ⊕ B) ] D) −( −p ∧ q) ↔ − [ p ∨ r ∨ ( −p ∧ q)] P1 p→q
E) (−p ∧ q) ↔ [ p ∨ r ∨ (−p ∧ q)] P2 q→q Prem. Adicional
C) − [ (A ↔ B) >−−< (− A ∧ B) ]
D) − [ (A ↔ −B) ↔ (A ∨ −B) ] P3 p 1, 3 P.P.
E) − [ (− A ⊕ −B) ↔ ( −A∆ − B)] P4 q 2, 4 P.P.
P5 r (3, 5) P.C.
8. El circuito: P6 f → r //
A Ejemplos de Demostración formal

B
1. Hallar la conclusión de las premisas:
344 365
4) Varios son no choferes 5) Ni Mirella ni Zoila son
5) Es falso que algunos sean choferes irresponsables SIMPLIFICACIÓN
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 1. Noción: Es la operación que consiste en reducir a su mínima expresión una
C) 1, 3 y 4 D) Sólo 4 y 5 C) 1, 2 y 4 D) Sólo 3 y 5 fórmula lógica mediante la aplicación de las leyes lógicas.
E) 2, 4 y 5 E) Ninguno Ejemplo 1:
Simplificar la expresión:
5. La expresión: “Hay psicólogos”; 8. La proposición: “Ni siquiera un ave  (p → q) ∨ (r → s)  ∧ ( −p ∨ q) ≡ p → q
equivale a: es reptil”; equivale a:
1) Ricardo o sólo Enrique es psicólogo A) Algunas aves no son reptiles
2) Si Luis no psicólogo obviamente B) Por lo menos hay aves que son Luego; la simplificación mínima del esquema anterior es: p → q aplicando ley de
que Enrique si lo es reptiles absorción.
3) Marcos y Alonso son psicólogos C) En lo absoluto hay aves reptiles
4) Es mentira que Richard y Enrique D) Es falso que cada ave no reptil Ejemplo 1:
no sean psicólogos E) Pocas aves no son reptiles Simplificar el circuito:
5) Marcos a no ser que también
Antonio son psicólogos 9. La expresión: “Cada uno es militar”; p
≥1 &
Son ciertas: no equivale a: q
A) 1, 2 y 5 B) 2, 3 y 4 1) Todos son generales 1
C) 2, 4 y 5 D) 1, 3 y 4 2) Es falso que no haya militares
E) 1, 3 y 5 3) Todos son militares Solución:
4) Ni siquiera uno no es militar Formalizando: [ −(p ∨ q) ∧ −q ] ≡ ( −p ∧ −q) ∧ −q ≡ −p ∧ −q
6. “No todos no son mecánicos”; es la 5) Es falso que no haya militares
expresión que tiene como negación a: Son correctas: Aplicando la Ley de Morgan e idempotencia.
1) Ninguno es mecánico A) 1, 3 y 4 B) 3, 4 y 5
2) Algunos son mecánicos C) 2 y 5 D) 1, 2 y 5 Luego el circuito equivalente es:
3) Algunos no son no mecánicos E) Todas p
4) Es falso que haya mecánicos &
q
5) Es falso que algunos no sean 10. La expresión: “Todos los ingenieros
mecánicos son matemáticos”; equivale a: p
Son ciertas: A) Casi no hay ingenieros matemáticos O también:
q
A) 1 y 4 B) 2 y 4 B) Cada uno de los matemáticos s on
C) 3 y 5 D) 1 y 2 ingenieros
E) 1, 3 y 5 C) Es absurdo que haya ingenieros
matemáticos
7. La expresión: “Ni siquiera una es D) Es absoluto que cualquier no
irresponsable”; equivale a: ingeniero no es matemático
1) Ana así como que también Bertha E) Es falso que haya matemáticos
son responsables ingenieros
2) No sólo Evelyn sino también Mary
son responsables
3) Rosa no obstante Paty no son
responsables
4) Lady no es irresponsable a pesar
que Paola es responsable
12. REGLAS DE GENERALIZACIÓN Y EJEMPLIFICACIÓN
364 345
El negador del particularizador

Equivale al circuito: −∃x(Ax) 1. La expresión: “No hay anfibios”;
PROBLEMAS PROPUESTOS 6 B − A r ∧ −A e ∧ − A f equivale a:
A) 1) Todos son anfibios
Roberto no es abogado ni 2) Quienquiera que sea no es anfibio
A Enrique ni Federico son
1. El circuito: B) A 3) Ninguno no es anfibio
abogados. 4) Ni siquiera uno es anfibio
−B C) 5) Es falso que algunos no sean no
A B −A −B Resumen:
−A anfibios
D) B A ∀x (Ax) −∀x(Ax) Son ciertas:
−B Aa ∧ Ab ∧ Ac − A a ∨ −A b ∨ −A c A) 1, 2 y 4 B) 3, 4 y 5
B E) ∃x (Ax) −∃x(Ax) C) 2, 4 y 5 D) 1, 3 y 5
Equivale al circuito: −A E) 1, 2 y 3
Aa ∨ Ab ∨ Ac − A a ∧ −A b ∧ −A c
B
A) 4. El circuito adjunto: 2. La expresión: “Ninguno es
A Nota: Si el esquema es x − (Ax) alcohólico”; equivale a:
B) A se busca su equivalencia, 1) No ocurre que haya alcohólico
A 2) Ni siquiera uno no es alcohólico
recuerde que:
C) A −B ∀ x − (Ax) ≡ −∃x(Ax) 3) Muchos no son alcohólicos
4) Cualquiera no es alcohólico
Ejemplos:
D) B A Equivale a: 5) No todos son alcohólicos
1) La proposición: “Muchos son
1 A≡A congresistas”; Son falsas:
E) B B B 2. −A ≡ − A Equivale a:
A) 1, 2 y 4 B) 2, 3 y 4
3. ¬ (A ∨ A) C) 1, 3 y 5 D) 1, 4 y 5
Ana es congresista a menos
2. El circuito: E) 2, 3 y 5
4. A ∨ − A que Bertha o Carla sean
congresistas.
5. − (A ≡ A) 3. “Casi no hay deportistas”; expres ión
A Son ciertas: que equivale a:
2) La proposición: “Ni siquiera
B A) Sólo 1, 2 y 3 B) 2, 3 y 5 1) Varios son deportistas
uno es vocal”;
C) 1, 2 y 3 D) 2, 4 y 5 2) No ocurre que ninguno no sea no
Equivale a:
E) Todas deportista
Equivale a la proposición: Mario no es vocal no Alberto
ni Rafael es vocal 3) No todos no son deportistas
A) No hay trabajo pero sí división 4) Es mentira que ninguno sea
5. Las funciones lógicas:
B) Trabajas pero no te diviertes deportista
(NAND) OR (XOR)
C) Ni trabajas ni te diviertes 5) Es innegable que al menos hay un
D) Trabajas así como te diviertes Equivale a:
deportista
E) Es falso que, trabajas no obstante te A) NXOR B) NOR
Son ciertas:
diviertes C) NAND D) XOR A) Todas B) 1, 3 y 4
E) NOT C) Sólo 2, 3 y 5 D) Sólo 3, 4 y 5
3. El circuito: E) 1, 2 y 4
6. El circuito equivalente a:
−B
A A 4. La expresión: “Algunos no son
−A choferes”; tiene como negación a:
−B −B A 1) Ni siquiera uno no es chofer
−B −B
2) No todos son choferes
A B −B −B PROBLEMAS PROPUESTOS 10 3) Todos son choferes
−A −A −A
346 363
“Es falso que algunos médicos no Equivale decir: 4. Llueve, pero si llueve, no voy al
son cirujanos” “Es falso que algunos médicos Es: concierto
…….. ¬ O son cirujanos” A A 5. Es falso que, ni trabajo ni estudio
…….. ¬ I A) ≥1 B) ≥1 Son ciertas:
2) “Ningún médico es cirujano” B B A) 1, 3 y 5 B) 2, 3 y 4
…… E C) Sólo 2 y 4 D) 3, 4 y 5
A A E) Sólo 1 y 2
∃x(Mx ∨ Cx) ∀ x(Mx ∨ Cx) ∀ x(Mx → Cx) C) = D) =1
B B 9. Si cada conmutador del circuito
(Def. → ) ¬∀ x(Mx → −Cx) ∀ x( −Mx → Cx) ∀ x( −Mx ∨ Cx) cuesta S/. 15. ¿Cuánto costará el circuito
(Cp) ¬∀ x(Cx → −Mx) ∀ x(Cx → −Mx) ∀ x(Cx ∨ −Mx) A simplificado y cuánto se ahorrará
(Cnm) ∃x(Cx ∧ Mx) ∀ x(Cx ∨ Mx) ∀ x( −Cx → −Mx) E) ≥1 respectivamente?
B p r
(D.M.) ¬∀ x( −Mx ∨ −Cx) ¬∃x( −Mx ∧ −Cx) ¬∃x(Mx ∧ −Cx)
 Conm  ¬∀ x( −Cx ∨ −Mx) ¬∃x( −Cx ∧ −Mx) ¬∃x( −Cx ∧ Mx) 7. Dado el siguiente circuito: q s
 D.M. 
  B p
C q
Ejemplos: ∀x(Ax)
Aa ∧ Ab ∧ Ac A B C A) 60 – 30 B) 45 – 45
1) La proposición: “Hay médicos que
son cirujanos”; equivale a: Todos son abogados C −B C) 30 – 60 D) 120 – 20
• Es falso que ningún médico es Equivale a: E) 120 – 20
cirujano Ana es abogada, Bertha es Donde: A = alegre; B = carismático y C =
abogada así como Carlos es bondadoso. En su equivalencia m ínima 10. El circuito:
• Es falso que ningún cirujano es
abogado. diría:
médico
A) Eres alegre y bondadoso =1 1
• Pocos cirujanos son médicos El negador universalizador B) No es alegre pero sí carismático
2) La proposición: “Son médicos o −∀x(Ax) C) Eres carismático o bondadoso = 1
“No D) Eres alegre, carismático y
cirujanos”; equivale a decir: − A a ∧ −A b ∧ −A c
bondadoso Equivale a:
• Si no son médicos, son cirujanos todos son abogados” equivale a E) No eres carismático pero sí A) −(A ∨ −A) B) (−B ∧ B)
• Si son cirujanos, no son médicos decir: bondadoso
• Son cirujanos o bien son médicos (En un universo finito) C) A ∨ −A D) − A
“Alberto no es abogado” o “Beto E) A
8. El circuito:
3) La proposición: “Si son médicos, no es abogado” o “Carlos no es
A
son cirujanos”; equivale: abogado” o también “Es falso que
• No son médicos a menos que Alberto, Beto y Carlos no son
abogados”. A B −B
cirujanos
• Si no son cirujanos, no son médicos C
El particularizador
11.4 Equivalencias en un universo ∃x(Ax) Equivale a la proposición:
Hay
finito Ar ∧ Ae ∧ Af 1. Es falso que, si tengo dinero, no m e
Sea: abogados enfermo
A = Abogado Equivale a decir: (en universo 2. Hay empresas pero muchas no s on
finito) peruanas
El universalizador Roberto es abogado o Enrique es 3. Es falso que, si no tengo
abogado o Federico es abogado. computadora, soy ignorante
362 347
REGLAS DE INFERENCIA Luego: particular) de elementos que ∀ x − (Ax) ≡ −∃x(Ax)
Rosa es enfermera o profesora. contienen el sujeto dentro del −∀ x − (Ax) ≡ ∃x(Ax)
7.1 Aplicaciones a la validez de predicado.
razonamientos Ejemplo 2:
Pedro es chiclayano Ejemplos:
1. La conjunción (c) Clases:
No hay vacaciones
A Luego: 1) Universal:
Estructura: Equivale a decir
B Pedro es chiclayano o Norteño ∀x se lee:
A∧B Toda regla es una tautología Para todo x La totalidad de x Solución:
Ejemplo: P1 Carlos trabaja Todo x Los x
Cualquier x Las x, etc. −∃x (Vx) ≡ −∀ x − (Vx)
P2 Rosa estudia 4. Las reglas de los Modus Para nada hay vacaciones
Luego: Quien quiera x Cada uno de los x.
Carlos trabaja y Rosa estudia 4.1 Modus Ponendo Ponens 1) Todos son racionales
2) Particular:
(P.P.).- ∃ x se lee: Equivale a decir
2. La simplificación (s) (Afirmando) (afirma) Existe x Pocos x
Se usa con la conjunción. Estructuras: Solución:
Estructura: Algunos x Muchos x
P1 A → B P1 A ↔B Hay x Al menos un x, etc. ∀ x (Rx) ≡ −∃x − (Rx)
A ∧ B A ∧B
, P2 A P2 − A Es falso que algunos no sean
A B racionales
B −B 11.2Formalización de los cuantifica-
En forma lineal: (A ∧ B) → A ó B
dores
Sea: 2) No todo es legalidad
Ejemplo 1: Ejemplo: Equivale a decir
Si llueve, hay cosecha M = mamíferos
El sol es un astro y una estrella ∀ x (Mx) Se lee:
Luego: y llueve Solución:
El sol es un astro. Luego; hay cosecha Todos son mamíferos
−∀x (Lx) ≡ ∃x − (Lx)
∃ x (Mx) Se lee:
Ejemplo: Algunos no son legales
Ejemplo 2: Algunos son mamíferos
Si trabajas tienes dinero y si tienes Ingresarán si y sólo si te esfuerzas
y te esfuerzas 11.3Cuantificadores con dos
dinero, trabajas. Sea:
Luego; ingresarás predicados (diádicos)
Luego: ∀ x (Ax) = Todos son abogados
• Formalización
Si trabajas, tienes dinero. −∀ x (Ax) = No todos son abogados Sea:
Fórmulas aplicadas: 4.2 Modus Tollendo Tollenus
(T.T.).- ∀ x − (Ax) = Ninguno es abogado M = médicos C = cirujanos
(A ∧ B) → A
(Negando) (niego) −∀ x − (Ax) = Es falso que ninguno Luego: ∀ x(Mx → Cx)
(A ↓ B) → −A Estructuras: sea abogado Se traduce: “Todos los médicos
[ (A → B) ∧ (B → A)] → A → B A →B A ↔B −∃x − (Ax) = Es falso que algunos son cirujanos”
−B − A no son abogados
Equivalencias:
3. El nuevo factor o Nueva adición −A −B ∃x − (Ax) = Algunos no son
(N.f.).- A) ∀x(Mx → Cx) ≡ −∃x(Mx ∧ −Cx)
abogados
Se usa solo con (∨ ) . – O
Ejemplo: −∃x(Ax) = Es falso que haya
Estructura: En forma lineal E) ∀x(Mx → Cx) ≡ −∃x(Mx ∧ −Cx)
Si tiene cráneo, vertebrado abogados
A – I
A → (A ∨ B)
y no es vertebrado
A∨B Luego; no tiene cráneo Equivalencias con un predicado o Se traduce:
monódicos
1) “Todos los médicos son
Ejemplo 1: Ejemplo: ∀ x (Ax) ≡ −∃x − (Ax) cirujanos” …… A
Rosa es enfermera Es ave si y sólo si tiene quilla −∀ x (Ax) ≡ ∃x − (Ax) Equivale decir:
y si es así que no es ave
348 361
3) Una gran cantidad de no ingenieros 4) Algún poeta es científico Luego; no tiene quilla te esfuerzas si y sólo si triunfas
no son matemáticos 5) Es mentira que ningún poeta no sea 4.3 Modus Ponendo Tollendo Luego; estudia si y sólo si triunfas
4) No se da que ningún no ingeniero científico (P.T.).-
sea matemático Son ciertas: Se usa con la disyunción 4.6 Dilema
5) No todos los no ingenieros son A) Sólo 1 B) 2, 3 y 4 excluyente. Clases:
matemáticos C) 3, 4 y 5 D) 2, 4 y 5 D. constructiva D. Destructiva
Son ciertas: E) 1 y 3 Estructuras: A→B A→ B
A) 2, 3 y 5 B) 1, 2 y 5 A ∨B A ∨B C→D C→ D
C) 2, 4 y 5 D) 1, 2 y 5 9. Dadas las premisas:
A −B A∨C −B ∨ − C
E) Sólo 2 y 3 M ∩P = ∅ ; M ∪S ≠ ∅ P.P. T.T.
Podemos afirmar que sea: −B −A B ∨D B ∨D
7. De la gráfica:
1) Conclusión es: S ∩ P = ∅ Ejemplo: D. Mixta D. Demostrativa
A rt ista s
2) Conclusión es: Ningún P es S Vas a Lima o al Cusco A↔B
Pintor Escultor 3) Conclusión es: Todo S es P pero vas al Cusco A ↔B C ⊕D
4) Conclusión es una proposición C⊕D
Luego; no vas a Lima −B C
categórica del tipo A −B ∨ C
−A −D
Donde: Su gráfica es: 4.4 Modus Tollendo Ponens −A ∨ − D
A = artista S P (T.P.).- T.T. P.T.
B = pintor Se usa con la disyunción incluyente
y excluyente. Ejemplo:
C = escultor Estructuras: Si tiene cráneo, es vertebrado
Son fórmulas verdaderas: A∨B si es ave, tiene quilla
M A ∨B
1) B ⊂ A 2) B ∩ C −A −B
tiene cráneo o es ave
Luego; es vertebrado o tiene quilla
3) C ∩ B 4) B ∪ C Son falsas: B A
5) C ⊂ A A) 1, 2 y 3 B) Sólo 2
Son ciertas: C) Sólo 1 y 2 D) 3 y 4 Ejemplo:
A) 2, 3 y 5 B) 3, 4 y 5 E) Sólo 1 Vas al colegio o al cine
C) 1 y 4 D) 4 10. El diagrama: y si es así que no vas al cine
E) Ninguno Luego; vas a colegio
A B
8. El diagrama: 4.5 Silogismo Hipotético Puro
P (S.H.P.)
C
Estructuras:
x Representa a:
A) Todo insecto es vertebrado A→B A↔B A↔B −A ∨
B) Ningún no insecto no es no B→C B↔C B→C −B ∨
Donde: P = poe ta vertebrado A→C A↔C A→C −A ∨
C = científico C) Los no insectos son mamíferos Ejemplo 1:
D) Todas Si llueve, hay cosecha
Representa a: E) N.A. si hay cosecha, hay producción
1) Algún científico no es poeta 11. LÓGICA CUANTIFICACIONAL Luego; si llueve, hay producción
2) Algún poeta no es científico
3) Es falso que todo poeta no es 11.1Cuantificadores Ejemplo 2:
científico Noción: Son símbolos que pue de n Estudias si y sólo si te esfuerzas
representar la cantidad (Universal o
360 349
Lógica Proposicional Alejandro Arenas O. C) Una clase exclusión parcial de clases
D) Una exclusión total de clases
Son ciertas: E) Una igualdad entre clases
PROBLEMAS PROPUESTOS 9
A) 3, 2, 1 B) 1, 3, 2
PROBLEMAS PROPUESTOS 7 C) 3, 4, 5 D) todas menos 1 4. Son fórmulas verdaderas:
E) Sólo 1
1. En el diagrama: 1) a∪b = φ ≡ a∪b ≠ ∅
1. Si tiene buen abogado, será 4. El pueblo respetará las leyes si y P M
sólo si su gobernador es honrado. El 2) a ⊂b ≠ ∅ ≡ a∩b = ∅
absuelto, sin embargo es innegable q u e x
tenga un buen abogado. Luego; se pueblo sin duda respetará las leyes. 3) a ⊂ b ≠ ∅ ≡ a∩ b = ∅
concluye que: Se infiere que:
1) Es innegable que será absuelto 1) Su gobernante es deshonesto 4) a∪b ≠ ∅ ≡ a∩b = ∅
2) Su gobernante es siempre honrado Se traduce como:
2) No es innegable que será absuelto
3) Honrado es su gobernante 1) Cualquier pez no es marino 5) a − b ≠ ∅ ≡ a − b = ∅
3) Será absuelto siempre que tenga 2) Ningún pez no es marino Son ciertas:
4) Inobjetablemente su gobernante e s
buen abogado 3) Aunque sea un pez no es marino A) 1, 2 y 3 B) Sólo 2 y 3
honrado
4) Innegablemente será absuelto 5) Descartes es su gobernante 4) Es absurdo que todo pez es marino C) 3, 4 y 5 D) 1, 2 y 5
5) Su abogado es incompetente 5) No acaece que si son peces, son E) Todas
Son correctas: marinos
Son ciertas: A) 5, 3, 1 B) 2, 4, 3 Son ciertas: 5. El gráfico adjunto:
A) 3, 1, 2 B) 5, 3, 2 C) 2, 1, 3 D) 5, 4, 3 A) 2, 3 y 4 B) 1, 4 y 5
C) 4, 1 D) 5, 2, 1 E) 5, 1 S P
C) 3, 4 y 5 D) 2, 3 y 5
E) N.A. E) 2, 4 y 5
5. Leonardo Da Vinci fue pintor y
2. En cuanto llueve en tanto se moja sin escultor a menos que antropólogo, p e ro 2. El diagrama adjunto:
embargo está seco. Se infiere que: Leonardo Da Vinci no fue lo antedicho.
1) No es cierto que no llueva a b Representa a:
Por lo tanto:
2) Es innegable que no llueva 1) Todos desleales son hipócritas
1) Leonardo Da Vinci también fue
3) Es cierto que llueva antropólogo 2) Todos los mamíferos son
4) No llueve 2) Pintor así como escultor fue vertebrados
5) No es cierto que no llueva Leonardo Da Vinci 3) Es falso que los peces no son
1) Todos son mamíferos o vertebrados voladores ni anfibios
Son ciertas: 3) Es falso que no fue ni pintor ni 2) Si no son vertebrados, son insectos
A) 5, 4, 3 B) 1, 3, 2 escultor Leonardo Da Vinci 4) Todos los rumiantes son herbívoros
3) Es falso que si son mamíferos, no 5) Ningún marsupial es no mamífero
C) sólo 2 y 4 D) 5, 2 y 1 4) Leonardo si fue pintor, fue escultor son vertebrados
E) N.A. 5) Ni pintor ni escultor fue Leonardo Son ciertas:
4) Es falso que existen mamíferos o A) 2, 3 y 4 B) 1, 2 y 3
Da Vinci cetáceos
3. Si Descartes fue filósofo así como C) 2, 4 y 5 D) 1, 2 y 5
Son ciertas: Son ciertas: E) 3, 4 y 5
matemático es obvio que fue sabio A) 1, 2 y 5 B) 2, 3 y 4 A) 1, 2 y 3 B) 2, 3 y 4
aunque es falso que Descartes no fue C) sólo 2 y 4 D) 3, 4 y 5 C) 1, 2 y 4 D) sólo 3
matemático o ni filósofo. Se concluye 6. El diagrama clasial:
E) sólo 2 E) N.A.
que: I M
1) Descartes no fue sabio 6. Es falso que o bien eres disciplinado 3. El diagrama:
2) Es falso que Descartes no fue sabio o bien eres responsable. Sin embargo es
3) Naturalmente Descartes siempre mentira que no eres disciplinado. Luego: a b
fue sabio x
1) Eres responsable Tiene como proposición equivalente:
4) Inobjetablemente Descartes fue 2) Eres indisciplinado
sabio 3) Es innegable que no eres 1) Es falso que ningún ingeniero sea
5) Inobjetablemente Descartes n o fu e responsable matemático
Representa a: 2) Existen no ingenieros que no son
sabio 4) Inobjetablemente eres irresponsable A) Una inclusión total de clases
5) Siempre serás no responsable matemáticos
B) Una clase complemento
350 359
SaP S eP S iP S oP Son ciertas excepto: LÓGICA DE PREDICADOS

x A) 3, 2, 1 B) 5, 4, 3
x C) 5, 2, 1 D) todas menos 1 La lógica de predicados, denominada
E) sólo 1 también lógica de las proposiciones
S P S P S P S P analizadas, trata de las estructuras
7. Es felizmente cierto que ser pobre es
S∩P =∅ S∩P =∅ S∩P ≠∅ S∩P =∅ lógica interna de las proposiciones, esto
lo mismo que ser feliz. Así como e s s e r es la relación entre el sujeto y el
"Todo no S es P" "Ning ún n o S es P" "Algún n o S es P" "Algún n o S es no P "
pobre. Se infiere que: predicado.
1) Es ser feliz
3. Con tres clases: 2) Es feliz Ejemplo:
3) No es falso que es ser infeliz Todos los trujillanos son liberteños
S P S P S P S P 4) Innegablemente no es feliz Esta proposición llamada proposición
x 5) No es infeliz
categórica presenta los siguientes
x x términos principales:
Son correctas:
A) 5, 4, 3 B) 2, 3, 4
M M M M C) 1, 5, 2 D) 5, 1 Término sujeto.- trujillanos
E) N.A. Término predicado.- liberteños
M∩ P = ∅ M∩ P = ∅ P ∩M= ∅ M∩ P ≠ ∅
S ∩M ≠ ∅ 8. Estudiar o a la vez pintar requiere Además del cuantificador literal “to d os”
S ∩M = ∅ S ∩M ≠ ∅ M∩ S = ∅
concentración. Pero en el caso que que indica que la clase “trujillanos” e s tá
S ∩P ≠ ∅
S ∩P = ∅ S ∩P ≠ ∅ S ∩P ≠ ∅ estudiar que estudiar no fuese la incluido totalmente en la clase predicado
actividad que Elena escogiera, liberteño.
A A A −1 E I O −1 A O O−2 OAO deduciríamos que:
A) Elena se casaría 2.1. Las proposiciones categóricas.-
BARBARA FERIO BAROCO BOCARDO
B) Elena tampoco pintaría Son aserciones acerca de clases,
C) Elena de repente trabajaría donde una clase respecto a otra
D) Elena pintaría está incluido o excluido total o
S P S P S P S P E) Para que Elena estudie tiene que parcialmente.
concentrarse
x x 1. Universal afirmativo: “Todos los
9. No estudio a menos que sea mamíferos son vertebrados”
perezoso. No estoy perezoso excepto En esta proposición la clase o
M M M M que tenga interés, luego: conjunto de los mamíferos está
M∩ P = ∅ M∩ P ≠ ∅ A) Ni estudio ni tengo interés incluida totalmente en la clase o
M∩ P = ∅ P ∩M= ∅ B) No estoy perezoso ni estudio conjunto de los vertebrados.
S ∩M = ∅ S ∩P ≠ ∅ S ∩M = ∅ M∩ S = ∅ C) No tengo interés salvo que esté
perezoso 2. Universal negativo: “Ningún
S ∩P = ∅ S ∩P ≠ ∅ S ∩P = ∅ S ∩P ≠ ∅ D) Estudio, porque tengo interés insecto es vertebrado”. Esta
E) No estudio salvo que tenga interés proposición expresa la exclusión
C A E −1 A I I −1 A EE−2 IA I total entre la clase insecto y la clase
DARII 10. Ser médico a no ser que quiera ser “vertebrado”.
CELAREN CAMENES DISAMC
abogado. He allí el dilema pero si s e e s
jurisconsulto. Luego: 3. Particular afirmativo: “Algunos
A) Es abogado obviamente profesores son matemáticos”.
B) También se es médico En este caso la clase de los
C) No será ni médico ni abogado profesores está incluida parcial-
D) No es de ninguna manera médico mente en la clase de los
E) N.A. matemáticos.
358 351
4. Particular negativo: “Algunas Ningún S es P Definición:
líneas no son rectas”. Algún S es P a ⊂ b = { x / x ∈ a → x ∉ b} Definición:
En esta proposición el conj un to d e Algún S no es P a = b = { x / x ∈ a ↔ x ∈ b}
las “líneas” está excluido
parcialmente del conjunto de las Características: Ejemplo:
a = aves Ejemplo:
“rectas”. • Tienen cuantificador: Todo, ningún, a = Núm eros pares
algún. b = peces
b = Números divisibles por 2
2.2. Formas típicas.- En la lógica • Sujeto, que se representa como (S). a ⊂ b = ningún ave es pez (clase
tradicional las proposiciones • Verbo copulativo, que puede ser
categóricas se expresan en las resultante) a = b “Números pares” es
expresado en distintos tiempos.
llamadas cuatro formas típicas • Predicado, que se representa co mo equivalente a “Números divisibles por
3. Igualdad de clases:
siguientes: (P) dos”
Símbolo: =
Todo S es P
Gráfica:
a ⋅b
Forma a=b
Fórmula Se lee Ejemplo
típica
SaP Todo S es P A Todo pez es acuático LOS DIAGRAMAS DE VENN
SeP Ningún S es P E Ningún cuadrúpedo
es volador 7.1. Noción: Es un sistema de gráficas que sirven para demostrar l a va l i d e z d e u n
I Algunos religiosos son razonamiento o inferencia.
SiP Algún S es P
católicos
Algunas aves no son Clases:
SoP Algún S no es P O
voladoras
1. Con una clase:
Relaciones entre las proposiciones Se lee si la premisa es (V) la x

categóricas típicas (A, E, I, O) conclusión es (F) falsa, pero si la x
CONTRARIAS premisa es (F) la conclusión es
A E S S S S S
indeterminada.
No se lee S=∅ S≠∅ S=∅ S≠∅
nada en el Clase "S " Clase "S" Com plement o Com plement o
SUBALTERNANTE
CO S 2. Las subcontrarias: diagrama

SUBALTERNA
IA es igual es diferent e clase "S" es clase "S" es

NT OR a vacío a vacío
RA T I O F V igual al vací o diferente a l
DI C
CT
, : , vacío
ADI OR O I V ?
R IA 2. Con dos clases:
NT S
CO 3. Las contradictorias: Formas típicas:
A E O I V F A E C O
, , , : ,
I SUBCONTRARIAS O O I A E F ?
x x
• Se lee la subalterna de A es I 4. Subalternas: S P S P S P S P
• La subalterna de O es E A E V F S ∩P = ∅ S ∩P = ∅ S ∩P ≠ ∅ S ∩P ≠ ∅
, : ,
2.4. Reglas de Oposición I O V ? Se lee:
5. Subalternantes Com plemento de Intersección de Intersecc ión de Com plemento de
1. Las contrarias: "P" que es "S" es "S" y "P" es "S" y "P" es "P" que es "S"
I O F V igual al vacío igual al vacío diferente al v acío es diferente al v acío
A E V F , : , ó ó ó ó
, : , A E F ? Todo "S" Ningún S es P
es "P" no típicas:
Formas Algún S es P Ningún S no es P
E A F ?
352 357
Ejemplo: “Árbol” su complemento “no Gráfica: 2.5. Las conversas Ejemplos 2:
árbol”. Algunos congresistas son demagogos.
SaP → PiS Luego; (su obversa)
7.3 Operaciones entre clases x ≡ SeP → PeS, PoS
a b a b
SiP → PiS Solución:
1. Reunión o Suma: a ∩ −b ≠ ∅ ≡ a ∩ −b = ∅ “Es falso que algunos ateos sean
SoP → No tiene conversa
Símbolo: ∪, ∨, T religiosos”
Definición: equivale a:
Gráfica: Conversos Simples “Ningún ateo es religioso”
a − b = { x / x ∈ a ∧ x ∉ b} Luego; (su obversa es:)
U U SeP → PeS
Todo ateo es no religioso
x xx ≡ Ejemplo: SiP → PiS
a b a b a = humanidad 2.7. Las contrapuestas.-
Equivalentes
b = varones
a ∪b ≠ ∅ ≡ a ∪b = ∅ Parcial:
a − b = mujeres (clase resultante)
Conversos Accidentales
Definición: SaP → PeS, PoS
7.4 Relaciones entre clases: SaP → PiS
a ∪ b = { x / x ∈ a ∨ x ∈ b} SaP → PiS
SeP → PoS
1. Inclusión SiP → No tiene
Ejemplo: Símbolo: ⊂ No equivalentes
a = Clase de los unicelulares SoP → PiS
b = Clase de los pluricelulares Gráfica: Ejemplos:
1. Todos los caballos son equinos Total:
a ∪ b = Clase de las "células". Clase resultante b Luego su converso
a
≡ Algunos equinos son caballos SaP → PaS, PiS
a b
2. Intersección o producto de clase: SeP → PoS
Símbolo: ∩, ∧, x a ⊂ b ≠ ∅ ≡ a ∩b = ∅ 2. Ningún ateo es cristiano
Luego SiP → No tiene
Gráfica:
Definición: Ningún cristiano es ateo (Simple) SoP → PoS
a ⊂ b = { x / x ∈ a → x ∈ b} o
Algunos cristianos no son ateos Simples Accidentales
x ≡ Ejemplo: (accidentales)
a b a b SaP → PeS SaP → PoS
a = mamíferos
a ∩b ≠ ∅ ≡ a ∩b = ∅ 2.6. Las obversas
b = vertebrados SoP → PiS SeP → PiS
a ⊂ b = Todos los mamíferos son SaP → SeP
Definición: vertebrados
a ∩ b = { x / x ∈ a ∧ x ∈ b} SeP → SaP Simples Accidentales
2. Exclusión de clases: SiP → SoP SaP → PaS SaP → PiS
Ejemplo:
Símbolo: ⊂ SoP → SiP SoP → PoS SeP → PoS
a = mamíferos
Gráfica:
b = animales marinos
a ∩ b = cetáceos Ejemplos 1: Ejemplo:
≡ Todo católico es religioso. La proposición:
3. Diferencia de Clase: a b a b Luego; (su obversa) “Ningún ave es mamífero”
Símbolo: (–) Ningún católico es no religioso Luego; su contrapuesta es:
a ⊂ − b ≠ ∅ ≡ a ∩ −b = ∅ “Algún mamífero es ave”
356 353
5. Si A = V , luego la contradictoria de Son ciertas excepto: LÓGICA DE CLASES
su subalterna es: A) 1, 2 B) 1 y 3
PROBLEMAS PROPUESTOS 8 A) Verdadera B) Falsa C) sólo 3 D) sólo 2 7.1 Noción de clase: Conjunto de
C) Indeterminada D) Válida E) Todas elementos que tienen elementos en
E) Inválida común.
1. Si ningún ave es mamífero; luego s e 10. De las expresiones: Ejemplo:
concluye por conversión: 6. La subcontraria de la contradictoria I. Ningún cristiano es ateo. Conjunto o clase de “Estudiantes
1) Toda ave es no mamífero. de “Ningún político es sincero”. II. Todo ateo es no cristiano universitarios”.
2) Es falso que algunas aves son A) Ningún sincero es político. III. Es falso que algún ateo sea no
mamíferos. B) Algunos políticos son sinceros. cristiano 7.2 Tipos de Clase:
3) Ningún mamífero es ave. C) Todos los políticos son no sinceros. Se afirma que:
4) Algunos mamíferos no son aves D) Algunos políticos no son sinceros. 1) I es equivalente a II 1. Clase Universo: Clase cuyos
5) Algunas aves no son mamíferos E) No se puede determinar. 2) II no equivale a III elementos están en cantidad
Son ciertas excepto: 3) II obversa de I universal.
A) 1, 2, 5 B) 2, 3, 4 7. Es la contrapuesta de “Algunos Son ciertas: Ejemplo:
C) 2, 3 D) 3, 4 mamíferos son animales marinos”. A) 1, 3 B) 2, 3 Clase de “Estrellas en el universo”.
E) Todas A) Algunos mamíferos no son no C) sólo 1 D) 1 y 2
animales marinos. E) Todas 2. Clase Unitaria: Clase que posee un
2. Son estructuras de las conversas B) Es falso que ningún mamífero es solo elemento.
accidentales: animal marino. Símbolo: a
I. SeP → SoP C) Algunos animales marinos son
mamíferos. Gráfica:
II. SaP → PiS Clase u niversal
D) Todas. U
III. SeP → PoS E) Ninguna de las anteriores.
A) Sólo I menos II a Clase particular
B) Todas menos III 8. La contrapuesta de “Todos los ofidios
C) Sólo I son vertebrados”, es: Ejemplo:
D) Todas menos I 1) v→ o Clase de “Estrellas de la tierra”.
E) Todas
3. Son esquemas equivalentes a las 2) v → o
3. Clase Nula o vacía: Clase que no
equipolencias: 3) v e o
posee elementos.
1) (p → q) ↔ (p → q) 4) o→ v
Símbolo: ∅
2) (p ∧ q) ↔ (p ∧ q)
5) Ningún no vertebrado es ofidio
Gráfica:
3) (p → q) ↔ (p ⋅ q) A) 1, 5 B) 1, 2, 3
4) (p → q) ↔ (q → p) C) 2, 4 D) 1, 2, 5 Ejemplo: Clase de elementos entre
E) Todas
5) ¬(p ∧ q) ↔ (p → q) el 3 y el 4.
Son innegables absurdas: 9. De las proposiciones:
A) 1, 2 B) 3, 4 4. Clase Complemento: Clase
I. Algunas aves no vuelan. contraria o complementaria a la
C) 4, 5 D) 3, 4, 5 II. Es falso que todas las aves vuelan.
E) Todas clase mencionada.
III. Ninguna ave vuela
Símbolo: a
4. Si la forma típica A es falsa, la Podemos decir que:
subalternante de su contradictoria es: Gráfica: a
1. I no es contradictoria de II U
A) Falso B) Verdadero 2. III es subalterna de I
C) Indeterminada D) Válida 3. Si II es verdadera, I es falso
E) Inválida a
354 355

Lógica Proposicional

Diunggah oleh

Informasi Dokumen

Deskripsi Asli:

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Lógica Proposicional

Diunggah oleh

Hak Cipta:

Format Tersedia

+9

1. PROPOSICIÓN 1.2.2. Por su cualidad: Pueden ser:

CLASIFICACIÓN DE LAS PROPOSICIONES COMPUESTAS

Clases Operador Se lee Ejemplos Fórmula Función

5. Diversión y deporte es lo que distrae

FORMALIZACIÓN DE LAS PROPOSICIONES

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

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

2.2. Elementos de la proposición:

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

b) Modos Lingüísticos: Son las diversas formas de expresión li n gü ística d e

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

2.3. Criterios de formalización

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

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

P q – – p∧ p p∨ p p→ q p← q p↔ q p∨ q p↓ q p/q 4. La expresión: “Bienaventurados los

4. Si: (A ∧ B) → (A ↓ B) = F . Luego • Argumentum ad homeneas.- su pasado de miseria, abandono,

PROBLEMAS PROPUESTOS 11 Inferimos deductivamente:

DEMOSTRACIÓN POR LOS CUANTIFICADORES Solución:

−A −A SILOGISMOS Y LA LÓGICA CUANTIFICACIONAL

12.2 Silogismos y cuantificación 3. Dado el siguiente diseño:

Representa a la fórmula: Se formaliza: 12.1 Demostración formal de la validez de razonamientos

A Ejemplos de Demostración formal

12. REGLAS DE GENERALIZACIÓN Y EJEMPLIFICACIÓN

El negador del particularizador

SaP S eP S iP S oP Son ciertas excepto: LÓGICA DE PREDICADOS

Relaciones entre las proposiciones Se lee si la premisa es (V) la x

CO S 2. Las subcontrarias: diagrama

IA es igual es diferent e clase "S" es clase "S" es

Anda mungkin juga menyukai