formal logic
柯林斯词典
1. N the study of systems of deductive argument in which symbols are used to represent precisely defined categories of expressions 形式逻辑 (Also called symbolic logic)→comparephilosophical logic
返回 formal logic
1. N the study of systems of deductive argument in which symbols are used to represent precisely defined categories of expressions 形式逻辑 (Also called symbolic logic)→comparephilosophical logic