En lógica matemática se comienza con la lógica de primer orden, la cuál contiene sentencias de forma proposicional y además usa términos que representan objetos. Para construir sentencias se recurre a símbolos, constantes, variables, funciones, cuantificadores, símbolos predicados, etc. Estas sentencias son expresiones lingüísticas que pueden conectarse con una o varias expresiones para formar una oración o sentencia más compleja. Estas sentencias o expresiones, en matemáticas se conocen como proposiciones y se pueden denotar por una variable.