Сложные (составные) высказывания строятся из простых с помощью логических операций.
Рассмотрим основные логические операции, определённые надвысказываниями. Все они соответствуют связкам, употребляемым в естественном языке.
|
Название логической операции |
Логическая связка |
|
Инверсия |
«не»; «неверно, что» |
|
Конъюнкция |
«и»; «а»; «но»; «хотя» |
|
Дизъюнкция |
«или» |
|
Импликация |
«если .... то ....»; «но»; |
| Эквиваленция | «тогда... когда....»; «но»; |