Com respeito à formulação de expressões lógicas, considere a...

Alternativa correta: C - (not A) or B

No estudo da lógica proposicional, uma expressão lógica como A -> B, que é lida como "se A é verdadeira então B é necessariamente verdadeira", define uma relação de implicação entre duas proposições A e B. Para entender essa expressão, precisamos saber que se a primeira parte (A) é verdadeira, a segunda parte (B) deverá ser verdadeira para que toda a expressão seja verdadeira. Se A for falsa, a expressão inteira pode ser verdadeira independentemente do valor de B. Isso nos leva a uma das formas de expressar a implicação através de operadores lógicos básicos: "ou A é falso ou B é verdadeiro".

Formalmente, a implicação A -> B é verdadeira nos seguintes casos:

• Quando A é falso e B é falso.
• Quando A é falso e B é verdadeiro.
• Quando A é verdadeiro e B é verdadeiro.

A única situação em que a implicação não é verdadeira é quando A é verdadeiro e B é falso. Essa condição é justamente o que queremos evitar ao afirmar que "se A é verdadeira então B é necessariamente verdadeira".

Portanto, a alternativa C - (not A) or B é a correta porque ela captura essa ideia ao afirmar que para a expressão ser verdadeira, ou A não é verdadeira (not A), ou B é verdadeira (B). Isso é o equivalente à nossa implicação original, correspondendo exatamente aos casos em que a implicação seria verdadeira.

Se olharmos para as outras alternativas:

• A - (A and B) or B poderia ser verdadeira mesmo se A fosse falso, o que não representa a implicação original pois adiciona uma condição desnecessária (A and B).
• B - (not A) and (not B) seria verdadeira somente se ambas A e B fossem falsas, o que não reflete a implicação.
• D - A and B implica que ambas A e B precisam ser verdadeiras, o que é mais restritivo do que a implicação original.
• E - A or B sugere que pelo menos uma das proposições deve ser verdadeira, mas isso não representa a relação de implicação descrita em A -> B.

Assim, entendemos por que a resposta correta é a opção C, pois ela é a única que traduz corretamente a lógica da implicação em termos de operadores lógicos básicos.

a unica condição em que A->B é falsa é quando A = V e B = F. todas as outras combinações sao verdadeiras. logo, a única opcao em que pegando todas as outras combinações de A -> B que sao verdadeiras é a letra C

A. é verdadeiro se pelo menos B for verdadeiro.

B. é verdadeiro apenas se A e B forem ambos falsos.

C. é verdadeiro se pelo menos uma das condições (A sendo falso ou B sendo verdadeiro) for satisfeita.

D. é verdadeiro somente se ambos A e B forem verdadeiros.

E. é verdadeiro se pelo menos uma das condições (A sendo verdadeiro ou B sendo verdadeiro) for satisfeita.