- импликация высказываний
- мат. propositional implication
Большой англо-русский и русско-английский словарь. 2001.
импликация высказываний
Смотреть что такое "импликация высказываний" в других словарях:
Импликация — Импликация (лат. implicatio связь) бинарная логическая связка, по своему применению приближенная к союзам «если… то…». Импликация записывается как посылка следствие; применяются также стрелки другой формы и направленные в другую… … Википедия
ИМПЛИКАЦИЯ — (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции «если.., то...», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании… … Философская энциклопедия
импликация материальная — импликация в трактовке логики классической. Для установления истинности И. м. Если А, то В достаточно выяснить истинностные значения высказываний А и В. И. м. истинна в трех случаях: 1) ее основание и ее следствие истинны; 2) основание ложно, а… … Словарь терминов логики
ИМПЛИКАЦИЯ — [лат. implicatio сплетение, переплетение] лог. логическая операция, образующая сложное высказывание из двух высказываний посредством логической связки, соответствующей союзу «если... то...». Словарь иностранных слов. Комлев Н.Г., 2006. импликация … Словарь иностранных слов русского языка
импликация — и, ж. implication f., нем. Implikation <лат. implicatio сплетение, переплетение. 1. В логике: операция, образующая сложное высказывание из двух высказываний посредством логической связки, соответствующей по смыслу союзу если .., то . Крысин… … Исторический словарь галлицизмов русского языка
ИМПЛИКАЦИЯ — в информатике эквивалент оборота «если..., то...», образующий сложное высказывание из двух высказываний, а также логическая операция, формализующая в программе логические свойства этого оборота … Большая политехническая энциклопедия
Импликация — логическая функция, следствие (если А, то В); в трактовке математической логики, материальная импликация , утверждение если А, то В считается ложной, только если А истинно, а В ложно, и при установлении истинности материальной импликации не… … Мир Лема - словарь и путеводитель
импликация — и; ж. [лат. implicatio] Лог. Способ связи двух простых высказываний в сложное с помощью конструкции если..., то... * * * импликация (от лат. implico тесно связываю) (материальная импликация), приблизительный логический эквивалент оборота «если … Энциклопедический словарь
импликация — (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции если ..., то ... , с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном… … Словарь терминов логики
ИМПЛИКАЦИЯ — логическая операция, соответствующая образованию высказывания если А, то В из высказываний Аи В. В формализованных языках И. чаще всего обозначается символами Высказывание Аназ. посылкой высказывания а высказывание В его заключением. Точный смысл … Математическая энциклопедия
импликация — ( < лат. implico – связывать) Логическая операция, приблизительно соответствующая сложному обороту, составленному из двух высказываний, соединенных между собой составным союзом если, то… … Словарь лингвистических терминов Т.В. Жеребило
