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.