Lógica de enunciados

Viernes 13 de marzo.
La lógica de enunciados o proposicional, es la más elemental. Su objetivo es analizar las relaciones que se dan entre los enunciados, las conexiones que nos permiten obtener una conclusión válida a partir de unas premisas. Las premisas, así como la conclusión, pueden ser verdaderas o falsas.

Válida verdadera.
Premisas:
-Ana y Marta están en la misma clase.
-Marta es de 2ºB.
Conclusión:
-Ana y Marta son de 2ºB.

Inválida verdadera.
Premisas:
-El pájaro es un ave.
-El gorrión es un ave.
Conclusión:
-El gorrión es un ave.

Inválida falsa.
Premisas:
-Mi prima me quita los pendientes.
-Mis pendientes son pequeños.
Conclusión:
Los pendientes que lleva mi prima son grandes.

Válida falsa.
Premisas:
-Los conejos comen zanahorias.
-Las zanahorias tienen tierra.
Conclusión:
Los conejos comen tierra.