FUNDAMENTOS DE PROGRAMACIÓN

2019-1

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

• La lógica es el estudio de los métodos y principios utilizados

para distinguir el razonamiento correcto del incorrecto.
(Copi, Cohen & McMahon, 2016)

• La lógica es la base de todo razonamiento matemático y de

todo razonamiento automatizado (Rosen & Krithivasan, 2012).
• Tiene aplicaciones prácticas para el diseño de máquinas
informáticas, la especificación de sistemas, la inteligencia
artificial, la programación informática, los lenguajes de
programación y otras áreas de la informática, así como a
muchos otros campos de estudio.
Proposición

• Una proposición es una oración declarativa (es decir,

una oración que declara un hecho) que es
verdadera o falsa, pero no ambas.
(Rosen & Krithivasan, 2012)
• Se suelen representar por p, q, r, s…
Ejemplos:
• p: La corriente es el flujo de carga. V
• q: El centro de masa se ubica siempre en el centroide. F
• r: 3 + 8 = 15 F
• s: 69 < 96 V
• t: La raíz cuadrada de 25 es 5, o -5. V
Proposición

• Una proposición es una oración declarativa (es decir,

una oración que declara un hecho) que es
verdadera o falsa, pero no ambas.
(Rosen & Krithivasan, 2012)
• Se suelen representar por p, q, r, s…
Ejemplos:
• p: La corriente es el flujo de carga. V ( != 0 )
• q: El centro de masa se ubica siempre en el centroide. F ( == 0 )
• r: 3 + 8 = 15 F ( == 0 )
• s: 69 < 96 V ( !=0 )
• t: La raíz cuadrada de 25 es 5, o -5. V ( != 0 )
 Proposición

• Una proposición es una oración declarativa (es decir,

una oración que declara un hecho) que es
verdadera o falsa, pero no ambas.
(Rosen & Krithivasan, 2012)
• Se suelen representar por p, q, r, s…
Ejemplos:
• p: La corriente es el flujo de carga. V ( != 0 )
• q: El centro de masa se ubica siempre en el centroide. F ( == 0 )
• r: 3 + 8 = 15 F ( == 0 )

• No son proposiciones:
• ¿Cuáles son las leyes del movimiento de Newton?
• ¿Qué es lo que transporta la corriente en un metal?
Función
• 9 + y = 10 depende del valor de la variable y (Enunciado abierto)
proposicional
Tipos de proposiciones

Simple o atómica: No es afectada por conectores lógicos.

• Somos estudiantes universitarios.
• Un sistema abierto puede intercambiar energía y materia con su entorno.
• La energía es la capacidad para hacer trabajo.
• E = mc2
• La energía cinética es la energía del movimiento.
• La entropía es una especie de desorden de todo aquello que es sistematizado.
Compuesta o molecular: Afectada por conectores lógicos.
• La energía no se crea ni se destruye. Solo se transfiere o transforma de una forma a
otra.
• ¿Es un sistema abierto o es un sistema cerrado?
• Cada transferencia de energía que se produce aumentará la entropía del universo y
reducirá la cantidad de energía utilizable disponible para realizar trabajo.
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, ni, salvo, excepto
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
p: El desplazamiento es igual a velocidad x tiempo.
~p: El desplazamiento no es igual a velocidad x tiempo.
p: La suma de los ángulos internos de un triángulo es 180.
~p: La suma de los ángulos internos de un triángulo no es 180.
La negación
• La negación de la proposición p es ~ p
• Su tabla de verdad es: No, ni, salvo, excepto
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
p: El desplazamiento es igual a velocidad x tiempo.
~p: El desplazamiento no es igual a velocidad x tiempo.
p: La suma de los ángulos internos de un triángulo es 180.
~p: La suma de los ángulos internos de un triángulo no es 180.
La negación – Ejemplos en C

En el lenguaje C el operador de negación es el !, cuyo

resultado es 0 si el operando tiene un valor distinto de
cero, y 1 en caso contrario.
Expresión Valor
!4 0
!a Depende del valor de a
!’z’ 0
!(x+6.9) Depende del valor de x
!!4 1
La conjunción
La conjunción de la proposiciones p y q es p ∧ q
Conjuntivos: p q
Y, e
Su tabla de verdad es: Pero
p q p ∧q Sin embargo
V V V Además
V F F A la vez
No obstante
F V F
Aunque
F F F también

La conjunción es verdadera si ambos conjuntivos

también lo son
La unidad para medir la energía es el Joule, también para medir el trabajo. ( p ∧ q)
Número de filas = 2𝑛 , 𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑑𝑒 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑒𝑠 22 = 4 filas
La conjunción
La conjunción de la proposiciones p y q es p ∧ q
Conjuntivos: p q
Y, e
Su tabla de verdad es: Pero
p q p ∧q Sin embargo
V V V Además
V F F A la vez
No obstante
F V F
Aunque
F F F también

La conjunción es verdadera si ambos conjuntivos

también lo son
La unidad para medir la energía es el Joule, también para medir el trabajo. ( p ∧ q)
Número de filas = 2𝑛 , 𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑑𝑒 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑒𝑠 22 = 4 filas
La conjunción – Ejemplos en C
En el lenguaje C el operador de conjunción es el &&
Da como resultado el valor lógico 1 si ambos operandos son distintos de 0. Si
uno de ellos es cero el resultado es el valor lógico 0. Si el primer operando es
igual a cero, el segundo operando no es evaluado.

