Lógica, Teoria inicial

O ponto que a lógica tenta chegar é a verdade

Aristóteles foi quem formalmente iniciou a lógica

Lógica Aristotélica

Afirmação + afirmação = conclusão
Ex: Todo homem é mortal

Sócrates é homem

Portanto Sócrates é mortal