Questão FC150038
Texto para o item O número de mulheres no mercado de trabalho mundial é o maior da História, tendo alcançado, em 2007, a marca de 1,2 bilhão, segundo relatório da Organização Inter
Lógica de Primeira Ordem
Texto para o item
O número de mulheres no mercado de trabalho mundial é o maior da História, tendo alcançado, em 2007, a marca de 1,2 bilhão, segundo relatório da Organização Internacional do Trabalho (OIT). Em dez anos, houve um incremento de 200 milhões na ocupação feminina. Ainda assim, as mulheres representaram um contingente distante do universo de 1,8 bilhão de homens empregados.
Em 2007, 36,1% delas trabalhavam no campo, ante 46,3% em serviços. Entre os homens, a proporção é de 34% para 40,4%. O universo de desempregadas subiu de 70,2 milhões para 81,6 milhões, entre 1997 e 2007 — quando a taxa de desemprego feminino atingiu 6,4%, ante 5,7% da de desemprego masculino. Há, no mundo, pelo menos 70 mulheres economicamente ativas para 100 homens.
O relatório destaca que a proporção de assalariadas subiu de 41,8% para 46,4% nos últimos dez anos. Ao mesmo tempo, houve queda no emprego vulnerável (sem proteção social e direitos trabalhistas), de 56,1% para 51,7%. Apesar disso, o universo de mulheres nessas condições continua superando o dos homens.
O Globo, 7/3/2007, p. 31 (com adaptações).
Proposição é uma frase que pode ser julgada como verdadeira — V — ou falsa — F —, não cabendo a ela ambos os julgamentos. Um argumento correto é uma sequência de proposições na qual algumas são premissas, e consideradas V, e as demais são conclusões, que, por consequência da veracidade das premissas, também são V.
Proposições simples podem ser representadas simbolicamente pelas letras A, B, C etc. Conexões entre proposições podem ser feitas por meio de símbolos especiais. Uma proposição da forma 
, 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 
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.
, 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 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 
, 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.
, 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.A proposição “Não existem mulheres que ganham menos que os homens” pode ser corretamente simbolizada na forma
.Mostrar resposta e comentário
Gabarito
Errado
Comentário do professor
Comentário: A proposição “Não existem mulheres que ganham menos que os homens” sugere que todas as mulheres ganham igual ou mais do que os homens, o que implica uma relação universal negativa. A forma correta para representar essa proposição na lógica de primeira ordem seria ¬∃x(M(x) ∧ G(x)), onde ¬ denota a negação e a expressão indica que não existe nenhum x tal que M(x) (mulher) e G(x) (ganha menos que os homens) sejam verdadeiros simultaneamente. Portanto, a simbolização proposta na questão é errada, pois não reflete corretamente a negação da existência de mulheres que ganham menos que homens.
Conteúdo do catálogo FC Concursos · Atualizado em