FUNDAMENTOS DE PROGRAMACIÓN
2018-2
Capítulo 1
LÓGICA PROPOSICIONAL
Agenda
1. Introducción a lógica y proposición
2. Proposición lógica
3. Tipos de proposición lógica
4. Conectivos lógicos
5. Ejercicios
6. Formalización de proposiciones
7. Ejercicios
8. Tautología, contradicción, contingencia
9. Equivalencia lógica
10.Ejercicios
11.Resumen de lo aprendido
Lógica
• Logos (ant. griega) : Juicio, razón o regla.
• Ciencia que estudia las leyes que debe cumplir todo
razonamiento para ser formalmente válido.
• Evalúa la validez de un argumento o enunciado.
• Si algo carece de lógica, es lo mismo que decir que
algo es inválido de acuerdo a nuestros parámetros.
Proposición
• Enunciado
• Expresiones con sentido completo
• Todas las proposiciones son enunciados, pero no
todos los enunciados son proposiciones.
• Para que un enunciado sea considerado como
proposición debe ser verdadero o falso (Enunciado
cerrado)
Qué cursos llevas?
Quisiera que ya sea fin de año
Verona está en Italia V
Función 9 + y = 10 depende del valor de la variable y (Enunciado abierto)
proposicional 3 + 8 = 15 F
Proposición lógica
• Toda expresión lógica coherente que se caracteriza
por tener un valor de verdad o falsedad en un
determinado contexto.
• Se representan con: p, q, r, s …
• Tipos:
• Simple o atómica: No es afectada por conectores
lógicos
• Compuesta o molecular: afectada por conectores
lógicos
Tipos de proposiciones
Simple o atómica:
Somos estudiantes universitarios
Mi nombre es María
Soy una doctora
Fuimos al mundial de futbol
Compuesta o molecular:
Puedo manejar si y solo si el auto es automático
Estamos en invierno o en verano
Si estudio entonces aprobaré el curso
Conectivos lógicos
Negación: ˜ no
Conjunción: ∧ y
Disyunción ∨ o
Condicional: Si …. entonces
Bicondicional: Si y solo si
Operación Símbolo Significado
La negación
• La negación de la proposición p es ~ p
• Su tabla de verdad es: No
No es verdad que
p ~p Es falso que
V F No ocurre que
F V No es el caso que
• La negación es verdadera si la proposición es falsa
• La negación es falsa si la proposición verdadera
• Está lloviendo (p) | No está lloviendo(˜p)
• Es verano (p) | No es verano (˜p)
Numero de filas = 2𝑛 , 𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑑𝑒 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑒𝑠 = 2
La conjunción
La conjunción de la proposiciones p y q es p ∧ q
Conjuntivos: p q
Pero
Su tabla de verdad es: p q p ∧q
Sin embargo
V V V
Además
V F F A la vez
F V F No obstante
F F F Aunque
también
La conjunción es verdadera si ambos conjuntivos
también lo son
Soy alumno de la PUCP y de Centrum (p ∧ q)
Numero de filas = 22 , 𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑑𝑒 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑒𝑠 = 4
La disyunción
La disyunción de la proposiciones p y q es p ∨ q
Disyuntivos: p q
Su tabla de verdad es: p q p ∨q
V V V
V F V
F V V
F F F
La disyunción es verdadera si al menos uno de los
disyuntivos lo es.
Tengo clases en la PUCP o en Centrum (p ∨ q)
Numero de filas = 22 , 𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑑𝑒 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑒𝑠 = 4
La condicional
La condicional de la proposiciones p y q es p q
Antecedente: p Consecuente: q
Su tabla de verdad es: p q p q Si…entonces
V V V Puesto que
V F F Porque
Cuando
F V V
Cada vez que
F F V
El condicional es falso si el antecedente es verdadero y
el consecuente es falso
Si me ganara la tinka, entonces viajaría por el mundo
Numero de filas = 22 , 𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑑𝑒 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑒𝑠 = 4
La bicondicional
La bicondicional de la proposiciones p y q es p q
Equivalentes: p q
Su tabla de verdad es: p q p q
V V V
Cuando y solo cuando
Entonces y solamente entonces V F F
F V F
F F V
El bicondicional es verdadero si los valores de verdad de
las proposiciones simples que la componen son iguales
Seré ingeniero si y solo si sustento mi tesis exitosamente
Ejercicio 1
Si la proposición 𝑝 𝑣 𝑞 ↔ 𝑟 → 𝑝 es verdadera, y p
es falso, cuáles son los valores de q y r ?
Ejercicio 1
Si la proposición 𝑝 𝑣 𝑞 ↔ 𝑟 → 𝑝 es verdadera, , y
p es falso, cuáles son los valores de p, q y r ?
Rpta: p= F ; q = F; r = V
Rpta: p= F ; q = V; r = F
Ejercicio 2
Hallar la tabla de verdad del siguiente esquema
proposicional
p q (p ↔ q) ↔ [(p → q) ∧ (q → p)]
V V
V F
F V
F F
Formalización de proposiciones
1. Definir las proposiciones simples
2. Formalizar
Menor jerarquía: coma, punto y coma (Se resuelven 1o)
Mayor jerarquía: punto
Ejercicio 3
Es falso que, solo si leo las guías de laboratorio entonces
aprobaré el curso de Fundamentos de Programación
Proposiciones:
leo las guías de laboratorio p
aprobaré el curso de Fundamentos de Programación q
Formalización:
es falso que : ~
~ ( p q )
Ejercicios
• Decir que la suma de sucesiones positivas es una sucesión
positiva y el producto de sucesiones positivas es una sucesión
positiva equivale a decir que la suma y el producto de dos
números reales positivos es un número real positivo.
• El hidróxido de aluminio es maleable y, a igualdad de peso,
mejor conductor de la electricidad que el cobre
• Si el Rh de la futura madre es negativo, debe analizarse
inmediatamente después de cada parto la sangre del recién
nacido y, si ésta es Rh positivo, ha de administrarse a la
parturienta el suero apropiado si se desean evitar
complicaciones a otros hijos.
Tautología
Si es verdadera independientemente de los valores de verdad
de las proposiciones simples que la componen
p q (p ↔ q) ↔ [(p → q) ∧ (q → p)]
V V
V F
F V
F F
19
Tautología
Si es verdadera independientemente de los valores de verdad
de las proposiciones simples que la componen
p q (p ↔ q) ↔ [(p → q) ∧ (q → p)]
V V V V V
V F F F V
F V F V F
F F V V V
20
Tautología
Si es verdadera independientemente de los valores de verdad
de las proposiciones simples que la componen
p q (p ↔ q) ↔ [(p → q) ∧ (q → p)]
V V V V V V
V F F F F V
F V F V F F
F F V V V V
21
Tautología
Si es verdadera independientemente de los valores de verdad
de las proposiciones simples que la componen
p q (p ↔ q) ↔ [(p → q) ∧ (q → p)]
V V V V V V V
V F F V F F V
F V F V V F F
F F V V V V V
22
Contradicción
Si es falsa independientemente de los valores de verdad de las
proposiciones simples que la componen
p q (p ↔ q) ↔ ~ [(p → q) ∧ (q → p)]
V V
V F
F V
F F
23
Contradicción
Si es falsa independientemente de los valores de verdad de las
proposiciones simples que la componen
p q (p ↔ q) ↔ ~ [(p → q) ∧ (q → p)]
V V V V V
V F F F V
F V F V F
F F V V V
24
Contradicción
Si es falsa independientemente de los valores de verdad de las
proposiciones simples que la componen
p q (p ↔ q) ↔ ~ [(p → q) ∧ (q → p)]
V V V V V V
V F F F F V
F V F V F F
F F V V V V
25
Contradicción
Si es falsa independientemente de los valores de verdad de las
proposiciones simples que la componen
p q (p ↔ q) ↔ ~ [(p → q) ∧ (q → p)]
V V V F V V V
V F F V F F V
F V F V V F F
F F V F V V V
26
Contradicción
Si es falsa independientemente de los valores de verdad de las
proposiciones simples que la componen
p q (p ↔ q) ↔ ~ [(p → q) ∧ (q → p)]
V V V F F V V V
V F F F V F F V
F V F F V V F F
F F V F F V V V
27
Contingencia
Si no es ni verdad ni falsa independiente mente de los valores
de verdad de las proposiciones simples que la componen
p q (p ↔ q) V [(p → q) ∧ (q → p)]
V V
V F
F V
F F
28
Contingencia
Si no es ni verdad ni falsa independiente mente de los valores
de verdad de las proposiciones simples que la componen
p q (p ↔ q) V [(p → q) ∧ (q → p)]
V V V V V
V F F F V
F V F V F
F F V V V
29
Contingencia
Si no es ni verdad ni falsa independiente mente de los valores
de verdad de las proposiciones simples que la componen
p q (p ↔ q) V [(p → q) ∧ (q → p)]
V V V V V V
V F F F F V
F V F V F F
F F V V V V
30
Contingencia
Si no es ni verdad ni falsa independiente mente de los valores
de verdad de las proposiciones simples que la componen.
p q (p ↔ q) V [(p → q) ∧ (q → p)]
V V V V V V V
V F F F F F V
F V F F V F F
F F V V V V V
31
Equivalencias lógicas
Si dos esquemas tienen el mismo resultado en la tabla de
verdad, entonces se dice que son lógicamente equivalentes
entre sí.
Símbolos: ↔ ≡
32
Equivalencias lógicas
Determinar si los esquemas son equivalentes
(p ∧ q) ↔ ~ (~ p V ~ q)
p q (p ∧ q) ↔ ~ (~ p V ~ q)
V V
V F
F V
F F
33
Equivalencias lógicas
Determinar si los esquemas son equivalentes
(p ∧ q) ↔ ~ (~ p V ~ q)
p q (p ∧ q) ↔ ~ (~ p V ~ q)
V V V F F
V F F F V
F V F V F
F F F V V
34
Equivalencias lógicas
Determinar si los esquemas son equivalentes
(p ∧ q) ↔ ~ (~ p V ~ q)
p q (p ∧ q) ↔ ~ (~ p V ~ q)
V V V F F F
V F F F V V
F V F V V F
F F F V V V
35
Equivalencias lógicas
Determinar si los esquemas son equivalentes
(p ∧ q) ↔ ~ (~ p V ~ q)
p q (p ∧ q) ↔ ~ (~ p V ~ q)
V V V V F F F
V F F F F V V
F V F F V V F
F F F F V V V
36
Equivalencias lógicas
Determinar si los esquemas son equivalentes
(p ∧ q) ↔ ~ (~ p V ~ q)
p q (p ∧ q) ↔ ~ (~ p V ~ q)
V V V V V F F F
V F F V F F V V
F V F V F V V F
F F F V F V V V
37
Ejercicio - Anallogica
Cuando viajo me mareo. Siempre que me mareo, me da por tomar mucho líquido. Así
pues, siempre que me da por tomar mucho líquido, viajo.
Yo viajo: p
Yo me mareo: q
Me da por tomar mucho liquido : r
((p -> q) ∧ (q -> r)) ->(r -> p)
38
Resumen de lo aprendido
Proposición lógica: Toda expresión lógica coherente que se
caracteriza por tener un valor de verdad o falsedad en un
determinado contexto. Pueden ser simples o compuestas.
La negación
p ~p
V F
F V
La conjunción La disyunción La condicional La bicondicional
p q p ∧q p q p ∨q p q p q p q p q
V V V V V V V V V V V V
V F F V F V V F F V F F
F V F F V V F V V F V F
F F F F F F F F V F F V
39
Resumen de lo aprendido
Formalización de proposiciones
Menor jerarquía: coma, punto y coma (Se resuelven 1o)
Mayor jerarquía: punto
Tautología
Contradicción
Contingencia
Esquemas equivalentes: Si dos esquemas tienen el mismo
resultado en la tabla de verdad.
40
Bibliografía
Copi, Irving M. y Cohen Carl. (1995). Introducción a la Lógica. México: Editorial Limusa.
Eldon Whitesitt, J. (1992). Álgebra Booleana y sus Aplicaciones. México: Editorial SECSA.
Ferrarer Nova, J. (1990). Lógica-Matemática. (2da Edición). México: Fondo de Cultura
Económica.
Grillo Annunziata, M. (1990). Lógica y Lógica para la inteligencia artificial. Perú: Editorial
Cáceres.
Best, John. (2004). Psicología Cognoscitiva. México: Editorial Thomson.
Miller CH. (1999). Matemática, Razonamiento y Aplicaciones. (8va Edición). México: Pearson
Educación.
Rosales, D. (1974). Lógica proposicional (Ejercicios). Lima: Editorial Tercer Mundo.
41
