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

(Правило вывода): .