acréscimo de quantificadores em sentenças abertas contribui para a construção de sentenças cujos valores lógicos podem ser avaliados em função do conjunto universo e do conjunto verdade correspondente. A partir dessas informações, analise as seguintes afirmações: 1. A negação da sentença square x(Axarrow Bx) consiste em square x(Axarrow Bx) II. A negação da sentença x(AxVsim Bx) consiste em x(sim Axwedge Bx) III. A negação da sentença x(Axwedge Bx) consiste em x(sim Axvee sim Bx) Em relação às afirmáções apresentadas, assinale a alternativa correta;

alternativa correta é:III. A negação da sentença consiste em Explicação:- A negação da sentença é , não .- A negação da sentença é , não .- A negação da sentença é de fato , pois a conjunção é verdadeira se e somente se ambos os operandos são verdadeiros. Portanto, a negação deve ser verdadeira se pelo menos um dos operandos for falso.