À luz da lógica sentencial, julgue o item seguinte, acerca d...

Correto.

A negação de P^Q é ~Pv~Q.

(Lembrando que ^ é "e" e v é "ou", e que ~ significa a negação)

• "O juiz anulará a prova e soltará o acusado".
• Negação: "O juiz não anulará a prova ou não soltará o acusado".

Cuidado em irem com muita sede ao pote, não perceber a palavra "CONSEQUENTE" e ir cego nas regrinhas de negação.

*Banca pediu apenas a negação referente à segunda parte da condicional (consequente).

P^Q

Negação = ~P v ~Q

1° Lei de De Morgan no termo Q da sentença.

P -> (~Q)

~(r ^ s) -> ~r v ~s

Lembrando as negações

E====OU

P====ñP

Q====ñQ

P=>Q ===ñPvQ ou ainda ñQ=>ñP