Simulado Serviço Federal de Proc. de Dados - SERPRO | Analista - Administração de Serviços de TI | 2019 pre-edital | Questão 332

Raciocínio Lógico / Lógica de argumentação e sentencial (ou proposicional)

Considere as seguintes definições de conjuntos, feitas a partir de um
conjunto de empresas, E, não vazio.

X = conjunto das empresas de E tais que “se a empresa não entrega
o que promete, algum de seus clientes estará insatisfeito”;

A = conjunto das empresas de E tais que “a empresa não entrega o
que promete”;

B = conjunto das empresas de E tais que “algum cliente da empresa
está insatisfeito”.

Tendo como referência esses conjuntos, julgue os itens seguintes.

A negação da proposição “A empresa não entrega o que
promete” é “A empresa entrega o que não promete”.

Fonte: TéCNICO JUDICIáRIO - TECNOLOGIA DA INFORMAçãO / TRT 10ª / 2013 / CESPE