道德不废，安取仁义②
所属分类：伦理道德
道德不废，安取仁义名词解释：老庄的道德观。语见《庄子·马蹄》,与老子“大道废,有仁义”同义。在庄子看来,仁义是“道德”丧失的结果。它就象人多余的手指和连在一起的脚趾,是极不正常的畸形。自从社会上出现了所谓圣人,提倡仁义,推行礼乐,才给社会带...
以类取，以类予(逻辑)
所属分类：逻辑学
以类取，以类予名词解释：墨辩逻辑用语。指推论的原则和基本方法。《墨子·小取》名词解释：“以类取,以类予。”取,即“法取同”(《经上》);予,《说文》名词解释：“予,相推予也。”“以类取”,指物以类聚,以同者取之。相当于归纳原则。“以类予”,...
命题公式的饱和合析范式﹡
所属分类：数学
命题公式的饱和合析范式名词解释：一种特殊的合析范式,指根据一命题公式的饱和成假指派集做出的合析范式.设α=(p→q)∧r.α的饱和成假指派集={(T,F,X),(X,X,F)},由此集做出一范式α′=β1∧β2,其中β1,β2为简单析取式,...
命题公式的饱和析合范式﹡
所属分类：数学
命题公式的饱和析合范式名词解释：一种特殊的析合范式.指根据一个命题公式的饱和成真指派集做出的析合范式.设α=(p→q)∨r.α的饱和成真指派集={(F,X,X),(X,T,X),(X,X,T)}.由此集做出一个范式α′=β1∨β2∨β3.其...
命题公式的特异析合范式﹡
所属分类：数学
命题公式的特异析合范式名词解释：一种特殊的析合范式.指根据一个命题公式的特异成真指派集做出的析合范式.设α=(p→q)∧r.其特异成真指派集为{(T,T,T),(F,T,T),(F,F,T)}.由此集做出一范式α′=β1∧β2∧β3,其中β...
命题公式的特异合析范式﹡
所属分类：数学
命题公式的特异合析范式名词解释：一种特殊的合析范式.指根据一个命题公式的特异成假指派集做出的合析范式.设α=(p→q)∧r.其特异成假指派集为{(T,T,F),(T,F,T),(T,F,F),(F,T,F),(F,F,F)}.由此集做出一范...