a lógica fala verdade ??? ou interessa a sua validade...

A validade só se coloca ao nível do argumento mas a verdade apenas se pode verificar ao nível da proposição e, assim, a validade não depende do valor lógico de verdade das premissas à excepção de um único caso, quando as premissas são ambas verdadeiras, a conclusão nunca pode ser falsa.

Mas, afinal, o que são estes dois valores lógicos?
O valor de verdade é o valor lógico das proposições, ou seja, é a adequação do dito com a realidade. Por seu turno, o valor de validade é o valor lógico do argumento, ou seja, a obediência às regras do discurso interno e do pensamento.
S é P :
sujeito (S), é aquele sobre o qual se afirma ou se nega algo.

cópula (é - verbo ser), é o elemento que faz a ligação entre o sujeito e o predicado.

predicado(P), é a qualidade, aquilo que se diz do sujeito.

Existem ainda outros dois tipos diferentes de argumento, o argumento indutivo e o argumento dedutivo:

O argumento indutivo é aquele em que, a partir de uma observação de casos particulares, se generaliza a conclusão para todos o universo dos casos particulares.

O argumento dedutivo é aquele em que a conclusão é necessariamente verdadeira se as premissas também o forem. Parte do geral para o particular, ou seja, caso o argumento seja dedutivamente válido, se duas premissas forem verdadeiras a conclusão não pode, em caso algum, ser falsa.

Com estas noções podemos, então, classificar os argumentos em sólidos (bons ou correctos) ou em maus (fracos ou incorrectos). Ou seja, vamos então classificar os argumentos quanto à sua solidez :

Argumento mau:
argumento válido que tem proposições falsas
argumento inválido que tem proposições verdadeiras.

Argumento sólido:
argumento válido que tem proposições verdadeiras.


bom estudo.