Алгебра логики
А́лгебра ло́гики, система алгебраических методов решения логических задач и совокупность таких задач; в узком смысле — табличное, матричное построение логики высказываний, определяющее логические...

Аналитическое Высказывание
Аналити́ческое Выска́зывание, высказывание, истинность или ложность которого может быть установлена исключительно на основе анализа его грамматической или логической структуры. Примеры истинных...

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

Верификация
Верифика́ция (от лат. verus — истинный и facio — делаю), проверка, эмпирическое подтверждение теоретических положений науки путем сопоставления их с наблюдаемыми объектами, чувственными данными,...

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

Высказывание
Выска́зывание в языкознании — единица речевого общения, оформленная на письме в виде предложения. Под высказыванием также понимают любые интонационно оформленные речевые единицы, не равные...

Дефиниция
Дефини́ция (лат. definitio) — то же, что определение.

Дилемма
Диле́мма в логике — вывод из двух условных и одного двучленного разделительного суждения, в котором оба члена — либо посылки условных суждений (конструктивная дилемма), либо отрицания их заключений...

Дихотомическое деление
Дихотоми́ческое деле́ние (дихотомия, греч. «разделение надвое») — способ классификации: классы, множества, понятия, термины разбиваются на пары соподчиненных (производных) элементов (подклассов,...

Доказательство (в логике)
Доказа́тельство в логике — обоснование истинности суждения по правилам логики. Суждение, истинность которого требуется доказать, называют тезисом. При доказательстве тезиса пользуются аргументами и...

Доказательство от противного
Доказа́тельство от проти́вного (лат. reductio ad absurdum) — вид косвенного доказательства, в котором утверждение истинности суждения (тезиса доказательства) осуществляется через опровержение...

Значение
Значе́ние,

Импликация
Имплика́ция (от лат. implico — тесно связываю) (материальная импликация), приблизительный логический эквивалент оборота «если..., то...»; операция, формализующая логические свойства этого оборота.

Имя (в логике)
И́мя, в логике — языковой знак (выражение), называющий индивидуальный предмет (собственное имя) или любой предмет из некоторого класса (общее имя). Предметом имени (его денотатом) может быть вещь,...

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

Индукция (умозаключение)
Инду́кция (от лат. inductio — наведение), умозаключение от фактов к некоторой гипотезе (общему утверждению). Различают полную индукцию, когда обобщение относится к конечнообозримой области фактов, и...

Исключенного третьего принцип
Исключенного тре́тьего при́нцип (лат. tertium non datur), принцип классической формальной логики, утверждающий, что всякое суждение или истинно, или ложно, третьего не дано. Впервые сформулирован...

Кванторы
Ква́нторы — в логике и математике логические эквиваленты слов «все», «каждый» (кванторы общности), «некоторый», «существует» (кванторы существования); операторы, формализующие в исчислении предикатов...

Класс (в логике и математике)
Класс, в логике и математике — то же, что множество, т. е. произвольная (конечная или бесконечная) совокупность предметов, выделенных по какому-либо признаку и просто перечисленных. Предметы,...

Классификация в логике
Классифика́ция (от лат. classis — разряд, класс и facio — делаю), в логике — система соподчиненных понятий (классов объектов) какой-либо области знания или деятельности человека, используемая как...