LÓGICA PROPOSICIONAL

Clase 1
Ronald Mas
 Propósito de la Clase

• El Docente debe de presentar la asignatura y la

metodología que se desarrollará en el semestre.
• El estudiante:
• Es evaluado en conocimientos previos.
• Identifica enunciados y proposiciones.
• Utiliza los conectores lógicos en la formación de fórmulas
moleculares y como base para la formulación de
inferencias.
Introducción
 LA PROPOSICIÓN
Una Proposición para considerarse como tal debe cumplir las siguientes
condiciones:

1. Se trata de un enunciado en función informativa.

Ejemplo: Los deportistas son muy bohemios.

Además debe estar en sentido aseverativo, ya que no sería proposición cuando

decimos:

¿Sabías que los deportistas son muy bohemios?

Pues no afirma, ni niega, esta en sentido interrogativo.

2. Lo que se informa, debe tener sentido lógico.
Ejemplo:
a) Mi perro esta rezando.
b) El libro pesa 1 Kg.

En el primer caso se trata de un absurdo, ya que no se puede contrastar el hecho de que un

perro rece, en el segundo caso es proposición, puesto que el peso si es atribuible y
contrastable cuando se informa acerca de un objeto como el libro.
c) Gisela es una mujer ocupada.
d) Gisela vale por 3.

¿En cuál de los casos descritos es una proposición?

3. Finalmente es proposición cuando puede describirse
como verdadero o falso (no ambos a la vez)
• Ejemplo:
a) 9 es un cuadrado perfecto.
b) Barcelona es la capital de España.
 ENUNCIADOS QUE NO SON PROPOSICIONES

1. Los enunciados afectivos o emotivos:

Ejemplo: Yo detesto a los violadores.
(las expresiones afectivas pueden ser descritas como
sinceras o no sinceras, mas no como verdaderas o falsas)
2. Las órdenes, peticiones o mandatos.
Ejemplo: Cierra la puerta, ¡detente!
3. Los enunciados en función mixta.
Ejemplo: ¡Cuidado!, el perro muerde.
4. Cuando se menciona situaciones ficticias, absurdas o
imaginarias:
Ejemplo: Caperucita y el lobo se casaron.
5. Los enunciados metalingüísticos.
Ejemplo: Murciélago contiene las 5 vocales.
6. El uso de figuras literarias, refranes, paráfrasis.
Ejemplo: Me gustas cuando callas porque estás como
ausente, y me oyes desde lejos, y sin embargo lamento que mi
voz no te toque.
Parece que los ojos se te hubieran volado
y parece que un beso te cerrara la boca. Déjame que te hable
también con tu silencio
claro y profundo como una lámpara, simple como un anillo.
Eres como la noche, callada y constelada.
Tu silencio es de estrella, tan lejano y sencillo.
7. Los enunciados metafísicos (por ser incontrastables).
Ejemplo: Dios existe, El diablo tentó al asesino, Hay una
razón que todo dirige.
8. Los juicios de valor, juicios morales, estéticos, etc.
Ejemplo: Aquella escultura es bella, María es
una mujer bondadosa.
9. Los enunciados desiderativos.
Ejemplo: Espero que te vaya bien, ojalá regreses pronto,
te deseo lo mejor.
 Conectores lógicos
Los conectores lógicos sirven para construir proposiciones
moleculares.
• ´´: equivale a la negación, se lee ´no´
• ´´: equivale a la conjunción, se lee ´y´
• ´´: equivale a la disyunción inclusiva, se lee ´o´
• ‘’ : equivale a la disyunción, se lee ´o p o q´
• ´´: equivale a la condicional, se lee ´si … entonces ….´
• ´´: equivale a la bicondicional, se lee ´si y solo si´
 Sinónimos de los conectores
Puede haber varias maneras de leer un mismo signo tal como se muestra en seguida:
• Para la negación: ´´
´no´  ´no es el caso que´  ´no se da que´  ´no ocurre que´
• Para la conjunción: ´´
´y´  ´además´  ´agregamos´  ´también´  ´pero´  ´sin embargo´  ´aunque´
 punto seguido(.)  coma (,)
• Para la disyunción inclusiva: ´´
´o´  ´uno u otro´
• Para la disyunción exclusiva: ´´
´o´  ´o uno u otro´
• Para la condicional: ´´
´si … entonces …´  ´si ….´  ´…. entonces …´
• Para la bicondicional: ´´
´si y solo si´  ´entonces y solo entonces
 FORMULACION DE INFERENCIAS
