Язык логики: основные элементы и их применение