силлогизм, в котором обе посылки и вывод являются условными суждениями (импликациями).