Formulas in logic are typically built up recursively from some propositional variables, some number of logical connectives, and some logical quantifiers.

 
  • 在逻辑中的公式典型的递归的建造自一些命题变量,一些逻辑连结词,和一些逻辑量词。
今日热词
目录 附录 查词历史