I E PARTICULAR SIGLO XXI RAZ.
LÓGICO
LÓGICA FORMAL
ENUNCIADO
es toda frase u oración o expresión Por cantidad. Pueden ser:
algebraica utilizada en el lenguaje
- Universal: Ejemplo: Todos los
común es decir es una expresión de
conductores de automóviles que no
una o varias variables.
son seguros son personas temerarias
Ejemplos: ¿Cómo te llamas; ¡Viva el
que ponen en peligro la vida de los
Perú!
demás.
Enunciado abierto: Enunciado que
- Particular: Ejemplo: Algunos
posee una o más variables y no posee
estudiantes van del colegio a la
la propiedad de ser verdadero o falso.
Universidad.
Ejemplos
- Singular: Ejemplo: Miguel Grau
"Ella es profesora de lógica nació en Piura.
Enunciado cerrado: Si dentro del Por calidad. Pueden ser:
enunciado de una proposición no - Afirmativa: Ejemplo: Pedro estudia
aparece ninguna variable, y por mucho.
consiguiente tiene un valor de verdad - Negativa: Ejemplo: No es el caso
definido, la proposición es que en Piura hace calor.
cerrada. (Definición) Por modalidad. Pueden ser:
Ejemplo: La ciencia es un conjunto de - Asertóricas. Son afirmaciones de
métodos y técnicas para la adquisición hechos. Ejemplo: La ciudad de Piura
y organización de conocimientos sobre está de aniversario.
la estructura de un conjunto de - Apodícticas. De su simple lectura
hechos objetivos y accesibles a varios se deduce su veracidad. Ejemplo:
observadores. La sangre es roja.
- Problemáticas. Expresan
F. Expresiva: Si transmite diversos situaciones posibles (dudas):
estados de ánimo, no son Ejemplo: Posiblemente viaje a
verdaderas ni falsas España este año.
- Deseos: ¡quisiera viajar a PROPOSISION LOGICA
Chile! Es el significado de una expresión
- Dudas. ¿Bielsa o Salas? Será el nuevo aseverativa, que se caracteriza por
DT de Perú
tener un valor veritativo (es decir, el
- Interjecciones: ¡Arriba alianza! significado tiene la posibilidad de ser
F. Directiva: La usamos cuando verdadero o falso, pero no ambos a la
damos órdenes o hacemos vez).
pedidos, no son verdaderas ni falsas. Las proposiciones lógicas se
- Preguntas: ¿Qué hora es? representan mediante letras
- Pedidos: ¡Auxilio! minúsculas (p; q; r; ...) a las cuales se
- Súplicas: ¡Apiádate de mí! les denomina variables
- Órdenes: ¡Silencio! proposicionales.
F. Informativa: Si transmite Ejemplos:
informaciones o conocimientos de p: (10 - 3) . 2 < 18
un hecho. Se presenta mediante q: Lima es una ciudad europea.
PROPOSICIONES ASEVERATIVAS
oraciones aseverativas o declarativas
son aquellas oraciones que
que pueden ser verdaderas o falsas.
simplemente que afirman o niegan
La fórmula química del agua es H2O.
algo.
LAS PROPOSICIONES SE Oraciones Aseverativas
CLASIFICAN EXTERNAMENTE: Afirmativas:
Lic. JOSÉ JAVIER VEGA QUISPE
1
I E PARTICULAR SIGLO XXI RAZ.LÓGICO
-María es morena 1. El sol es una estrella.
-Los triángulos tienen tres lados 2. Karla es mi amiga
Oraciones Aseverativas Negativas 3. 8<3
-María no es rubia 4. Inglaterra está en Europa y Egipto
-Nadie nos ha pedido consejo. en África.
CLASES DE PROPOSICIONES Corresponden a una proposición
Proposición simple o atómica molecular:
Es aquella proposición con un solo a) 1, 4 y 5 b) 2, 3 y
significado, carente de conjunciones c) Sólo 4
gramaticales y del adverbio de d) 1, 2, 3 y 4 e) 1, 2, 3, 4 y 5
negación “NO”. 5. Son pseudoproposiciones:
Proposición compuesta o 1. El triángulo es inteligente
molecular 2. Eduardo es un numero racional
Es aquella que tiene dos o más
3. A es la capital del Perú.
significados unidas por conjunciones
4. X+3=0.
gramaticales o en todo caso contiene
5. San Marcos es la Universidad más
el adverbio de negación “NO”.
antigua de América.
Ejemplos:
a) 1, 2 y 5 b) 1y 2
• Hoy es lunes y toca Aritmética.
c) 1, 2, y 3
CUESTIONARIO
1. De las siguientes oraciones, cuáles d) 3 y 4 e) 4 y 5
cumplen con la función Imperativa 6. Son proposiciones particulares:
1. ¡Lava los platos! 1. Ningún humano es mortal
2. Javier, dame ese libro
2. Algunos planetas giran alrededor del
3. ¡Saluda a tu primo!
sol.
4. ¡No hagas ningún ruido!
5. Haga primero las tareas.
3. Todos los humanos son mortales.
a) Sólo 3 b) 1, 2 y 5 c) 4. Sócrates fue filósofo.
sólo 4 5. Pocas mujeres son celosas
d) 3 y 4 e) 1,2 3, 4 y 5 a) 1, 3 y 4 b) 3 y 5 c) Sólo
3
2. Lea con atención lo siguiente:
d) 2 y 5 e) Sólo 5
1. Prohibido fumar
2. Apague su motor 7. Son proposiciones conjuntivas:
3. ¿Dónde está el amor de mi vida? 1. Silvia es inteligente, sin embargo, es
4. México limita con los Estados floja.
Unidos. 2. Miguel Grau fue marino y Peruano
5. Alta velocidad con red 4G. 3. La carpeta es de madera o metal.
¿Cuáles son oraciones 4. Estas soltera o casada.
aseverativas? 5. No solo bailo sino también canto.
a) 1 y 2 b)2 y 3 c) 1, 2, 3
a) 1 ,2y 5 b) 2, 3 y 4 c) 2 y
y4
d) 1, 3 y 4 e) 4 y 5 4
d) 1, 2, 3 y 4 e) 1, 3 y 5
3. De las siguientes expresiones, ¿Cuál
ejemplifica un enunciado abierto? 8. Son pseudoproposiciones:
a) Isaac Newton es un escritor 1. El triángulo con el círculo bailó salsa.
b) x=2 2. La circunferencia está triste.
a) 29<3 3. Ella es una niña muy bonita
b) Mario es estudioso. 4. Te amo mucho.
e) La pizarra baila.
5. Él es casado
4. De los siguientes enunciados:
Lic. JOSÉ JAVIER VEGA QUISPE
2
I E PARTICULAR SIGLO XXI RAZ.LÓGICO
a) 2, 3 y 4 b) 1, 3 y 5 13. Son proposiciones simples
c) Sólo 4 predicativas:
d) 2 y 4 e) 1 y 2 1. Inés y Paula son alumnas estudiosas
2. La tierra es un planeta del sistema
9. Son proposiciones disyuntivas
solar
incluyentes:
3. 3,1416 es mayor que 3,1112
1. Mario está casado con Ana o Rosa.
4. María y José son amigos.
2. Mariana es inteligente a la vez
5. El Perú posee una extensión de 1
bonita.
´285,215.60 km2
3. Lester es cocinero o policía.
Son ciertas:
4. La puerta está abierta o cerrada.
a) 1, 2, 3 b) 2, 3, 4 c)
5. Lorena Ramos es modelo o cantante. 1, 3, 5
a) 1, 3 y 5 b) 2 y 5 d) 2, 5 e) 1, 2, 3,4 y5
c) 3 y 5
14. Son proposiciones conjuntivas:
d) 1, 3 y 4 e) 2, 3, 4 y 5 1. Carlos es político pero honesto.
10. Son ejemplos de enunciados 2. María está enferma sin embargo
abiertos: asiste a clases.
1. Él es abogado 3. Las operaciones matemáticas son
2. fáciles de comprender, a la vez
3. solucionan problemas prácticos.
4. 4. El soldado Pérez trabajo en el campo
5. Ella es una secretaria muy bonita. y el capitán Matías en la oficina.
a) 1 y 2 b) 1,2, 3 ,4y 5 5. Ana salta o José corre.
c) 2, 3 y 4 a) 1 y 2 b) 1 y 3 c) 1, 2,3
d) 1, 4 y 5 e) 2 y 3 y4
d) 1, 2, 3,4 y 5 e) 5
11. Son proposiciones excluyentes.
1. Estas en primaria o en secundaria. 15. Son proposiciones condicionales:
2. Eres alto o pequeño 1. Iré a Cajamarca sólo si salgo de
3. Eres blanco o moreno vacaciones.
4. Las frutas son fuente de energía para 2. Las crisis económicas se producen
nuestro organismo por su alto porque se toman pésimas
contenido en fibra y antioxidantes. decisiones en la producción interna.
5. ¡Acompáñame que tengo miedo! 3. La Geometría de Riemann fue
a) 1, 2 y 3 b) 1, 2 y 4 c) 2 y posible ya que existió la geometría
3 de Euclides.
d) 2, 3 y 5 e) 3 y 5 4. Si la aritmética es consistente, la
12. Son proposiciones simples: geometría también lo es.
1. Chimbote está al sur de Trujillo. Son ciertas:
2. Piura está al norte de Chiclayo. a) 1 y 2 b) 3 y 4 c) 2 y 3
3. Marta no es Piurana
d) Sólo 1 y 4 e) Sólo 2 y 3
4. El gobierno no es democrático 16. Son proposiciones negativas:
5. Lima es la capital del Perú. I. Indudablemente la ciencia es
Son ciertas: útil a la sociedad
a) 1, 2, 3 b) 2, 3, 4 II. Absurdo es que 2 > 5
c) 1,2 y 5 III. En forma alguna Deysi estudia
d) 1, 2, 3,4 y 5 e) 1, 2,4 y 5 Ingeniería.
Lic. JOSÉ JAVIER VEGA QUISPE
3
I E PARTICULAR SIGLO XXI RAZ.LÓGICO
a) I y II b) III y IV c) 4) El aire contiene oxígeno y
I,II ,III Y IV nitrógeno.
d) II y III e) II,III Y IV 5) ¿Llegó el crecimiento
17. Son enunciados abiertos: económico al Perú?
1) x es profesor de la U.N.P. Son ciertas:
2) 5x+2y = 10 cuando x= 3, y = - a) 2 y 3 b) 1 y 4. c) 2 y 5.
2 d) 2 y 4. e) 1,3 y 5.
3) x+3y = 8
4) Él es un abogado egresado de
FORMALIZACIÓN DE
la UNP.
Son ciertas:
PROPOSISIONES
SIMBOLIZACIÓN DE
a)1, 3, 4 b)2, 3, 4
PROPOSICIONES Y EL USO DE LOS
c) 1,2,3, y 4
SIGNOS DE AGRUPACIÓN.
d) 3 e) 1
Simbolizar una proposición
18. Son proposiciones Individuales: compuesta consiste en asignar a
a) Todos los hombres son cada proposición simple una variable
inocentes. proposicional y a cada conector
b) Muchos ciudadanos estudian lógico su respectivo símbolo,
leyes teniendo en cuenta la jerarquía de
c) Nadie que tiene problemas es los conectivos lógicos o de lo
feliz contrario los signos de puntuación
d) Pablo Neruda es autor de (“,” , “;” , “.”)
poema 20 Empleando los signos de colección.
e) Algunos genios son discretos. Los signos de colección son:
19. De los siguientes enunciados: Paréntesis ( ); Corchetes [ ]; Llaves
1. ¡Tengo sueño! { }
2. Piura es una ciudad calurosa. PRIORIDAD O JERARQUIA DE LOS
3. 3<1 CONECTIVOS LÓGICOS
4. 4x<2 En la formalización de proposiciones
5. Sueño profundo. de se debe tener en cuenta la
Son proposiciones: prioridad que tienen los conectivos
a) 2, 3 b)Sólo 2 y 3. lógicos en el siguiente orden: (de
c)1, 4 y 5. menor a mayor)
d) 3, 4 y 5. e)1, 2 y 5. 1ro Negación: " "
2do Conjuntor y disyuntor débil: "" ,
20. Por su modalidad, las
""
proposiciones son:
3 Implicador o Replicador: “ " , “
ro
a) Individuales y afirmativas.
”
b) Relacionales y Predicativas
4 Disyunción fuerte: ""
to
c) Asertoricas, Apodícticas y
5to Bicondicional: ""
Problemáticas
Nota: Caso contrario se tiene en
d) Problemáticas
cuenta los signos de puntuación,
e) Asertóricas y Problematicas
siendo el conectivo dominante el que
21. Son proposiciones lógicas: está fuera de todo signo de colección.
1) ¡Tengo sed! Ejemplo. Es incierto que Martín se
2) Erwin Schröringer fue pionero en case, a menos que viaje a Francia si
el campo de la teoría cuántica. obtiene la beca.
Luego: p: Juan se casa
3) Huaycos. q: Juan viaja a Francia
Lic. JOSÉ JAVIER VEGA QUISPE
4
I E PARTICULAR SIGLO XXI RAZ.LÓGICO
r : Juan obtiene la beca P o también Q
Salvo que P, Q
La formalización es: p (q r) Al menos uno de los dos P o Q
Ejemplo. Es incierto que Martín se P o sino Q
P o en todo caso Q
case a menos que viaje a Francia si P alternativamente Q
obtiene la beca.
3. El disyuntor excluyente Formalización:
La formalización es: [(p q) r] oPoQ
SINONIMOS PARA o bien P o bien Q
FORMALIZAR PROPOSICIONES P o Q (en sentidos excluyentes)
P o solamente Q
1. El Conjuntor Formalización: P o únicamente Q
PyQ P o sólo Q
P incluso Q P no es equivalente a Q
P pero Q No es equivalente P con Q
P aunque Q P no biimplica a Q
P al igual que Q P o bien necesariamente Q
P tal como Q No es cierto que P equivale a Q
P tanto que Q A menos que únicamente P ocurre Q
P también Q O bien necesariamente P o bien Q
P así como Q Ya bien P ya bien Q
P vemos que también Q Sólo P o sólo Q
P al mismo tiempo que Q A lo más uno de los dos P o Q
P sin embargo Q
P es compatible con Q 4. El Implicador Formalización:
P aún cuando Q Si P entonces Q
P al mismo modo Q Siempre que P por consiguiente Q
P de la misma manera Q Ya que P bien se ve que Q
P no obstante Q Con tal P es obvio que Q
P sino Q Cuando P así pues Q
No sólo P sino también Q Toda vez que P es consecuente Q
P asimismo Q Dado P por eso Q
P a pesar de que Q En cuanto P por tanto Q
P a la vez que Q Cada vez que P consiguientemente Q
P igualmente Q Ya que P es evidente Q
P de la misma manera Q De P derivamos Q
Sin que P tampoco Q P implica Q
Cierto que P lo mismo que Q Si P, Q
Simultáneamente P con Q Cuando P, Q
P más aún Q Como P, Q
P además Q De P, Q
P a la par que Q Suponiendo que P, Q
P aún cuando Q P sólo si Q
P igualmente Q Sólo P si Q
Tanto P como Q P es condición suficiente de Q
Tanto P cuanto Q Una condición necesaria para P es Q
Aún cuando P, Q Como quiera que P por lo cual Q
Además de P, Q P da lugar a Q
El que P no excluye que Q De P deviene Q
P no es incompatible con Q Con que P siendo así Q
P al propio tiempo Q De P se desprende que Q
Apenas P inmediatamente Q
2. El disyuntor incluyente Formalización: Si de hecho P no se puede negar que Q
PoQ Si es así que P con ello Q
P a menos que Q P si en el único caso Q
A menos que P, Q Si P a lo más Q
P salvo que Q Siempre que P y sólo si Q
P y bien, o también Q
P excepto que Q 5. El Replicador Formalización:
P o incluso Q Sólo si P, Q
P o a la vez Q P si Q
P ya bien Q P porque Q
P y/o Q P siempre que Q
P a no ser Q Es condición necesaria P para Q
A menos que P, Q P para Q
Lic. JOSÉ JAVIER VEGA QUISPE
5
I E PARTICULAR SIGLO XXI RAZ.LÓGICO
Para P es suficiente Q Decir que P es una farsa
P puesto que Q Es incoherente que P
P dado que Q Por lo menos una vez no P
P supone que Q Es inaudito
P pues Q
P en vista de Q CUESTIONARIO
P como Q
P por cuanto Q 1. Formalizar el enunciado: “El hígado
P debido a que Q es la glándula más grande del cuerpo
P cada vez que Q humano además depura la sangre”.
P en razón de Q
P en tanto Q a) b) c)
Para P es suficiente Q
El que P depende de Q
d) e)
P es una circunstancia única para Q 2. La formalización del enunciado:
Dado sólo P luego Q
P depende de que ocurra Q “Alguien, nadie, alguno, algo y
P está implicado por Q cualquiera son pronombres
Sólo si P y siempre que Q indefinidos”.
No es suficiente que P y no es necesario que Q
P se sigue de Q a) b)
c) d)
6. El bicondicional Formalización:
P si y sólo si Q e)
P siempre y cuando Q
P se define lógicamente como Q 3. El argumento: “La Arena, la Unión y
P es equivalente a Q Sechura son el medio Piura, sin
P es igual que Q embargo, son zonas arroceras”. Se
P es idéntica a Q
P es condición necesaria y suficiente para Q
formaliza:
P siempre que y sólo cuando Q
P porque y sólo porque Q
a)
P entonces y sólo entonces Q
Si y sólo si P, entonces Q
b)
P implica y está implicado por Q
P no es suficiente y no es necesario para Q
c)
Sólo si P y sólo si Q
P solamente y en el único caso que Q
d)
Siempre que P luego es porque Q
Cuando y cada vez que P así se da Q
e)
P es la definición lógica de Q 4. La proposición: “O bien es falso que
P en el caso y sólo en el caso de que Q
el oro es un metal debido a que el
7. El negador Formalización: P plomo lo es, o bien es mentira que
a) Negadores internos:
No P el agua es mineral pues siempre la
Nunca P sal lo es”, se formaliza como:
Jamás P a) b) c)
P es una mentira
b) Negadores externos:
Es absurdo que P d) e)
Es inconcebible que P
Es innegable que no P 5. Formalizar: “Si Huáscar fue hermano
No es el caso que P de Atahualpa es obvio que no fueron
De ninguna forma se da P los fundadores del imperio incaico”.
Es incierto que P
No es inobjetable que P Se formaliza:
En modo alguno P a) b)
Es inadmisible que P
No acaece que P c)
No acontece que P.
Es sofisma que P d) e)
Carece de todo sentido P
6. “Daúl no niega contraer matrimonio
Es refutable que P
P es insostenible en febrero próximo, por otro lado,
Es rebatible P afirma que su madrina será Amanda
Lic. JOSÉ JAVIER VEGA QUISPE
6
I E PARTICULAR SIGLO XXI RAZ.LÓGICO
ya que el padrino será Martín”, se
c) d)
formaliza como:
a) b)
e)
c) d) 12.La formalización de la proposición:
“Amanda es doctora tanto
como María es dibujante”, es:
e)
a) b) c)
7. La proposición: “China, Italia y Japón d) e)
son productores de arroz, salvo que
de cacao”. Se formaliza: 13.“O viajamos a Tacna o no viajamos
a Tumbes “, su formalización es:
a) b)
a) b) c)
d) e)
c) d)
14.La proposición “Es incierto que
e)
Caracas no exporta petróleo”, se
8. La proposición: “Ya que el mercurio formaliza como:
se dilata con el calor, tanto como el
a) b)
bronce o el plomo; por ello es metal
c) d) e)
y no gaseoso”, se formaliza:
a) b)
15.“Mario ni es culto, ni es no
c) d) honrado”, su formalización correcta
es:
a) p q b) ~p ~q c)
e) ~(p ~q) d) ~p ~~q e) ~p
9. La proposición: “No es falso que si la
16.“Es inadmisible que, Verónica sea
lógica formal estudia la validez del
razonamiento obviamente la química una diseñadora si es profesora
estudia la materia”. Se formaliza: universitaria”, se formaliza como:
a) ~(p q) b) p ~q c) ~(p
a) b) ~q) d) ~(p q) e) p q
c)
d) e) 17.“Es falso que Venezuela y Bolivia
son países limítrofes”. Tiene como
10.“El que Tito tenga estudios de
fórmula lógica a:
maestría en Gestión empresarial no
a) ~(p q) b) ~(p q) c) ~
implica que sea economista de
p q
profesión”. Se formaliza:
d) ~ p e) ~~ p
a) b) c) CONECTIVOS LOGICOS
d) e) Son los términos de enlace entre
proposiciones lógicas simples. Los
11.La proposición: “Sólo si los caracoles
conectivos lógicos que más usaremos
son moluscos, los calamares también
lo son; a no ser que, los peces son
vertebrados al igual que los
batracios”. Se formaliza como:
a) b)
Lic. JOSÉ JAVIER VEGA QUISPE
7
I E PARTICULAR SIGLO XXI RAZ.LÓGICO
son los siguientes: • 10 es par o múltiplo de 2.
B) Exclusiva (fuerte)
Esta disyunción excluye
la posibilidad de
ocurrencia simultánea de
ambas proposiciones
componentes.
ESQUEMA MOLECULAR Ejemplos:
Es una fórmula lógica que resulta de la • O viajas por tierra o por aire
combinación de variables proposicionales, • O es blanco o es negro
constantes lógicas y signos de Condicional
agrupación. Son aquellas
proposiciones que se
relacionan mediante la
conjunción condicional
“si... entonces...” o sus
expresiones
equivalentes.
Ejemplos:
• Si estudias entonces ingresarás.
• Si llueve entonces me mojaré.
ANÁLISIS DE LAS Bicondicional
PROPOSICIONES COMPUESTAS Son aquellas
Conjuntiva proposiciones que se
Son aquellas relacionan mediante la
proposiciones que se conjunción compuesta “si
relacionan mediante la y solo si” o sus
conjunción gramatical expresiones equivalentes.
copulativa “y” o sus Ejemplos:
expresiones • 11 es primo si y solo si tiene 2
equivalentes. divisores.
Ejemplos • Es un cuadrilátero si y solo si tiene 4
• Darwin fue biólogo y Newton físico. lados.
• 19 es impar y además es primo. Negativa
• La actriz es bella pero petulante. Son aquellas expresiones
que hacen uso del
Disyuntiva
adverbio negativo “no” o
Son aquellas proposiciones que se
sus expresiones
relacionan mediante la conjunción
equivalentes.
disyuntiva “o” o sus expresiones
Ejemplos:
equivalentes. Pueden ser:
• La filosofía no es una ciencia.
A) Inclusiva (débil) • No es posible que existan los
Es aquella en la cual marcianos.
se consideran las EVALUACIÓN DE ESQUEMAS
posibles ocurrencias MOLECULARES
simultáneas o Consiste en obtener el valor o los
individuales de las valores del conectivo lógico de mayor
proposiciones componentes. jerarquía a partir de los valores
Ejemplos: veritativos de cada una de las
• Hace frío o está lloviendo. variables proposicionales.
Lic. JOSÉ JAVIER VEGA QUISPE
8
I E PARTICULAR SIGLO XXI RAZ.LÓGICO
• Tautológico: si solo hay valores verdaderos.
• Contradictorio: si solo hay valores falsos.
• Contingente: si contiene valores verdaderos
y falsos.
Ejemplos :
1. Si: p≡ V; q ≡ F ; r ≡ V
Determina el valor de verdad del
∼ [p → (q ∆∼p)] → [∼r ⋀ (p ↔ q)]
siguiente esquema molecular:
(p ⋀ ∼q) ⋁ (q → p)
2. Evalúa el siguiente esquema:
Lic. JOSÉ JAVIER VEGA QUISPE
9