Розгляд традиційною логікою умовиводів логіки висловлювань, засновками яких є комбінації категоричного судження з умовним чи розділовим судженням, комбінації тільки умовних суджень і комбінації з умовних і розділових суджень. Формула логічної структури.
Аннотация к работе
Умовиводи логіки висловлювань в традиційній логіціУмовно-категоричним називається умовивід, у якому один засновок умовне судження, а другий засновок і висновок категоричні судження. Структуру цього умовиводу можна записати у вигляді правила висновку Чисто умовним називається умовивід у якому засновки і висновок є умовними судженнями. Р о з д і л о в о - к а т е г о р и ч н и м умовиводом називається умовивід у якому один засновок розділове судження, а другий засновок і висновок категоричні судження. Умовно-розділовим умовиводом називається умовивід, у якому один із засновків є розділовим судженням, а решта умовними судженнями.