Логические связки используются для построения сложных высказываний, потому что они позволяют вычислять логическое значение сложного высказывания по логическим значениям составляющих его простых высказываний. rstu.ru
Некоторые функции логических связок:
- Конъюнкция. rstu.ru Сложное логическое высказывание истинно только в случае истинности всех составляющих высказываний. rstu.ru
- Дизъюнкция. rstu.ru Высказывание считается истинным, когда истинно хотя бы одно из составляющих высказываний. rstu.ru
- Импликация. rstu.ru С помощью таких высказываний выражают зависимость явления от каких-либо условий. logic-hd.tilda.ws
- Эквиваленция. logic-hd.tilda.ws Способ связи простых суждений в сложное посредством логической связки «тогда и только тогда, когда…» («если и только если…»). logic-hd.tilda.ws
- Отрицание. logic-hd.tilda.ws rstu.ru Способ связи простых суждений в сложное посредством логического отрицания: «неверно, что…». logic-hd.tilda.ws
Таким образом, логические связки помогают структурировать сложные высказывания и определяют их истинность на основе значений входящих в них простых высказываний. rstu.ru elib.spbstu.ru