Por ejemplo, considérese la fórmula "p" ∧ "q".