Закон противоречия

Согласно Аристотелю, можно выделить три вида возможного. Это, во-первых, возможное в обычном смысле, т.е. то, что будучи одним, может перейти в другое. Во-вторых, существует возможное, которое на деле всегда существует только в качестве действительного. Так как оно действительно, то тем самым оно и возможно, но оно никогда не встречается как возможное, а лишь как действительное. В-третьих, существует возможное, которое вечно остается только возможным и никогда не переходит в действительность.

Предикат (от позднелат. praedicatum— сказанное), то же, что свойство; в узком смысле — свойство отдельного предмета, например "быть человеком", в широком смысле — свойство пары, тройки, вообще n-кипредметов, например "быть родственником".

Суждение — форма мышления, в которой что-либо утверждается или отрицается о предмете, его свойствах или отношениях между предметами. Виды суждений и отношения между ними изучаются в философской логике.

Софизм (от греч. sóphisma — уловка, ухищрение, выдумка, головоломка), умозаключение или рассуждение, обосновывающее какую-нибудь заведомую нелепость, абсурд или парадоксальное утверждение, противоречащее общепринятым представлениям.

Силлогизм (греч. syllogismós), вид дедуктивного умозаключения, две посылки и заключение которого имеют одну и ту же субъектно-предикатную структуру.

Сори́т (от греч. σωρός — «куча») — цепь силлогизмов, в которых заключение является одной из посылок следующего за ним, а одна из посылок при этом не выражается в явной форме. 

ЭКВИВАЛЕНЦИЯ. логическое действие, состоящее в употреблении связок «если, и только если» в содержательных логических выводах и разговорном языке...

Энтимéма (др.-греч. ἐνθύμημα) — сокращённый силлогизм, в котором в явной форме не выражена посылка или заключение, однако пропущенный элемент подразумевается. Иногда к энтимемеприбегают нарочно, желая получить неожиданное заключение.

Эпихейрема (от др.-греч. ἐπιχείρημα — довод, аргумент ) — сокращенный силлогизм, в котором обе посылки представляют собой энтимемы. Эмпихейрема это полисиллогизм состоящий из энтимем

Примером эпихейремы может быть следующее рассуждение. Ложь заслуживает презрения, так как она безнравственна. Лесть есть ложь, так как она есть умышленное извращение истины. Лесть заслуживает презрения.