Subjects razonamiento lógico-matemático

Logica Proposicional

Step-by-step solutions with LaTeX - clean, fast, and student-friendly.

Search Solutions

Logica Proposicional


1. Problema: Verificar el valor de verdad de proposiciones con un conjunto dado. 1.1- \( \forall x \in A; 7x + 6 > 35 \) Paso 1: Evaluar la expresión para cada \( x \in A = \{3,6,9,12,15\} \). - Para \( x=3 \), \(7(3)+6=21+6=27 \), que no es mayor que 35.\ - Ya que no se cumple para \( x=3 \), la proposición universal es falsa. 1.2- \( \exists x \in A : x^2 + 5x > 4x \) Paso 1: Simplificar la desigualdad: \( x^2 + 5x > 4x \implies x^2 + 5x - 4x > 0 \implies x^2 + x > 0 \) Paso 2: Evaluar \( x^2 + x > 0 \) para \( x \in A \). - Para \( x=3 \), \( 3^2 + 3 = 9 + 3 = 12 > 0 \) verdadero. Paso 3: Como existe al menos un \( x \) que cumple la condición, la proposición es verdadera. --- 2. Problema: Negar proposiciones usando las leyes de Morgan. 2.1- "Cuba es una isla o Santo Domingo es un país de Europa." Paso 1: La proposición es: \( p \lor q \). Paso 2: Negación con leyes de Morgan: \( \neg (p \lor q) = \neg p \land \neg q \). Negación: "Cuba no es una isla y Santo Domingo no es un país de Europa." 2.2- "Hoy está lloviendo y hace mucho frío." Paso 1: La proposición es \( r \land s \). Paso 2: Negación: \( \neg (r \land s) = \neg r \lor \neg s \). Negación: "Hoy no está lloviendo o no hace mucho frío." --- 3. Problema: Escribir negaciones para enunciados con cuantificadores. 3.1- "Ningún estudiante ausente tendrá otra oportunidad de aprobar." Paso 1: Proposición original: \( \forall x (\text{estudiante ausente}(x) \rightarrow \neg \text{oportunidad de aprobar}(x)) \). Paso 2: Negación: \( \exists x (\text{estudiante ausente}(x) \land \text{oportunidad de aprobar}(x)) \). En palabras: "Existe al menos un estudiante ausente que tendrá otra oportunidad de aprobar." 3.2- "Todas las personas son inteligentes." Paso 1: Proposición original: \( \forall x (\text{persona}(x) \rightarrow \text{inteligente}(x)) \). Paso 2: Negación: \( \exists x (\text{persona}(x) \land \neg \text{inteligente}(x)) \). En palabras: "Existe al menos una persona que no es inteligente."