2 ejercicios desarrollados, sobre formalización y simbolización de proporciones lógica usando el conector negación.
Respuestas a la pregunta
Respuesta:
Explicación paso a paso:
1. En los polos el frío es intenso únicamente si los planetas giran en torno al sol.
Convenciones simbólicas:
- p: en los polos el frío es intenso
- q: los planetas giran en torno al sol
Formalización:
p → q
2. Si no hay subsidios del gobierno para la agricultura, hay controles sobre la agricultura.
Si hay controles sobre la agricultura, no hay depresión. Habrá depresión a no ser que
haya sobreproducción agrícola. Ahora bien, no hay sobreproducción. Por tanto, hay
subsidios del gobierno para la agricultura.
Convenciones simbólicas:
- p: hay subsidios del gobierno para la agricultura
- q: hay controles sobre la agricultura
- r: hay depresión
- s: hay sobreproducción agrícola
Formalización:
¬p → q, q → ¬r, r ∨ s, ¬s ├ p