Логика абстрагируется от времени и оценивает суждение только с точки зрения его правильного построения, а также истинности либо ложности. В связи с этим приведенные выше высказывания являются эквивалентными, так как в каждом отдельно взятом случае истинны обе их части.
Таким образом, конъюнктивные высказывания в логике коммутативны, использование же в суждениях союза «и» с точки зрения языка (в случае, когда учитывается фактор времени) некоммутативно.
Несмотря на то что выше были указаны предлоги, при помощи которых образуется конъюнкция, нельзя говорить о том, что при отсутствии в суждении этих предлогов конъюнкция невозможна. Это не так. Зачастую в предложениях, представляющих собой сложные суждения, в качестве связок используются разные знаки препинания. Например, это может быть запятая или тире, а иногда и точка.
Используемые в высказываниях знаки препинания ставятся между простыми суждениями и связывают их друг с другом. В качестве примера использования знаков препинания как логических связок можно привести предложение «Тучи разошлись, выглянуло солнце» или «На улице ударил мороз, вся живность попряталась, на крышах образовались сосульки». В целом вопросами языкового выражения конъюнкции занимались многие ученые. Поэтому данный вопрос хорошо проработан и освещен.
30. Отрицание сложных суждений
Отрицание суждения в логике – это замена существующей связки внутри сложного высказывания на другую, противоположную последней. Если мы говорим о формуле, в которой можно выразить отрицание сложных суждений, то нужно отметить, что отрицание графически выражается как горизонтальная черта над отрицаемым суждением. Таким образом, мы получим два понятия, объединенных логической связкой, над которыми проведена горизонтальная черта. Если такая черта уже есть, то для осуществления отрицания необходимо такую черту удалить.
Все сказанное выше относится к операциям, производимым с применением конъюнкции и дизъюнкции. Однако сказанное выше не означает, что отрицание сложных суждений возможно, только если они содержат исключительно связки конъюнкцию и дизъюнкцию. В случае, если необходимо осуществить операцию отрицания по отношению к суждению, содержащему импликацию, необходимо заменить это суждение так, чтобы при отсутствии каких-либо его изменений отбросить импликацию. Это означает, что необходимо подобрать суждение, эквивалентное данному, которое при этом не содержало бы импликации. Когда мы говорим о суждении, эквивалентном содержащему импликацию, но не содержащему ее, подразумевается замена этой связки на конъюнкцию или дизъюнкцию. Графически это выглядит как (a ® b) є (a Ъ b). Затем производится описанная выше операция, при которой знак конъюнкции меняется на дизъюнкцию, и наоборот.
