Inferencias - Logica Matematica

1. Determine la validez de las siguientes inferencias mediante el metodo de tabla de verdad. Basandose en los algoritmos dados en el enunciado

Si las aguas del mar peruano se enfrian excesivamente, entonces no habra buena actividad pesquera. No habra buena actividad pesquera. En consecuencia, las aguas del mar peruano se enfrian excesivamente.

Paso 1. Se ordena la inferencia:

Si las aguas del mar peruano se enfrian excesivamente, entonces no habra buena actividad pesquera. En consecuencia, las aguas del mar peruano se enfrian excesivamente. No habra buena actividad pesquera.

Paso 2. Se explicita su forma logica:

Si las aguas del mar peruano se enfrian excesivamente, entonces no habra buena actividad pesquera. En consecuencia, las aguas del mar peruano se enfrian excesivamente y no habra buena actividad pesquera.

Paso 3. Formula:

Premisa 1: A= Las aguas del mar peruano se enfrian excesivamente

Premisa 2: B= Habra buena actividad pesquera

_____________

Conclusion Ok

Paso 4. Construccion formula:

(A→¬B)→A^¬B

A

B

¬B

A→¬B

→A

^¬B

1

1

0

0

1

0

1

0

1

1

1

1

0

1

0

1

0

0

0

0

1

1

0

0

* Es tautologia y es valida

2. Determine mediante el metodo abreviado si las siguientes inferencias son validas o invalidas:

Si no se puede pescar anchoveta ni atun, entonces las aguas del mar peruano se han enfriado o calentado excesivamente. Las aguas del mar peruano se han calentado o enfriado excesiva mente. Por tanto, no se puede pescar anchoveta ni atun.

Paso 1. Se ordena la inferencia:

OK

Paso 2. Se explicita su forma logica:

Si no se puede pescar anchoveta y no se puede

...