V Пример. Когда мы из какого-либо исходного высказывания, могущего быть либо простым (например

Когда мы из какого-либо исходного высказывания, могущего быть либо простым (например, a), либо сложным (например, (pÙq)Ér), при помощи унарной логической связки «отрицание» организуем новое сложное высказывание, то получим логические формы: (Øa) и (Ø(pÙq)Ér)), читающиеся: «Неверно, что а» и «Неверно, что если p и q, то r». В содержательном варианте это могут быть выражения: «Неверно, что сегодня пятница» и «Неверно, что если сегодня пятница и тринадцатое число, то все дела пойдут насмарку». Используемая же во втором из этих исходных высказываний логическая связка «конъюнкция» организует два исходных простых высказывания p и q в соответствующее сложное: (pÙq), а последнее затем увязывается «импликацией» с очередным простым высказыванием r, в результате чего организуется в целом формула (pÙq)Ér).

С учётом сказанного дадим определения каждой из основных пропозициональных связок.

1. Конъюнкция (от лат. conjunction — союз, связь) — это бинарная логическая связка, т. е. образующая из нескольких формул новую, более сложную формулу, в которой утверждается наличие одновременного положения дел в каждом отдельном суждении, соответствующем исходным формулам.

Прототипами конъюнктивной связки в естественном языке являются союзы «и», «а», «но», «не только…, но и», «хотя», «да», «однако», «который», «зато» и т. п., которые употребляются для соединения различных частей речи. Формула сложного суждения, состоящего из двух суждений-конъюнктов, имеет вид (pÙq).

Дата добавления: 2015-09-05