На главную О проекте Обратная связь Помочь проекту Добавить в "Избранное"

  
Наши слова →  Словарь логики →  А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я

Пропозициональная Связка

- операция, позволяющая из данных суждений (высказываний) строить новые суждения (выс­казывания). В логике высказываний высказывания (формулы) рас­сматриваются лишь с точки зрения их истинности или ложности. Если A и В - к.-л. формулы (простые, элементарные или сложные, построенные из элементарных), то из них с помощью П. с. могут строиться новые формулы: А & В, AvB, A-> B, А = В, если А - формула, то ~А - также формула. Символы «&», «v», «->», «=», «~» выража­ют П. с., которые определяются на семантическом, содержательно-алгоритмическом уровне при помощи таблиц истинности. Эти П. с. соответственно называются: конъюнкцией, дизъюнкцией, импликаци­ей, эквиваленцией, отрицанием. Смысл П. с. в русском языке переда­ется при помощи следующих выражений: конъюнкция - с помощью союзов «и», «а», «но», «хотя» и др.; дизъюнкция (нестрогая) — с помощью выражений: «или», «или, или оба»; импликация — с помощью выражений «если..., то», «влечет», «сле­дует» (ср.: «Если А, то В», «А влечет В», «Из А следует В»); эквиваленция - с помощью выражений «эквивалентно», «равно­сильно», «тогда и только тогда», «если и только если»; отрицание — с помощью выражений «не», «неверно, что».
Латинская транскрипкия: [propozitsionalnaya svyazka]

→ Пропозициональная Функция - функция, область значе­ний которой составляют высказывания, обладающие определенным   истинностным значением. По своей структуре П. ф. сходна ...
← Проблема (от греч. problema — преграда, трудность, задача) — вопрос или целостный комплекс вопросов, возникший в ходе по­знания. Не каждая П., однако, сразу ...





© nashislova.ru - Все словари 2009 Информация публикуется на сайте исключительно для ознакомительных целей и основана на свободно распостраняемых версиях словарей. Администрация не несет ответственности за любые неточности в текстах.
Rambler's Top100
Выполнено за: 0.048 c.