то же, что и основание и следствие. части условного вы сказывания, устанавливающего, что одно событие, состояние и т.п. является в том или ином смысле условием или основанием для другого. Условное высказывание обычно формулируется с помощью связки «если…, то…». Высказывание, идущее после слова «если», называется основанием, идущее после слова «то», называется следствием.
не вызывают сомнения два случая – когда оба аргумента материальной импликации истинны, а также когда антецедент... истинный, а консеквент ложный;
два других случая (ложность обоих аргументов или ложность антецедента... с истинностью консеквента) требуют признания импликации неопределенной.
В статье предлагается анализ механизмов рождения возможных культурных смыслов в биактуальных высказываниях, рассматриваются необходимые и достаточные условия, при которых оправдано биактуальное соединение антецедента с консеквентом, выявляются критерии со-логичности соответствующих условий с антецедентами других биактуальных высказываний и правилоподобности принципов, обосновывающих истинность/ложность биактуальных высказываний.
) находится дизъюнктивная последовательность, а справа (в консеквенте, или в «сукцеденте») – конъюнктивная... выступает доказательством для сукцедента, а сукцедент в свою очередь является доказательством антецедента... : (a˅b˅c˅d˅…˅z) ↔ (a˄b˄c˄d˄…˄z)
Секвенцию с пустым антецедентом интерпретируют как истину, а секвенция... Если одновременно пусты как антецедент, так и сукцедент, секвенция интерпретируют как противоречивую:... Начинают с антецедентов и постепенно применяют правила вывода, чтобы получить новые секвенции.
Рассматриваются этапы построения нечетких систем типа Такаги-Сугено: формирование исходных данных, генерация структуры нечеткой системы, оптимизация параметров антецедентов и консеквентов нечетких правил. Компромисс между компактностью и точностью модели достигается использованием трех статистических информационных критериев: Akaike, Bayesian, Hannan-Quinn Information Criterion. Приведены результаты экспериментов по аппроксимации реальных данных.
один из наиболее известных логических парадоксов. В простейшем его варианте человек произносит одну фразу: «Я лгу». Или говорит: «Высказывание, которое я сейчас произношу, является ложным». Или: «Это высказывание ложно». Если высказывание ложно, то говорящий сказал правду и, значит, сказанное им не является ложью. Если же высказывание не является ложным, а говорящий утверждает, что оно ложно, то его высказывание ложно. Оказывается, таким образом, что, если говорящий лжет, он говорит правду, и наоборот.
