Questões de Concurso

Ao revisar um relatório de controle interno, um analista encontrou a afirmação: "Todos os processos examinados receberam parecer favorável." Para registrar corretamente sua negação, ele precisou considerar tanto a alteração do quantificador quanto a negação da propriedade atribuída aos processos. Analise as assertivas a seguir.
I. A proposição possui quantificador universal.
II. Sua negação é: "Existe pelo menos um processo examinado que não recebeu parecer favorável."
III. A frase "Nenhum processo examinado recebeu parecer favorável" expressa exatamente a negação da proposição original.
IV. Para negar a proposição, substitui-se o quantificador universal por um quantificador existencial e nega-se o predicado.

Assinale a alternativa que indica as assertivas CORRETAS.

Ao revisar um relatório de controle interno, um analista encontrou a afirmação: "Todos os processos examinados receberam parecer favorável." Para registrar corretamente sua negação, ele precisou considerar tanto a alteração do quantificador quanto a negação da propriedade atribuída aos processos. Analise as assertivas a seguir.
I. A proposição possui quantificador universal.
II. Sua negação é: "Existe pelo menos um processo examinado que não recebeu parecer favorável."
III. A frase "Nenhum processo examinado recebeu parecer favorável" expressa exatamente a negação da proposição original.
IV. Para negar a proposição, substitui-se o quantificador universal por um quantificador existencial e nega-se o predicado.

Assinale a alternativa que indica as assertivas CORRETAS.

Considere as afirmações sobre um conjunto de servidores:

S(x): “x entregou todos os documentos no prazo.”
T(x): “x recebeu notificação.”

A proposição A é:
A: “Para todo servidor x, se S(x) então não T(x).”

Assinale a alternativa que expressa corretamente a negação de A.

Dada a afirmação: “Todos os professores da escola utilizam computador e internet em sala de aula.” A negação lógica CORRETA dessa afirmação é:

Considere a proposição: Algum engenheiro é professor. Do ponto de vista da lógica de conjuntos, a representação correta dessa afirmação, em um diagrama de Venn, é caracterizada por: