Lógica Computacional

Prévia do material em texto

DEIXE O LIKE
┈┈┈┈┈┈▕▔╲┈┈┈┈┈┈
┈┈┈┈┈┈┈▏▕┈┈┈┈┈┈
┈┈┈┈┈┈┈▏▕▂▂▂┈┈┈
▂▂▂▂▂▂╱┈▕▂▂▂▏┈┈
▉▉▉▉▉┈┈┈▕▂▂▂▏┈┈
▉▉▉▉▉┈┈┈▕▂▂▂▏┈┈
▔▔▔▔▔▔╲▂|▂▂I
OU MORRA!!!
████▀░░░░░░░░░ ░░░░░░ ░░▀██ █
███│░░░░░░░░░░░░░░░░░░░│███
██▌│░░░░░░░░░░░░░░░░░░░│▐██
██░└┐░░░░░░░░░░░░░░░░░┌┘░██
██░░└┐░░░░░░░░░░░░░░░┌┘░░██
██░░┌┘▄▄▄▄▄░░░░░▄▄▄▄▄└┐░░██
██▌░│██████▌░░░▐██████│░▐██
███░│▐███▀▀░░▄░░▀▀███▌│░███
██▀─┘░░░░░░░▐█▌░░░░░░░└─▀██
██▄░░░▄▄▄▓░░▀█ ▀░░▓▄▄▄ ░░░▄█
████▄─┘██▌░░░░░░░▐██└─▄████
█████░░▐█ ─┬┬┬┬┬┬┬─█▌░░█████
████▌░░░▀┬┼┼┼┼ ┼┼┼┬▀░ ░░▐██ █
█████▄░░░ └┴┴┴┴┴┴┴┘░░░▄█████
███████▄░░░░░░ ░░░░░▄ █████ █
Considerando que a lógica de predicados possui algumas características que a diferenciam da
lógica proposicional, quanto à utilização dos símbolos especiais∀ e∃, assinale a alternativa
CORRETA:
A) O símbolo∀ permite apresentar fatos sobre todos os objetos do universo e o
símbolo∃ permite apresentar fatos sobre objetos particulares. Estes símbolos
são chamados de quantificadores –∀ é o quantificador universal e∃ é o
quantificador existencial.
B) O símbolo∃ permite apresentar fatos sobre todos os objetos do universo e o
símbolo∀ permite apresentar fatos sobre objetos particulares. Estes símbolos são
chamados de quantificadores –∀ é o quantificador universal e∃ é o quantificador
existencial.
C) As demais alternativas apresentam algum problema quanto aos nomes dos símbolos
ou à sua classificação.
D) O símbolo∀ permite apresentar fatos sobre todos os objetos do universo e o
símbolo∃ permite apresentar fatos sobre objetos particulares. Estes símbolos são
chamados de conectivos lógicos –∀ é o conectivo lógico universal e∃ é o
conectivo lógico existencial.
E) O símbolo∀ permite apresentar fatos sobre todos os objetos do universo e o
símbolo∃ permite apresentar fatos sobre objetos particulares. Estes símbolos são
chamados de quantificadores –∀ é o quantificador existencial e∃ é o quantificador
universal.
RESPOSTA: A