Ayudenme porfavor a formalizar estas proposiciones lógicas:
Me urgee
![](https://es-static.z-dn.net/files/d6a/1676303402cd5ad96db4a9379e843d8f.jpg)
Respuestas a la pregunta
Respuesta:
Explicación paso a paso:
24) Llamemos p: "hace frio siempre que apague la luz" y q: "cierre la puerta" entonces se puede formalizar como:
p ∧ - q
∧: conjunción
- : negación
25) La proposición puede reformularse como "Alicia o Beatriz serán elegidas pero no ambas" ( ⊻ disyunción excluyente) por lo tanto sea p: "Alicia será elegida" y q: "Beatriz será elegida", entonces:
p ⊻ q
Si hay que traducir la proposición tal y cuál esta planteada entonces es un poco más dificultoso y tedioso, pero se puede hacer; yo prefiero reformar la proposición para hacer el formalismo lógico más sencillo
26) p: "Beatriz será elejida" , q : "Beatriz será elejida"
-p ∧ -q
27) p: "El agua está a 100 grados centigrados" q: "el agua hierve"
p ---> q
(----> : condicional , si .... entonces .... )
30) p: "Llueve" q: "iré a verte"
Lo reformularé como "Si llueve iré a verte y si no llueve iré a verte":
(p ----> q) ∧ (-p -----> q)
31) p: "Ruperto tomó veneno" ; q: "Ruperto murió"
Asumiendo que no hay una implicación de causalidad y que la proposición descrive dos eventos que ocurren entonces:
p ∧ q
Se entiende cómo sería la cuestión?