Quando a condicional é verdadeira?

A Lógica por Trás da Condicional: Quando a Implicação é Verdadeira?

Na lógica proposicional, a estrutura condicional — frequentemente expressa pela fórmula "Se A, então B" — gera debates e confusões comuns, especialmente para quem está iniciando os estudos na área. Para entender o valor de verdade de uma implicação, é preciso olhar para a relação de suficiência entre a hipótese (A) e a conclusão (B).

Uma condicional é considerada verdadeira em quase todos os cenários, exceto em uma única situação muito específica. O coração da regra reside na primeira linha da tabela verdade: se a hipótese A for verdadeira e, a partir dela, a conclusão B também for verdadeira, a implicação é plenamente válida. Isso ocorre porque a verdade de A foi suficiente para garantir a verdade de B, confirmando a promessa do enunciado.

Por outro lado, o único cenário capaz de quebrar essa lógica e tornar a condicional falsa é quando a antecedente A é verdadeira, mas a consequente B é falsa. Se o ponto de partida acontece, mas o resultado esperado não se confirma, a relação de causa e efeito é violada.

O ponto mais contraintuitivo para o cérebro humano ocorre quando a hipótese A é falsa. Na lógica formal, se a primeira parte não acontece, não há violação do pacto. Portanto, independentemente de B ser verdadeiro ou falso, toda condicional com antecedente falsa é classificada, por definição, como verdadeira. Em suma, a condicional só falha se houver uma promessa verdadeira seguida de uma entrega falsa.