Question

Ayudenme porfavor a formalizar estas proposiciones lógicas:
Me urgee

Answer 1

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?