命题公式等于零是矛盾式吗，不能确定真假的命题公式是什么类型的题

“”表示否定?假设是，,此出题公式是矛盾式,主析取范式是0

应该求x的范围：分P真Q假或P假Q真来做 P真Q假： P真有：x^2-2x-2=1 x^2-2x-3=0 (x-3)(x+1)=0 x3或x=4或x=4或x=0 P假Q真： P假：x^2-2x-20 即(x-3)(x+1)=0,-11+根号3或x1-根号3 即-1=4或x=0且x=4或x=0 (x-3)(x+1)=0 x3或x=4或x=4或x=-1 P假Q真： P假：x^2-2x-21 即(x-3)(x+1)1+根号3或x1-根号3 Q真有0=4或x=-1或0

重言式（Tautology ）又称为永真式，它的汉语拼音为：[Chóng yán shì]是逻辑学的名词。出题公式中有一类重言式。假设一个公式，针对它的任一解释下其真值都为真，就称为重言式（永真式）。数理逻辑旨在利用有限的公理推出尽量多的重言式，除开这个因素不说，重言式在计算机词法分析领域也具有重要应用。

中文名

重言式

外文名

Tautology

别名

永真式

拼音

Chóng yán shì

类别

出题公式

恒真式含义就是正出题为真,逆出题也是真的，也叫重言式

通俗来说，可以理解为：不管那些情况下都为真的出题

恒真式指重言式。重言式（Tautology ）又称为永真式，它的汉语拼音为：[Chóng yán shì]是逻辑学的名词。出题公式中有一类重言式。假设一个公式，针对它的任一解释下其真值都为真，就称为重言式（永真式）。数理逻辑旨在利用有限的公理推出尽量多的重言式，除开这个因素不说，重言式在计算机词法分析领域也具有重要应用。

数学中的定义、公理、公式、性质、法则、定理都是数学出题。这些都是用推理方式判断出题真假的依据。

大多数情况下地,在数学中,我们把在一定范围内可以用语言、符号或式子表达的,可以判断真假的陈述句叫做出题。

数学出题一般由题设和结论2个部分组成:题设是已知事项，结论是由已知事项推出的事项。

数学中的定义、公理、公式、性质、法则、定理都是数学出题。这些都是用推理方式判断出题真假的依据。

大多数情况下地，在数学中，我们把在一定范围内可以用语言、符号或式子表达的，可以判断真假的陈述句叫做出题。

数学出题一般由题设和结论2个部分组成：题设是已知事项，结论是由已知事项推出的事项。

出题这个概念是可以被定义并观察的情况。出题不是指判断（陈述）本身，而是指所表达的语义。当相异判断（陈述）具有一样语义时，他们表达一样的出题。即定义是人为规定的，出题是判断句式，出题有真假，定义没有

1、含义在数学中，大多数情况下把判断某一件事情的陈述句叫做出题，出题是指一个判断（陈述）的语义（实质上表达的概念）。定义，原指对事物做出的明确价值描述。基本上等同于数学上的对未知数的设定赋值，例如“设某未知数为已知字母x以方便简化计算，”对某个命名的词汇赋与一定的意义或形象，则促进交流中的识别及认同。

2、作用出题：用于判断一件事情的语句；可以判断真假的语句；大多数情况下地，在数学中，我们把用语言、符号或式子表达的，可以判断真假的陈述句叫做出题；这当中判断为真的语句叫做真出题，判断为假的语句叫做假出题。定义：用于对一种事物的实质特点或一个概念的内涵和外延所作的确切表达。有代表性的定义是“种差+属”定义，即把某一概念包含在它的属概念中，并揭示它与同一个属概念下其他种概念当中的差别。扩展资料：出题的分类：1、原出题：一个出题的本身称之为原出题，如：若x1，则f（x）=(x-1)^2枯燥乏味递增。2、逆出题：将原出题的条件和结论颠倒的新出题，如：若f（x）=(x-1)^2枯燥乏味递增，则x1。

3、否出题：将原出题的条件和结论全否定的新出题，但不改变条件和结论的顺序，如：若x

定义是认识主体使用判断或出题的语言逻辑形式，确定一个认识对象或事物在相关事物的综合分类系统中的位置和界限，使这个认识对象或事物从相关事物的综合分类系统中分明而确定地表现出来的认识行为。出题这个概念是可以被定义并观察的情况，出题不是指判断（陈述）本身,而是指所表达的语义。当相异判断（陈述）具有一样语义时,他们表达一样的出题。即定义是人为规定的，出题是判断句式,出题有真假,定义没有。

1、针对两个出题，假设一个出题的条件和 结论分别是另外一个出题的结论和条件，既然如此那，这两个出题叫做 互逆出题，这当中一个出题叫做原出题，另外一个出题叫做原出题的 逆出题。

2、针对两个出题，假设一个出题的条件和结论分别是另外一个出题的条件的否定和结论的否定，既然如此那，这两个出题叫做互否出题，这当中一个出题叫做 原出题，另外一个出题叫做原出题的 否出题。

3、针对两个出题，假设一个出题的条件和结论分别是另外一个出题的结论的否定和条件的否定，既然如此那，这两个出题叫做 互为逆否出题，这当中一个出题叫做 原出题，另外一个出题叫做原出题的 逆否出题。

出题公式G＝(P∧Q)→R，则G共有 个不一样的赋值解释。