公式

更新时间:-- | 阅读量: 11

数理逻辑术语.指具有一定形式的表达式....含有自由变元的公式称为开公式.例如,设R为二元谓词,公式(∃x)R(x,y)含有自由变元y为开公式.不含自由个体变元的公式称为闭公式或语句.例如,设R为二元谓词,则公式(&#x22 ...

搜索到与“ 公式”相关的文献共 96

查看更多

公式相似词

公式相关词

公式相关期刊

Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved

京ICP备2021022288号-1

京公网安备 11011102000866号