Сентенциональные связки

Высказывание – это логическое выражение, по отношению к которому можно сказать, истинно оно или ложно.

В математических и других рассуждениях постоянно встречаются повествовательные предложения, образованные путем видоизменения некоторого предложения с помощью слов не или путем связывания предложений с помощью слов и, или, если…, то, тогда и только тогда, когда.  Эти пять слов или комбинаций слов называются сентентциональными связками.

Конъюнкция («и») —

Дизъюнкция («или») —

Отрицание («не») — Сентенциональные связки

Импликация («если…,то») —

Эквивалентность («тогда и только тогда, когда») —

Словесные выражения:

Идет дождь, или кто-то выключил свет.

Если я устал или голоден, я не могу заниматься.

 

Логика - доступно для всех