全体小项合取式为()。A、可满足式B、矛盾式C、永真式D、A、B、C都有可能
当必要条件假言命题假时,它的肢命题的真假情况是()。 A、p真q假B、p真q真C、p假q真D、p假q假
已知命题"小李是大学生"假,能推知命题()真,命题()真假不定。
解释命题公式真值表的含义,并利用真值表求命题公式的主合取范式。
反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。 A.永真式B.包孕式(subsumed)C.空子句
下列公式为永真公式的是(14)。A．(P∨Q)→RB．p→(P∨Q)C．(P∨Q)→(P∧Q)D．(P∧Q)图片R
判断下列命题是真命题还是假命题，如果是假命题，举出一个反例。（1）两个锐角的和是锐角；（2）邻补角是互补的角；（3）同旁内角互补。
指出下列命题的题设和结论，并判断它们是真命题还是假命题。如果是假命题，举出一个反例。（1）两个角的和等于平角时，这两个角互为补角；（2）内错角相等；（3）两条平行线被第三条直线所截，内错角相等。
命题P的逆命题和命题P的否命题的关系是（ ）A.同真同假B.同真不同假C.同假不同真D.不确定
若命题“小李是大学生”假，则命题（）真，命题（）真假不定。
反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。A、永真式B、包孕式C、空子句
无论命题的变项取何值，命题的真值恒为真，这种命题成为：（）A、协调式命题B、矛盾式命题C、永真式命题D、重复性命题
根据命题形式所表示的真值函项的不同，则无数的命题形式可分为（）A、永真式B、协调式C、矛盾式D、以上都有
任何永真式的负命题都是（）A、协调式B、矛盾式C、永真式D、重言式
下列关系中同时具有对称性和传递性的是（）。A、命题间的蕴涵关系B、命题间的等值关系C、命题间的矛盾关系D、概念间的真包含关系
（）是指或者总是为真或者总是为假的命题。A、经验命题B、真假命题C、必然命题D、析取命题
“党大还是法大”、“权大还是法大”，哪个是真命题？哪个是伪命题？
问答题“党大还是法大”、“权大还是法大”，哪个是真命题？哪个是伪命题？
单选题下列公式中，（）是计算永续年金的公式AP=A*（P/F，i，n）BP=A*（1+i）n-1/iCP=A*1/iDP=A*1/（1+i）n
单选题永真式的否定是（ ）。A永真式B永假式C可满足式子DA，B，C均有可能
单选题下列关系中同时具有对称性和传递性的是（）。A命题间的蕴涵关系B命题间的等值关系C命题间的矛盾关系D概念间的真包含关系
单选题下列属于程序性知识的表征形式是( )A命题B命题网络C产生式D概念
单选题（）是指或者总是为真或者总是为假的命题。A经验命题B真假命题C必然命题D析取命题
单选题对于命题p和q，若“p且q”为真命题，则下列四个命题：①p或非q是真命题；②p且非q是真命题；③非p且非q是假命题；④非p或q是假命题，其中真命题是（ ）．A①②B③④C①③D②④
单选题若p、q是两个简单命题，且“p或q”的否定是真命题，则必有（ ）．Ap真q真Bp假q假Cp真q假Dp假q真
单选题反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。A永真式B包孕式C空子句
单选题下列汉字的笔画数有误的是（ ）。[2005年真题]A万（3画）B永（5画）C乘（10画）D乃（3画）