A lógica, enquanto propriedade linguística, não se preocupa com a veracidade dos enunciados, mas com a validade formal lógica, ou seja, com a possibilidade de sentido da frase dada por sua estrutura. Se a estrutura de uma frase é correta, isto é, se ela segue um padrão formal correto, podemos dizer que a frase é logicamente válida. Na matemática, é a lógica que garante a estrutura formal racional das equações e demais elementos matemáticos que, de algum modo, relacionam-se.

Os argumentos são normalmente baseados em premissas que ajudam a construir uma conclusão. No entanto, todas as premissas devem ter como alicerce um sentido lógico, caso contrário o resultado final pode não ser verdadeiro ou válido.

Por norma, os argumentos servem principalmente para provar alguma coisa, como um ponto de vista, uma decisão ou ideia. Seu objetivo, neste caso, consiste em justificar determinado objeto que é causa de um debate.

Na filosofia, o silogismo é parte integrante da lógica aristotélica e está baseado na dedução. Ou seja, parte de afirmações verdadeiras para uma nova afirmação também verdadeira.

Aqui um exemplo com forma falsa e que leva a uma conclusão falsa: “todas as pessoas altas tocam guitarra, como Marcelo é alto, então Marcelo é um guitarrista”.

Temos também aquela que é conhecida como inferência imediata, a qual se traduz numa conclusão obtida por meio de apenas uma proposição ou mesmo afirmação. Um exemplo dela seria: “todos os pássaros tem asas”, sendo assim, temos a inferência imediata de que não existem pássaros sem asas.

Esse tipo de inferência é direta, logo, se tivermos um outro enunciado como: “nem todos os pássaros tem asas”, logo podemos concluir que ele se trata de algo falso. E isso nos ajuda a identificar quando uma preposição não é verdadeira, ou seja, se a primeira preposição é verdadeira, então a segunda (nesse exemplo) se torna automaticamente falsa.

Algumas palavras usadas como sinônimo de inferência são: consequência, conclusão, implicação, entre outras.