Условный силлогизм

Условный силлогизм – это умозаключение от общего к частному из посылок, среди которых минимум одна посылка является условным суждением (построенным по типу "Если... то...", например: "если на улице идёт ливень, то земля мокрая"). Ту часть посылки, которая относится к "если" называют "основанием" ("на улице идёт ливень"), а часть, которая относится к "то" называют "следствием" ("земля мокрая").

Комментарий:
Делая умозаключния из условных силлогизмов мы получаем гарантированно досто­верный вывод только в двух случаях, когда:
1) от утверждения основания переходим к утверждению следствия;
2) от отрицания след­ствия переходим к отрицанию основания.

Во всех других формах условного силлогизма досто­верно что-то утверждать можно только о возможном. Например:

Если на улице идёт ливень, то земля мокрая.
Земля мокрая. [утверждение следствия]
Возможно, на улице идёт ливень (а может быть Вася уронил ведро с водой).

» Словарь