¿QUE ES FORMALIZAR?

Es pasar las proposiciones del lenguaje natural al lenguaje formal o

proposicional. Esto facilita la verificación o comprobación y el análisis
de nuestro razonamiento mediante las inferencias de la lógica
formal.
FORMALIZACION DE PROPOSICIONES ATOMICAS
Es colocar una variable proposicional a cada proposición expresada
en el lenguaje natural.
FORMALIZACON DE PROPOSCIONES MOLECULARES
Es utilizar un conjunto de variables proposicionales que nos permitan
expresar el lenguaje natural en proposicional.
FORMALIZACION DE PROPOSICIONES CON CONDICIONAL
INVERSO
Uno de los temas que causa mayor problema es simbolizar el conector
condicional pero dada en forma inversa.
El condicional tiene la formulación: «Si A entonces B», simbolizado
como A  B, esto indica que si se da A, se deberá de dar B.
Pero también puede expresase de otra forma: B es causado por A.
Cuando expresamos en el lenguaje natural se puede decir, que se dio
la variable proposicional A porque se dio la variable proposicional B.
Ejemplo 01. Simbolice el siguiente enunciado: Luis es arbitro o es
medico, sin embargo no consigue trabajo.
p: Luis es arbitro
q: Luis es medico
r: Luis no consigue trabajo
 Su formalización es: (p  q)  r
Ejemplo 02. Simbolice el siguiente enunciado: Juan ira al estadio, si y solo
si su hermana se quedara cuidando su casa. Juan no fue al estadio,
debido a que su hermana salió de compras.
P: Juan ira al estadio
q: Su hermana se quedara cuidando su casa
r: Su hermana salió de compras
Su formalización es: (p  q)  (r  p)
Ejemplo 03. Simbolice el siguiente enunciado: La cosecha será un
desastre, ya que las lluvias se alejaron por completo. Sin embargo, si se
hace una buena inversión, entonces se podría revertir esta
situación.
p: La cosecha será un desastre
q: Las lluvias se alejaron por completo
r : Se hace una buena inversión
s: Se podrá revertir esta situación
Su formalización es: (q  p)  (r  s)
Ejemplo 04. Simbolice el siguiente enunciado: No es cierto que los poetas son introvertidos o narcisistas. Pero, si es
verdad que estos son muy amables y consecuentes con sus cosas. Además, si los poetas son introvertidos no
tienen mucho porvenir.
P: Los poetas son introvertidos
q: Los poetas son narcisistas
r:Los poetas son muy amables
s: Los poetas son muy consecuentes con sus cosas
t: Los poetas tienen mucho porvenir
Su formalización es: [ (p  q)  (r  s)]  (p  t)
 EJERCICIOS PARA DESARROLLAR EN CLASE
1. Si Ricardo admite el compromiso, entonces, o va a la fiesta o atiende su negocio. Pero

Ricardo va a la fiesta. Luego, si Ricardo admite el compromiso, entonces no atiende su

negocio.

2. Si Luis gana la primera partida, entonces, si quiere aumentar sus ganancias, entonces,

continuara jugando. Es así que Luis continúa jugando. Luego, si Luis gana su primera partida,

entonces quiere aumentar sus ganancias.

3. Si hay lluvias en la sierra, entonces los agricultores obtendrán buenas ganancias y

mejoraran su forma de vida. Si mejoran su forma de vida, la sierra progresa. Por

consiguiente, si hay lluvias en la sierra, entonces, o los agricultores obtienen buenas

ganancias o la sierra no progresa.

4. Si Sócrates se empeña en censura los vicios políticos, entonces aumentara el odio
de sus adversarios y será acusado ante el tribunal ateniense. Si aumenta el odio de
sus adversarios o es acusado ante el tribunal ateniense, será condenado a muerte.
Por consiguiente, si Sócrates se empeña en censurar los vicios políticos, será
condenado a muerte.

5. La adhesión a una doctrina debe ser racional. No obstante, si comienza prestando

fe a una doctrina y la adhesión a una doctrina debe ser racional, entonces tu
actitud es dogmática. Pero tu actitud no es dogmática. En consecuencia, no
puedes comenzar prestando fe a una doctrina
 LEYES LÓGICAS

