形式逻辑的分类:(圣诞节是几月几号)英语怎么讲?