Argumentos:

Chama-se argumento, toda afirmação de que uma dada seqüência finita de
proposições P1, P2,... Pn tem como consequência uma proposição final Q.
As proposições P1, P2,... Pn são chamadas de premissas do argumento, e a proposição final Q
chama-se conclusão do argumento.

Um Argumento de premissas P1, P2,... Pn e conclusão Q é indicado na forma simbólica, por:
P1, P2, P3, ... Pn ½¾ Q
E pode ser lida de uma das seguintes maneiras:

“P1, P2, P3, ... Pn acarretam Q”
“Q decorre de P1, P2, ... Pn”
“Q se deduz de P1, P2, ... Pn”
“Q se enfere de P1, P2,... Pn”
O mesmo argumento, pode também ser indicado pela forma padronizada:
P1
P2
P3
.
.
.
Pn_
Q

Exemplo:

Antonio é rico ou pobre, Antonio não é rico ½¾ Antonio é pobre
Na forma padronizada:
Antonio é rico ou pobre
Antonio não é rico
_______________________
Logo, Antonio é pobre
Sendo p: Antonio é rico
q: Antonio é pobre
Escrevendo o argumento na forma simbólica temos:
p Ú q, ~ p ½¾ q ou p Ú q
~ q
________
q
22

Validade de um Argumento:

Um argumento, P2, ... Pn ½¾ Q é válido se somente a conclusão Q é verdadeira todas as vezes
que as premissas P1, P2, ... Pn forem verdadeiras.
Portanto, todo argumento válido goza da seguinte propriedade: A verdade das premissas é
incompatível com a falsidade da conclusão. As premissas dos argumentos são verdadeiras ou,
pelo menos, admitidas como verdadeiras. Logo, afirmar que um dado argumento é válido
significa afirmar que as premissas estão de tal modo relacionadas com a conclusão que não é
possível ter a conclusão falsa se as premissas forem verdadeiras.
Quando um argumento é válido, a condicional associada ao argumento é uma tautologia.
Um Argumento P1, P2, ... Pn ½¾ Q é válido se, e somente se, a condicional P1 Ù P2 Ù P3 Ù ... Pn
® Q for tautológica.

A validade de um argumento pode ser verificada, demonstrada ou testada de diversas formas,
estudaremos a validade ou não dos argumentos através das tabelas-verdade e das regras de
inferência.

Validade de um Argumento através de Tabelas-Verdade:

Para demonstrar, ou verificar, ou testar se um determinado argumento é válido ou não,
mediante tabelas-verdade, procede-se do seguinte modo:

a) Constrói-se a condicional associada ao argumento
b) Constrói-se a tabela-verdade e verifica-se se esta condicional é ou não uma tautologia. Se
essa condicional é tautológica, então o argumento é válido, caso contrário diz-se que o
argumento é não-válido ou sofisma.

Obs.:

1) Verdade e falsidade podem se predicados das proposições, nunca dos argumentos
2) Propriedades de validade ou não-validade só podem pertencer a argumentos, mas nunca
à proposições
3) Num raciocínio dedutivo não é possível estabelecer a verdade da sua conclusão se as
premissas não forem todas verdadeiras. Determinar a validade ou não–validade dos
raciocínios está inteiramente dentro do domínio da Lógica. O lógico está interessado na
validade até daqueles argumentos cujas premissas possam ser falsas.