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

(Импликация Лукасевича): .