Lógica

Prof. Juan José Núñez Fernández

juannfer@unap.cl
¿Qué es la lógica?
Algunos conceptos…

Proposiciones: afirmación que sea verdadera o falsa.

• Seis es número primo
• Compra tres chocolitos
• Hernán Rivera Letelier escribió Santa María de las Flores Negras
• 𝑥+𝑦 <5
• 1 es un número entero, pero 2 no lo es
• ¿Cuántos años tienes?

Se denotan con letras minúsculas 𝑝, 𝑞, 𝑟, … 96 20 63 0

Algunos conceptos…

Proposiciones: afirmación que sea verdadera o falsa.

• Seis es número primo
• Compra tres chocolitos
• Hernán Rivera Letelier escribió Santa María de las Flores Negras
• 𝑥+𝑦 <5
• 1 es un número entero, pero 2 no lo es
• ¿Cuántos años tienes?

Se denotan con letras minúsculas 𝑝, 𝑞, 𝑟, … 96 20 63 0

Algunos conceptos…

Valor de verdad: veracidad o falsedad de una

proposición

Proposición compuesta: combinación de

proposiciones

“Él álgebra es mi asignatura preferida y Daddy Yankee es un

gran compositor”
Algunos conceptos…

Proposición compuesta: su valor de verdad

está completamente determinado por los valores de verdad de
cada una de las proposiciones que la componen y la forma en que
están conectadas

Variables de enunciados: proposición

arbitraria con valor de verdad no especificado

Sus posibles estados, verdaderos o falsos, se representan en

tablas de verdad
Algunos conceptos…
Tablas de Verdad: enumera todas las posibles
combinaciones de los valores de verdad de cada proposición.

Si consideramos la proposición compuesta por 𝑝, 𝑞 y 𝑟, la tabla

de verdad es: 𝑝 𝑞 𝑟
Algunos conceptos…
Tablas de Verdad: enumera todas las posibles
combinaciones de los valores de verdad de cada proposición.

Si consideramos la proposición compuesta por 𝑝, 𝑞 y 𝑟, la tabla

de verdad es: 𝑝 𝑞 𝑟
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Algunos conceptos…
Conexión entre proposiciones:
proposiciones compuestas por conexiones gramaticales

• Conjunción
• Disyunción
• Disyunción exclusiva
• Negación
• Proposición condicional
Algunos conceptos…
Conjunción: Sean 𝑝 y 𝑞 dos proposiciones
cualesquiera,
• Proposición compuesta “𝑝 y 𝑞”
• Escribiremos 𝑝 ∧ 𝑞
• Esta proposición será verdadera únicamente en el caso de
que ambas lo sean.
𝑝 𝑞 𝑝∧𝑞
Algunos conceptos…
Conjunción: Sean 𝑝 y 𝑞 dos proposiciones
cualesquiera,
• Proposición compuesta “𝑝 y 𝑞”
• Escribiremos 𝑝 ∧ 𝑞
• Esta proposición será verdadera únicamente en el caso de
que ambas lo sean.
𝑝 𝑞 𝑝∧𝑞

V V

V F

F V

F F
Algunos conceptos…
Conjunción: Sean 𝑝 y 𝑞 dos proposiciones
cualesquiera,
• Proposición compuesta “𝑝 y 𝑞”
• Escribiremos 𝑝 ∧ 𝑞
• Esta proposición será verdadera únicamente en el caso de
que ambas lo sean.
𝑝 𝑞 𝑝∧𝑞

V V

V F

F V

F F
Algunos conceptos…
Conjunción: Sean 𝑝 y 𝑞 dos proposiciones
cualesquiera,
• Proposición compuesta “𝑝 y 𝑞”
• Escribiremos 𝑝 ∧ 𝑞
• Esta proposición será verdadera únicamente en el caso de
que ambas lo sean.
𝑝 𝑞 𝑝∧𝑞

V V V

V F

F V

F F
Algunos conceptos…
Conjunción: Sean 𝑝 y 𝑞 dos proposiciones
cualesquiera,
• Proposición compuesta “𝑝 y 𝑞”
• Escribiremos 𝑝 ∧ 𝑞
• Esta proposición será verdadera únicamente en el caso de
que ambas lo sean.
𝑝 𝑞 𝑝∧𝑞

