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

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

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