Dado um conjunto finito de proposições p1
, p2
, ⋯ , pn
(chamadas
premissas) e uma proposição c (chamada conclusão), diz-se que a
relação que associa as premissas à conclusão é um argumento.
Um argumento é válido quando a conclusão c é consequência
obrigatória do conjunto de premissas.
Considere os seguintes argumentos:
Argumento I
p1
: todas as crianças gostam de pizza.
p2
: quem gosta de refrigerante gosta de pizza.
c: todas as crianças gostam de refrigerante.
Argumento II
p1
: todas as crianças gostam de pizza.
p2
: quem gosta de refrigerante gosta de pizza.
c: quem gosta de refrigerante é criança.
Argumento III
p1
: todas as crianças gostam de pizza.
p2
: quem gosta de refrigerante não gosta de pizza.
c: nenhuma criança gosta de refrigerante.
É (são) argumento(s) válido(s)