1) R0 propositional logic systems
R0-命题逻辑系统
2) Lukasiewicz propositional logic system
Lukasiewicz命题逻辑系统
1.
This paper provides the solution to the VDF problem in more general versions of ukasiewicz propositional logic systems.
文中在更一般的Lukasiewicz命题逻辑系统中建立了VDF问题的求解理论,首先给出了一般的Lukasiewicz命题逻辑系统中VDF的合理性条件,其次构造性地解决了Ln、La和Lc中的VDF问题。
3) positive propositional logical system
正命题逻辑系统
1.
By way of modern propositional logic, this paper proves three issues: Firstly, In positive propositional logical system, the indirect proof is more efficient than reductio, and the difference between them is that the former has the law of double negation.
本文以现代命题逻辑为分析工具,证明了:在正命题逻辑系统的基础上,反证法的证明能力强于归谬法,它们之间相差一个双重否定律;归谬律与不矛盾律加上充分条件否定后件律相等价;反证律与不矛盾律、排中律、充分条件否定后件律加上选言推理否定肯定律相等价。
4) the e* logical system
e*命题逻辑系统
6) propositional logic system L_3~*
命题逻辑系统L_3~*
1.
The present paper characterizes consistency,full divergency and logical closedness of theories in propositional logic system L_3~** by means of topological concepts in the three-valued logic metric space.
对三值命题逻辑系统L_3~*中逻辑理论的相容性、全发散性以及逻辑闭性给出了它们在三值逻辑度量空间(F(S),ρ_3)中的拓扑刻画。
补充资料：[3-(aminosulfonyl)-4-chloro-N-(2.3-dihydro-2-methyl-1H-indol-1-yl)benzamide]
分子式：C16H16ClN3O3S
分子量：365.5
CAS号：26807-65-8
性质：暂无
制备方法：暂无
用途：用于轻、中度原发性高血压。
分子量：365.5
CAS号：26807-65-8
性质：暂无
制备方法：暂无
用途：用于轻、中度原发性高血压。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条