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

(Операция замещения): .