跳转到主要内容

logic, symbolic

n. A system of symbols with formally defined meanings used to analyze the logic of statements or arguments while avoiding the ambiguities present in natural languages.