Reflexividade: Toda fórmula lógica é equivalente a si mesma.

Transitividade: Se duas fórmulas são equivalentes e uma terceira fórmula também é equivalente à segunda, então a primeira fórmula é equivalente à terceira.

Assimetria: Se uma fórmula é equivalente a outra, a segunda fórmula não é equivalente à primeira.

Antissimetria: Se uma fórmula é equivalente a outra, então a segunda fórmula não é equivalente à primeira, exceto quando as duas fórmulas são idênticas.

Conectividade: Toda fórmula lógica é necessariamente equivalente a qualquer outra fórmula lógica.