Teoría de Proposiciones

Material adaptado del claustro de ICC conformado por: Ing. Jennifer Yépez, Ing. Vladimir Robles,
Ing. Paola Ingavélez e Ing. M. Lourdes Loaiza y restructurado por
Ing. Bertha Tacuri, Ing. Remigio Hurtado , Ing. Maritza Mendieta
 RESULTADOS
DE APRENDIZAJE
Diseña soluciones a problemas de lógica
empleando Álgebra de Boole y Teoría de
Proposiciones

INDICADORES DE LOGRO
Aplica lógica matemática para resolver problemas.
CONTENIDO

1. Historia de la Lógica Clásica

2. Conceptos básicos del Cálculo Proposicional
3. Tablas de verdad y conectores
4. Leyes del Álgebra de Proposiciones
HISTORIA
• La lógica nace hace aproximadamente 2.500 años. Aristóteles
y los filósofos estoicos formularon sistemas de razonamiento
explícito en la antigua Grecia en el año 300 a.c.
CONCEPTO BÁSICOS

Lógica

Lógica
Lógica Lógica Lógica
Matemátic
Formal Informal Simbólica
a
CONCEPTO BÁSICOS
• La Lógica matemática es la disciplina que abarca métodos de
razonamiento.
• La lógica proporciona reglas y técnicas para determinar su es válido o
no un argumento dado.
• La lógica proposicional es una parte de la lógica, que estudia variables
proposicionales, sus posibles implicaciones, los valores de verdad de
las proposiciones o de conjunto de ellas formadas a partir de
conectores lógicos
CONCEPTO BÁSICOS
• El Cálculo Proposicional Clásico (CPC) es un sistema simbólico de la
Lógica Clásica.
• Es la base para el desarrollo de lenguajes de programación
estructurados y una herramienta útil en los campos de IA, teoría de
bases de datos relacionales, análisis y síntesis de programas.
CONCEPTO BÁSICOS
• Sigue estos principios:

Bivalencia: cada fórmula recibe dos valores absolutos (verdadero o falso).

No-contradicción: dada una fórmula y su negación, una de ellas es falsa.
Tercero excluido: dada una fórmula y su negación, una de ellas es verdadera.
Identidad: si una fórmula es verdadera, entonces es verdadera.
PROPOSICIONES
Es una estructura lingüística
Valores de verdad
que se puede evaluar como
verdadera o falsa. Con las siguientes proposiciones:
Normalmente las
proposiciones se
representan con letras
minúsculas: p, q, r, . . . y se
puede emplear el subíndice Se obtendría los valores de verdad:
para referirse a ellas también
p1, p2, . . .
TIPOS DE PROPOSICIONES
Las proposiciones se clasifican en 2 tipos:
• Simples: no contienen otras afirmaciones que las compongan.
También se conocen como átomos, formulas atómicas o variables
proposicionales y se sub-clasifican en:

Abiertas: no indican el sujeto. Por ejemplo “X es una mujer”

Cerradas: indican el sujeto. Por ejemplo “Paola es una Mujer”

TIPOS DE PROPOSICIONES
• Compuestas: se construyen a partir de proposiciones Simples, a fin
de expresar afirmaciones más complejas. Se conocen también como
moleculares y se sub-clasifican en:

Abiertas: no indican el sujeto. Por ejemplo “Los X de la hacienda están

verdes o los X del rancho están amarillos”

Cerradas: indican el sujeto. Por ejemplo “Los árboles de la hacienda están

verdes o los arbustos del rancho están Amarillos”
TABLAS DE VERDAD
Conectores
Si analizamos las Monádicos Diádicos
proposiciones p y q
Afectan únicamente a Sirven para unir dos o
en conjunto, una proposición. más proposiciones
podremos observar En este grupo está simples.
únicamente la En este grupo tenemos
que la tabla negación. a los siguientes:
permite expresar conjunción,
disyunción,
todos los posibles implicación, bi-
valores de verdad implicación
de las mismas.
NEGACIÓN

• Significa la inversión del valor de la proposición y se expresa con el

