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

(Доказательство): .