Question

hacia frio o calor,y si llovia entonces no hacia calor

Answer 1

En el ejercicio de inferencia lógica dado la conclusión es: ¬C  ∨  B ó C → B

Para encontrar la conclusión:

1. Formalizamos las premisas y la conclusión

A: Hacía frio.

B: Hacía calor.

C: Llovía.

2. Luego aplicamos las leyes de inferencia

P1:   A   ∨   B

P2:  C  → ¬A    

P3: ¬C ∨ ¬A    Equivalencia de P2

P4: ¬C  ∨  B    Silogismo disyuntivo P1 y P3

Aunque el problema no lo indica, asumimos que el razonamiento tendrá dos premisas. Por otro lado sobre el Silogismo disyuntivo, sabemos que establece una condición de exclusión o es una opción o es la otra. Al negar una de ella, se concluye en la afirmación de la otra.