- операция , позволяющая из данных суждений (высказываний) строить новые суждения (высказывания). В логике высказываний высказывания (формулы) рассматриваются лишь с точки зрения их истинности или ложности. Если A и В - к.-л. формулы (простые, элементарные или сложные, построенные из элементарных), то из них с помощью П. с. могут строиться новые формулы: А & В, AvB, A-> B, А = В, если А - формула , то ~А - также формула. Символы «&», «v», «->», «=», «~» выражают П. с., которые определяются на семантическом, содержательно-алгоритмическом уровне при помощи таблиц истинности. Эти П. с. соответственно называются: конъюнкцией, дизъюнкцией, импликацией, эквиваленцией, отрицание м. Смысл П. с. в русском языке передается при помощи следующих выражений: конъюнкция - с помощью союзов «и», «а», «но», «хотя» и др.; дизъюнкция (нестрогая) — с помощью выражений: «или», «или, или оба»; импликация — с помощью выражений «если..., то», «влечет», «следует» (ср.: «Если А, то В», «А влечет В», «Из А следует В»); эквиваленция - с помощью выражений «эквивалентно», «равносильно», «тогда и только тогда», «если и только если»; отрицание — с помощью выражений «не», «неверно, что».
Что такое Пропозициональная Связка? Значение Пропозициональная Связка в словаре логики
Пропозициональная Связка - - операция, позволяющая из данных суждений (высказываний) строить новые суждения (высказывания). В логике высказываний высказывания (формулы) рассматриваются лишь с точки зрения их истинности или ложности. Если A и В - к.-л. формулы (простые, элементарные или сложные, построенные из элементарных), то из них с помощью П. с. могут строиться новые формулы: А & В, AvB, A-> B, А = В, если А - формула, то ~А - также формула. Символы «&», «v», «->», «=», «~» выражают П. с., которые определяются на семантическом, содержательно-алгоритмическом уровне при помощи таблиц истинности. Эти П. с. соответственно называются: конъюнкцией, дизъюнкцией, импликацией, эквиваленцией, отрицанием. Смысл П. с. в русском языке передается при помощи следующих выражений: конъюнкция - с помощью союзов «и», «а», «но», «хотя» и др.; дизъюнкция (нестрогая) — с помощью выражений: «или», «или, или оба»; импликация — с помощью выражений «если..., то», «влечет», «следует» (ср.: «Если А, то В», «А влечет В», «Из А следует В»); эквиваленция - с помощью выражений «эквивалентно», «равносильно», «тогда и только тогда», «если и только если»; отрицание — с помощью выражений «не», «неверно, что».
Узнайте лексическое, прямое, переносное значение следующих слов:
- Семантические Парадоксы - см.: Антиномия. ...
- Семантика Логическая - — раздел логики (металогики), исследующий отношение языковых выражений ...
- Свойство - — характеристика, присущая вещам и явлениям, позволяющая отличать ...
- Референт - (от лат. refero — называть, обозначать) — объект, ...
- Релевантная Импликация - см.: Релевантная логика. ...
- Рациональность - (от лат. ratio разум) относящееся к ...
- Разрешения Проблема - или: Разрешимости проблема, — проблема нахождения для данной ...
- Прескриптивное Высказывание - см.: Нормативное высказывание. ...
- Предпочтений Логика - логика сравнительных оценок, выражаемых при помощи понятий ...
- Предложение - соединение слов, имеющее самостоятельный смысл, т. е. ...
- Предвосхищение Основания - (лат. petitio principii) ошибка логическая в доказательстве, ...
- Прагматика - — раздел семиотики, изучающий отношения между знаковыми системами ...
- Правило Локка - — правило, формулируемое так: если некоторое свойство A ...
- Поспешное Обобщение - — логическая ошибка в индуктивном выводе. Суть ее ...
- Предвосхищение Основания - (лат. petitio principii) ошибка логическая в доказательстве, ...