The study of mechanical or "formal" reasoning began with philosophers and mathematicians in antiquity.
Studiul raționamentului „formal” (mecanic) a început cu filozofii și matematicienii din Antichitate.