LÓGICA PROPOSICIONAL

MATEMÁTICA DISCRETA
¿QUÉ CONTENIDOS VAMOS A ESTUDIAR HOY?

• Proposiciones. Definición. Tablas de verdad.

• Proposiciones lógicamente equivalentes. Leyes
lógicas.
• Circuitos
 DEFINICIÓN

Una proposición es una oración declarativa de la que puede

decirse que es o bien verdadera o bien falsa.

Las designamos con las letras p, q, r…

 PROPOSICIONES

• Definición
• Conectivos lógicos
• Tablas de verdad
 DEFINICIÓN

Mediante el uso de conectivos lógicos podemos construirnos

proposiciones compuestas a partir de proposiciones simples.

Las tablas de verdad nos devuelven el valor de verdad de la

proposición compuesta de acuerdo al valor de verdad de las
proposiciones simples que la integran.
 EJEMPLOS

• Juan es alto
•v 𝑝 =𝐹
 CONECTIVOS LÓGICOS

• Negación (no p, no es cierto que). Se nota ~𝑝, −𝑝, 𝑝′

P ∼𝒑
v F
F V
 CONECTIVOS LÓGICOS

• Conjunción (p y q). Se nota 𝑝 ∧ 𝑞. 𝑝. 𝑞

P Q P∧𝒒
V Cv
b V
f V
F F
 CONECTIVOS LÓGICOS

• Conjunción (p y q). Se nota 𝑝 ∧ 𝑞. 𝑝. 𝑞

P fQ P∧𝒒
V V V
V F F
F V F
f f f
 CONECTIVOS LÓGICOS

• Disyunción (p o q). Se nota 𝑝 ∨ 𝑞, 𝑝 + 𝑞.

P Q P∨𝒒
V V
V F
F V
F F
 CONECTIVOS LÓGICOS

• Disyunción (p o q). Se nota 𝑝 ∨ 𝑞, 𝑝 + 𝑞.

P Q P∨𝒒
V V V
V F V
F V V
f f f
 CONECTIVOS LÓGICOS

• Disyunción Exclusiva (o bien p o bien q). Se nota p ∨ 𝑞, 𝑝⨁𝑞

P Q P∨ 𝒒
Vv V
V F
F V
F F
 CONECTIVOS LÓGICOS

• Disyunción Exclusiva (o bien p o bien q). Se nota p ∨ 𝑞, 𝑝⨁𝑞

P Q P∨ 𝒒
V V F
V F V
F V V
f Ff F
 CONECTIVOS LÓGICOS

• Condicional

𝑝 →𝑞

P es el antecedente Q es el consecuente
 CONECTIVOS LÓGICOS

• Condicional (Si p entonces q). Se nota 𝑝 → 𝑞, 𝑝 ⊐ 𝑞

Pv Q P→ 𝒒
V V
V G
F V
F Vg
 CONECTIVOS LÓGICOS

• Condicional (Si p entonces q). Se nota 𝑝 → 𝑞, 𝑝 ⊐ 𝑞

P Q P→ 𝒒
V V V
V F F
F V V
f v v
 CONECTIVOS LÓGICOS

• Bicondicional (p si y sólo si q). Se notq 𝑝 ⟷ 𝑞

P q P 𝒒
V F
V F
F V
F V
 CONECTIVOS LÓGICOS

• Bicondicional (p si y sólo si q). Se notq 𝑝 ⟷ 𝑞

P q P 𝒒
V V V
V F F
F V F
f f v
 CONECTIVOS LÓGICOS

• Bicondicional (p si y sólo si q). Se notq 𝑝 ⟷ 𝑞

P q P 𝒒
V V V
V F F
F V F
F F V

Nota: 𝒑 ⟷ 𝒒 𝒆𝒔 𝑒𝑞𝑢𝑖𝑣𝑎𝑙𝑒𝑛𝑡𝑒 𝒂 𝒑 ⟶ 𝒒 ∧ (𝒒 − 𝒑)
 EJERCICIO

