Чисто условное умозаключение

Чисто-условное умозаключение – обе посылки – условные суждения: Если студент успешно сдал сессию (р), то он считается прошедшим в следующий семестр (q). Если он считается прошедшим в следующий семестр (q), то ему продлевают зачетку (r) / Если студент успешно сдал сессию (р), то ему продлевают зачетку (r). Следствие первой посылки является основанием второй, из которого, в свою очередь, вытекает некоторое следствие. Общая часть двух посылок (q) позволяет связать основание первой (р) и следствие второй (r): (p→q) ٨ (q→r) / p→r. Вывод основывается на правиле: следствие следствия есть следствие основания.

Это простое умозаключение – вывод получается из двух условных посылок.