§1-2 INTRODUCCIÓN LÓGICA 3

  Ejemplo 3. El concepto "alumno de primer año" puede determinarse pasando lista

(por extensión) o por un certificado de inscripción (por comprensión).
  Cuanto mas general es un concepto, es decir, cuanto menor es su com-
prensión, tanto mayor es su extensión.
  Ejemplos: 4. El concepto "argentino" es más general que "rosarino"; la condición
de vivir en Rosario, sumada a la comprensión del concepto "argentino", reduce la
extensión de éste.
  5. El concepto "polígono regular" tiene la comprensión "equilátero y equiángulo";
suprimiendo esta segunda condición, el concepto se generaliza y quedan incluidos
nuevos entes (p. ej., los rombos). Sin embargo, para los triángulos la distinción es
aparente, pues la propiedad "equiángulo" es consecuencia de "equilátero"; esto de-
muestra que a veces disminuyendo la comprensión, no aumenta la extensión.
  2. Lógica deductiva. — a) Una teoría matemática es un conjunto de
proposiciones que se siguen según el esquema de la deducción lógica. Se
entiende por proposición una expresión de la cual tenga sentido inequívoco
decir si es verdadera o falsa.
  La determinación del criterio de verdad de las proposiciones es a veces
una cuestión extralógica, que pertenece a otro campo del conocimiento; por
ejemplo, "San Martín murió en Francia" es una proposición cuya verdad
pertenece a la Historia; en cambio, decir: "El enfermo morirá, o no morirá",
es enunciar una proposición verdadera por su misma estructura lógica.
  En todo proceso de deducción lógica, o razonamiento, las proposiciones de
partida forman lo que se llama la hipótesis, y la conclusión a que se llega es
la tesis. En un razonamiento válido, la tesis se deduce o es una consecuencia
lógica de la hipótesis; también se dice que la hipótesis implica la tesis.
  Todo razonamiento se puede descomponer en varios del tipo más simple,
llamados silogismos, que el lector ya conoce.
  Por ejemplo:
  Hipótesis o premisas: a) Todos los triángulos son polígonos ;
b) Todos los polígonos son figuras geométricas.
  Tesis o conclusión: Todos los triángulos son figuras geométricas.
  Decir que "todos los T son. P" significa que "cada T es un P'", pero puede
haber algún P que no sea T; si en cambio todos los P fuesen también T, se
diría que la clase o conjunto de los T es idéntica a la de los P.
 Podemos representar la clase de todos los T por el conjun-
to de los puntos limitados por un contorno cerrado; entonces la