Question

como são usadas os termos válido, inválido e verdadeiro/ falso em lógica ?

Answer 1

Um argumento válido é quando as premissas são verdadeiras e a conclusão é também verdadeira. Um argumento inválido é quando as premissas são verdadeiras e a conclusão é falsa, ou quando as premissas ou uma das premissas é falsa e a conclusão é verdadeira. A verdade de uma premissa se dá pelo fato dela poder ser verdadeira ou falsa. A lógica trata apenas com a forma lógica e não com o conteúdo de uma proposição.