Lógica Computacional

Prévia do material em texto

DEIXE O LIKE
┈┈┈┈┈┈▕▔╲┈┈┈┈┈┈
┈┈┈┈┈┈┈▏▕┈┈┈┈┈┈
┈┈┈┈┈┈┈▏▕▂▂▂┈┈┈
▂▂▂▂▂▂╱┈▕▂▂▂▏┈┈
▉▉▉▉▉┈┈┈▕▂▂▂▏┈┈
▉▉▉▉▉┈┈┈▕▂▂▂▏┈┈
▔▔▔▔▔▔╲▂|▂▂▂I
OU MORRA!!!
████▀░░░░░░░░░ ░░░░░░ ░░▀██ █
███│░░░░░░░░░░░░░░░░░░░│███
██▌│░░░░░░░░░░░░░░░░░░░│▐██
██░└┐░░░░░░░░░░░░░░░░░┌┘░██
██░░└┐░░░░░░░░░░░░░░░┌┘░░██
██░░┌┘▄▄▄▄▄░░░░░▄▄▄▄▄└┐░░██
██▌░│██████▌░░░▐██████│░▐██
███░│▐███▀▀░░▄░░▀▀███▌│░███
██▀─┘░░░░░░░▐█▌░░░░░░░└─▀██
██▄░░░▄▄▄▓░░▀█ ▀░░▓▄▄▄ ░░░▄█
████▄─┘██▌░░░░░░░▐██└─▄████
█████░░▐█ ─┬┬┬┬┬┬┬─█▌░░█████
████▌░░░▀┬┼┼┼┼ ┼┼┼┬▀░ ░░▐██ █
█████▄░░░ └┴┴┴┴┴┴┴┘░░░▄█████
███████▄░░░░░░ ░░░░░▄ █████ █
Considerando que o argumento a uma afirmação de que dada sequência finita P1, P2..., Pn
de proposições lógicas tem como consequência ou acarreta uma proposição final Q, logo:
P1, P2, P3..., Pn Ⱶ Q
E que um argumento poderá ser lido de diversas formas:
•P1, P2, P3..., Pn acarretam Q;
•Q se deduz de P1, P2, P3..., Pn.
•Q se infere de P1, P2, P3..., Pn.
Assinale a alternativa CORRETA:
A) Um argumento P1, P2, P3..., Pn Ⱶ Q será considerado válido se e somente se a
conclusão Q for verdadeira todas as vezes que as premissas P1, P2, P3..., Pn
forem verdadeiras. Ademais, tal argumento será válido se e somente se a
condicional (P1 ˄ P2 ˄ P3 ˄ ... ˄ Pn) → Q associada a este argumento for
tautológica, ou seja, se esta condicional for uma tautologia.
B) Um argumento P1, P2, P3..., Pn Ⱶ Q será considerado válido se e somente se a
conclusão Q for verdadeira todas as vezes que as premissas P1, P2, P3..., Pn forem
verdadeiras. Ademais, tal argumento será válido se e somente se a implicação
lógica (P1 ˄ P2 ˄ P3 ˄ ... ˄ Pn) → Q associada a este argumento for uma
contradição, ou seja, se esta condicional for uma tautologia.
C) Um argumento P1, P2, P3..., Pn Q será considerado válido se e somente se a
conclusão Q for verdadeira todas as vezes que as premissas P1, P2, P3..., Pn forem
verdadeiras. Ademais, tal argumento será válido se e somente se a bicondicional
(P1 ˄ P2 ˄ P3 ˄ ... ˄ Pn) ↔ Q associada a este argumento for tautológica, ou seja,
se esta bicondicional for uma tautologia.
D) Um argumento P1, P2, P3..., Pn Ⱶ Q será válido se e somente se a condicional (P1 ˄
P2 ˄ P3 ˄ ... ˄ Pn) → Q associada a este argumento for uma contingência.
E) Não é possível demonstrar um argumento P1, P2, P3..., Pn Ⱶ Q utilizando apenas
uma tabela-verdade da condicional (P1 ˄ P2 ˄ P3 ˄ ... ˄ Pn) → Q equivalente a esse
argumento.
RESPOSTA: A