DD 2.2 - Inferencia lógica: demostración formal

• No, no puede demostrarse.

• Sí, ¬P es válido.

• 1

• 2

• 3

• Con ninguna.

• No, no puede demostrarse-

• Sí, R es válido.

• Ninguna.

• DL

  Ley de Morgan

• S

  Simplificación

• LB

  Ley del Bicondicional

• DP

  Simplificación Disyuntiva

Considerando las PREMISAS B:

 O bien el pH de una sustancia es ácido o bien la fenolftaleína presente en la disolución se tornará rosada. Asimismo, si el pH de la sustancia es menor a 7 y la sustancia es alcalina, entonces el pH de la solución no es ácido y la fenolftaleína no se tornará rosada. Ahora bien, sabemos que la sustancia es alcalina.

¿Es la siguiente inferencia válida: "Es imposible que el pH sea menor a 7 y que la sustancia sea alcalina"?

• Sí, es una inferencia válida.

• No, la inferencia no es válida.

Considerando las PREMISAS B:

 O bien el pH de una sustancia es ácido o bien la fenolftaleína presente en la disolución se tornará rosada. Asimismo, si el pH de la sustancia es menor a 7 y la sustancia es alcalina, entonces el pH de la solución no es ácido y la fenolftaleína no se tornará rosada. Ahora bien, sabemos que la sustancia es alcalina.

¿Qué reglas de inferencia de las siguientes son necesarias para probar que la siguiente inferencia es válida: "No es verdad que el pH de la sustancia es menor a 7"?

• LB

  Ley del bicondicional.

• TP

  Tolendo ponens

• PP

  Ponendo ponens

• TT

  Tollendo tollens

• DS

  Silogismo disyuntivo

Considerando las PREMISAS B:

 O bien el pH de una sustancia es ácido o bien la fenolftaleína presente en la disolución se tornará rosada. Asimismo, si el pH de la sustancia es menor a 7 y la sustancia es alcalina, entonces el pH de la solución no es ácido y la fenolftaleína no se tornará rosada. Ahora bien, sabemos que la sustancia es alcalina.

Considere el siguiente enunciado: "La sustancia es alcalina o que eso afecte la electroconductividad del agua"

¿Cuáles de los siguientes enunciados son correctos?

• El enunciado es válido dadas las premisas.

• El enunciado no es válido dadas las premisas.

• El enunciado se infiere desde la tercera premisa, mediante LA (ley de adición)

• El enunciado se infiere desde la primera premisa, mendiante un PP (ponendo ponens)

• El enunciado se infiere desde la primera premisa, mendiante un TP (tollendo ponens)