Dado um conjunto finito de proposições p 1 , p 2 , ⋯ , p n (chamadas premissas) e uma proposição c (chamada conclusão), diz-se que a relação que associa as premissas à conclusão é

Dado um conjunto finito de proposições p₁, p₂, ⋯ , p_n (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

p₁: todas as crianças gostam de pizza.

p₂: quem gosta de refrigerante gosta de pizza.

c: todas as crianças gostam de refrigerante.

Argumento II

p₁: todas as crianças gostam de pizza.

p₂: quem gosta de refrigerante gosta de pizza.

c: quem gosta de refrigerante é criança.

Argumento III

p₁: todas as crianças gostam de pizza.

p₂: quem gosta de refrigerante não gosta de pizza.

c: nenhuma criança gosta de refrigerante.

É (são) argumento(s) válido(s)