Definiciones de los conceptos semánticos básicos

 a) Qué tienen que cumplir dos fórmulas para aceptarse como equivalentes.

 b) Qué tiene que cumplir un conjunto de fórmulas para ser reconocido como conjunto satisfacible (o insatisfacible en caso contrario)

 c) Qué tiene que cumplir una fórmula para ser reconocida como satisfacible (similar al caso de la satisfacibilidad de un conjunto de una única fórmula). División de todas las posibles fórmulas entre fórmulas satisfacibles e insatisfacibles (contradicciones). Y dentro de las satisfacibles, el caso particular de las fórmulas q ue son verdad en toda interpretación (fórmulas universalmente válidas -tautologías en el caso proposicional-)

 d) Qué tiene que cumplir una fórmula para ser aceptada como consecuencia de un conjunto de fórmulas.