FACULTAD DE INGENIERÍA QUÍMICA Y METALURGIA

Escuela de Ingeniería en Industrias Alimentarias

MATEMATICA I MA-141

Apellidos y nombres Riveros Cabrera, Miguel Enrique

Código 19200115

1. Si se sabe que: p # q ≡ ∼ (p →∼ q) ↔ p. Evaluar el esquema A ≡ [p → q] # [∼ (p

∧ ∼ q) ↔ r].

p q ∼q → ∼ (p →∼ q) ↔

V V F F V V

V F V V F F

F V F V F V

F F V V F V

Luego se tiene la siguiente tabla:

p # q

V V V

V F F

F V V

F V F

Por lo tanto, al reemplazar en la tabla de proposición molecular A ≡ [p → q]

# [∼ (p ∧ ∼ q) ↔ r], genera:

p q r p→q # ∼ (p ∧ ∼ q) ↔ r

V V V V→V≡ V V ∼ (V ∧ ∼ V) ↔ V
 V V F V→V≡ V F ∼ (V ∧ ∼ V) ↔ F

V F V V→F≡ F V ∼ (V ∧ ∼ F) ↔ V

V F F V→F≡ F V ∼ (V ∧ ∼ F) ↔ F

F V V F→V≡ V V ∼ (F ∧ ∼ V) ↔ V

F V F F→V≡ V F ∼ (F ∧ ∼ V) ↔ F

F F V F→F≡ V V ∼ (F ∧ ∼ F) ↔ V

F F F F→F≡ V F ∼ (F ∧ ∼ F) ↔ F

2. Si se sabe que: p & q ≡ ∼ [(p →∼ q) ↔ p] ∨ (p → ∼ q). Evaluar el esquema

A ≡ {[p → q] & [∼ (p ∧ ∼ q) ↔ r]} & [∼ (p ∧ ∼ q) ↔ r].

p q ∼q p →∼ q ↔ ∼ v

V V F F F V F

V F V V V F F

F V F V F V V

F F V V F V V

Luego se tiene la siguiente tabla:

p & q

V F V

V F F

F V V

F V F
Por lo tanto, al reemplazar en la tabla de proposición molecular A ≡ {[p → q]
& [∼ (p ∧ ∼ q) ↔ r]} & [∼ (p ∧ ∼ q) ↔ r], genera:

p q r [p → q] & [∼ (p ∧ ∼ q) ↔ r] & ∼ (p ∧ ∼ q) ↔ r

V V V [V → V] & [∼ (V ∧ ∼ V) ↔ V] ≡ F V ∼ (V ∧ ∼ V) ↔ V ≡ F

V V F [V → V] & [∼ (V ∧ ∼ V) ↔ F] ≡ F V ∼ (V ∧ ∼ V) ↔ F ≡ F

V F V [V → F] & [∼ (V ∧ ∼ F) ↔ V] ≡ V F ∼ (V ∧ ∼ F) ↔ V ≡ F

V F F [V → F] & [∼ (V ∧ ∼ F) ↔ F] ≡ V F ∼ (V ∧ ∼ F) ↔ F ≡ F

F V V [F → V] & [∼ (F ∧ ∼ V) ↔ V] ≡ V F ∼ (F ∧ ∼ V) ↔ V ≡ F

F V F [F → V] & [∼ (F ∧ ∼ V) ↔ F] ≡ F V ∼ (F ∧ ∼ V) ↔ F ≡ F

F F V [F → F] & [∼ (F ∧ ∼ F) ↔ V] ≡ F V ∼ (F ∧ ∼ F) ↔ V ≡ F

F F F [F → F] & [∼ (F ∧ ∼ F) ↔ F] ≡ F V ∼ (F ∧ ∼ F) ↔ F ≡ F