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

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

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