- знак импликации
- мат. implication sign, symbol of implication
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ИМПЛИКАЦИЯ — (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции «если.., то...», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании… … Философская энциклопедия
ОТРИЦАНИЕ — филос. категория, выражающая опре дел. тип отношения между двумя последоват. стадиями, состояниями развивающегося объекта. О. является необходимым моментом процесса развития. Диалектика в «...позитивное понимание существующего... включает … Философская энциклопедия
КОНСЕКВЕHT И АНТЕЦЕДЕНТ — (от лат. соnsequens – следствие, вывод и antecedens – предшествующее обстоятельство)– две части условного высказывания, связанные логич. союзом если..., то ; антецедентом высказывания если А, то В называют его основание, или условие (А), а… … Философская энциклопедия
ИСЧИСЛЕНИЕ — (формальная система) система символов, основными компонентами которой являются: 1) алфавит (совокупность элементарных символов букв. цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы) … Философская энциклопедия
Квантор — (от лат. quantum сколько) логическая операция, дающая количественную характеристику области предметов, к которой относится выражение, получаемое в результате её применения. В обычном языке носителями таких характеристик служат слова типа… … Большая советская энциклопедия
СУЖДЕНИЕ — мысль, выражаемая повествовательным предложением и являющаяся истинной или ложной. С. лишено психологического оттенка, свойственного утверждению. Хотя С. находит свое выражение только в языке, оно, в отличие от предложения, не зависит от… … Философская энциклопедия
Понятие — Эта статья должна быть полностью переписана. На странице обсуждения могут быть пояснения. Понятие отображённое в мышлении единство существенных свойств, связей и отношен … Википедия
Интуиционистское исчисление высказываний — Интуиционистское исчисление высказываний формальная система, отражающие некоторые способы рассуждений, приемлемые с точки зрения интуиционизма. Предложена А. Гейтингом в 1930. Основное отличие от привычного исчисления высказываний… … Википедия
дедукции теорема — ДЕДУКЦИИ ТЕОРЕМА (от лат. deductio выведение) утверждение о свойствах логической теории. Д. т. гласит: «Если имеется вывод Г, А ( В, то имеется также и вывод Г J А > В, где > знак импликации, Г произвольное (возможно пустое)… … Энциклопедия эпистемологии и философии науки
ДВОЙНОГО ОТРИЦАНИЯ ЗАКОНЫ — законы исчисления высказываний и алгебры логики, выражающие нек рые свойства отрицания, связанные в нек рых случаях также с импликацией. В классич. исчислении высказываний они выражаются следующими формулами: (здесь знак отрицания, а > знак… … Философская энциклопедия
Понятия — Понятие форма мышления, отражающая существенные свойства, связи и отношения предметов и явлений в их противоречии и развитии; мысль или система мыслей, обобщающая, выделяющая предметы некоторого класса по определённым общим и в совокупности… … Википедия