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