Soluciones al TP 2, ejercicio H

Esquemas de fórmulas	Ejemplos de sustitución
1. (A ∨ B) → C	g. (p ∨ q) → (p ∨ r) A = p B = q C = p ∨ r
2.  A ∧ ¬B	a. (p ∨ q) ∧ ¬r A = p ∨ q B = r b. (p ∨ q) ∧ ¬p A = p ∨ q B = p
3. (A → B) → (B → ¬C)	No tiene ejemplo de sustitución.
4.  A ∨ (B ∧ C)	f. (p ∨ p) ∨ (p ∧ (p ∨ q)) A = p ∨ p B = p C = p ∨ q
5.  A ↔ B	c. (p ∨ q) ↔ r A = p ∨ q B = r
6. (A → A) → B	d. ((p ∨ q) → (p ∨ q)) → ((p ∨ r) → s) A = p ∨ q B = (p ∨ r) → s
7.  A ∨ ¬A	e. ((p ∨ q) ∧ r) ∨ ¬ ((p ∨ q) ∧ r) A = (p ∨ q) ∧ r