lógica matemática

La lógica es, en general, la ciencia que investiga, formula y establece los principios del razonamiento. La palabra proviene del término latino logica, y éste del griego logikè, y significa desde un punto de vista etimológico "ciencia del discurso" o "ciencia del pensamiento". Tal ciencia se dedica entonces al análisis de las afirmaciones que se establecen y de las que se deducen de sus asociaciones. En su sentido más moderno, la lógica no trata de encontrar la veracidad del contenido de una determinada afirmación, sino que se encarga de la coherencia de las afirmaciones, es decir, de la validez de las deducciones. Esta parte de la lógica recibe el nombre de "lógica formal". Para evitar la ambigüedad del lenguaje ...