Логика

вид опосредованного умозаключения, в котором из общего правила выводится частный случай; в дедукции рассуждение идёт от большего к меньшему, знание сужается, и поэтому её выводы достоверны.

логическая операция, которая раскрывает объём понятия на основе какого-либо признака (основание деления). Различают дихотомическое деление, т .е. деление понятия строго на два объёма, пополам, по типу: «A и не- A», и деление по видоизменению признака, т.е. деление на более, чем два объема по единому критерию.

вид сложного суждения, образованного из простых суждений при помощи союза «или». Различают строгую дизъюнкцию, когда ее компоненты исключают друг друга (не могут реализовываться в один промежуток времени), и нестрогую дизъюнкцию,  когда входящие в ее состав простые суждения друг друга не исключают.