Texto para o item

!$ \vee !$B, lida como “A ou B”, tem valor lógico F quando A e B são F; caso contrário, é V. Uma proposição da forma A!$ \wedge !$B, lida como “A e B”, tem valor lógico V quando A e B são V; caso contrário, é F. Uma proposição da forma ¬A, a negação de A, é F quando A é V, e é V quando A é F.

Uma expressão da forma P(x), proposição da lógica de primeira ordem, em que P denota uma propriedade a respeito dos elementos x de um conjunto U, tem a sua veracidade ou falsidade dependente de U e do significado dado a P. Se a proposição for da forma !$ \exists !$xP(x), lida como “Existe x tal que P(x)”, tem a sua valoração V ou F dependente de existir ou não um elemento em U que satisfaça a P.

De acordo com as definições apresentadas acima e a veracidade de todas as informações apresentadas no texto precedente, julgue o item.

A proposição “Não existem mulheres que ganham menos que os homens” pode ser corretamente simbolizada na forma !$ \exists !$x(M(x) !$ \rightarrow !$ G(x)).