Логические операции над высказываниями.

В русском языке для образования сложного предложения из простых используют связки – особые части речи, соединяющие отдельные предложения (и, или, таким образом, отсюда следует, и др.). В логике такие связки должны быть вполне однозначно определены. Роль этих связок выполняют логические операции. Т. к. нас интересуют не сами высказывания, а только значения их истинности, то для определения операции достаточно определить значение истинности результата применения операции.