Transcreva cada uma das proposições em expressões lógicas usando predicados, quantificadores e conectivos lógicos.
Nem todos são seus amigos ou alguém não é perfeito.
Nem todos são seus amigos ou alguém não é perfeito.
Passo 1
Vamos traduzir as duas proposições sobre pessoas. Definimos o domínio como “todas as pessoas” e dois predicados:
: “
é seu amigo”
: “
é perfeito”
Passo 2
Tradução de “Nem todos são seus amigos.”
A expressão “nem todos” é a negação de “para todo”. Logo, em lógica de predicados temos
A expressão “nem todos” é a negação de “para todo”. Logo, em lógica de predicados temos
que, por equivalência, pode ser reescrita como
Passo 3
Tradução de “Alguém não é perfeito.”
A expressão “alguém” corresponde ao quantificador existencial e “não é perfeito” é a negação de . Assim,
A expressão “alguém” corresponde ao quantificador existencial e “não é perfeito” é a negação de
ou, de forma equivalente,
Resposta
- “Nem todos são seus amigos”:
- “Alguém não é perfeito”: