Виды связок

П. 2. Логические связки (логические операции или пропозициональные связки).

Будем рассматривать только истинностно-функциональные комбинации высказываний, т.е. в которых истинность или ложность новых высказываний определяется истинностью или ложностью составляющих высказываний.

Определение 9. Логические связки – функциональные или логические операции над высказываниями.

1) – отрицание.

А, А – «не А». Другое обозначение: – «не А».

Дата добавления: 2014-01-07