Dado um conjunto finito de proposições p1 , p2 , ⋯ , p

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)