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 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.
b.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.
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 condicional (P1 ˄ P2 ˄ P3 ˄ ... ˄ Pn) → Q associada a este argumento for tautológica, ou seja, se esta condicional 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.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.
Soluções para a tarefa
A alternativa correta é a 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 condicional (P1 ˄ P2 ˄ P3 ˄ ... ˄ Pn) → Q associada a este argumento for tautológica, ou seja, se esta condicional for uma tautologia.
A afirmação que possui várias proposições apresenta como consequencia de uma maneira relacional uma proposição que pode ser considerado como um argumento. Todas as linhas que se apresentam como tabela verdade apresenta certas premissas que podem ser consideradas verdadeiras podem ser intentificadas como argumentos.
A Tautologia é o conhecimento de que expressa a mesma coisa sob termos diferentes.
Espero ter ajudado.