[лат. consequens – следствие, последующий вывод] – один из главных членов импликации, вводимый в сложное высказывание при помощи слова «то».
Таким образом, в простой конструктивной полилемме консеквенты в условных высказываниях одинаковы, потому...
заключение оказывается категорическим; в сложной конструктивной — консеквенты разные, и потому заключением
В статье предлагается анализ механизмов рождения возможных культурных смыслов в биактуальных высказываниях, рассматриваются необходимые и достаточные условия, при которых оправдано биактуальное соединение антецедента с консеквентом, выявляются критерии со-логичности соответствующих условий с антецедентами других биактуальных высказываний и правилоподобности принципов, обосновывающих истинность/ложность биактуальных высказываний.
случая – когда оба аргумента материальной импликации истинны, а также когда антецедент истинный, а консеквент...
ложный;
два других случая (ложность обоих аргументов или ложность антецедента с истинностью консеквента
Рассматриваются этапы построения нечетких систем типа Такаги-Сугено: формирование исходных данных, генерация структуры нечеткой системы, оптимизация параметров антецедентов и консеквентов нечетких правил. Компромисс между компактностью и точностью модели достигается использованием трех статистических информационных критериев: Akaike, Bayesian, Hannan-Quinn Information Criterion. Приведены результаты экспериментов по аппроксимации реальных данных.
(лат. non segunitur) – логическая ошибка в доказательстве, состоящая в том, что в подтверждение тезиса выдвигаются такие доводы, которые сами по себе являются истинными суждениями, но из которых вовсе не следует (не вытекает логически) доказываемый тезис.
(от фр. absurde – нелепица) – нелепость, бессмыслица. В логике под абсурдом обычно понимается противоречивое выражение. В таком выражении что-то утверждается и отрицается одновременно. «Сведение к абсурду» - один из способов опровержения, заключающийся в установлении ложности (или противоречивости) следствий, вытекающих из тезиса.
суждения, посредством которых обосновывается истинность к.-л. другого суждения.
