Математическая логика: что такое выполнимая формула