Testar uma condicional sem confiar na aparência

Compreender

Regra de treino: se o cartão é azul, a lâmpada acende. Quatro cartões hipotéticos permitem examinar todas as combinações de cor e luz. Uma condicional P→Q afirma que, sempre que P ocorre, Q também ocorre. No cenário, P significa «o cartão é azul» e Q significa «a lâmpada acende». Uma tabela de verdade não verifica se a máquina existe; organiza as combinações lógicas possíveis. Há quatro linhas: P e Q verdadeiros; P verdadeiro e Q falso; P falso e Q verdadeiro; P e Q falsos. A ordem das linhas pode mudar, mas nenhuma combinação deve ficar fora da análise.

A condicional falha apenas quando o antecedente é verdadeiro e o consequente falso: aparece um cartão azul e a lâmpada não acende. Um cartão de outra cor com lâmpada acesa não refuta a regra, pois ela não afirma que só cartões azuis acendem a luz. Também não se pode inferir que a lâmpada acesa prova a cor azul. Esta é a diferença entre testar P→Q e substituir sem licença a relação pela sua conversa Q→P.

Para validar um argumento, identificamos a forma, escrevemos as linhas relevantes e procuramos um contraexemplo: premissas verdadeiras com conclusão falsa. Se tal linha existir, a forma é inválida. A tabela diz respeito à relação lógica, não à fiabilidade empírica da regra do cartão. O exercício usa símbolos como apoio, mas é preciso voltar à frase comum para evitar trocar antecedente e consequente. O desenho de fichas coloridas é apenas um guia visual; os valores rigorosos ficam escritos nesta explicação.