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

Факт
Факт (от лат. factum — сделанное, совершившееся) — понятие, которое в общем смысле синонимично таким понятиям, как истина, результат, событие. Это достоверное знание, истинность которого строго...

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

Формальная логика
Формальная логика — смотри Логика.

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