Documentos de Académico
Documentos de Profesional
Documentos de Cultura
EXAMEN ESCRITO N° 1
CÓDIGO APELLIDOS Y NOMBRES SECCIÓN
INDICACIONES:
✓ Forman parte de los criterios de calificación: El procedimiento, el orden, la claridad de las
respuestas y el uso apropiado de la notación matemática.
✓ Se permite el uso personal de una calculadora científica básica, no programable ni graficadora.
✓ Escriba con lapicero de tinta azul o negra. La prueba desarrollada con lápiz no será calificada.
✓ La prueba consta de 4 preguntas, cuyo puntaje está indicado en cada una de ellas.
Fecha: 22 / 04 / 2022
1
Se pide lo siguiente:
b) (3P) Halle el valor de verdad que les corresponde a las proposiciones compuestas
representadas por las fórmulas:
i) (~𝒑 ↔ 𝒒 ) ∧ (~𝒓 ∨ 𝒔)
ii) [𝒒 → (~ 𝒔 ∧ 𝒑)] → 𝒓
Se pide lo siguiente:
2
PRINCIPALES EQUIVALENCIAS LÓGICAS NOTABLES
Leyes Conmutativas
𝑨∧𝑩≡𝑩∧𝑨 𝑨∨𝑩≡𝑩∨𝑨 𝑨↔𝑩≡𝑩↔𝑨
Leyes Asociativas
𝑨 ∧ (𝑩 ∧ 𝑪) ≡ (𝑨 ∧ 𝑩) ∧ 𝑪 𝑨 ∨ (𝑩 ∨ 𝑪) ≡ (𝑨 ∨ 𝑩) ∨ 𝑪
Leyes Distributivas
𝑨 ∧ (𝑩 ∨ 𝑪) ≡ (𝑨 ∧ 𝑩) ∨ (𝑨 ∧ 𝑪) 𝑨 ∨ (𝑩 ∧ 𝑪) ≡ (𝑨 ∨ 𝑩) ∧ (𝑨 ∨ 𝑪)
Ley de la Condicional
𝑨 → 𝑩 ≡ ~𝑨 ∨ 𝑩
Ley de la Bicondicional
𝑨 ↔ 𝑩 ≡ (𝑨 → 𝑩) ∧ (𝑩 → 𝑨) 𝑨 ↔ 𝑩 ≡ ~(𝑨 ∨ 𝑩) ∨ (𝑨 ∧ 𝑩)
Leyes de la Transposición
Condicional Bicondicional
𝑨 → 𝑩 ≡ ~ 𝑩 → ~𝑨 𝑨 ↔ 𝑩 ≡ ~ 𝑩 ↔ ~𝑨
Negación de la Bicondicional
~(𝑨 ↔ 𝑩) ≡ ~𝑨 ↔ 𝑩 ~(𝑨 ↔ 𝑩) ≡ 𝑨 ↔ ~𝑩