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 é:<br /><br />III. A negação da sentença $x(Ax\wedge Bx)$ consiste em $x(\sim Ax\vee \sim Bx)$<br /><br />Explicação:<br />- A negação da sentença $x(Ax\rightarrow Bx)$ é $x(\sim Ax \vee Bx)$, não $x(Ax\rightarrow Bx)$.<br />- A negação da sentença $x(AxV\sim Bx)$ é $x(\sim Ax \wedge \sim Bx)$, não $x(\sim Ax\wedge Bx)$.<br />- A negação da sentença $x(Ax\wedge Bx)$ é de fato $x(\sim Ax\vee \sim Bx)$, 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.