...S 是 M 所有 S 是 P 在这一推理结构中，S、M、P 是推理结构中的可变构成，其余都是恒定的不变构成 逻辑变项（logical variable） 是在一定逻辑形式中用来表示某种具体思想的符号，这是逻辑形式中可变的内容 逻辑常项（logical constant） 是在一定逻辑形式中表...
基于8个网页-相关网页
logical variable reference [计] 逻辑变量引用
variable length logical format [计] 可变长度逻辑格式
variable length logical operand [计] 可变长度逻辑操作数
应用推荐