СЛОЖНОЕ ВЫСКАЗЫВАНИЕ

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

Установление смысла и способа употребления логических связок, позволяющих образовывать С. в., является задачей наиболее фундаментальной и вместе с тем самой простой части логики — исчисления высказываний.

Вернуться к оглавлению

© 2000- NIV