В чём заключается отличие между разными видами логических связок в математической логике?

Отличие между разными видами логических связок в математической логике заключается в их функциях и правилах истинности. www.ai-futureschool.com rstu.ru

Обычно выделяют пять общеизвестных логических связок: gtmarket.ru

1. Конъюнкция (соединительный союз «и»). gtmarket.ru Высказывание истинно только в случае истинности всех составляющих высказываний. rstu.ru Другое название — логическое умножение. gtmarket.ru
2. Дизъюнкция (нестрогий союз «или»). gtmarket.ru Высказывание истинно, когда истинно хотя бы одно из составляющих высказываний. rstu.ru Другое название — логическое сложение. gtmarket.ru
3. Импликация (условие «если…, то…»). gtmarket.ru Высказывание ложно в единственном случае: если одно из высказываний истинно, а другое ложно. old.mccme.ru Другое название — логическое следование. gtmarket.ru
4. Эквиваленция (условие «если…, то…»). gtmarket.ru Высказывание истинно тогда и только тогда, когда оба высказывания имеют одинаковую истинность. www.ai-futureschool.com Другие названия — эквивалентность, равнозначность. gtmarket.ru
5. Отрицание (условие «неверно, что…»). gtmarket.ru Высказывание истинно, если исходное высказывание ложно, и ложно, когда исходное высказывание истинно. rstu.ru Другое название — инверсия. gtmarket.ru

Кроме того, существует тернарная логическая связка — условная дизъюнкция, которая связывает три высказывания и означает, что «A в случае B, и C в случае не-B». gtmarket.ru