Условно-категорическим (для краткости – «условным») силлогизмом называется такое соотношении утверждений А и Б, что если одно из них (А) истинно, то второе (Б) тоже истинно. Это соотношение обозначается следующим образом: «Если А, то Б», или «А => Б», где символ «=>» означает обуславливающую связь этих утверждений. При этом утверждение А называется «предшествующее» и является достаточным условием для Б (истинности А всегда достаточно для истинности Б). Утверждение же Б, называемое «последующее», является необходимым условием для А (если Б ложно, А не может быть истинно, ибо при его истинности было бы истинным и Б).
С условным силлогизмом связаны три формальные логические ошибки – «Утрата условия», «Признание последующего» и «Опровержение предшествующего».