Quais situações é preciso verificar para encontrar um contraexemplo a uma condicional \(p \to q\)?

Verificar casos com p verdadeiro e com q falso.

Explicação:
Uma condicional \(p \to q\) é falsa apenas quando p é verdadeiro e q é falso. Por isso devemos checar: objetos onde p claramente ocorre, para confirmar se q também ocorre, e objetos onde q é claramente falso, para confirmar se p é falso.

Exemplo:
Regra: "Se a face visível é quadrada (p), então a cor do verso é azul (q)."

Objetos expostos:
• Carta 1: mostra um quadrado (sabemos p verdadeiro).
• Carta 2: mostra um círculo azul (sabemos q verdadeiro).
• Carta 3: mostra um triângulo verde (sabemos q falso).
• Carta 4: mostra um quadrado azul (ambos visíveis).

Para testar a regra, vire a Carta 1 (ver se o verso é azul) e a Carta 3 (ver se o verso é quadrado). Se alguma dessas mostrar p verdadeiro e q falso, a condicional está refutada.