Um argumento é válido: I. Se a bicondicional formada pela conjunção das premissas na hipótese e a conclusão na tese for tautológica. II. Se a condicional formada pela conjunção das premissas na hipótese e a conclusão na tese for tautológica. Se a conclusão for verdadeira em todas as vezes que as premissas forem verdadeiras.III.
Soluções para a tarefa
Respondido por
10
Resposta: Correta B - II e III estão corretas.
Explicação: P 1, P 2,..., P n ⊢ Q é válido se a conclusão for verdadeira em todas as vezes que as premissas forem verdadeiras. Logo, a afirmação II é verdadeira. Por outro lado, P 1, P 2,..., P n ⊢ Q é válido se e somente se a condicional associada P 1∧P 2∧...∧ P n → Q for tautológica. Logo, a afirmação III é verdadeira.
Perguntas interessantes