1) multi-proposition reasoning system
多命题推理系统
1.
The penalty-function based on the voting principles andits multi-proposition reasoning systems;
基于投票准则的惩罚函数及其多命题推理系统
2) propositional inference
命题推理
1.
Why falsity valne in propositional inference premises is fivst rejected and then chosen ——A theoretical interpvetation of effective;
论命题推理前提假值的先舍后取——兼及命题推理有效必然性的理论阐释
3) examination paper generating system
命题系统
4) standard proposition calculations system axioms
标准命题演算系统公理
5) standard proposition calculations system theorems
标准命题演算系统定理
6) propositional symbol system
命题符号系统理论
补充资料：演绎推理(见推理)
演绎推理(见推理)
deductive inference
住理。yanyl tullj演绎推理(deduetive infer。二ee)见
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条