Логические связки используются в обработке естественного языка для образования сложных высказываний (формул) из элементарных. 4

Некоторые логические связки и их применение:

• Конъюнкция (союз «и»). 4 Выражению присваивается значение 1, только когда оба высказывания истинны, в остальных случаях значение равно 0. 4
• Дизъюнкция (нестрогий союз «или»). 4 Ложна только в одном случае: когда ложны оба высказывания. 4
• Импликация («если…, то»). 4 Является ложной только при истинном первом высказывании и ложном втором, в остальных случаях принимает значение 1. 4
• Отрицание («неверно, что…»). 4 Меняет значение высказывания на противоположное: когда первое высказывание истинно, второе — ложно, и наоборот. 4

Логические связки помогают прояснить отношения между высказываниями в ходе рассуждения, выявлять парадоксы, тавтологии, противоречия и отсекать ложные высказывания, исходя только из их формы. 1