Teste de Validade: Antígona - Tabela de Verdade (Filosofia 11º Ano 2021)

Prove que o argumento seguinte é inválido, construindo e interpretando a tabela de verdade adequada.
Se Antígona é uma tragédia, então a heroína de Antigona morre.
Logo, se Antigona não é uma tragédia, então a heroína de Antígona não morre.
Na sua resposta, comece por formalizar o argumento, utilizando o dicionário apresentado.
Dicionário P:
Antígona é uma tragédia.
Q:
A heroína de Antigona morre.

A resposta integra os aspetos seguintes, ou outros igualmente relevantes. Formalização do argumento: P → Q, ∴ ¬Q → ¬P. Construção da tabela e cálculo dos valores de verdade:

P	Q	P → Q	¬Q → ¬P
V	V	V	F V F
V	F	F	F V V
F	V	V	V F F
F	F	V	V V V

Interpretação da tabela: – na terceira linha, tem-se a premissa verdadeira e a conclusão falsa; – num argumento válido, em nenhuma circunstância isso pode ocorrer. A classificação final da resposta resulta da soma das pontuações atribuídas a cada um dos parâmetros seguintes. A - Formalização: 4 pontos; B - Construção da tabela e cálculo dos valores de verdade: 6 pontos; C - Interpretação da tabela e conclusão: 4 pontos.

Parâmetros	Níveis	Descritores de desempenho	Pontuação
A Formalização	2	Formaliza corretamente o argumento.	4
	1	Formaliza o argumento com uma imprecisão que não afeta a interpretação do argumento (por exemplo, não apresenta o sinal de conclusão).	2
B Construção da tabela de verdade e cálculo dos valores de verdade (ver nota)	2	Constrói uma tabela adequada ao teste de validade da forma argumentativa. Calcula corretamente todos os valores de verdade.	6
	1	Constrói uma tabela adequada ao teste de validade da forma argumentativa. Comete um erro no cálculo de um dos valores de verdade.	3
C Interpretação da tabela e conclusão	2	Interpreta de modo completo e preciso a tabela de verdade que construiu.	4
	1	Interpreta de modo preciso, mas incompleto, a tabela de verdade que construiu.	2

Nota – Se o argumento não for corretamente formalizado (ver parâmetro A), mas a tabela construída for adequada à forma argumentativa apresentada, a resposta pode obter a pontuação total prevista no parâmetro B, desde que a forma argumentativa seja bem formada e inclua, pelo menos, duas variáveis proposicionais e duas conectivas proposicionais diferentes. Caso a forma argumentativa não seja bem formada, ou caso, sendo bem formada, não inclua duas variáveis proposicionais e duas conectivas proposicionais diferentes, a resposta é classificada com zero pontos nos parâmetros B e C.