究竟名(逻辑)

所属分类：逻辑学

究竟名名词解释：近代章炳麟用语。指“本名”在具体场合的某一实用意义,相近于现代汉语中的假借义。“如言‘道’,道本是‘路’,今究竟名中道学,于所诠中偏一切地,云何可说为道?”(《齐物论释》)认为“道”的本名是指路,而在究竟名中“道”却指囊括一...

引伸名(逻辑)

所属分类：逻辑学

引伸名名词解释：近代章炳麟用语。由本名(具有本义、初义之名)引伸出来的新名,相当于语言学上的引伸词。“若夫由水言准,由火言毁,皆由本名孳乳”。反映了章炳麟对概念与名词之间关系的探索。

所诠(逻辑)

所属分类：逻辑学

所诠名词解释：近代章炳麟用语。“诠”即称谓、反映。“所诠”即客观的事物,即能诠(名)所称谓、反映的对象。与“能诠”相对。详“能诠”。

命题公式的饱和合析范式﹡

所属分类：数学

命题公式的饱和合析范式名词解释：一种特殊的合析范式,指根据一命题公式的饱和成假指派集做出的合析范式.设α=(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)}.由此集做出一范...

逻辑数学悖论﹡

所属分类：数学

逻辑数学悖论名词解释：一种悖论命题.它是由逻辑或数学系统中的概念所构成的悖论,因此这类悖论总能用逻辑和数学符号来表达.例如康托尔悖论、罗素悖论、布拉利·福尔蒂悖论等都是逻辑数学悖论.

要保证数据库的逻辑数据独立性，需要修改的是（）

在数据库系统的三级模式结构中，用来描述数据的全局逻辑结构的是（）

媒介化社会的三大逻辑是____、_____、_____。

逻辑运算符两侧运算对象的数据

24.缺少完善的逻辑与基于逻辑的数学，只讲经验，不讲科学技术（）

（）是组合逻辑电路的特点

采用集线器连接的以太网，其网络逻辑拓扑结构为（）