Inicialización Expresión Valor

i=j=k=3; i && j && k 1
x=0.0; x && i && j-3 0
y=2.3;
x < i && j-3 0
i < j && x < y 0
i == j && x <= y 1
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 O
V V V O bien
V F V
F V V
F F F

La disyunción es verdadera si al menos uno de los

disyuntivos lo es.
Las moléculas de un gas ideal no se atraen o repelen entre ellas. (p ∨ q)

Número de filas = 2𝑛 , 𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑑𝑒 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑒𝑠 22 = 4 filas

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 O
V V V O bien
V F V
F V V
F F F

La disyunción es verdadera si al menos uno de los

disyuntivos lo es.
Las moléculas de un gas ideal no se atraen o repelen entre ellas. (p ∨ q)

Número de filas = 2𝑛 , 𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑑𝑒 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑒𝑠 22 = 4 filas

La disyunción – Ejemplos en C
En el lenguaje C el operador de disyunción es el ||
El resultado es cero si ambos operandos son 0. Si uno de los
operandos tiene un valor distinto de 0, el resultado es 1. Si el
primer operando es distinto de 0, el segundo operando no es
evaluado.
Inicialización Expresión Valor
i=j=k=3; i || j || k 1
x=0.0; x || i || j-3 1
y=2.3;
x < i || j-3 1
i < j || x < y 1
i > j || x >= y 0
La condicional
La condicional de la proposiciones p y q es p → q
Antecedente: p Consecuente: q
Su tabla de verdad es: Si…entonces
p q p →q Puesto que
Porque
V V V
Cuando
V F F Cada vez que
F V V En consecuencia
F F V Siempre que
Supone
El condicional es falso si el antecedente es verdadero y
el consecuente es falso
Si sustentas tu tesis, tus padres te llevan de viaje por Europa.
Número de filas = 2𝑛 , 𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑑𝑒 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑒𝑠 22 = 4 filas
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
Si y solo si V V V
Es necesario y suficiente
V F F
Equivale
Cuando y sólo cuando F V F
Entonces y solamente entonces F F V

El bicondicional es verdadero si los valores de verdad de

las proposiciones simples que la componen son iguales.
Está en equilibrio si y solo si la suma de todas las fuerzas que actúan sobre un
cuerpo es igual a cero.
Precedencia de operadores lógicos
Operador Precedencia
~ 1
∧ 2
∨ 3
→ 4
↔ 5
Ejercicio 1

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 1ero)
Mayor jerarquía: punto
Ejercicio 2
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.
𝑞 : aprobaré el curso de Fundamentos de Programación.

Formalización:
es falso que : ~

~ ( p → q )
Ejercicio 3
Si la suma de los ángulos internos de un polígono es
180o o el polígono tiene 3 lados, entonces se trata de un
triángulo.
También podríamos decir que si un polígono es un
triángulo, entonces tiene 3 lados y la suma de sus
ángulos internos es 180o.

¿Qué proposiciones se pueden reconocer y cómo se

componen?
Ejercicio 3
Proposiciones
𝑝: Suma de ángulos internos == 180
𝑞: Número de lados == 3
𝑟: Es un triángulo
𝑝𝑣𝑞 →𝑟 ↔𝑟 →𝑞∧𝑝
Si la proposición compuesta es verdadera y 𝑝 es falsa,
¿cuáles son los valores de 𝒑, 𝒒 y 𝒓?
Rpta: 𝑝 = 𝐹 ; 𝑞 = 𝐹 ; 𝑟 = 𝐹
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

27
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

28
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

29
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

30
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

31
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

32
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

33
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

34
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

35
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

36
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

37
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

38
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

39
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: ↔ ≡

40
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

41
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

42
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

43
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

44
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

45
Ejercicio
Si un triángulo tiene tres ángulos, un cuadrado tiene cuatro ángulos rectos. Un
triángulo tiene tres ángulos y su suma vale dos ángulos rectos. Si los rombos tienen
cuatro ángulos rectos, los cuadrados no tienen cuatro ángulos rectos. Por tanto, los
rombos no tienen cuatro ángulos rectos.
Formalización:
p: un triángulo tiene 3 ángulos
q: un cuadrado tiene 4 ángulos rectos
r: la suma vale dos ángulos rectos
s: los rombos tienen cuatro ángulos rectos

Premisas:
𝑝 →𝑞
𝑝∧ 𝑟
𝑠 → ~𝑞
Conclusión:
~𝑠

46
Ejercicio
Si x == 1 e y == 2, entonces z == 3. Si y == 2, z == 3, en consecuencia w == 0. Se sabe
que x == 1. Por consiguiente w == 0.
Formalización:
p: x == 1
q: y == 2
r: z == 3
s: w == 0

Premisas:
𝑝∧𝑞 →𝑟
(𝑞 → 𝑟) → 𝑠
𝑝
Conclusión:
𝑠

47
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

48
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.

49
Bibliografía
Rosen, K. H., & Krithivasan, K. (2012). Discrete mathematics and its applications: with
combinatorics and graph theory. Tata McGraw-Hill Education.

Copi, I. M., Cohen, C., & McMahon, K. (2016). Introduction to logic. Routledge.

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.

50