pre [Link] – Prof.
Robert Sánchez
PROPOSICIONES LÓGICAS - FORMALIZACIÓN
DEFINICION DE PROPOSICIÓN • El uso o no de conector lógico que es el que
establece la conexión entre proposiciones.
Una proposicion lógica es un tipo de enunciado
aseverativo que afirma o niega algo, y del cual I. PROPIEDADES INTRINSECAS O
podemos decir que es verdadero o falso, pero no DIFERENCIAÑES DE LAS PROPOSICIONES
ambas situaciones a la vez. Ejemplo:
• “Asno” tiene 4 letras. A) SEGÚN SU CANTIDAD
• El átomo es una molécula
• El triángulo tiene 4 lados a) Universales o generales
• Dolly fue la primera oveja clonada Ejemplo:
• Atahualpa nació en California “Todo periodista es comunicador”
“Ningun delfín es ovíparo”
• Los músicos son artistas
Podemos resumir la definición de lo que es una b) Existenciales o particulares
proposicion lógica como: Ejemplo:
“Algunos estudiantes son responsables”
Aquellas expresiones lingüísticas que poseen una “Muchos físicos son bebedores”
funcion informativa, que afirman o niegan algo, y
c) Singulares o individuales
que son susceptibles de decir que son verdaderas
“Rocío trabaja en el banco de crédito”
o falsas, pero no ambas cosas a la vez
“El ministerio de Educación del Perú
utilizo eficientemente su presupuesto”
CARACTERISTICAS QUE DEBE TENER UN
ENUNCIADO PARA SER PROPOSICIÓN: B) SEGÚN SU CUALIDAD
• Debe de ser una ORACION: a) Afirmativas
Es decir, que genéricamente está formado por sujeto, Ejemplo:
verbo y predicado. “Camerún está en África”
• Debe ser una oración ASEVERATIVA – “Pedro es incapaz”
DECLARATIVA (Informativa)
• Debe ser VERDADERA o FALSA, pero no ambas b) Negativas
situaciones al mismo tiempo
Ejemplo:
“Pedro no es capaz”
No debemos olvidar que la lógica es una ciencia formal, por
lo tanto, es exacta, así pues, al tener solo un valor de “Haití no tiene recursos financieros”
verdad, garantizamos EXACTITUD en los resultados.
C) SEGÚN SU MODALIDAD
ORACIONES = Juicios a) Asertóricas, reales o FÁCTICAS
Sus verdades son a POSTERIORI,
indican juicios de realidad, y por lo tanto
Oraciones Interrogativas
Oraciones Exclamativas
para determinar su verdad se necesita de
Oraciones Desiderativas la experiencia. Son enunciados
Oraciones Dubitativas relaciones con las ciencias FACTICAS o
ORACIONES ASEVERATIVAS EXPERIMENTALES. Ejemplo:
• “Las células poseen mitocondrias”
PROPOSICIONES • “Colón descubrió América en 1492”
Oraciones V o F, pero
b) Apodícticas, necesarias o FORMALES
no ambas a la vez Sus verdades son a PRIORI, describen
situaciones necesarias, enuncian relación
sujeto y predicado como forzosa. Indican
juicios de necesidad, por eso no
necesitan comprobación de la
CLASIFICACION DE LAS PROPOSICIONES experiencia para terminar que son
verdades. Son enunciado relacionados
Las proposiciones se clasifican teniendo en cuenta 3 con las ciencias FORMALES. Ejemplo:
criterios. • “La suma de los ángulos internos de
• Sus propiedades diferenciales. un cuadrilátero es 360º”
Cel. 990900222
pre [Link] – Prof. Robert Sánchez
• (a b)
2
a 2
2ab b 2 CONECTORES LÓGICOS
• Las tías son mujeres EXPRESIONES SIMBOLO NOMBRE DE LA
• La casa verde es una casa EN LENGUAJE PROPOSICION
COMÚN
No es el caso que “ ” Negativa
c) Plausibles, problemáticas o …y… “ ” Conjuntiva
HIPOTETICAS …o… “ ” Disyuntiva
Enunciados en los que su verdad o Si … entonces … “ ” Implicativa
falsedad no puede ser probada de … porque … “ ” Replicativa
manera inmediata. Señala la posibilidad … si y solo si … “ ” Biimplicativa
de algo, por eso se llama hipotética. … o solamente … “ ” Disyuntiva excluyente
Indican juicios de posibilidad. Ejemplo:
• “Mañana llegare temprano a mi
trabajo” FORMALIZACIÓN
• “La ballena azul estará extinta en 20
años” DEFINICIÓN DE FORMALIZACIÓN
Proceso mediante el cual llevamos una proposición
verbal hasta una proposición formal (formula
II. SEGÚN EL USO O NO DE CONECTOR proposicional) utilizando para ello un lenguaje
LÓGICO, QUE ES EL QUE ESTABLECE LA
simbólico.
CONEXIÓN ENTRE PROPOSICIONES
ASPECTOS PARA CONSIDERAR EN UNA
2.1. Proposiciones Simples:
Aquellas que están formadas por 1 sola FORMALIZACIÓN
proposición No llevan conector lógico y Para realizar correctamente un proceso de
no se pueden dividir, también se les formalización es necesario tener en cuenta 3 pasos.
denomina atómicas o Monádicas. • Variables
Pueden ser. • Constantes o conectores
• Signos de colección
✓ Predicativas, Cuando al sujeto se le
atribuye una característica o rasgo a
modo descriptivo. TRADUCCIONES VERBALES DE LOS
- Carlos compro un nuevo automóvil. CONECTORES
- Chimbote es considerada la capital
de la pesca y el acero. NEGADORES
✓ Relacionadas, Es aquella en la cual ➢ es absurdo que A
existe relación de dependencias ➢ es falso que A
establecimiento un enlace entre dos o ➢ es inconcebible que A
más objetos. ➢ no ocurre (no acaece, no se da el caso de, no
- Sofía es mayor que Karla. es
- Ricardo es hermano de Diego. verdad no es cierto) que A
- 3 es mayor que 2. ➢ es negable que A
- Las rectas A y B son paralelas. ➢ es inadmisible que A
- Chimbote está entre Trujillo y Lima. ➢ es objetable que A
➢ carece de todo sentido de que A
2.2. Proposiciones Compuestas: ➢ de ninguna forma, modo, manera A
Si llevan conector lógico y también se les ➢ es falaz que A
denomina Moleculares, Complejas, ➢ es refutable que A
Coligativas. Están compuestas por dos o ➢ A es insostenible
más proposiciones atómicas su valor de ➢ no siempre ocurre A
verdad depende del valor de las ➢ es mendaz que A
proposiciones que la componen. Ejemplo: ➢ es rebatible A
➢ no es afirmativo que A
- Diana estudia en ALFA PRE y es ➢ es negativo que A
natural de Moro. ➢ decir que A es una farsa
- Roxana estudia Medicina o Ingeniería. ➢ no se concibe que A
- Si Trujillo es la capital de la primavera ➢ es una farsa de que A
entonces el clima es bueno. ➢ no (es así, se admite, es evidente) que A
➢ A es una mentira
➢ carece de sentido que A
➢ es contradictorio que A
Cel. 990900222
pre [Link] – Prof. Robert Sánchez
➢ es incoherente que A ➢ A ya bien B
➢ es insatisfacible que A ➢ A o también B
➢ en modo alguno se da que A ➢ A salvo que B
➢ es incompatible que A ➢ A excepto que B
➢ en absoluto se da que A ➢ excepto que A, B
➢ no siempre A ➢ A o incluso B
➢ no se sabe que A ➢ A a no ser que B
➢ por lo menos una vez no A ➢ A a no ser que también B
➢ nadie (ninguno) sabe que A ➢ salvo que A, B
➢ en ningún caso se da A ➢ A y bien o también B
➢ nunca se da que A ➢ A y/o B
➢ no se ve que A ➢ A a menos que también B
➢ no es auténtico o es inauténtico que A ➢ al menos uno de los dos A ó B
➢ jamás (nunca) A ➢ A o sino B
➢ nunca se da que A jamás ➢ A o en todo caso B
➢ no, no es cierto que A ➢ A alternativamente B; etc
➢ es inaudito que A
➢ es incongruente que A DISYUNTORES EXCLUYENTES
➢ es inconsistente que A
➢ es dual formal de A; etc. ➢ O bien A o bien B
➢ A o solo B
CONJUNTORES ➢ A o solamente (únicamente, necesariamente,
➢ siempre solamente) B
➢ A sino B ➢ A a menos que únicamente B
➢ no solo A también B ➢ A o bien necesariamente B
➢ A del mismo modo (forma, manera) B ➢ Solamente A o solamente B
➢ A pero (aunque, empero, sin embargo) B ➢ a menos que sólo A, B
➢ A incluso, tal como, al igual que, también B ➢ a menos que únicamente A ocurre B
➢ A también B ➢ bien necesariamente A o bien B
➢ tanto A como (cuanto) B ➢ ya bien A ya bien B
➢ cierto es que A lo mismo que B ➢ siempre A o siempre B
➢ el que A es compatible con que B ➢ sólo A o sólo B
➢ siempre ambos A con B ➢ a lo más uno de los dos A ó B
➢ A a pesar de que B ➢ salvo que solamente A ocurre B
➢ A inclusive también B ➢ ocurre A excepto que sea necesario B, etc
➢ A mas B
➢ A en cambio B IMPLICADORES
➢ A no excluye a B
➢ aun cuando A, B ➢ Sí A entonces B
➢ además de A, B ➢ siempre que A por consiguiente B
➢ el que A no excluye que B ➢ con tal de que A es obvio que B
➢ A aunque también B ➢ cuando A así pues B
➢ no solamente A sino que además B ➢ toda vez que A en consecuencia B
➢ A así como B ➢ cada vez que A consiguientemente B
➢ A de modo semejante B ➢ en el caso de que A en este caso B
➢ se concibe que A y al mismo tiempo que B ➢ con la condición de que A esto trae consigo B
➢ A vemos que también B ➢ bajo la condición de que A luego se puede decir
➢ es cierto que A también es cierto que B B
➢ A junto con B ➢ dado que A por eso B
➢ el que A no es incompatible con B ➢ dado A es obvio que B
➢ es compatible que A y B ➢ como quiera que A por lo cual B
➢ A al propio tiempo B ➢ en la medida que A de allí que B
➢ A simultáneamente B ➢ en cuanto A por tanto B
➢ A no obstante B ➢ al (de, una vez que) A luego B
➢ A conjuntamente con B; etc ➢ en el supuesto caso de que A en tal sentido B
➢ suponiendo que A con ello B
➢ puesto que A naturalmente B
DISYUNTORES INCLUYENTES ➢ ya que A es evidente B
➢ desde el momento en que A inmediatamente B
➢ a menos que A, B ➢ en virtud de que A es evidente que B
➢ A a menos que B ➢ de A deviene B
➢ de A, derivamos (deducimos, concluimos en,
Cel. 990900222
pre [Link] – Prof. Robert Sánchez
llegamos a, inferimos en, imponemos) B ➢ A depende de que ocurra B
➢ A implica o impone a B ➢ ocurre B con el objeto de que ocurra A
➢ A es condición suficiente (de varias) para B ➢ A cuando B
➢ se cumple B siempre que A ➢ A está implicado por B
➢ A sólo si cumple B ➢ A se sigue de B; etc.
➢ A da lugar a B ➢ A con la condición de que B
➢ es suficiente A para B ➢ A toda vez que B
➢ es necesario B para A
➢ teniendo en cuenta que A bien se ve que B BIIMPLICADORES
➢ de A deviene B
➢ de ocurrir que A necesariamente ocurre que B ➢ A si y sólo si B
➢ A implica a B
➢ A siempre y cuando B
➢ es suficiente A para B
➢ Sólo si A, entonces B
➢ con que A siendo así B ➢ A porque sólo B
➢ una vez que A por eso B ➢ A si sólo B
➢ A trae como consecuencia B ➢ A se define como B
➢ de A se desprende que B
➢ A por lo cual y según lo cual B
➢ apenas A inmediatamente B ➢ A siempre que y sólo cuando B
➢ tal vez si A por lo cual B ➢ sí y sólo si A, entonces B
➢ todo está en que A entonces B ➢ A implica y está implicado por B
➢ la cuestión es que A de ahí que B ➢ A cada una de las veces que y todas las veces
➢ basta que A por lo que B ➢ que B
➢ si bien es cierto que A también es cierto que B
➢ cada vez que y siempre que A entonces B
➢ si se presupone A derivamos B
➢ cuando y sólo cuando A luego B
➢ si tenemos en cuenta que A deducimos B ➢ sí a lo más y sólo si A consiguientemente B
➢ sí sucede que A concluimos en B ➢ A es suficiente y necesario para B
➢ sí con toda certeza A llegamos a B
➢ sólo y solamente siempre que A entonces B
➢ si se verifica que A inferimos en B ➢ A solamente y en el único caso que B
➢ sí de hecho A no se puede negar que B ➢ siempre que A luego es porque B
➢ si es así que A con ello B
➢ cuando y cada vez que A así se da B
➢ debido a que A entonces B
➢ toda vez que y nada más que cuando A, B
➢ sí una vez al menos A entonces B
➢ A es la definición lógica de B
➢ sí en cualquier caso A luego B
➢ A equivale a o es la equivalencia lógica de B
➢ cada una de las veces que A es así que B
➢ A en el caso y sólo en el caso de que B
➢ si cada vez (o toda vez que) A entonces B ➢ A es lo mismo que B
➢ A si en el único caso B
➢ A es igual que B; etc.
➢ basta que A entonces B
➢ sí A a lo más (en un único caso o a lo sumo) B
➢ sí al menos A luego B
➢ para A es necesario B ESTRUCTURAS ESPECIALES
➢ ya que todas las veces A entonces B
➢ dado siempre A entonces B
Solo si A, B : A B
REPLICADORES A solo si B : A B
A implica a B : A B
➢ Sólo si A, B
A esta implicado por B : A B
➢ Únicamente cuando A, B A no implica a B : ( A B)
➢ A si (o todas las explicitaciones del implicador) A es necesario para B : A B
B
➢ A porque B Para A es necesario B : A B
➢ el que A depende de B Es suficiente A para B : A B
➢ A es necesario para B A es suficiente para B : A B
➢ A es una circunstancia única para B
➢ es necesario A para B
Es necesario para A, B : A B
➢ A si B Necesario es A para B : A B
➢ solamente (únicamente, necesariamente) si A, Es suficiente para A, B : A B
B
➢ A debido a que B
➢ A dado que B
➢ A ya que B
➢ A en el caso que B
Cel. 990900222
pre [Link] – Prof. Robert Sánchez
PRÁCTICA “Alberto es amigo de Rosario, pero están en
distintas secciones de clase”. Tiene las
1. Son proposiciones simples: siguientes características:
1) 4 y 5 son números consecutivos 1. Es molecular 2. Es atómica
2) Mentir equivale a engañar 3. Es relacional 4. Es predicativa
3) Marie Curie descubrió el polonio incluso el
5. Es conjuntiva
radio
No son ciertas:
4) Pedro es pobre pero feliz
5) Pedro se casó con Liza la semana pasada A) 1, 2 y 3 B) 2, 3 y 4 C) 3, 4 y 5
Son ciertas: D) 1, 3 y 4 E) 1, 4 y 5
A) Sólo 3 y 4 B) Sólo 2, 3 y 4 C) Sólo 1, 2 y 5
D) Ninguna E) Todas 7. “El flúor es un elemento no–metálico”. Es una
proposición:
1) Simple 2) Compuesta
2. No son proposiciones:
1) Tráeme el periódico 3) Necesaria 4) Plausible
2) Ciertos ángulos son amarillos 5) Asertórica
3) Y es primo hermano de Z Son ciertas:
4) Dado tiene 4 letras A) 1 y 5 B) 2 y 5 C) 1 y 3
5) Haz el bien sin mirar a quien D) 2 y 3 E) 2 y 4
Son incorrectas sólo:
A) 1, 3 y 5 B) 2 y 4 C) 1 y 5 8. Son proposiciones lógicas:
D) Todas E) Ninguna 1) Vegetales
2) La experimentación se usa con fines
3. De las expresiones: de investigación
3 1 3) ¡Necesitamos más agua, por favor!
1) log16 4) El dinero es la llave que abre todas las
9
4 2 puertas
2) Estoy muy feliz de ser peruano 5) Si el quijote se enamoró de Julieta entonces
3) Yanina es la niña más bonita de mi escuela luchó contra los molinos de viento
4) Paris es ciudad europea Son ciertas:
5) x2 0, x A) 3, 4 y 5 B) 2 y 5 C) 2 y 3
Son proposiciones: D) 1, 2 y 5 E) Sólo 2
A) 1, 2 y 3 B) 1, 4 y 5 C) 1, 3 y 5
D) 2, 3 y 4 E) 2, 3 y 5 9. De las siguientes expresiones
I) Los cometas es un cuerpo celeste que gira
alrededor del sol
4. Corresponden a proposiciones compuestas:
1) Trujillo y Tacna son ciudades del norte II) 3 5 8 25 23
peruano III) 13 es un número impar o es un número
2) Diez y doce son múltiplos de 4 primo
3) Calor no equivale a trabajo Se cumple que:
4) El agua y la gasolina no reaccionan A) I y II son proposiciones simples
5) Tanto Francisco Pizarro como Diego de B) I y III son proposiciones moleculares
Almagro no fueron hermanos C) II y III son proposiciones atómicas
Son ciertas, solamente: D) I es proposición atómica
A) 1, 2 y 3 B) 1 y 2 C) 3, 4 y 5 E) III es proposición atómica
D) 4 y 5 E) todas
10. De los siguientes enunciados, son
5. La proposición: “Algunos felinos son Leones”, proposiciones predicativas.
por sus propiedades diferenciales, es: 1) Toledo es economista, pero Solari es
1) problemática 2) asertórica médico
3) particular 4) afirmativa 2) Los vegetales son heterótrofos
5) apodíctica 3) El deber y el derecho están
Interrelacionados
Son correctas, excepto:
4) El CEPUNS no es una empresa de
A) 1, 2 y 3 B) 2, 3 y 4 C) 1 y 5 producción
D) 2 y 4 E) 3, 4 y 5 5) Es mentira que un celular es un aparato de
telefonía fija
6. La proposición: Son ciertas:
A) 2, 4 y 5 B) 2 y 3 C) Sólo 2
Cel. 990900222
pre [Link] – Prof. Robert Sánchez
D) Sólo 3 E) Todas menos 4 A) (p q) (r s) B) (p q)
C) (p q) r D) (p q) (r s)
11. Son proposiciones asertóricas:
1) El dólar canadiense tiene más poder E) (p q) r
adquisitivo que el americano
2) El hombre es un hombre 18. La proposición: “Es insostenible que no sea
3) El todo es mayor que la suma de las partes mentira que los estudios de aptitud académica
4) 1 + 1 = 2 no incrementan la capacidad de los
5) El café está frío estudiantes”, se formaliza:
Son ciertas: A) p B) p
A) 1 y 5 B) 2 y 3 C) 1 y 3
C) p D) p
D) 3 y 5 E) Sólo 1
E) p
12. La proposición: “La araña es un insecto cuyo
veneno es altamente tóxico”, por sus 19. La proposición: “No solamente la historia es una
propiedades diferenciales es: ciencia fáctica, sino que además la geografía lo
1) asertórica 2) individual 3) plausible es” se formaliza:
4) negativa 5) universal A) p q B) p q
Son ciertas:
C) p / q D) p q
A) 1 y 3 B) 1 y 5 C) 2 y 5
D) 3 y 5 E) 1 y 2 E) p q
13. La proposición: “Josefina, la muchacha de mi 20. La proposición: “Adelita es profesora, Danna
barrio, estudia en el colegio Pedro Nolasco ya también, no obstante, son hermanas”, se
que vive en Nuevo Chimbote”, se formaliza: formaliza:
A) (p q) r B) p (q r) A) (p q) r B) (p q) r
C) p q D) p q C) (p q) r D) (p q) p
E) p q
E) (p q) (r q)
14. La proposición: “Tanto Perú como Chile no son
potencias comerciales”, se formaliza como: 21. La siguiente fórmula proposicional
A) p q B) p q ( p q) p
C) p q D) p q A) Si no compro un carro, pero si una casa;
definitivamente compro un carro
E) p q B) Los tigres no son carnívoros, aunque si son
felinos; si son carnívoros
15. La proposición: “Suponiendo que mecánica, C) Los leones no son carnívoros, pero son
civil, agroindustrial inclusive también energía felinos; aunque son carnívoros
son carreras de ingeniería, seguramente no D) Es una condición suficiente que no vaya a
tienen el mismo director de escuela” la playa pero no me bañe; para que vaya a
A) (p q r s) t la playa
B) (p q r s) t E) N.A
C) (p q r s) ( p q r s) 22. La proposición: “Porque todos los peces no son
D) (p q r s) t acuáticos, consecuentemente no todos los
E) (p q r s) ( p q r s) peces son marinos sino también los hay de río.
Además, los peces son acuáticos porque tienen
su sistema respiratorio adaptado a ese medio”,
16. La proposición: “Que no haya ingresado a la se formaliza:
UNS es consecuencia de que me haya A) [ p ( p q)] (p q)
enamorado”, se formaliza:
A) (p q) B) p q B) [ p (q r)] (p s)
C) p q D) p q C) [p ( p r)] (p r)
E) p q D) [ p ( q r)] (p q)
E) [ p ( q r)] (p s)
17. La proposicion: “Trujillo, la Capital de la
Primavera con Arequipa, la Ciudad Blanca son
ciudades con bastante turismo.
Cel. 990900222