FC ConcursosFC Concursos

Questão FC150037

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

CEBRASPE (CESPE)

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.

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.

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

Suponha-se que U seja o conjunto de todas as pessoas, que M(x) seja a propriedade “x é mulher” e que D(x) seja a propriedade “x é desempregada”. Nesse caso, a proposição “Nenhuma mulher é desempregada” fica corretamente simbolizada por 
Mostrar resposta e comentário

Gabarito

Certo

Comentário do professor

Comentário: A proposição "Nenhuma mulher é desempregada" pode ser simbolizada como ¬ x(M(x) ∧ D(x)), que significa que não existe nenhuma mulher (x) que seja desempregada (D). Isso é equivalente a afirmar que, para todo x, se x é mulher (M(x)), então x não é desempregada (¬D(x)). A negação da conjunção (M(x) ∧ D(x)) é a forma correta de expressar que nenhuma mulher pertence ao conjunto das desempregadas, o que está em conformidade com a lógica de primeira ordem. Portanto, a afirmação sobre a simbolização da proposição está correta.

Conteúdo do catálogo FC Concursos · Atualizado em

Continue aprendendo