argumentação
Um argumento indutivo afirma que a verdade da conclusão é apenas apoiada pelas premissas. Toda premissa, assim como toda conclusão, pode ser apenas verdadeira ou falsa; nunca pode ser ambígua. Em funçao disso, as frases que apresentam um argumento são referidas como sendo verdadeiras ou falsas, e em consequência, são válidas ou são inválidas. Alguns autores referem-se à conclusão das premissas usando os termos declaração, frase, afirmação ou proposição. A razão para a preocupação com a verdade é ontológica quanto ao significado dos termos (proposições) em particular. Seja qual termo for utilizado, toda premissa, bem como a conclusão, deve ser capaz de ser apenas verdadeira ou falsa e nada mais: elas devem ser truthbearers ("portadores de verdade", em inglês).
Argumentos formais e argumentos informais Argumentos informais são estudados na lógica informal. São apresentados em linguagem comum e se destinam a ser o nosso discurso diário. Argumentos Formais são estudados na lógica formal (historicamente chamada lógica simbólica, mais comumente referida como lógica matemática) e são expressos em uma linguagem formal. Lógica informal pode chamar a atenção para o estudo da argumentação, que enfatiza implicação, lógica formal e de inferência.
Argumentos dedutivos Um argumento dedutivo é aquele cuja validade depende unicamente da sua forma lógica. Isto é, o argumento é válido se a conclusão for sustentada e apoiada logicamente pelas premissas. Mesmo que as premissas sejam falsas, supondo que são verdadeiras, se a conclusão que se segue for também verdadeira (sendo de facto falsa) o argumento é válido. A validade do