Expresar en lenguaje simbólico las siguientes proposiciones:

a) Aprobarás la materia si y sólo si estudias.

b) Si llueve, veo una serie.

c) Hace frío y estoy lejos de casa

d) Me quedo en casa o me contagio.

e) O bien vamos al cine o bien a cenar.

 EJERCICIO

Construir las tablas de verdad de las siguientes proposiciones:

1. p ∨ −p
2. p ∧ −p
3. p → q ∧ −q
 EJERCICIO

P P ∨∼p
 EJERCICIO

P P ∨∼p
V f V
Ff v v
 EJERCICIO

P P ∧∼p
 EJERCICIO

P P ∧∼p
V F
F v f
 EJERCICIO

P Q 𝑷→𝑸 (𝑷 → 𝑸) ∧∼ 𝑸
 EJERCICIO

P Q 𝑷→𝑸 (𝑷 → 𝑸) ∧∼ 𝑸
V V V f
V F F F
F V V F
F f v v
 DEFINICIÓN
Una tautología es una proposición que es verdadera para todas
las combinaciones de valores de verdad de las proposiciones
que la componen. La designamos por T0

Una contradicción es una proposición que falsa para todas las

combinaciones de valores de verdad de las proposiciones que la
componen. La designamos por F0

Una proposición que no es tautología ni contradicción es una

contingencia
 LINK PARA TABLAS DE VERDAD

[Link]
 EJERCICIO

Comstruir la tabla de verdad de la proposición (𝑝 → 𝑞) (∼ 𝑝 ∨ 𝑞)

P Q 𝒑 →𝒒 ≈𝒑∨𝒒 (𝒑 → 𝒒)
(~𝑷 ∨ 𝑸)
 EJERCICIO

Comstruir la tabla de verdad de la proposición (𝑝 → 𝑞) (∼ 𝑝 ∨ 𝑞)

P Q 𝒑 →𝒒 ≈𝒑∨𝒒 (𝒑 → 𝒒)
(~𝑷 ∨ 𝑸)
V V V V V
V F F H V
F V V V V
F F V V V

Si el bicondicional entre dos proposiciones es una tautología, decimos que las proposiciones son
lógicamente equivalentes
PROPOSICIONES LÓGICAMENTE
EQUIVALENTES
 DEFINICIÓN

Dadas dos proposiciones p y q, decimos que son lógicamente

equivalentes si el bicondicional entre ellas es tautológico.

Notación: p ⟺ 𝒒

Ejemplo: p → 𝒒 ⇔ ¬𝒑 ∨ 𝒒
 NOTA

Toda equivalencia lógica es una tautología

¿Es cierta la recíproca?

 DEFINICIÓN

Las leyes lógicas son proposiciones lógicamente equivalentes

estandarizadas.

Estas leyes son:

Leyes lógicas

¿Para qué sirven las

leyes lógicas?
 Leyes lógicas

1. Para demostrar que dos proposiciones son

lógicamente equivalentes, sin usar tablas de verdad.
 Ejemplo

Usando leyes lógicas, demostrar que p ∧ q → r y p→ (q → r) son

lógicamente equivalentes.
 Ejemplo

Usando leyes lógicas, demostrar que p ∧ q → r y p→ (q → r) son

lógicamente equivalentes.

(𝑝 ∧ 𝑞) → 𝑟 ⟺
 Ejemplo

Usando leyes lógicas, demostrar que p ∧ q → r y p→ (q → r) son

lógicamente equivalentes.

(𝑝 ∧ 𝑞) → 𝑟 ⟺ −(𝑝 ∧ 𝑞) ∨ 𝑟 eq condicional
 Ejemplo

Usando leyes lógicas, demostrar que p ∧ q → r y p→ (q → r) son

lógicamente equivalentes.

(𝑝 ∧ 𝑞) → 𝑟 ⟺ −(𝑝 ∧ 𝑞) ∨ 𝑟 eq condicional
⟺ −𝑝 ∨ −𝑞 ∨ 𝑟 De Morgan
 Ejemplo

