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