Имеются и другие более сложные формы гипотетического силлогизма. К ним относится, например, вывод, имеющий следующую схему

((p Ù q) ® r ) Ù`r ) ® ( `p Ú `q )

Читается это так: «Если p и q истинны, то r также истинно. Но r ложно. Значит, или p ложно, или q ложно». Например, «Если х

>0 и y

>0, то xy

>0. Но xy

< 0. Значит, либо x

<0, либо y

<0»

Другим примером сложного условного умозаключения является следующий модус:

((p ® q) Ù (q ® r)) ® (p ® r )

Читается это так: «Если истинно, что из p

следует q

, и истинно, что из q

следует r

,

то истинно, что из p

следует r

». Содержательным примером этого силлогизма может быть рассуждение: «Если электростанции прекратят подачу электроэнергии, то троллейбусы остановятся. Если троллейбусы остановятся, то я опоздаю на занятия. Значит, если электростанции прекратят подачу электроэнергии, то я опоздаю на занятия».