пропозициональные связки

[arseniiv]

Kras в сообщении #1020032 писал(а):

Можно подробнее, что это означает?

Ох, ладно уж, будут книги.

Верещагин, Шень. [Лекции по математической логике и теории алгоритмов. Часть 2.] Языки и исчисления.

Ещё, может быть, Peter G. Hinman. Fundamentals of Mathematical Logic.