Lógica Computacional

Prévia do material em texto

DEIXE O LIKE
┈┈┈┈┈┈▕▔╲┈┈┈┈┈┈
┈┈┈┈┈┈┈▏▕┈┈┈┈┈┈
┈┈┈┈┈┈┈▏▕▂▂▂┈┈┈
▂▂▂▂▂▂╱┈▕▂▂▂▏┈┈
▉▉▉▉▉┈┈┈▕▂▂▂▏┈┈
▉▉▉▉▉┈┈┈▕▂▂▂▏┈┈
▔▔▔▔▔▔╲▂|▂▂I
OU MORRA!!!
████▀░░░░░░░░░ ░░░░░░ ░░▀██ █
███│░░░░░░░░░░░░░░░░░░░│███
██▌│░░░░░░░░░░░░░░░░░░░│▐██
██░└┐░░░░░░░░░░░░░░░░░┌┘░██
██░░└┐░░░░░░░░░░░░░░░┌┘░░██
██░░┌┘▄▄▄▄▄░░░░░▄▄▄▄▄└┐░░██
██▌░│██████▌░░░▐██████│░▐██
███░│▐███▀▀░░▄░░▀▀███▌│░███
██▀─┘░░░░░░░▐█▌░░░░░░░└─▀██
██▄░░░▄▄▄▓░░▀█ ▀░░▓▄▄▄ ░░░▄█
████▄─┘██▌░░░░░░░▐██└─▄████
█████░░▐█ ─┬┬┬┬┬┬┬─█▌░░█████
████▌░░░▀┬┼┼┼┼ ┼┼┼┬▀░ ░░▐██ █
█████▄░░░ └┴┴┴┴┴┴┴┘░░░▄█████
███████▄░░░░░░ ░░░░░▄ █████ █
A questão foi anulada; por favor, selecione qualquer alternativa para que possa ser
atribuída a pontuação correspondente.
Considerando as seguintes premissas:
Se um objeto – bicho, animal – da natureza é um cachorro, então pode-se afirmar que o seu
sexo será masculino ou feminino.
Pode-se generalizar que qualquer cachorro é um animal, ou seja, todos os cachorros são
animais.
Bem, nem todos os cachorros são obedientes, mas há certeza de que existem cachorros
obedientes ou, pelo menos, um.
E empregando conectivos lógicos e quantificadores utilizados na lógica de predicados de
primeira ordem, assinale a alternativa com a formalização CORRETA das premissas anteriores
– ainda que em ordem diferente:
A)
∀x, cachorro(x) → masculino(x) ˄ feminino(x)
∀x, cachorro(x) → animal(x)
∃x, cachorro(x) → obediente(x)
B)
∀x, cachorro(x) → masculino(x) ˅ feminino(x)
∀x, cachorro(x) → animal(x)
∃x, obediente(x) → cachorro(x)
C)
x, cachorro(x) → animal(x)
∃x, cachorro(x) → obediente(x)
∀x, cachorro(x) → masculino(x) ˅ feminino(x)
D)
∀x, cachorro(x) → animal(x)
∃x, cachorro(x) → obediente(x)
∀x, cachorro(x) → masculino(x) ˅ feminino(x)
E)
∀x, animal(x) → cachorro(x)
∃x, cachorro(x) → obediente(x)
∀x, cachorro(x) → masculino(x) ˅ feminino(x)
RESPOSTA: D