Modus ponendo tollens означает утверждающе-отрицающий модус:
В отношении подчинения по логическому квадрату выполняется: из истинности подчиненного суждения следует истинность подчиняющего суждения:
В простой конструктивной дилемме условная посылка содержит два основания, из которых вытекают разные следствия:
Дедукция - умозаключение, в котором переход от общего знания к частному является логически необходимым:
Обращение - преобразование суждения, в результате которого предикат исходного суждения становится субъектом, а субъект - предикатом заключения:
Обращение - преобразование суждения, в результате которого субъект исходного суждения становится предикатом, а предикат - субъектом заключения:
Первое правило посылок гласит: хотя бы одна из посылок должна быть утвердительным суждением:
Полисиллогизм (сложный силлогизм) - соединение простых силлогизмов, в котором заключение предшествующего силлогизма (просиллогизма) становится посылкой последующего силлогизма (эписиллогизма):
Полисиллогизм - соединение простых силлогизмов, в котором заключение просиллогизма становится посылкой эписиллогизма:
Превращение - преобразование суждения в суждение, противоположное по качеству с предикатом, противоречащим предикату исходного суждения:
Средний термин силлогизма - понятие, входящее в обе посылки и отсутствующее в заключении:
Умозаключение - форма мышления, посредством которой из одного или нескольких суждений выводится новое суждение:
Частноотрицательное суждение (О) превращается в частноутвердительное (I):
Четвертое правило посылок: если одна из посылок - частное суждение, то и заключение должно быть частным:
Эпихейрема - сложносокращенный силлогизм, обе посылки которого являются энтимемами: