Nociones de Lógica Proposicional Página 1 de 3

LOGICA PROPOSICIONAL
Proposición: Cualquier sentencia u oración del lenguaje de la que tenga sentido decir si es verdadera
o falsa
“Hoy es lunes”: es una proposición ya que se puede decir si es verdadera o falsa
“El día lunes”: no es una proposición
Cuando trabajemos con proposiciones abstractas las notaremos con letras del tipo p, q, r, etc., y dada
una proposición p, las notaciones v(p) = V y v(p) = F indicarán respectivamente que p es verdadera
o falsa, siendo v(p) el valor de verdad de p
p: Si x > 8 entonces x > 5 v(p)=V
q: Si x > 5 entonces x > 8 v(q)=F
Cuando se tiene una única proposición se la llama simple y cuando la proposición esta negada o esta
conectada con otra/s proposiciones se la llama compuesta. Las proposiciones compuestas se obtienen
utilizando conectivos lógicos.
Conectivos Lógicos

Negación o complemento lógico (~) Se lee: “no” (llave abierta, compuerta not)
𝑝 ~𝒑
V F
F V
Conjunción (∧) Se lee “y” (serie, compuerta and)

𝑝 𝑞 𝒑∧𝒒
V V V
V F F
F V F
F F F
Solamente es V cuando ambas proposiciones son V

Disyunción (∨) Se lee “o” (paralelo, compuerta or)

𝑝 𝑞 𝒑∨𝒒
V V V
V F V
F V V
F F F
Solamente es F cuando ambas proposiciones son F
 Nociones de Lógica Proposicional Página 2 de 3

Condicional (⟹) Se lee “si p entonces q”

𝑝 𝑞 𝒑⟹𝒒
V V V
V F F
F V V
F F V
Solamente es F cuando antecedente v(p)=V y el consecuente v(q) =F

Biondicional (⇔) Se lee “si y solo si q”

𝑝 𝑞 𝒑⇔𝒒
V V V
V F F
F V F
F F V

Es V cuando ambas proposiciones tienen el mismo valor de verdad, ambas V o ambas F

Tautologías: Siempre es V, no depende del valor de verdad de las proposiciones que la componen
Ejemplos:

∼ (𝒑 ⇒ 𝒒) ⇔ (𝒑 ∧∼ 𝒒) Un condicional es falso cuando el antecedente es V y el

consecuente es F

𝑝 𝑞 ∼ (𝒑 ⟹ 𝒒) ∼𝑞 𝒑 ∧∼ 𝒒 ∼ (𝒑 ⇒ 𝒒) ⇔ (𝒑 ∧∼ 𝒒)

V V F F F V
V F V V V V
F V F F F V
F F F V F V

(𝒑 ⇒ 𝒒) ⇔ ((∼ 𝒒) ⇒ (∼ 𝒑)) (contrarrecíproco)

𝑝 𝑞 𝒑⟹𝒒 ∼𝑞 ∼𝑝 ∼ 𝑞 ⟹∼ 𝑝 (𝒑 ⇒ 𝒒) ⇔ ((∼ 𝒒) ⇒ (∼ 𝒑))

V V V F F V V
V F F V F F V
F V V F V V V
F F V V V V V
 Nociones de Lógica Proposicional Página 3 de 3

Contradicciones: Siempre es F, no depende del valor de verdad de las proposiciones que la

componen

𝑝 ~𝑝 𝒑 ∧ ~𝒑
V F F
F V F
Equivalencias: Tienen el mismo valor de verdad

𝑝 𝑞 𝑝∧𝑞 ∼ (𝒑 ∧ 𝒒) ∼ 𝒑 ∨∼ 𝒒
V V V F F
V F F V V
F V F V V
F F F V V