símbolo ¬ antepuesto a la misma: ¬p
• Supongamos que tenemos la proposición p =“Sócrates es mortal”,
cuyo valor es: v(p) =verdadera. ¬p significaría que “Sócrates no es
mortal”.
• La tabla de verdad para p y su negación ¬p sería:
CONJUNCIÓN
• El conjunto de dos o más proposiciones que están unidas por este
operador será verdadero, únicamente si todas las proposiciones son
verdaderas.
• Para representar una conjunción se emplea el símbolo ^ .
• La conjunción es una operación conmutable: p ^ q = q ^ p.
DISYUNCIÓN
• El conjunto de dos o más proposiciones que están unidas por este
operador será verdadero, cuando al menos una de las proposiciones
sea verdadera.
• Para representar una disyunción se emplea el símbolo v.
• La disyunción es una operación conmutable: p v q = q v p.
a. Todo número impar es primo y 5 es primo. F V = F. V(a) = F

b. El carro contamina el ambiente o la bicicleta es más rápida que la moto.

V F=V V(b) = V

c. Los perros ladran o 12 es un múltiplo de 3. V V = V V(c) = V

d. ¬(p v q) cuando p = “España está en Europa” , q = “Japón está en Asia”

• ¬(V V)

• ¬(V) = F V(d) = F

e. 9 es múltiplo de 3 y 5 es múltiplo de 10. V F = F V(e) = F

f. ¬p ^ ¬q cuando p = “La víbora no es un reptil”, q = “el canario no es un pez”

•  ¬(¬V) ¬(¬F)
• V F=F V(j) = F
IMPLICACIÓN
• Este operador indica que dadas dos proposiciones A y B, si A es
verdadera, entonces B es verdadera también (A implica B).
• Para representar este operador se emplea el símbolo ⇒.
• La implicación no es una operación conmutable: p ⇒ q ≠ q ⇒ p.
Dado p (antecedente o causa) y q (consecuente o conclusión), la implicación es el conector que da
como resultado una proposición falsa cuando el antecedente es verdadero y el consecuente falso, p
implica q
Si las consecuencias de una teoría
científica – física, económica, etc –
son verdaderas, entonces la teoría
científica es verdadera. No importa
que sus supuestos o fundamentos
teóricos sean falsos o verdaderos
BI-IMPLICACIÓN
• Este operador indica que dadas dos proposiciones A y B, el resultado
será verdadero si ambas proposiciones son verdaderas o falsas.
• Para representar este operador se emplea el símbolo⇔.
• La bi-implicación es una operación conmutable: p ⇔ q = q ⇔ p.
Ejercicios
Si el triángulo es un polígono, entonces es un cuadrilátero.
Si 21 es múltiplo de 2, entonces 21 es múltiplo de 7.
La guacamaya es un pez si y sólo si el tiburón es un ave.
Si Marte no es un planeta, entonces la Luna es un satélite.
Ejercicios
f. Si el triángulo es un polígono, entonces es un cuadrilátero.
V F=F V(f) = F
g. Si 21 es múltiplo de 2, entonces 21 es múltiplo de 7.
F V=V V(g) = V
h. La guacamaya es un pez si y sólo si el tiburón es un ave.
F⇔F=V V(h) = V
i. Si Marte no es un planeta, entonces la Luna es un satélite.
¬V V
F V=V V(i) = V
Ejercicios
a. Considerar las siguientes proposiciones:
p: Me duele el diente
q: Voy al doctor
r: Tomo un medicamento
No me duele el diente si y solo si voy al doctor. Y si no voy al doctor
entonces tomo una pastilla o voy al doctor. Y si me duele el diente
entonces, si no tomo un medicamente entonces no me duele el
diente.
Ejercicios

¿
Ejercicios
p: Mi papá es alto
q: Yo soy pequeña
r: Uso tacones
 
Yo soy pequeña si y solo si mi papá no es alto. Y si no uso
tacones entonces soy pequeña. Y si uso tacones entonces no
soy pequeña, entonces mi papá no es alto.
Ejercicios

¿
a. Notación lógica:
.
Para el enunciado considerar las siguientes
proposiciones:
p: Compré un libro
q: Mejoré la ortografía
r: Redacté mal una carta
s: Tuve mala nota
Si compré un libro o mejoré la ortografía
entonces no redacté mal una carta. Y si
redacté mal una carta si y solo si tuve
mala nota entonces, si redacté mal una
carta y tuve mala nota entonces, no
compré un libro o no mejoré la ortografía.
a. Notación lógica:

Para el enunciado considerar las siguientes proposiciones:

 
p: Acelero la motocicleta
q: La motocicleta corre
r: Freno la motocicleta
s: La motocicleta se detiene
t: La motocicleta falla
 Si no acelero la motocicleta entonces la
