Question

2 ejercicios desarrollados, sobre formalización y simbolización de proporciones lógica usando el conector negación. ​

Answer 1

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