En lógica matemática , una oración algebraica es aquella que se puede establecer usando solo ecuaciones entre términos con variables libres . Las desigualdades y los cuantificadores están específicamente prohibidos. La lógica de oraciones es el subconjunto de la lógica de primer orden que involucra solo oraciones algebraicas.