Taller

Proposiciones y Conectivos
Economía Matemática
Docente: Héctor Fabio Ríos Hernández

1. Demuestre que todas las fórmulas bien formadas listadas a continuación son
tautologías.

2. Use las tablas de verdad para probar que (p ∧ ¬p) → q es una tautología. Sean α, β
fórmulas bien formadas. Se dice que “α implica tautológicamente a β” si α → β es
una tautología. Se dice “α es tautológicamente equivalente a β” si α implica
tautológicamente a β y β implica tautológicamente a α, o lo que es igual si α ↔ β es
una tautología. Halle cinco ejemplos de implicación tautológica y cinco de
equivalencia tautológica.
3. Una contradicción es una fórmula bien formada compuesta que siempre es falsa,
independientemente de la veracidad de las proposiciones componentes. Dé cinco
ejemplos de contradicciones, demostrando que lo son mediante tablas de verdad si
es del caso.
4. Dadas las proposiciones p: Hace frío y q: Está de noche, y suponiendo que la
primera es verdadera en este momento y la segunda falsa, escriba en términos de
p, q y los conectivos, las proposiciones siguientes y halle sus valores de verdad:

a. No está de noche o no hace frío.

b. Hace frío o no está de noche.
c. Ni está de noche ni hace frío y
d. Está de noche, pero no hace frío.

5. Halle la negación de cada una de las proposiciones anteriores dando la respuesta

tanto en términos de p, q y los conectivos, como en español correcto.