edición general
324 meneos
 

Introducción a la lógica

Se considera el primer texto matemático propiamente a Los elementos de Euclides. Se trata de un compendio de todo el saber griego sobre geometría hasta la época. La pregunta es ¿por qué es tan importante? Pues porque es el primer texto axiomático-deductivo que conocemos. ¿En qué consiste? Partimos de una serie de "Verdades universales" llamadas axiomas. Luego se realizan una serie de "definiciones" que son los objetos sobre los que usaremos los axiomas. Y finalmente tenemos "Teoremas" que son afirmaciones sobre los objetos.

| etiquetas: lógica , teoremas , axiomas , deducción , inferencia , hipótesis
209 115 1 K 871 mnm
209 115 1 K 871 mnm

menéame