V V V

V F F

F V F

F F F
Algunos conceptos…
Disyunción: Sean 𝑝 y 𝑞 dos proposiciones
cualesquiera,
• Proposición compuesta “𝑝 o 𝑞”
• Escribiremos 𝑝 ∨ 𝑞
• Esta proposición será verdadera si al menos una de las dos
lo es.
𝑝 𝑞 𝑝∨𝑞

V V

V F

F V

F F
Algunos conceptos…
Disyunción: Sean 𝑝 y 𝑞 dos proposiciones
cualesquiera,
• Proposición compuesta “𝑝 o 𝑞”
• Escribiremos 𝑝 ∨ 𝑞
• Esta proposición será verdadera si al menos una de las dos
lo es.
𝑝 𝑞 𝑝∨𝑞

V V V

V F V

F V V

F F F
Algunos conceptos…
Disyunción exclusiva: Sean 𝑝 y 𝑞 dos
proposiciones cualesquiera,
• Proposición compuesta “𝑝 o 𝑞, pero no ambos”
• Escribiremos 𝑝 ∨ 𝑞
• Esta proposición será verdadera si una u otra, pero no
ambas, son verdaderas.
𝑝 𝑞 𝑝∨𝑞

V V

V F

F V

F F
Algunos conceptos…
Disyunción exclusiva: Sean 𝑝 y 𝑞 dos
proposiciones cualesquiera,
• Proposición compuesta “𝑝 o 𝑞, pero no ambos”
• Escribiremos 𝑝 ∨ 𝑞
• Esta proposición será verdadera si una u otra, pero no
ambas, son verdaderas.
𝑝 𝑞 𝑝∨𝑞

V V

V F

F V

F F
Algunos conceptos…
Disyunción exclusiva: Sean 𝑝 y 𝑞 dos
proposiciones cualesquiera,
• Proposición compuesta “𝑝 o 𝑞, pero no ambos”
• Escribiremos 𝑝 ∨ 𝑞
• Esta proposición será verdadera si una u otra, pero no
ambas, son verdaderas.
𝑝 𝑞 𝑝∨𝑞

V V F

V F V

F V V

F F F
Algunos conceptos…
Negación: Sean 𝑝 y 𝑞 dos proposiciones cualesquiera,
• Proposición “negación de 𝑝” o “no 𝑝”
• Escribiremos ¬𝑝, también ~𝑝 o 𝑝ҧ
• Esta proposición será verdadera cuando sea falsa y falsa
cuando sea verdadera.
𝑝 ¬𝑝

F
Algunos conceptos…
Negación: Sean 𝑝 y 𝑞 dos proposiciones cualesquiera,
• Proposición “negación de 𝑝” o “no 𝑝”
• Escribiremos ¬𝑝, también ~𝑝 o 𝑝ҧ
• Esta proposición será verdadera cuando sea falsa y falsa
cuando sea verdadera.
𝑝 ¬𝑝

V F

F V
 Algunos conceptos…
Condicional: Sean 𝑝 y 𝑞 dos proposiciones cualesquiera,
• Proposición “si 𝑝, entonces 𝑞” o “𝑝 implica 𝑞”
• Escribiremos 𝑝 ⟹ 𝑞
• 𝑝 se le llama hipótesis, antecedente, premisa o condición
suficiente
• 𝑞 tesis, consecuente, conclusión o condición necesaria del
condicional
 Algunos conceptos…
Condicional: Sean 𝑝 y 𝑞 dos proposiciones cualesquiera,
• Proposición “si 𝑝, entonces 𝑞” o “𝑝 implica 𝑞”
• Escribiremos 𝑝 ⟹ 𝑞
• Es falsa únicamente cuando una premisa verdadera conduce a
una conclusión falsa
𝑝 𝑞 𝑝⇒𝑞

V V

V F

F V

F F
 Algunos conceptos…
Condicional: Sean 𝑝 y 𝑞 dos proposiciones cualesquiera,
• Proposición “si 𝑝, entonces 𝑞” o “𝑝 implica 𝑞”
• Escribiremos 𝑝 ⟹ 𝑞
• Es falsa únicamente cuando una premisa verdadera conduce a
una conclusión falsa
𝑝 𝑞 𝑝⇒𝑞

