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

Определение через неизвестное: .