LÓGICA
MATEMÁTICA
El propósito de la Lógica es
proveer de un mecanismo
general para deducir
proposiciones en cualquier
teoría matemática.
PROPOSICIONES:
• Una proposición es una frase en la que se declara algo y a la que le podemos dar
un valor de verdad verdadero o falso.
EJEMPLOS:
• Por dos puntos pasa una y solo una recta.
• “La suma de tres y cero es igual a tres”
• El cuadrado de un número real es igual a cero si y solo si el número es igual a
cero.
• Si dos lados de un triángulo son congruentes, entonces los ángulos opuestos a
estos lados también son congruentes.
PRINCIPIOS FUNDAMENTALES DE UNA PROPOSICIÓN:
AXIOMA
1. Principio del tercero excluido:
El valor de verdad de toda proposición o bien es verdadero o bien es falso.
Ejemplo:
• 10 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑎𝑟
• 24 − 30 = 5
• 2 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑟𝑖𝑚𝑜
• 63 𝑒𝑠 𝑚ú𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 7 y de 9
PRINCIPIOS FUNDAMENTALES DE UNA PROPOSICIÓN:
AXIOMA
2. Principio de no contradicción:
Si el valor de verdad de una proposición es verdadero, no puede ser también falso; y si es
falso, su valor de verdad no puede ser verdadero.
Ejemplo:
• 3 𝒆𝒔 𝒖𝒏 𝒏ú𝒎𝒆𝒓𝒐 𝒑𝒓𝒊𝒎𝒐
• 𝟑 𝒏𝒐 𝒆𝒔 𝒖𝒏 𝒏ú𝒎𝒆𝒓𝒐 𝒑𝒓𝒊𝒎𝒐
PRINCIPIOS FUNDAMENTALES DE UNA PROPOSICIÓN:
AXIOMA
3. Conectivos lógicos:
Hay proposiciones que se expresan mediante otras proposiciones con una o más de las
siguientes palabras: negación, conjunción, disyunción, implicación o doble implicación,
denominadas conectivos lógicos.
PRINCIPIOS FUNDAMENTALES DE UNA PROPOSICIÓN:
AXIOMA
4. Proposiciones simples:
Hay proposiciones (denominadas simples) que no se expresan mediante otras
proposiciones.
5. Formas proposicionales:
Toda proposición es, o bien simple, o bien se expresa mediante otras proposiciones y
uno o varios de los conectivos lógicos: negación, conjunción, disyunción, implicación o
doble implicación (denominadas compuestas o formas proposicionales).
LENGUAJE Y SINTAXIS:
• Signos para representar proposiciones:
Letras proposicionales : p,q,r,s,t.
• Ejemplo:
𝑝: "El número −5 es mayor qu𝑒 0"
𝑞: "No es verdad que dos rectas paralelas se intercecan".
𝑟: "𝐸𝑛 𝑢𝑛 𝑟𝑒𝑐𝑡𝑎, ℎ𝑎𝑦 𝑎𝑙 𝑚𝑒𝑛𝑜𝑠 𝑑𝑜𝑠 𝑝𝑢𝑛𝑡𝑜𝑠 𝑑𝑖𝑠𝑡𝑖𝑛𝑡𝑜𝑠".
LENGUAJE Y SINTAXIS:
• Signos para determinar el valor de verdad de una proposición:
• V y F para verdadero y falso, respectivamente.
• V y F se denominan valor de verdad verdadero y valor de
verdad falso.
LENGUAJE Y SINTAXIS:
• Reglas para el uso de signos:
Conectivos lógicos Regla Escritura Lectura
Se escribe como
prefijo de un signo "𝑛𝑒𝑔𝑎𝑐𝑖ó𝑛 𝑑𝑒 𝑝”
Negación ¬𝑝
que representa
una proposición
Conjunción 𝑝∧𝑞 “𝑐𝑜𝑛𝑗𝑢𝑛𝑐𝑖ó𝑛 𝑑𝑒 𝑝 𝑦 𝑞”
Disyunción 𝑝∨𝑞 “𝑑𝑖𝑠𝑦𝑢𝑛𝑐𝑖ó𝑛 𝑑𝑒 𝑝 𝑦 𝑞”
Se escriben entre
Implicación dos proposiciones 𝑝⇒𝑞 “𝑖𝑚𝑝𝑙𝑖𝑐𝑎𝑐𝑖ó𝑛 𝑑𝑒 𝑝 𝑦 𝑞”
Doble implicación 𝑝⇔𝑞 “𝑑𝑜𝑏𝑙𝑒 𝑖𝑚𝑝𝑙𝑖𝑐𝑎𝑐𝑖ó𝑛 𝑑𝑒 𝑝 𝑦 𝑞”
LENGUAJE Y SINTAXIS:
• Uso de paréntesis como signos de agrupación
Se utilizan para evitar ambigüedad.
Ejemplo:
La proposición 𝑝 ∧ 𝑞 ∨ 𝑟 se podría pensar como:
𝑝 ∧ (𝑞 ∨ 𝑟) 𝑜 (𝑝 ∧ 𝑞) ∨ 𝑟.
• Se utilizan para representar proposiciones compuestas
Ejemplo:
( 𝑝 ∨ 𝑞 ∧ 𝑝) ⇒ 𝑞
LENGUAJE Y SINTAXIS:
• Signos para representar las conectivas lógicas:
Conectivos lógicos Signos
Negación ¬
Conjunción ∧
Disyunción ∨
Implicación ⇒
Doble implicación ⇔
VALOR DE VERDAD DE UNA PROPOSICIÓN:
• Para definir implícitamente el valor de verdad de una proposición, es
suficiente con indicar los valores de verdad de cada una de las cinco
proposiciones:
¬𝑝 "𝑁𝑒𝑔𝑎𝑐𝑖ó𝑛 𝑑𝑒 𝑝"
𝑝∧𝑞 "𝑝 𝑦 𝑞"
𝑝∨𝑞 "𝑝 𝑜 𝑞"
𝑝⇒𝑞 "𝑝 𝑖𝑚𝑝𝑙𝑖𝑐𝑎 𝑞"
𝑝⇔𝑞 "𝑝 si y sólo si 𝑞"
AXIOMAS DE LOS CONECTIVOS LÓGICOS:
• AXIOMA DE NEGACIÓN:
𝒑 ¬𝒑
V F
F V
AXIOMAS DE LAS CONECTIVAS LÓGICAS:
• AXIOMA DE CONJUNCIÓN:
𝒑 𝒒 𝒑∧𝒒
V V V
V F F
F V F
F F F
AXIOMAS DE LAS CONECTIVAS LÓGICAS:
• AXIOMA DE DISYUNCIÓN:
𝒑 𝒒 𝒑∨𝒒
V V V
V F V
F V V
F F F
AXIOMAS DE LAS CONECTIVAS LÓGICAS:
• AXIOMA DE IMPLICACIÓN:
𝒑 𝒒 𝒑⇒𝒒
V V V
V F F
F V V
F F V
AXIOMAS DE LAS CONECTIVAS LÓGICAS:
• AXIOMA DE DOBLE IMPLICACIÓN:
𝒑 𝒒 𝒑⇔𝒒
V V V
V F F
F V F
F F V
AXIOMAS DE LAS CONECTIVAS LÓGICAS:
En resumen:
𝒑 𝒒 𝒑∧𝒒 𝒑∨𝒒 𝒑⇒𝒒 𝒑⇔𝒒
V V V V V V 𝒑 ¬𝒑
V F F V F F V F
F V F V V F F V
F F F F V V
EJEMPLOS:
• 𝑝: 5 es un número primo. (V)
• 𝑞: 5 es divisible para sí mismo y para la unidad. (V)
¬𝑝 5 no es un número primo
5 es un número primo y es divisible
𝑝∧𝑞 para sí mismo y para la unidad
𝑝∨𝑞 5 es un número primo o es divisible
para sí mismo y para la unidad
Si 5 es un número primo, entonces es
𝑝⇒𝑞 divisible para sí mismo y para la unidad
5 es un número primo, sí y solo sí, es
𝑝⇔𝑞 divisible para sí mismo y para la unidad
EJEMPLOS:
• 𝑝: 21 𝑒𝑠 𝑚ú𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 7. (V)
• 𝑞: 21 𝑒𝑠 𝑚ú𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 3 . (V)
¬𝑞
𝑝∧𝑞
𝑝∨𝑞
𝑝⇒𝑞
𝑝⇔𝑞
EJEMPLOS:
• 𝑝: 49 𝑒𝑠 𝑚ú𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 7 . (V)
• 𝑞: 7 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑎𝑟 (F)
¬𝑞 7 𝑛𝑜 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑎𝑟 (V)
49 𝑒𝑠 𝑚ú𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 7 𝑦 7 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑎𝑟 (F)
𝑝∧𝑞
𝑝∨𝑞 49 𝑒𝑠 𝑚ú𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 7 ó 7 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑎𝑟 (V)
𝑝⇒𝑞 𝑆𝑖 49 𝑒𝑠 𝑚ú𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 7 , 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 7 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑎𝑟 (F)
𝑝⇔𝑞 49 𝑒𝑠 𝑚ú𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 7 𝑠𝑖 𝑦 𝑠ó𝑙𝑜 𝑠𝑖7 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑎𝑟 (F)
TABLA DE VERDAD DE UNA PROPOSICIÓN:
• En esta tabla se consignan todos los posibles valores de verdad de una
proposición, considerando los posibles valores de verdad de las
proposiciones que la forman.
EJEMPLOS:
1. Si 𝑝 y 𝑞 representan cualquier proposición, ¿cuáles son todas las posibilidades para el
valor de verdad de la proposición: ((𝑝 ∨ 𝑞) ∧ 𝑝)) ⇒ 𝑞?
𝒑 𝒒 𝒑∨𝒒 𝒑∨𝒒 ∧𝒑 𝒑∨𝒒 ∧𝒑 ⇒𝒒
V V V V V
V F V V F
F V V F V
F F F F V
EJEMPLOS:
2. Si 𝑝, 𝑞 y 𝑟 representan cualquier proposición, ¿cuáles son todas las posibilidades
para el valor de verdad de la proposición [(𝑝 ∨ 𝑞) ∧ 𝑟)] ⟺ (𝑞 ⇒ 𝑟)?
𝒑 𝒒 𝒓 𝒑 ∨ 𝒒 (𝒑 ∨ 𝒒) ∧ 𝒓) (𝒒 ⇒ 𝒓) [(𝒑 ∨ 𝒒) ∧ 𝒓)] ⟺ (𝒒 ⇒ 𝒓)
V V V V V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
EJEMPLOS:
• Si 𝑝 𝑦 𝑞 representan cualquier proposición, ¿cuáles son todas las posibilidades
para el valor de verdad de la proposición [¬(𝑝 ∨ 𝑞) ⟹ 𝑝) ] ∧ 𝑞?
𝒑 𝒒 𝒑 ∨ 𝒒 ¬(𝒑 ∨ 𝒒) ¬(𝒑 ∨ 𝒒) ⟹ 𝒑 [¬(𝒑 ∨ 𝒒) ⟹ 𝒑] ∧ 𝒒
𝑉 𝑉
𝑉 𝐹
𝐹 𝑉
𝐹 𝐹
EJEMPLOS:
• Determine el valor de verdad de la proposición 𝑠 ⇒ ¬ 𝑝 ∨ 𝑞 .
𝒑 𝒒 𝒔 𝒑 ∨𝒒 ¬(𝒑 ∨ 𝒒) 𝒔⇒¬ 𝒑∨𝒒
V V V V F F
V V F V F V
V F V V F F
V F F V F V
F V V V F F
F V F V F V
F F V F V V
F F F F V V
EJEMPLOS:
• Si el valor de verdad de la proposición 𝑠 ⇒ ¬ 𝑝 ∧ 𝑞 es falso.
Determine el valor de verdad de las proposiciones 𝑝 𝑦 𝑞.
𝒑 𝒒 𝒔 𝒑 ∧𝒒 ¬(𝒑 ∧ 𝒒) 𝒔⇒¬ 𝒑∧𝒒
V V V V F F
EJEMPLOS:
• Determinemos el valor de verdad 𝑝, 𝑞, 𝑡; el valor de verdad de la
proposición 𝒑 ∧ 𝒒 ∧ 𝒒 ⇒ 𝒕 es verdadera
𝒑 𝒒 𝒕 𝒑∧𝒒 (𝒒 ⇒ 𝒕) 𝒑∧𝒒 ∧ 𝒒⇒𝒕
EJEMPLOS:
• Determinemos el valor de verdad 𝑝, 𝑞, 𝑡 si: 𝑝 ∧ 𝑞 ⇒ 𝑞 ⇔ 𝑡 es falso
𝒑 𝒒 𝒕 𝒑∧𝒒 𝒒⇔𝒕 𝒑∧𝒒 ⇒ 𝒒⇔𝒕
EJEMPLOS:
Determine el valor de verdad de las proposiciones 𝑝, 𝑞 𝑦 𝑠 con la
información adjunta.
𝒑 𝒒 𝒔 𝒑 ∨𝒒 ¬(𝒑 ∨ 𝒒) 𝒔⇔¬ 𝒑∨𝒒
F F F F V F
EJEMPLOS:
Si el valor de verdad de la proposición, ( 𝑝 ⇒ 𝑞) ∧ ( 𝑟 ⇒ 𝑠) ⇒ ( 𝑞 ∨ 𝑠) es
falso; determine el valor de verdad de las proposiciones 𝑝, 𝑞, 𝑟, 𝑠
𝒑 𝒒 𝒓 𝒔 𝒑⇒𝒒 𝒓⇒𝒔 𝒒 ∨ 𝒔 ( 𝒑 ⇒ 𝒒) ∧ ( 𝒓 ⇒ 𝒔) ( 𝒑 ⇒ 𝒒) ∧ ( 𝒓 ⇒ 𝒔) ⇒ ( 𝒒 ∨ 𝒔)
F F F F V V F V F
EJEMPLOS:
Si el valor de verdad de la proposición, ¬𝑝 ∧ 𝑞 ⇒ ¬𝑠 ∨ 𝑟 es falso; determine cuál de
las proposiciones son verdaderas:
I. ¬ 𝑝 ⇒ 𝑞 ⇒ 𝑟
II. ¬ ¬𝑝 ∧ 𝑞 ∧ ¬𝑟 ∨ 𝑟 ∧ 𝑠
III. 𝑝 ∨ ¬𝑞 ∧ 𝑝 ∨ ¬𝑞
¬𝑝 ∧ 𝑞 ⇒ ¬𝑠 ∨ 𝑟 es F
Por implicación
¬𝑝 ∧ 𝑞 es V ¬𝑠 ∨ 𝑟 es F
Por conjunción Por disyunción
¬𝑝 es V y 𝑞 es V ¬𝑠 es F y 𝑟 es F
Por negación Por negación
𝑝 es F 𝑠 es V
EJEMPLOS:
Si el valor de verdad de la proposición, ¬𝑝 ∧ 𝑞 ⇒ ¬𝑠 ∨ 𝑟 es falso; determine 𝒑 F
cuál de las proposiciones son verdaderas:
𝒒 V
𝒓 F
I. ¬ 𝑝⇒𝑞 ⇒𝑟
𝒔 V
𝒑 𝒒 𝒓 𝒑⇒𝒒 𝒑⇒𝒒 ⇒𝒓 ¬ 𝒑⇒𝒒 ⇒𝒓
EJEMPLOS:
Si el valor de verdad de la proposición, ¬𝑝 ∧ 𝑞 ⇒ ¬𝑠 ∨ 𝑟 es falso; determine 𝒑 F
cuál de las proposiciones son verdaderas:
𝒒 V
𝒓 F
II. ¬ ¬𝑝 ∧ 𝑞 ∧ ¬𝑟 ∨ 𝑟 ∧ 𝑠
𝒔 V
𝒑 𝒒 𝒓 𝒔 ¬𝒑 ∧ 𝒒 ¬ ¬𝒑 ∧ 𝒒 ¬𝒓 ∨ 𝒓 (¬𝒓 ∨ 𝒓) ∧ 𝒔 ¬(¬𝒑 ∧ 𝒒) ∧ [(¬𝒓 ∨ 𝒓) ∧ 𝒔]
EJEMPLOS:
Si el valor de verdad de la proposición, ¬𝑝 ∧ 𝑞 ⇒ ¬𝑠 ∨ 𝑟 es falso; determine 𝒑 F
cuál de las proposiciones son verdaderas:
𝒒 V
𝒓 F
III. 𝑝 ∨ ¬𝑞 ∧ 𝑝 ∨ ¬𝑞
𝒔 V
𝒑 𝒒 ¬𝒒 (𝒑 ∨ ¬𝒒) (𝒑 ∨ ¬𝒒) ∧ 𝒑 [(𝒑 ∨ ¬𝒒) ∧ 𝒑] ∨ ¬𝒒