Principio de identidad
• El río Mantaro es el río Mantaro.
• pp, también: AA, Asimismo: p  p, también: A  A
Principio de no contradicción
• No es posible que una montaña no sea una montaña.
• (p  p), también: (A  A)
Principio de tercio excluido
• Esta es la calle Real o no es la calle Real.
• p  p, también: A  A)
 EQUIVALENCIAS NOTABLES
1. Eliminación de la doble negación (EDN):
• No es cierto que nosotros no construiremos un aeropuerto, es
lo mismo que decir: Nosotros construiremos un aeropuerto.
•AA
2. Teorema de De Morgan (DM):
• No es cierto que María es atleta y Nancy es bailarina, equivale
a decir: María no es atleta o Nancy no es bailarina.
• No es cierto que Juan es medico o Pedro es aviador, equivale
a decir: Juan no es médico y Pedro no es aviador.
• (AB)  A  B
• (AB)  A  B
3. Conmutación:
• Viki estudia Agronegocios y Noelia estudia Psicología, es lo
mismo que: Noelia estudia Psicología y Viki estudia
Agronegocios.
• AB  BA, también: AB  BA y AB  BA
4. Asociación:
• Los gases tóxicos de las fábricas contaminan el ambiente.
Además lo hacen los vehículos y los desechos humanos sin
tratamiento. Esto es lo mismo que: Los gases tóxicos de las
fábricas y los vehículos contaminan el ambiente. Además lo
hacen los desechos humanos sin tratamiento.
• A(BC)  (AB)C, también: A(BC)  (AB)C
5. Distribución:
• Luis corre. Además, Julio salta o Carlos baila. Es lo mismo que:
Luis corre y Julio salta, o Luis corre y Carlos baila.
• A(BC)  (AB)(AC), también: A(BC)  (AB)(AC)
6. Contra recíproco o Transposición:
• Si hay agua, entonces me lavo las manos. Esto es lo mismo
que: Si no me lavo las manos, entonces no hay agua.
• A  B  B  A
7. Definición del Condicional:
• Si llueve entonces el suelo está mojado. Es lo mismo que: No
llueve o el suelo está mojado.
• A  B  A  B
8. Definición del Bicondicional:
• El estudiante tiene beca, si y solo si, estudia
gratuitamente. Esto es lo mismo que: Si el estudiante tiene
beca, entonces estudia gratuitamente. Y si el estudiante
estudia gratuitamente, entonces tiene beca.
• AB  (AB)(BA)
• AB  (AB)(A  B)
9. Idempotencia:
• Juan Carlos estudia y Juan Carlos estudia. Es lo mismo
que: Juan Carlos estudia.
• AA  A
 DEDUCCION NATURAL
Las derivaciones o deducción natural consiste
en comprobar que la conclusión señalada se
deriva de las premisas propuestas.
Para estas comprobaciones se utiliza las
equivalencias lógicas y las reglas de
implicancia.
Si no es posible demostrar se considera que el
argumento es inválido
 Prueba directa mediante Modus
Ponens
Se tiene el siguiente argumento:
 Si muere su mascota entonces está triste.
 Si está triste entonces llora.
 Es cierto que muere su mascota.
 -----------------------------------------
 Por lo cual, llora.
Al formalizar, tenemos las siguientes proposiciones atómicas:
• p: muere su mascota
• q: esta triste
• r: llora
 pq
 qr
 p /┠ r
Es necesario comprobar si el resultado es r  llora, para ello se
efectúa una demostración:
1. p  q
2. q  r
3. p /┠ r
4. q MP 1,3
5. r MP 2,4
 Prueba directa mediante Modus
Tollens
Demostrar que:
1. (pq)r
2. r
3. r(pq) /┠ r
4. (pq) MT 1,2
5. r MT 3,4
 Referencias Bibliográficas

• Larson, R. y Edwards, B. (2016). Cálculo. México: Cengage Learning.

• Cifra, M., Pokorný, J., Havelka, D. y Kucera, O. (2010). Electric field

generated by axial longitudinal vibration modes of microtubule. Bio
System, 100(2), 122-131.

• Santos-Febres, M. (12 de abril de 2013). Sonia Sotomayor o el abrazo

de la diáspora [Mensaje en un blog]. Recuperado de
http://mayrasantosfebres.blogspot.com/2013/04/sonia-sotomayor-o-
el-abrazo-dela.html