Словарь по логике

(Контекстно-зависимые обозначения): .