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

Импликативная формула: .