Matemáticas Discretas I Julio Andrés Rodrı́guez Fernández

Prof. Rodrigo de Castro Korgi Fecha: 27/03/2020

Tarea #1
Punto #1
D ESCRIPCI ÓN :

Por medio de una tabla de verdad establecer la siguiente equivalencia lógica:

p Y (q Y r ) ≡ ( p Y q) Y r (1)

donde Y denota la conectiva “disyunción excluyente” definida en clase.

S OLUCI ÓN :

p Y (q Y r ) ≡ ( p Y q) Y r
p q r p qYr p Y (q Y r ) pYq r ( p Y q) Y r
V V V V F V F V V
V V F V V F F F F
V F V V V F V V F
V F F V F V V F V
F V V F F F V V F
F V F F V V V F V
F F V F V V F V V
F F F F F F F F F

1
Punto #2
D ESCRIPCI ÓN :

Demostrar la siguiente equivalencia lógica:

( p −→ q) −→ ( p ∧ r ) ≡ p ∧ (q −→ r ) (2)

1. Usando tablas de verdad.

2. Sin usar tablas de verdad. Se pueden utilizar todas las equivalencias lógicas
presentadas en clase, mencionándolas explı́citamente.

S OLUCI ÓN :

1. Usando tablas de verdad:

( p −→ q) −→ ( p ∧ r ) ≡ p ∧ (q −→ r )
p q r p −→ q p∧r ( p −→ q) −→ ( p ∧ r ) p q −→ r p ∧ (q −→ r )
V V V V V V V V V
V V F V F F V F F
V F V F V V V V V
V F F F F V V V V
F V V V F F F V F
F V F V F F F F F
F F V V F F F V F
F F F V F F F V F

2. Mediante equivalencias lógicas:

( p −→ q) −→ ( p ∧ r ) ≡ p ∧ (q −→ r )

Proceso Equivalencias lógicas

( p −→ q) −→ ( p ∧ r ) ≡ (¬ p ∨ q) −→ ( p ∧ r ) p −→ q ≡ ¬ p ∨ q
(¬ p ∨ q) −→ ( p ∧ r ) ≡ ¬(¬ p ∨ q) ∨ ( p ∧ r ) p −→ q ≡ ¬ p ∨ q
¬(¬ p ∨ q) ∨ ( p ∧ r ) ≡ ( p ∧ ¬q) ∨ ( p ∧ r ) ¬( p ∨ q) ≡ ¬ p ∧ ¬q / ¬¬ p ≡ p
( p ∧ ¬q) ∨ ( p ∧ r ) ≡ p ∧ (¬q ∨ r ) ( p ∧ q) ∨ ( p ∧ r ) ≡ p ∧ (q ∨ r )
p ∧ (¬q ∨ r ) ≡ p ∧ (q −→ r ) ¬ p ∨ q ≡ p −→ q

2
Punto #3
D ESCRIPCI ÓN :

Sin utilizar tablas de verdad demostrar la siguiente equivalencia lógica:

( p ∨ q) ∧ ( p ∨ q ∨ r ) ≡ p ∨ q (3)

Se pueden utilizar todas las equivalencias logicas presentadas en clase, mencionándolas

explı́citamente.

S OLUCI ÓN :

( p ∨ q) ∧ ( p ∨ q ∨ r ) ≡ p ∨ q

Proceso Equivalencias lógicas

( p ∨ q) ∧ ( p ∨ q ∨ r ) ≡ ( p ∨ q) ∧ ( p ∨ (q ∨ r )) p ∨ q ∨ r ≡ p ∨ (q ∨ r )
( p ∨ q) ∧ ( p ∨ (q ∨ r )) ≡ p ∨ (q ∧ (q ∨ r )) ( p ∨ q) ∧ ( p ∨ r ) ≡ p ∨ (q ∧ r )
p ∨ (q ∧ (q ∨ r )) ≡ p ∨ q p ∧ ( p ∨ q) ≡ p