Lógica Computacional

Prévia do material em texto

DEIXE O LIKE
┈┈┈┈┈┈▕▔╲┈┈┈┈┈┈
┈┈┈┈┈┈┈▏▕┈┈┈┈┈┈
┈┈┈┈┈┈┈▏▕▂▂▂┈┈┈
▂▂▂▂▂▂╱┈▕▂▂▂▏┈┈
▉▉▉▉▉┈┈┈▕▂▂▂▏┈┈
▉▉▉▉▉┈┈┈▕▂▂▂▏┈┈
▔▔▔▔▔▔╲▂▕▂▂▂I
OU MORRA!!!
████▀░░░░░░░░░ ░░░░░░ ░░▀██ █
███│░░░░░░░░░░░░░░░░░░░│███
██▌│░░░░░░░░░░░░░░░░░░░│▐██
██░└┐░░░░░░░░░░░░░░░░░┌┘░██
██░░└┐░░░░░░░░░░░░░░░┌┘░░██
██░░┌┘▄▄▄▄▄░░░░░▄▄▄▄▄└┐░░██
██▌░│██████▌░░░▐██████│░▐██
███░│▐███▀▀░░▄░░▀▀███▌│░███
██▀─┘░░░░░░░▐█▌░░░░░░░└─▀██
██▄░░░▄▄▄▓░░▀█ ▀░░▓▄▄▄ ░░░▄█
████▄─┘██▌░░░░░░░▐██└─▄████
█████░░▐█ ─┬┬┬┬┬┬┬─█▌░░█████
████▌░░░▀┬┼┼┼┼ ┼┼┼┬▀░ ░░▐██ █
█████▄░░░ └┴┴┴┴┴┴┴┘░░░▄█████
███████▄░░░░░░ ░░░░░▄ █████ █
O método dedutivo é utilizado para
A) demonstrar implicações e equivalências lógicas . São utilizadas equivalências
estudadas no tema de álgebra das proposições. Igualmente são empregados
os argumentos válidos fundamentais. Ademais, é uma forma de demonstração
mais eficiente que construir tabelas-verdade.
B) demonstrar implicações e equivalências lógicas . São utilizadas equivalências
estudadas no tema de álgebra das proposições. Igualmente são empregados os
argumentos válidos fundamentais. Ademais, é uma forma de demonstração menos
eficiente que construir tabelas-verdade – sendo este último um meio mais seguro e
rápido.
C) demonstrar implicações e equivalências lógicas . Não podem ser utilizados os
argumentos válidos fundamentais. Ademais, é uma forma de demonstração mais
eficiente que construir tabelas-verdade.
D) criar implicações e equivalências lógicas . São utilizadas apenas algumas das
equivalências estudadas no tema de álgebra das proposições. Ademais, é uma
forma de demonstração mais eficiente que construir tabelas-verdade.
E) demonstrar apenas equivalências lógicas . São utilizadas equivalências no tema de
álgebra das proposições. Igualmente são empregados os argumentos válidos
fundamentais. Ademais, é uma forma de demonstração mais eficiente que construir
tabelas-verdade.
RESPOSTA: A