условное высказывание
1условное высказывание — сложное высказывание, формулируемое обычно с помощью связки если..., то... и устанавливающее, что одно событие, состояние и т. п. является в том или ином смысле основанием или условием другого. Напр.: Если есть огонь, то есть дым , Если число… …
2высказывание контрфактическое — (от лат. contra против, factum событие) сложное высказывание, в котором с помощью союза если бы..., то бы... объединяются два высказывания A и В. В естественном языке ему соответствуют предложения, имеющие форму условно сослагательного наклонения …
3условное умозаключение — умозаключение, включающее посылки, представляющие собой условные суждения (см.: Условное высказывание). У. у. может состоять лишь из одной условной посыл ки, может включать кроме условной и другие посылки, не являющиеся условными, а также может… …
4ИМПЛИКАЦИЯ — (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции «если.., то...», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании… …
5Троичные функции — Троичной функцией в теории функциональных систем и троичной логике называют функцию типа , где   троичное множество, а   неотрицательное целое число, которое называют арностью или местностью функции. Элементы множества  цифровые… …
6импликация — (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции если ..., то ... , с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном… …
7основание и следствие — части условного высказывания, устанавливающего, что одно событие, состояние и т. п. является в том или ином смысле условием или основанием для другого. Условное высказывание обычно формулируется с помощью связки если..., то... . Высказывание,… …
8ДОСТАТОЧНОЕ УСЛОВИЕ — А является таким условием для В, если истинно условное высказывание «Если А, то 5». Напр., т.к. условное высказывание «Если число делится на 9, то оно делится на 3» истинно, делимость числа на 9 является Д.у. его делимости на 3. Понятие Д.у.… …
9парадоксы импликации — ПАРАДОКСЫ ИМПЛИКАЦИИ (от греч. paradoxos неожиданный, странный и лат. implicatio сплетение, переплетение) (и логического следования) проблемы, решения которых потребовала задача формальной экспликации условной связи и логического… …
10Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л …