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