(греч. anti — против н logos — разум) — формула логики, выражающая несовместимость посылок категорического силлогизма с отрицанием его заключения. Теория А. является одним из вариантов силлогистики.
