I. Material Introductorio: Implicación y equivalencia.

1. ¿Qué fórmula bien formada representa A implica a B?

a. B→ A
b. A ↔ B
c. A → B
d. Todaslas anteriores
e. Ninguna de las anteriores

2. ¿Qué fórmula bien formada representa B está implicado por A?

a.B→ A
b. A ↔B
c . A→B
d .Todas las anteriores
e . Ninguna de las anteriores

3. ¿Qué fórmula bien formada representa A y B son equivalentes?

a.B→ A
b. A ↔B
c . A→B
d .Todas las anteriores
e . Ninguna de las anteriores

4. ¿Qué fórmula bien formada representa la negación de B implica A?

a . ∼ ( A → B )b . ∼ A → Bc .∼ ( B → A )d .∼ B → Ae . Ninguna de las anteriores
II. Material Introductorio Derivaciones
1. Relaciona la implicación o equivalencia con el nombre correcto
a. A→B B ∴ A ( ) Modus ponendo ponens
b. A → B A∴ B ( ) Simplificación
c. A → B∼ B∴ ∼ A ( ) Modus tolendo tolens
d. A∧B∴ A ( ) No es una implicación
e. A∴ A∨B ( ) No es una equivalencia
f. A→B≈∼A ∨B ( ) Adición
g. ∼ ( A ∧ B ) ≈∼ A ∧ B ( ) Definición del condicional