排中律的日文

[ páizhōnglǜ ]中文发音:

〈論〉排中律.排中原理.

例句与用法

すなわち，マインドに依存する世界では「排中律」を必ずしも正当なものとは認めない。
即依赖于精神而存在的世界中，“排中原理”并非一定是合理的。
形式主義数学と直観主義数学との本質的な違いは「排中律」と「肯定」とを同等と認めるか否かにある。
形式主义数学和直观主义数学的本质差别是是否认为“排中原理”和“肯定”是同等的。
よって，排中律＠ｅｑｕａｔｉｏｎ＿０＠に基づいて最大ソート＿で全域性かつ排他性の性質を持ち，ソート間の関係による公理で示される．
因此，根据排中原理＠ｅｑｕａｔｉｏｎ＿０＠，最大分类＿具有全局性和排他性，可以用基于分类间的关系的公理来表示。
コンピュータにマインドを持たせるには，「排中律を必ずしも正当とはしない」というアルゴリズムが必要であるが，このアルゴリズムはわからないのでコンピュータにマインドを持たせることができるかどうかは不明である。
要想让电脑带有精神，就必须有“排中原理未必合理”这一阿拉伯式计数法（算法），因为这一算法还不明确，所以让电脑带有精神的可行性仍为未知。