单项选择题

现代逻辑主要使用的语言是:()

A、自然语言
B、汉语
C、人工语言
D、英语