a) La relación de equivalencia es reflexiva, simétrica y transitiva
b) El reemplazo (en una fórmula original) de una subfórmula por otra equivalente produce otra fórmula total sintácticamente distinta. Pero equivalente a la original.
c) Si un conjunto de fórmulas es satisfacible, también lo es la fórmula (única) obtenida por conjunción de todas ellas
d) Partiendo de un conjunto de fórmulas (satisfacible/insatisfacible), ¿cómo resulta ser el conjunto resultante tras (añadir/extraer) alguna fórmula del original? ¿Y si se conoce alguna propiedad de esa fórmula, p.ej. ser contradicción o ser tautología?
e) Cuando en una tautología se sustituyen todas las apariciones de una misma letra proposicional por la fórmula que se desee, el resultado sigue siendo una tautología
f) Toda fórmula es consecuencia de sí misma. Si una fórmula A es consecuencia de un conjunto de fórmulas, y B es consecuencia de A, resulta que B es consecuencia también de ese conjunto inicial de fórmulas.