1.1.1. De que trata la lógica.

La lógica investiga la relación de consecuencia que se da entre
una serie de premisas y la conclusión de un argumento correcto.
Se dice que un argumento es correcto (válido) si su conclusión
se sigue o es consecuencia de sus premisas; de otro modo es
incorrecto.
Por un argumento entendemos un sistema de enunciados, de un lenguaje
determinado. Uno de esos enunciados es designado como la conclusión y el resto como las premisas.
Un enunciado se define como una expresión lingüística que establece
un pensamiento completo:
• Interrogativos,
• Imperativos,
• Declarativos:
± Enunciados de acción: sujeto no determinado. Ejemplos: “es verano”;
“hace calor”.
± Enunciados de atribución de propiedades a sujetos determinados.

        Ejemplos: “Luis es alto”; “El verano es caluroso”.

± Enunciados de relación entre sujetos.
              Ejemplos: “Luis es hermano de Juan”
 (Relación binaria); “Los Pirineos están entre España y Francia”

Ejemplo 1
   Una forma tradicional de presentar los argumentos es como se
muestra a continuación,
Todos los hombres son mortales;
Todos los griegos son hombres;

4 Todos los griegos son mortales.

A nadie la resultara difícil ver que la conclusión del argumento anterior se
sigue de sus premisas. En otros casos se requiere de cierta reflexión, como
en:

Hay exactamente 136 cajas de naranjas en el almacén;
Cada caja contiene al menos 140 naranjas;
Ninguna caja contiene más de 166 naranjas;
4 Hay en el almacén al menos seis cajas que contienen
el mismo numero de naranjas.
En otros casos la cuestión puede ser muy difícil.
El número de estrellas es par y menor que cuatro;
4 El número de estrellas es la suma de dos primos.