Поиск в словарях
Искать во всех

Словарь логики - сложное высказывание

 

Сложное высказывание

сложное высказывание
высказывание, полученное с помощью логических связок из простых высказываний. Наиболее употребительны С. в., образованные с помощью слов: «и», «или», «если, то», «если и только если», «не». Вместо этих слов в логике используются символы: &, v, ->, º, ~. С. в. А& В называется конъ­юнкцией («А и »), A v В дизъюнкцией («А или »), А -> В — импликацией («Если A, то »), А = В — эквивалентностью («А, если и только если »), ~ А — отрицанием («Неверно, что A», или «не-A»). Установление смысла и способа употребления логических свя­зок, позволяющих образовывать С. в., является задачей наиболее фундаментальной и вместе с тем самой простой части логики — исчисления высказываний. .
Рейтинг статьи:
Комментарии:

Вопрос-ответ:

Ссылка для сайта или блога:
Ссылка для форума (bb-код):