Norma Elvira Peralta Márquez

Es Leibniz a quien se le considera el precursor de la moderna lógica matemática

. Una proposición es una frase que afirma o niega algo. Una proposición condicional es aquella que tiene la forma Si H entonces T, donde a H se le conoce como hipótesis y a la T como tesis.

Definición implícita de un término es una lista convencional de proposiciones, llamadas axiomas, que contienen al término en sí