motocicleta no corre. Y si no freno la motocicleta
entonces la motocicleta no se detiene. Y si la
motocicleta no corre o la motocicleta no se
detiene entonces la motocicleta falla entonces, si
la motocicleta no falla entonces acelero la
motocicleta y freno la motocicleta.
 
LEYES DEL ÁLGEBRA DE PROPOSICIONES
LEYES DEL ÁLGEBRA DE PROPOSICIONES
Demuestre la ley Distributiva mediante tablas de verdad:

 p  q  r            

           

           

           

           

           

           

           

           
LEYES DEL ÁLGEBRA DE PROPOSICIONES
LEYES DEL ÁLGEBRA DE PROPOSICIONES

¬{[(¬p) v (¬q)] v ¬q}

¬{[(¬p) v (¬q v ¬q)} ASOCIATIVA

¬{[¬p v ¬q]} IDEMPOTENCIA
¬ (¬p) ^ ¬(¬q) MORGAN

p^q DOBLE NEGACIÓN

LEYES DEL ÁLGEBRA DE PROPOSICIONES

[¬p v q ] v [¬q v ¬p]

¬p v (q v ¬q) v ¬p ASOCIATIVA
¬p v V v ¬p MEDIO EXCLUIDO
(¬p v V ) v ¬p ASOCIATIVA

V v ¬p DOMINACIÓN

V DOMINACIÓN
LEYES DEL ÁLGEBRA DE PROPOSICIONES
p: “debo trabajar”
(p→q)→¬(¬q→p) q: “debo casarme”
¬(¬p v q) v ¬(¬¬q v p) IMPLICACIÓN
(¬¬p ^¬q) v (¬¬¬q ^¬p) MORGAN
(p ^¬q) v (¬q ^¬p) DOBLE NEGACIÓN
¬q ^ (p v¬p) MEDIO EXCLUIDO

¬q ^ (V) IDENTIDAD
¬q
PROPOSICIONES SEGÚN SU VALOR DE VERDAD
Estas proposiciones se clasifican así: tautologías, contradicciones e
inciertos (o contingencias).
Tautologías. Son aquellas proposiciones que siempre son verdaderas.
Las tautologías se utilizan para verificar y demostrar la consistencia de
las argumentaciones.
Contradicciones. Son aquellas proposiciones que siempre son falsas.
Las contradicciones se utilizan para verificar y demostrar la
inconsistencia de las argumentaciones.
Contingencias o inciertos. Son aquellas proposiciones que ni son
verdaderas ni son falsas. Tecnológicamente, las contingencias o
inciertos se utilizan para construir circuitos de control y automatismo.
Contradicciones tautologías o contingente
¿
 p  q  r          

         

         

         

         

         

         

         

 
 
 
 
 
 
 
 
           
Contradicciones tautologías o contingente

¿
 p  q                          

                         

                         

                         

                         
 Para utilizar la calculadora lógica, dirigirse al siguiente enlace:
https://sourceforge.net/projects/logiccalculator/?source=typ_redirect

Nota: Para usar la calculadora debe tener instalado Java en su computadora. Puede descargarlo desde el siguiente enlace (en caso de no tenerlo):
http://www.oracle.com/technetwork/java/javase/downloads/jdk9-downloads-3848520.html

Y para ejecutar la calculadora dar click con el botón derecho del ratón en el archivo “LogicCalculator.jar” y seleccionar la opción “Oracle Java Runtime”.
 
BIBLIOGRAFÍA
• Andrade, E., Cubides, P., Márquez, C., Vargas, E., and D, C. Lógica y pensamiento formal. Editorial
Universidad del Rosario, 2008
• Arias, Á. Programación y Lógica Proposicional. Createspace, 2014.
• Costas, A. Introducción Práctica a la Lógica, 2da Edición. 2016.
• García, M., Gómez, G., and Solano, M. Lógica. Umbral Editorial S.A. de C.V., 2003.
• Lira, A., Rodríguez, C., and Gallegos, M. Lógica, elementos teóricos y prácticos, aprendizaje recreativo:
juegos lógicos y de ingenio. Umbral Editorial S.A. de C.V., 2007.
• Serna, E. La lógica en las ciencias computacionales. Revista Educación en Ingeniería 8, 15 (2013), 62-
68
• Van Benthem, J., Van Ditmarsch, H., Van Eijck, J., and Jaspars, J. Logic in action, 2014.