Por ejemplo, considérese el siguiente conjunto de fórmulas de la lógica proposicional: { p, q, (q→￢p), r }.