сложное высказывание, формулируемое обычно с помощью связки «если..., то...» и устанавливающее, что одно событие, состояние и т. п. является в том или ином смысле основанием или условием другого.
Иногда термин «силлогизм» понимают более широко, применяя его к:
условным умозаключениям,
условно-категорическим... умозаключениям,
разделительно-категорическим умозаключениям,
лемматическим (условно-разделительным)... I – частноутвердительные высказывания (по второй гласной букве affirmo);
Е – общеотрицательные высказывания... Различные сочетания высказываний, собранные в фигуру, образуют модусы.... высказыванием, меньшая – частноутвердительным, заключение – также частноутвердительным.
из сложных высказываний.... посылки хотя бы одно сложное высказывание.... Дедуктивные умозаключения из простых высказываний
Различают следующие виды умозаключений из простых высказываний... высказываний:
условно категорические умозаключения.... В них и посылки, и заключение являются условными суждениями.
В статье вводятся два вида условной связи формул логических систем: Ари-условная связь и Иусловная (импликативная) связь. Показывается, что посылки принимаемых формул аристотелевской силлогистики связаны с их заключениями Ари-условной связью. Ари-условная связь влечет Иусловную связь формул, но не наоборот. Доказывается теорема, согласно которой наблюдается дифракция И-условной связи на семь видов, среди которых Ари-условная связь.
(лат. non segunitur) – логическая ошибка в доказательстве, состоящая в том, что в подтверждение тезиса выдвигаются такие доводы, которые сами по себе являются истинными суждениями, но из которых вовсе не следует (не вытекает логически) доказываемый тезис.