8.9. Умовиводи із суджень з відношеннями

Умовивід, засновки і висновок якого є судженнями з відношеннями, називається умовиводом з відношеннями.Коля — брат Петра. Іван закінчив академію раніше Семена.Петро — брат Сергія. Семен закінчив академію раніше Артура.Коля — брат Сергія. Іван закінчив академію раніше Артура.Такі умовиводи спроможні лише тоді, коли відношення підпадають під принцип транзитивності (перхідності). В протилежному випадку маємо нісенітниці:Микола любить Олю.Оля любить Петра.Микола любить Петра (?!)До речі, саме внаслідок нетранзитивності багатьох правових відносин суттєво обмежене застосування математики до права, хоча останнім часом такі спроби починають з’являтися.