Considere que j é uma proposição. Dada a sentença j ↔ ~ j, a mesma refere-se a uma:
Contingência.
Tautologia.
Contradição.
Falsologia única.
