A Lógica estuda a estrutura dos argumentos. Por exemplo: [br][br] Todos os homens são mortais;[br] Sócrates é um homem;[br] Portanto, Sócrates é mortal[br]e[br] Todos os cachorros são brincalhões.[br] Pepe é um cachorro.[br] Portanto, Pepe é brincalhão.[br][br]Esses dois argumentos possuem conteúdos distintos, mas um mesmo formato:[br][br] A são B. C é um A. Portanto, C é B.[br][br]Isto é, estudaremos o formato de uma argumentação, primeiramente; para verificar a sua validade. Para dominar isso, precisamos primeiro estruturar alguns conceitos:[br][br] 

Uma proposição é uma sentença declarativa que podemos dizer se ela é verdadeira ou não. Por exemplos:[br][br] 1) x+2=5 : não é uma proposição até sabermos o valor da variável x;[br] 2) Qual a sua idade? : também não é, pois não é declarativa.[br][br]Mas,[br][br] 3) "5 é um número primo" : é uma proposição; pois é declarativa e podemos dizer que ela é verdadeira.

Demonstraremos, posteriormente, essa proposição. O que importa, no momento, é que ela é obviamente verdadeira ou falsa: não depende de outras interpretações.

É a atribuição dos valores (verdadeiro) ou (falso) para proposições declarativas.[br][br] "2 é um número par" é uma proposição verdadeira. Denotamos por V[br] "6 é um número ímpar" é uma proposição falsa. Denotamos por F