Clase 7 - Proposiciones Lógicas

Álgebra 1 para Ingeniería

Universidad de Santiago de Chile

(USACH) Proposiciones Lógicas 1 / 17

Todos podemos pensar lógicamente desde niño (por lo menos cuando
la información a procesar no se presenta en forma muy compleja):

Si se nos da la información que cada persona rintontario tiene un

culumpimpi pero no tiene un rantironto y que cada persona que tiene
o un culumpimpi o un rantironto sufre de aplalaplupsis.

Todos podemos concluir entonces que todos los pobres rintontarios

sufren de aplalaplupsis.

¿Que es un rintontario o que es aplaplupsis ?

Eso es una pregunta semántica que tiene menor relevancia en el

contexto de la lógica.

(USACH) Proposiciones Lógicas 1 / 17

Pero hay situaciones donde la tela de información es un poco más
compleja, y aunque en teoría lo podríamos pensar lógicamente, nos
duele la cabeza haciéndolo sin un método sistemático:
El mayordomo o su hijastro asesinó a la Sra Ximena.
Si el mayordomo asesinó a la Sra Ximena, el asesinato ocurrió
durante o después de la medianoche.
Si el testimonio del hijastro es correcto, entonces, el asesinato
ocurrió antes de la medianoche.
Si el testimonio del hijastro es incorrecto, las luces de la casa no
se apagaron medianoche.
Las luces de la casa se apagaron a la medianoche y el
mayordomo no es millonario.
Pregunta: Asumiendo que todos los datos anteriores son verdaderos
¿ Quién es el asesino ?

(USACH) Proposiciones Lógicas 2 / 17

