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

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