V V

V F F

F V

F F
 Algunos conceptos…
Condicional: Sean 𝑝 y 𝑞 dos proposiciones cualesquiera,
• Proposición “si 𝑝, entonces 𝑞” o “𝑝 implica 𝑞”
• Escribiremos 𝑝 ⟹ 𝑞
• Es falsa únicamente cuando una premisa verdadera conduce a
una conclusión falsa
𝑝 𝑞 𝑝⇒𝑞

V V V

V F F

F V V

F F V
 Algunos conceptos…
Recíproco: Sean 𝑝 y 𝑞 dos proposiciones cualesquiera,
• El recíproco de 𝑝 ⟹ 𝑞 es la proposición condicional 𝑞 ⟹ 𝑝

Contrarrecíproco: Sean 𝑝 y 𝑞 dos proposiciones

cualesquiera,
• El contrarrecíproco de 𝑝 ⟹ 𝑞 es la proposición condicional ¬𝑞 ⟹
¬𝑝
 Algunos conceptos…
Proposición bicondicional: Sean 𝑝 y 𝑞 dos
proposiciones cualesquiera,
• Proposición “𝑝 si y solo si 𝑞”
• Escribiremos 𝑝 ⟺ 𝑞

¿Cuál es su tabla de verdad?

 Algunos conceptos…
Proposición bicondicional: Sean 𝑝 y 𝑞 dos
proposiciones cualesquiera,
• Proposición “𝑝 si y solo si 𝑞”
• Escribiremos 𝑝 ⟺ 𝑞

¿Cuál es su tabla de verdad?

𝑝 𝑞 𝑝⇔𝑞

V V V

V F F

F V F

F F V
 Observación
Proposición bicondicional: Sean 𝑝 y 𝑞 dos
proposiciones cualesquiera,
• 𝑝 ⟺ 𝑞 ≡ (𝑝 ⟹ 𝑞) ∧ (𝑞 ⟹ 𝑝)

a) 𝑝 ⟹ 𝑞 | “Si 𝑝, entonces 𝑞” | “una condición necesaria para 𝑝 es

𝑞”
b) 𝑞 ⟹ 𝑝 | “Si 𝑞, entonces 𝑝” | “una condición suficiente para 𝑝 es
𝑞”

c) 𝑝 ⟺ 𝑞 | “una condición necesaria y suficiente para 𝑝 es 𝑞”

 Ejemplos
Sean las proposiciones 𝑝: el número 𝑛 es par; 𝑞: gira a la izquierda;
𝑟: los patos se dirigen a la laguna”. Enunciar las formulaciones
equivalentes de las siguientes proposiciones:

a) 𝑞 ⟹ 𝑝
b) ¬𝑞 ⟹ 𝑟
c) 𝑟 ⟹ (𝑝 ∨ 𝑞)
 Ejemplos
Sean las proposiciones 𝑝: está nevando; 𝑞: iré a la ciudad; 𝑟: tengo
tiempo”. Enunciar usando conectivos lógicos una proposición
que simbolice cada una de las afirmaciones siguientes:

a) Si no está nevando y tengo tiempo, entonces iré a la ciudad

b) Iré a la ciudad solo si tengo tiempo
c) No está nevando
d) Está nevando y no iré a la ciudad
 Ejemplos
Sean las proposiciones 𝑝: está nevando; 𝑞: iré a la ciudad; 𝑟: tengo
tiempo”. Enunciar las afirmaciones que se corresponden con
cada una de las proposiciones siguientes:

a) 𝑞 ⟺ (𝑟 ∧ ¬𝑝)
b) 𝑟∧𝑞
c) (𝑞 ⟹ 𝑟) ∧ (𝑟 ⇒ 𝑞)
d) ¬(𝑟 ∨ 𝑞)
 Ejemplos
Escribir el recíproco y contrarrecíproco de las siguientes
afirmaciones:

a) Si llueve, no voy
b) Me quedaré, solo si tú te vas
c) Si tienes mil pesos, entonces puedes comprar un helado
d) No puedo completar la respuesta si no me ayudas.