单项选择题

推论-验证的演绎法最早可追溯到()

A.培根
B.亚里士多德
C.苏格拉底
D.柏拉图