No segundo parágrafo do Texto II, encontramos a seguinte informação: “Com o Sistema de Reconhecimento Facial, três foragidos da Justiça foram capturados - um homem com mandado expedido por homicídio e dois por não pagamento de pensão alimentícia.” Formulem duas proposições simples a partir dessa informação. Em seguida, utilizando a regra de De Morgan para a negação de uma conjunção, neguem a seguinte afirmação composta: “Um foragido tinha mandado por homicídio e dois foragidos não pagaram pensão alimentícia.” Apresentem a proposição negada de forma clara.

Passo 1

O enunciado pede para extrair duas proposições simples a partir da informação de que “um homem com mandado expedido por homicídio e dois por não pagamento de pensão alimentícia” foram capturados, e depois negar a conjunção dessas proposições usando a regra de De Morgan.

Passo 2

Definimos as proposições simples:

Passo 3

– Seja P: “Existe um foragido com mandado expedido por homicídio.”

Passo 4

– Seja Q: “Existem dois foragidos por não pagamento de pensão alimentícia.”

Passo 5

A afirmação composta é P wed>= Q, que diz exatamente “um foragido tinha mandado por homicídio e dois não pagaram pensão alimentícia”.

Passo 6

Aplicando a regra de De Morgan para a negação de uma conjunção, temos:

Passo 7

neg(P wed>= Q) equiv neg P vee neg Q

Passo 8

Agora traduzimos neg P vee neg Q para uma forma clara em linguagem natural.

Resposta

A proposição negada é
neg P vee neg Q
ou seja: “Não existe foragido com mandado por homicídio ou não existem dois foragidos por não pagamento de pensão alimentícia.”

Exercícios relacionados