Usando leyes lógicas, demostrar que p ∧ q → r y p→ (q → r) son

lógicamente equivalentes.

(𝑝 ∧ 𝑞) → 𝑟 ⟺ −(𝑝 ∧ 𝑞) ∨ 𝑟 eq condicional
⟺ −𝑝 ∨ −𝑞 ∨ 𝑟 De Morgan
⟺ −𝑝 ∨ −𝑞 ∨ 𝑟 Asociativa
 Ejemplo
Usando leyes lógicas, demostrar que p ∧ q → r y p→ (q → r) son
lógicamente equivalentes.

(𝑝 ∧ 𝑞) → 𝑟 ⟺ −(𝑝 ∧ 𝑞) ∨ 𝑟 eq condicional
⟺ −𝑝 ∨ −𝑞 ∨ 𝑟 De Morgan
⟺ −𝑝 ∨ −𝑞 ∨ 𝑟 Asociativa
⟺ −𝑝 ∨ ( 𝑞 → 𝑟) eq condicional
 Ejemplo

Usando leyes lógicas, demostrar que p ∧ q → r y p→ (q → r) son

lógicamente equivalentes.

(𝑝 ∧ 𝑞) → 𝑟 ⟺ −(𝑝 ∧ 𝑞) ∨ 𝑟 eq condicional
⟺ −𝑝 ∨ −𝑞 ∨ 𝑟 De Morgan
⟺ −𝑝 ∨ −𝑞 ∨ 𝑟 Asociativa
⟺ −𝑝 ∨ ( 𝑞 → 𝑟) eq condicional
⟺ p → (𝑞 → 𝑟) eq condicional
 Leyes lógicas

2. Para simplificar proposiciones

 Ejemplo

Simplificar la siguiente proposición

