Обозначения математической логики: основные символы и их значения