Conceptos Esenciales de Lógica y Matemáticas Discretas
Enviado por Chuletator online y clasificado en Matemáticas
Escrito el en
español con un tamaño de 20,97 KB
Lógica Proposicional: Formalización y Equivalencias
Ejercicio 1: Formalización de Enunciados Condicionales
1. Formalizar los enunciados:
Si hace frío, él lleva bufanda.
- Sea
p: hace frío - Sea
q: él lleva bufanda - Formalización:
p → q
Equivalencias Lógicas:
- Inversa: “Si no hace frío, entonces él no lleva bufanda.”
~p → ~q - Recíproca: “Si él lleva bufanda, entonces hace frío.”
q → p - Contrapositiva: “Si él no lleva bufanda, entonces no hace frío.”
~q → ~p
Ejercicio 2: Formalización de Enunciados con “Solo si”
Solo si Rafael estudia, aprobará el examen.
- Sea
p: Rafael estudia - Sea
q: Rafael aprobará el examen - Formalización:
q → p(op ← q)
Equivalencias Lógicas:
- Inversa: “Si Rafael no aprueba el examen, entonces no estudia.
vasco con un tamaño de 3,02 KB