1) paradoxical akinesia
矛盾性运动不能
4) Disequilibium
不均衡性矛盾
6) law of non-contradiction
不矛盾律
1.
Secondly, reductio is equivalent to the law of non-contradiction with negative consequent of sufficient conditional additionally.
本文以现代命题逻辑为分析工具,证明了:在正命题逻辑系统的基础上,反证法的证明能力强于归谬法,它们之间相差一个双重否定律;归谬律与不矛盾律加上充分条件否定后件律相等价;反证律与不矛盾律、排中律、充分条件否定后件律加上选言推理否定肯定律相等价。
2.
Law of identity,law of non-contradiction and law of excluded middle are the basic laws.
同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式。
补充资料：矛盾规律
见对立统一规律。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条