logica

Lógica
La lógica matemática es una parte de la lógica y las matemáticas que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. Lalógica matemática tiene estrechas conexiones con las ciencias de la computación y la lógica filosófica.
La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican odefinen nociones intuitivas de objetos matemáticos como conjuntos, números, demostraciones y algoritmos, utilizando un lenguaje formal.
Las proporciones
Las proporciones. La igualdad entre dosrazones recibe el nombre de proporción. La teoría de las proporciones fue desarrollada por el gran matemático griego Eudoxio_de_Cnidos. Su obra original sobre la teoría de las proporciones no llegó hastalos tiempos actuales, pero gracias a uno de sus sucesores, Euclides de Alejandría, se pudo conocer dicha teoría, pues la recogió en su libro V de los Elementos.
Axioma
Un axioma es una proposiciónque se considera «evidente» y se acepta sin requerir demostración previa. En un sistema hipotético-deductivo es toda proposición no deducida (de otras), sino que constituye una regla general depensamiento lógico (por oposición a los postulados).1

Postulado (matemática)
Un postulado es una proposición no evidente por sí misma, ni demostrada, pero que se acepta ya que no existe otro principio delque pueda ser deducida.1
Lógicamente un postulado es similar a un axioma pero difiere de ellos en que, en un sistema hipotético-deductivo, es toda proposición no deducida de otra, sino queconstituye una regla general de pensamiento lógico (en oposición a los postulados).2
También se denomina postulado a los principios sustentados por una determinada persona, un grupo o una organización.3Cuantificadores (lógica)
Cuando se habla de cuantificadores en términos de Lógica, Teoría de Conjuntos o Matemáticas en general, se hace referencia a aquellos símbolos que se utilizan para indicar...