Lógica proposicional

Definición ( Proposición lógica )

Una proposición lógica es un enunciado que puede ser o verdadero (V) o falso (F), pero no
ambos.
 El cielo es verde. √

 Mañana es sábado. √

 ¿Qué día es hoy? X

 x + 3 es par. X

Las proposiciones se denotan con letras minúsculas: p, q, r, …

Los valores de verdad de la proposición p se representan en una tabla de verdad:

p
V
F

1
Definición ( Negación )
Sea p una proposición lógica, definimos su negación, ¬p, como la proposición que tiene
valor de verdad opuesto al de p.
p ¬p
V F
F V
p : el precio del dólar seguirá subiendo, ¬p : el precio del dólar no seguirá subiendo

Definición ( Proposiciones compuestas )

Son aquellas formadas por dos o más proposiciones relacionadas entre sí por los conectivos
lógicos:
 La conjunción: p ∧ q ( p y q)
 La disyunción (inclusiva): p ∨ q ( p o q)
 La disyunción exclusiva: p∨q (O p o q )
 La condicional: p→q ( Si p entonces q )
 La bicondicional: p↔q ( p si y sólo si q )
3

Número de filas de una tabla de verdad

 Si la proposición está formada por 2 proposiciones simples, la tabla tendrá 2 2 = 4 filas
p q
V VV
V F VF
V FV
F F FF
 Si la proposición está formada por 3 proposiciones simples, la tabla tendrá 23 = 8 filas
p q r
V VVV
V F VVF
V V VFV
F F VFF
V FVV
V F FVF
F
V FFV
F F FFF 4

2
 p q p∧q p∨q p∨q p→q p↔q
V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V

 En la implicación p → q , p es el antecedente y q , el consecuente.

 Otras formas de referirse a la condicional p → q , son:

p implica q
q si p
q siempre que p

Definición

Dada la proposición condicional p → q, definimos tres proposiciones asociadas:

 La conversa o recíproca: q → p.
 La inversa: ¬ p → ¬ q.

 La contrapositiva: ¬ q → ¬ p.

Ejemplo : Dada la condicional "si terminé la tarea entonces voy a la playa",

 La conversa es: Si voy a la playa entonces terminé la tarea.

 La inversa es: Si no terminé la tarea entonces no voy a la playa.

 La contrapositiva es: Si no voy a la playa entonces no terminé la tarea.

3
Definición
Una proposición compuesta es una tautología si es verdadera siempre, es una
contradicción si siempre es falsa y es una contingencia si en algunos casos es verdadera y
en otros, falsa.
Ejemplo : Construya la tabla de verdad para la proposición ( p ∧ q ) ∧ ¬ ( p ∨ q )  ∧ r .
Como la proposición tiene 3 proposiciones simples, la tabla tendrá 23 = 8 filas.

p q r  ( p ∧ q ) ∧ ¬ ( p ∨ q )  ∧ r
V V V V F F V F V
V V F V F F V F F
V F V F F F V F V
V F F F F F V F F
F V V F F F V F V
F V F F F F V F F
F F V F F V F F V
F F F F F V F F F
La proposición ( p ∧ q ) ∧ ¬ ( p ∨ q )  ∧ r es una contradicción. 7

Definición ( Equivalencia )

Dos proposiciones compuestas P y Q son equivalentes si tienen la misma tabla de verdad y

en tal caso escribimos P ≡ Q.
Si P ↔ Q es una tautología diremos que P y Q son equivalentes y escribimos P ≡ Q.

Demuestre las siguientes equivalencias: p q p→q ≡ ¬p ∨ q

 p∧ p≡ p V V V F V V
 p → q ≡ ¬p ∨ q V F F F F F
F V V V V V
 p → q ≡ ¬ q → ¬ p (contrapositiva)
F F V V V F
 ¬( p ∨ q ) ≡ p ↔ q
=
 Leyes de De Morgan: p q p→q ≡ ¬q → ¬p
V V V F V F
 ¬ ( p ∨ q ) ≡ ¬p ∧ ¬q V F F V F F

 F V V F V V
 ¬ ( p ∧ q ) ≡ ¬p ∨ ¬q
 F F V V V V
8
=