{ 𝑝 ∨ ∼ 𝑝 ∧ 𝑞 ∨ ∼ 𝑝 ∨∼ 𝑞 ∧[∼ ∼𝑟 →𝑝 ]
 Ejemplo

Simplificar la siguiente proposición

{ 𝑝 ∨ ∼ 𝑝 ∧ 𝑞 ∨ ∼ 𝑝 ∨∼ 𝑞 ∧[∼ ∼𝑟 →𝑝 ]
⟺ 𝑝 ∨ −, 𝑝 ∧ 𝑝 ∨ 𝑞 ∨ −𝑝 ∨ −𝑞 ∧ [− −𝑟 → 𝑝 ] distributiva
 Ejemplo

Simplificar la siguiente proposición

{ 𝑝 ∨ ∼ 𝑝 ∧ 𝑞 ∨ ∼ 𝑝 ∨∼ 𝑞 ∧[∼ ∼𝑟 →𝑝 ]
⟺ 𝑝 ∨ −, 𝑝 ∧ 𝑝 ∨ 𝑞 ∨ −𝑝 ∨ −𝑞 ∧ [− −𝑟 → 𝑝 ] distributiva
⟺ { (T) ∧ 𝑝 ∨ 𝑞 ∨ (−𝑝 ∨ −𝑞)] ∧ {−(𝑟 ∨ 𝑝)] inverso/eq cond
 Ejemplo

Simplificar la siguiente proposición

{ 𝑝 ∨ ∼ 𝑝 ∧ 𝑞 ∨ ∼ 𝑝 ∨∼ 𝑞 ∧[∼ ∼𝑟 →𝑝 ]
⟺ 𝑝 ∨ −, 𝑝 ∧ 𝑝 ∨ 𝑞 ∨ −𝑝 ∨ −𝑞 ∧ [− −𝑟 → 𝑝 ] distributiva
⟺ { (T) ∧ 𝑝 ∨ 𝑞 ∨ (−𝑝 ∨ −𝑞)] ∧ {−(𝑟 ∨ 𝑝)] inverso/eq cond
⟺ {(𝑝 ∨ 𝑞) ∨ (−𝑝 ∨ −𝑞)] ∧ [ −𝑟 ∧ −𝑝] neutro/ De Mogan
 Ejemplo

Simplificar la siguiente proposición

{ 𝑝 ∨ ∼ 𝑝 ∧ 𝑞 ∨ ∼ 𝑝 ∨∼ 𝑞 ∧[∼ ∼𝑟 →𝑝 ]
⟺ 𝑝 ∨ −, 𝑝 ∧ 𝑝 ∨ 𝑞 ∨ −𝑝 ∨ −𝑞 ∧ [− −𝑟 → 𝑝 ] distributiva
⟺ { (T) ∧ 𝑝 ∨ 𝑞 ∨ (−𝑝 ∨ −𝑞)] ∧ {−(𝑟 ∨ 𝑝)] inverso/eq cond
⟺ {(𝑝 ∨ 𝑞) ∨ (−𝑝 ∨ −𝑞)] ∧ [ −𝑟 ∧ −𝑝] neutro/ De Mogan
⟺ { ((p ∨ −𝑝) ∨ (𝑞 ∨ −𝑞)] ∧ [−𝑟 ∧ −𝑝] conmutativa/Asociativa
 Ejemplo

Simplificar la siguiente proposición

{ 𝑝 ∨ ∼ 𝑝 ∧ 𝑞 ∨ ∼ 𝑝 ∨∼ 𝑞 ∧[∼ ∼𝑟 →𝑝 ]
⟺ 𝑝 ∨ −, 𝑝 ∧ 𝑝 ∨ 𝑞 ∨ −𝑝 ∨ −𝑞 ∧ [− −𝑟 → 𝑝 ] distributiva
⟺ { (T) ∧ 𝑝 ∨ 𝑞 ∨ (−𝑝 ∨ −𝑞)] ∧ {−(𝑟 ∨ 𝑝)] inverso/eq cond
⟺ {(𝑝 ∨ 𝑞) ∨ (−𝑝 ∨ −𝑞)] ∧ [ −𝑟 ∧ −𝑝] neutro/ De Mogan
⟺ { ((p ∨ −𝑝) ∨ (𝑞 ∨ −𝑞)] ∧ [−𝑟 ∧ −𝑝] conmutativa/Asociativa
⟺ T ∧ { −𝑟 ∧ −𝑝] inverso
 Ejemplo

Simplificar la siguiente proposición

{ 𝑝 ∨ ∼ 𝑝 ∧ 𝑞 ∨ ∼ 𝑝 ∨∼ 𝑞 ∧[∼ ∼𝑟 →𝑝 ]
⟺ 𝑝 ∨ −, 𝑝 ∧ 𝑝 ∨ 𝑞 ∨ −𝑝 ∨ −𝑞 ∧ [− −𝑟 → 𝑝 ] distributiva
⟺ { (T) ∧ 𝑝 ∨ 𝑞 ∨ (−𝑝 ∨ −𝑞)] ∧ {−(𝑟 ∨ 𝑝)] inverso/eq cond
⟺ {(𝑝 ∨ 𝑞) ∨ (−𝑝 ∨ −𝑞)] ∧ [ −𝑟 ∧ −𝑝] neutro/ De Mogan
⟺ { ((p ∨ −𝑝) ∨ (𝑞 ∨ −𝑞)] ∧ [−𝑟 ∧ −𝑝] conmutativa/Asociativa
⟺ T ∧ { −𝑟 ∧ −𝑝] inverso
⟺ −𝑟 ∧ −𝑝 neutro
 Ejercicio

Simplificar la siguiente proposición

{{ 𝑝 ∨ 𝑞 → ∼ 𝑝 ∧ 𝑞 ] ∧ (𝑝 → 𝑞)} ∧ (∼ 𝑝 ∧∼ 𝑟 )
 Ejercicio

Simplificar la siguiente proposición

{{ 𝑝 ∨ 𝑞 → ∼ 𝑝 ∧ 𝑞 ] ∧ (𝑝 → 𝑞)} ∧ (∼ 𝑝 ∧∼ 𝑟 )
⟺ [[ − 𝑃 ∨ 𝑄 ∨ (−𝑝 ∧ 𝑞)] ∧ (−𝑝 ∨ 𝑞)} ∧ (−𝑝𝑣 ∨ 𝑟) eq cndicional/De
Morgan
 Ejercicio

Simplificar la siguiente proposición

{{ 𝑝 ∨ 𝑞 → ∼ 𝑝 ∧ 𝑞 ] ∧ (𝑝 → 𝑞)} ∧ (∼ 𝑝 ∧∼ 𝑟 )
⟺ [[ − 𝑃 ∨ 𝑄 ∨ (−𝑝 ∧ 𝑞)] ∧ (−𝑝 ∨ 𝑞)} ∧ (−𝑝𝑣 ∨ 𝑟) eq cndicional/De
Morgan
⟺ [[(−𝑝 ∧ −𝑞) ∨ (−𝑝 ∧ 𝑞)] ∧ (−𝑝 ∨ 𝑞)] ∧ (−𝑝 ∨ 𝑟) De Morgan
 Ejercicio

Simplificar la siguiente proposición

{{ 𝑝 ∨ 𝑞 → ∼ 𝑝 ∧ 𝑞 ] ∧ (𝑝 → 𝑞)} ∧ (∼ 𝑝 ∧∼ 𝑟 )
⟺ [[ − 𝑃 ∨ 𝑄 ∨ (−𝑝 ∧ 𝑞)] ∧ (−𝑝 ∨ 𝑞)} ∧ (−𝑝𝑣 ∨ 𝑟) eq cndicional/De
Morgan
⟺ [[(−𝑝 ∧ −𝑞) ∨ (−𝑝 ∧ 𝑞)] ∧ (−𝑝 ∨ 𝑞)] ∧ (−𝑝 ∨ 𝑟) De Morgan
⟺ [[−𝑝 ∧ ( −𝑞 ∨ 𝑞)] ∧ (−𝑝 ∨ 𝑞)] ∧ (−𝑝 ∨ 𝑟)Distributiva
 Ejercicio

Simplificar la siguiente proposición

{{ 𝑝 ∨ 𝑞 → ∼ 𝑝 ∧ 𝑞 ] ∧ (𝑝 → 𝑞)} ∧ (∼ 𝑝 ∧∼ 𝑟 )
⟺ [[ − 𝑃 ∨ 𝑄 ∨ (−𝑝 ∧ 𝑞)] ∧ (−𝑝 ∨ 𝑞)} ∧ (−𝑝𝑣 ∨ 𝑟) eq cndicional/De
Morgan
⟺ [[(−𝑝 ∧ −𝑞) ∨ (−𝑝 ∧ 𝑞)] ∧ (−𝑝 ∨ 𝑞)] ∧ (−𝑝 ∨ 𝑟) De Morgan
⟺ [[−𝑝 ∧ ( −𝑞 ∨ 𝑞)] ∧ (−𝑝 ∨ 𝑞)] ∧ (−𝑝 ∨ 𝑟)Distributiva
⟺ [−𝑝 ∧ −𝑝 ∨ 𝑞 ∧ (−𝑝 ∨ 𝑟) invvers/netto
⟺
 Ejercicio

Simplificar la siguiente proposición

{{ 𝑝 ∨ 𝑞 → ∼ 𝑝 ∧ 𝑞 ] ∧ (𝑝 → 𝑞)} ∧ (∼ 𝑝 ∧∼ 𝑟 )
⟺ [[ − 𝑃 ∨ 𝑄 ∨ (−𝑝 ∧ 𝑞)] ∧ (−𝑝 ∨ 𝑞)} ∧ (−𝑝𝑣 ∨ 𝑟) eq cndicional/De
Morgan
⟺ [[(−𝑝 ∧ −𝑞) ∨ (−𝑝 ∧ 𝑞)] ∧ (−𝑝 ∨ 𝑞)] ∧ (−𝑝 ∨ 𝑟) De Morgan
⟺ [[−𝑝 ∧ ( −𝑞 ∨ 𝑞)] ∧ (−𝑝 ∨ 𝑞)] ∧ (−𝑝 ∨ 𝑟)Distributiva
⟺ [−𝑝 ∧ −𝑝 ∨ 𝑞 ∧ (−𝑝 ∨ 𝑟) invvers/netto

⟺
 Ejercicio

Simplificar la siguiente proposición

{{ 𝑝 ∨ 𝑞 → ∼ 𝑝 ∧ 𝑞 ] ∧ (𝑝 → 𝑞)} ∧ (∼ 𝑝 ∧∼ 𝑟 )
⟺ [[ − 𝑃 ∨ 𝑄 ∨ (−𝑝 ∧ 𝑞)] ∧ (−𝑝 ∨ 𝑞)} ∧ (−𝑝𝑣 ∨ 𝑟) eq cndicional/De
Morgan
⟺ [[(−𝑝 ∧ −𝑞) ∨ (−𝑝 ∧ 𝑞)] ∧ (−𝑝 ∨ 𝑞)] ∧ (−𝑝 ∨ 𝑟) De Morgan
⟺ [[−𝑝 ∧ ( −𝑞 ∨ 𝑞)] ∧ (−𝑝 ∨ 𝑞)] ∧ (−𝑝 ∨ 𝑟)Distributiva
⟺ [−𝑝 ∧ −𝑝 ∨ 𝑞 ∧ (−𝑝 ∨ 𝑟) invvers/netto
⟺ −𝑝 ∧ (−𝑝 ∨ 𝑟) Absoón
 Ejercicio

Simplificar la siguiente proposición

{{ 𝑝 ∨ 𝑞 → ∼ 𝑝 ∧ 𝑞 ] ∧ (𝑝 → 𝑞)} ∧ (∼ 𝑝 ∧∼ 𝑟 )
⟺ [[ − 𝑃 ∨ 𝑄 ∨ (−𝑝 ∧ 𝑞)] ∧ (−𝑝 ∨ 𝑞)} ∧ (−𝑝𝑣 ∨ 𝑟) eq cndicional/De
Morgan
⟺ [[(−𝑝 ∧ −𝑞) ∨ (−𝑝 ∧ 𝑞)] ∧ (−𝑝 ∨ 𝑞)] ∧ (−𝑝 ∨ 𝑟) De Morgan
⟺ [[−𝑝 ∧ ( −𝑞 ∨ 𝑞)] ∧ (−𝑝 ∨ 𝑞)] ∧ (−𝑝 ∨ 𝑟)Distributiva
⟺ [−𝑝 ∧ −𝑝 ∨ 𝑞 ∧ (−𝑝 ∨ 𝑟) invvers/netto
⟺ −𝑝 ∧ (−𝑝 ∨ 𝑟) Absorción
⟺ -p Absorción
CIRCUITOS
 Circuitos lógicos

Una proposición la podemos asociar con un circuito lógico.

Un circuito lógico está formado por dos terminales unidas
por un cable con un interruptor. La corriente puede
circular de una termina a otra (verdadero) o no (falso)
 Circuitos lógicos

Los circuitos pueden estar en serie o en paralelo:

En serie En paralelo
CIRCUITOS LÓGICOS
 CIRCUITOS LÓGICOS

𝑝 ∨ 𝑟 ∧ 𝑟 ∧ −𝑝 ∨ −𝑟 ⟺
 CIRCUITOS LÓGICOS

𝑝 ∨ 𝑟 ∧ 𝑟 ∧ −𝑝 ∨ −𝑟 ⟺
𝑟 ∧ −𝑝 ∨ −𝑟 ⟺ Absorción
(𝑟 ∧ −𝑝) ∨ (𝑟 ∧ −𝑟) ⟺ distributiva
𝑟 ∧ −𝑝 ∨ 𝐹 ⟺ Inverso
𝑟 ∧ −𝑝 𝑁𝑒𝑢𝑡𝑟𝑜