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

Атомарная формула: .