No cálculo proposicional, dada a fórmula (P → Q) → (¬ P Λ Q), exatamente em quantas valorações do par (P, Q) essa proposição assume o valor verdade?