Логика: Атомарные формулы и их применение