La lógica matemática hace lo siguiente para poder destilar (concluir)
información desde una tela de información compleja:
A: Formalizar (simbólicamente) las interdependencias (conectivos)
básicas (haciéndolo accesible así a un tratamiento mecánico).
B: Definir una equivalencia formal de tales conectivos que reflejen
nuestro sentido de lógica natural.
C: Establecer reglas mecánicas de deducción (p. ej. (modus ponens,
etc, etc...) que reemplacen el razonamiento intuitivo.

En este curso nos vamos a centrar solamente en los aspectos A y B.

Las deducciones las vamos a hacer de forma intuitiva. El aspecto C
tiene mayor interés en contextos filosóficos.

(USACH) Proposiciones Lógicas 3 / 17

Proposiciones

Definición
Una proposición es una frase o enunciado sobre la cual podemos
decidir, unívocamente, sobre la veracidad o falsedad de ellas.
Denotaremos por V si la proposición es verdadera y F si es falsa.
Así entonces, una proposición es un enunciado que toma uno de los
dos valores de verdad posibles: Verdadero (V) o Falso (F).

Observación:
Los mandatos, preguntas, deseos, exclamaciones no son proposiciones
lógicas ya que no se pueden calificar de ser proposiciones verdaderas
(V) o falsas (F).

(USACH) Proposiciones Lógicas 4 / 17

Ejercicio: Determine cuales son proposiciones:
¿Cuál es tu nombre?
Tu nombre es Juan.
¡Qué difícil es!
El libro es verde.
Hace calor.
Hoy hace calor en Santiago.
x2 + 3x + 4
3 + 4 = 8.
√
2 es un número irracional.

(USACH) Proposiciones Lógicas 5 / 17

Ejercicio: Determine cuales son proposiciones:
¿Cuál es tu nombre? No es proposición.
Tu nombre es Juan. Sí es proposición.
¡Qué difícil es! No es proposición.
El libro es verde. Si es proposición.
Hace calor. Caso difícil, se podría, en teoría, pensar en una
definición objetiva de “hace calor”, posiblemente determinado
por el lugar donde se afirma eso.
Hoy hace calor en Santiago. Sí es proposición, pues es
posible hacer una comparación con la temperatura promedio de
la ciudad.
x2 + 3x + 4 No es proposición.
3 + 4 = 8. Sí es proposición (F).
√
2 es un número irracional. Sí es proposición (V).

(USACH) Proposiciones Lógicas 6 / 17

(De-)composición de proposiciones

Definición:
Una proposición atómica o simple es una proposición que no tiene
conjunciones gramaticales ni adverbios de negación. Si se agrupan
proposiciones atómicas con una conjunción gramatical o un adverbio
de negación es llamada proposición compuesta.

Algunos ejemplos de proposiciones atómicas

Hoy es sábado.
Hoy hay clases.
2 + 5 = 4.
Algunos ejemplos de proposiciones compuestas
Hoy hay clases a pesar de ser sábado.
Si hay clases hoy, entonces no es sábado.
(USACH) Proposiciones Lógicas 7 / 17
Ejercicio: Determine cuales de las siguientes proposiciones son
atómicas y cuales son compuestas:
El lápiz es de tinta roja.

Los elefantes son mamíferos y ponen huevos.

Si él es culpable, entonces debe ser juzgado.

Si Maria puede conducir, necesariamente es mayor de edad.

1001 es divisible por 2.

√
2 es un número racional o un número irracional.
Si x = 0, entonces x + 3 = 2.

(USACH) Proposiciones Lógicas 8 / 17

Ejercicio: Determine cuales de las siguientes proposiciones son
atómicas y cuales son compuestas:
(i) El lápiz es de tinta roja.
Es una proposición atómica.
(ii) Los elefantes son mamíferos y ponen huevos.
Es una proposición compuesta.
(iii) Si él es culpable, entonces debe ser juzgado.
Es una proposición compuesta.
(iv) Si Maria puede conducir, necesariamente es mayor de edad.
Es una proposición compuesta.
(v) 1001 es divisible por 2.
Es una proposición atómica.
√
(vi) 2 es un número racional o un número irracional.
Es una proposición compuesta.
(vii) Si x = 0, entonces x + 3 = 2.
Es una proposición compuesta.
(USACH) Proposiciones Lógicas 9 / 17
Conectivos Lógicos
En el lenguaje natural usamos muchas conjunciones y adverbios de
negación que además de la información objetiva, trae connotación
sobre emoción u opinión subjetiva del narrador.

A Juan no le gusta mojarse por la lluvia, y por eso no vendrá a la

universidad cuando llueve.
Contiene como información objetiva lo mismo que

A Juan no le gusta la llúvia, y si llueve entonces Juan no irá a la

universidad.

Pero la primera versión contiene adicionalmente información sobre la

expectativa del narrador.
Otro ejemplo: “El alumno ni siquiera hizo su tarea.” contiene la
mísma información objetiva que “El alumno no hizo su tarea.”
(USACH) Proposiciones Lógicas 10 / 17
Para analizar la verdad objetiva reducimos cada conjunción o
negación “con coloración subjetiva del narrador” a versiones básicas y
puramente objetivas, e introducimos una abreviación simbólica
(conectivo básico) para una colección básica de ellas:

Conectivo básico Conjunción / Negación

∼ ... no…
... ∧ ... …y …
... ∨ ... …o…
... ⇒ ... … implica (si ... entonces ...) …
... ⇐ ... … si …
. . . ⇐⇒ . . . … si y solamente si …

Observar que esta colección tradicional todavía es un poco

redundante (de hecho muy redundante como vamos a ver).

(USACH) Proposiciones Lógicas 11 / 17

A partir de los conectivos básicos se pueden definir o formalizar
(iterativamente) otros conectivos que vamos a llamar conectivos
compuestos.

Ejemplo: La conjunción “ni... ni...” se puede formalizar por

(∼ p) ∧ (∼ q).

Naturalmente se pone la pregunta cuando dos conectivos compuestos

formalizan la misma conjuncción, y si hay una manera de decidirlo al
nivel formal. Eso se verá en la siguiente clase (tablas de verdad).

(USACH) Proposiciones Lógicas 12 / 17

Proposiciones compuestas
Cuando aplicamos conectivos a proposiciones, es decir cuando
sustituimos las variables de proposiciones con contenido semantico,
ahí hablamos de una proposición compuesta, ya dado una
proposición concreta, la podemos descomponer y formalizar por ver
la como una aplicación de un conectivo a proposiciones más
elementales.
Ejemplo: Considerando las proposiciones atomicas
a: Ana va a la fiesta.
j: Juan va a la fiesta.
m: Maria va a la fiesta.
p: Pedro va la fiesta.
traduciremos las siguientes proposiciones en lenguaje simbólico:
Ana no irá a la fiesta.
Ana no faltará a la fiesta.
Si Juan va a la fiesta entonces Pedro y Maria también.
(USACH) Proposiciones Lógicas 13 / 17
Proposiciones compuestas

Ejemplo: Considerando las proposiciones atomicas

a: Ana va a la fiesta.
j: Juan va a la fiesta.
m: Maria va a la fiesta.
p: Pedro va la fiesta.

traduciremos las siguientes proposiciones en lenguaje simbólico:

Ana no irá a la fiesta. ∼ a
Ana no faltará a la fiesta. ∼ (∼ a)
Si Juan va a la fiesta entonces Pedro y Maria también.
j ⇒ (p ∧ m)

(USACH) Proposiciones Lógicas 14 / 17

Proposiciones compuestas

Maria va a la fiesta si y solo si Pedro y Juan también van.

Si va Ana entonces ni Juan ni Pedro irán.

Juan, Pedro y Maria van a la fiesta si Ana no va.

Para que Pedro vaya es necesario que Juan vaya.

Para que Pedro vaya es suficiente que Juan vaya.

Para que Pedro vaya es necesario y suficiente que Juan

vaya.

(USACH) Proposiciones Lógicas 15 / 17

Proposiciones compuestas
Maria va a la fiesta si y sólo si Pedro y Juan también van.
m ⇔ (p ∧ j)
Si va Ana entonces ni Juan ni Pedro irán.
a ⇒ (∼ j∧ ∼ p)
Juan, Pedro y Maria van a la fiesta si Ana no va.
∼ a ⇒ (j ∧ p ∧ m)
Para que Pedro vaya es necesario que Juan vaya.
p⇒j
Para que Pedro vaya es suficiente que Juan vaya.
j⇒p
Para que Pedro vaya es necesario y suficiente que Juan
vaya.
j⇔p

(USACH) Proposiciones Lógicas 16 / 17

(USACH) Proposiciones Lógicas 17 / 17