Historia de la Lógica
Es una ciencia y una rama de la filosofía que estudia los principios de lademostración e inferencia válida.
Logica Matemática
Es parte de la lógica y las matemáticas, cosiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas.
Sus conexiones
Ciencia de la computación
Proposiciones
Lógica filosófica.
Es un enunciado u oración del cual podemos afirmar que es verdadero o falso pero no ambos.