A lógica formal remonta aos trabalhos de Aristóteles, em seus Analíticos Primeiros e Analíticos Segundos, tendo sido retomada por Frege, entre outros.
Certo
Errado
