Com base nas definições apresentadas acima, julgue os itens ...

Grande cuidado nessa questão.Está sendo pedido a NEGAÇÃO da proposição A -> BOu seja, ~(A -> B) com MESMOS valores lógicos de A ^ (~B)Tabela VerdadeA | B | ~B | A -> B | ~(A -> B) | A^(~B)V | V | F | V | F | FV | F | V | F | V | VF | V | F | V | F | FF | F | V | V | F | FComo se vê, as duas última colunas são iguais, fazendo com que a assertiva seja CORRETA.

Excelente o comentário do Matheus, bem elucidativo e didático. Parabéns.Eu não havia feito a tabela verdade como feita por ele, mas simplesmente admitindo que sendo na tabela verdade até A -> B somente uma opção em que A->B é falso, que é a situação onde A é verdade e B é falso, poderia escrever considerando que o contrário de falso é verdadeiro a opção A^~B.

Mole,a negaçao de a->b é A(¬B),portanto é desnecessario fazer tabela!

Corrigindo, a negação da condicional é A ^ ~B, como propõe a questão

Oi Pessoal;ATENÇÃO:No anexo da questão, tem-se:"... A proposição AvB -lida como "A e B"...Corrigindo..A proposição AvB - é lida como "A ou B". (Disjunção)No texto, a frase refere à conjunção.A proposição A^B - lida como"A e B"- tem valor lógico V quando A e B forem Ve valor lógico F, nos demais casos." (conjunção)Só para relembrar!!Abç,Lavis