A expressão lógica se A então B é equivalente à expressão
- A)A and B
Errada, porque A and B exige que as duas proposições sejam verdadeiras ao mesmo tempo, mas a implicação não funciona assim.
- B)A or not B
Errada, porque A or not B não reproduz a tabela-verdade da condicional e falha em casos em que a implicação seria verdadeira.
- C)not A and not B
Errada, porque not A and not B só seria verdadeira quando ambas fossem falsas, o que não representa a ideia de "se A então B".
- D)not A or B
Certa, porque not A or B é a forma equivalente de "se A então B" na lógica proposicional.
- E)not A or not B
Errada, porque not A or not B não corresponde à condicional e troca completamente o sentido lógico da frase.
Gabarito: D
Em lógica proposicional, a frase "se A então B" representa uma implicação. Ela só falha quando A acontece e B não acontece. Em todas as outras situações, a expressão é considerada verdadeira. Esse é o tipo de detalhe que a banca gosta: não é uma simples conjunção nem uma disjunção comum, e sim uma relação condicional entre as proposições. A equivalência clássica da implicação é: "se A então B" = "não A ou B". Em símbolos, A -> B é o mesmo que not A or B. A ideia é simples: se A for falso, a condição não foi violada; se A for verdadeiro, B precisa ser verdadeiro para a frase continuar correta. Essa equivalência é fundamento básico da lógica proposicional, usada em algoritmos, provas e tabelas-verdade. Por isso o gabarito é a letra D. Basta testar a única situação que derruba a implicação: A verdadeiro e B falso. Em "not A or B", isso vira falso or falso, ou seja, falso. Nas demais combinações, a expressão permanece verdadeira, exatamente como ocorre em "se A então B". Se quiser guardar um atalho mental: implicação é "ou o antecedente não acontece, ou o consequente acontece". É uma tradução bem fiel e evita cair nas alternativas que misturam "and" com "or" sem respeitar a tabela-verdade.