什么是逻辑性假命题？

一、什么是逻辑性假命题？

逻辑性假命题

在逻辑和数学里，命题演算（或称句子演算）是一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。

术语

一般地说，演算是一个形式系统，包括一套语法表示式（合式公式）、这些表示式的一个特定子集（公理）和一套定义了特定的二元关系的形式规则，这个二元关系可解释为表示式空间上的逻辑等价关系。

若形式系统会作为一个逻辑系统，其表示式会被解释成数学陈述，且其规则，被称之为“推理规则”，则一般会是保真的。在此设置下，规则（可能也包括公理）可以被用来从给定为真的陈述的公式中推导出表示真的陈述的公式来

二、什么是命题的逻辑性质？

命题逻辑是指以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。相对于谓词逻辑，它是量化的并且它的原子公式是谓词函数；和模态逻辑，它可以是非真值泛函的。

演算是用来证明有效的公式（就是说它的定理）和论证（argument）的逻辑系统。它是公理或公理模式的集合（它可以为空或是可数无限集合），和推导有效的推理的推理规则。形式文法（或语法）递归定义语言的表达式和合式公式（well-formed formula 经常缩写为wff）。此外给出定义真值和求值（或释义）的语义。它允许我们确定哪个 wff 是有效的（也就是定理）。

三、什么是命题逻辑性质？

命题逻辑性质：

在逻辑和数学里，命题演算（或称句子演算）是一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。

一般地说，演算是一个形式系统，包括一套语法表示式（合式公式）、这些表示式的一个特定子集（公理）和一套定义了特定的二元关系的形式规则，这个二元关系可解释为表示式空间上的逻辑等价关系。

若形式系统会作为一个逻辑系统，其表示式会被解释成数学陈述，且其规则，被称之为“推理规则”，则一般会是保真的。在此设置下，规则（可能也包括公理）可以被用来从给定为真的陈述的公式中推导出表示真的陈述的公式来

四、逻辑命题推理公式？

Qm=K(i-u)A

①全称否定命题SEP,以下简称E:所有S都不是P。

②全称肯定命题SAP,以下简称A:所有S都是P。

③特称否定命题SOP,以下简称O:有些S不是P。

④特称肯定命题SIP,以下简称l:有些S是P。

⑤单称否定命题记作e:小王不是P。

⑥单称肯定命题记作a:小王是P。

五、逻辑判断直言命题技巧？

1、关键词：一般来讲，我们看到句子中出现以下几类关键词，应该知道，它们都属于联言命题。1、并列词：和、且、又、也、还，等等。

2、转折词：但是、然而、却，等等。【注意：虽然在言语中转折词出现，句子一般更强调后半句，但是在逻辑中，只要是表示判断同时存在，即可用且连接，也即写成联言形式。如：虽然昨天下大雨，但是我还是出门了。在这句话中，“下大雨”和“出门”两个判断均存在，即可用且连接，写成“下大雨且出门了”。】

六、逻辑学中负命题与否定命题？

记住原命题为假的情况，那么它的负命题等值推理也就顺理成章了。

比如：联言命题（p∧q）为假有三种情况：p假、q假、pq均假，那么（p∧q）的负命题就要涵盖使之为假的三种情况，很显然（┓p∨┓q）就是负命题的等值推理结果。

再如：充分条件假言命题（p→q）为假只有一种情况：前件真而后件假，那么（p→q）的负命题就是前件真而后件假，所以（p→q）的负命题等值推理结果就是（p∧┓q）。

七、直言命题逻辑是谁提出的？

逻辑史上最早详细研究这类命题的是亚里士多德，但他并没有使用“直言命题”这个名称，而称之为简单命题。后来，康德从认识的模态的角度把这类命题叫做实然（原意为断言）命题。传统逻辑学家一般认为，这类命题与选言命题、假言命题不同，它是无条件地、简单地肯定或否定某种事实，因而被汉译为直言命题

八、关于逻辑判断的复言命题的矛盾命题？

矛盾命题： （1）甲去，且不派乙去，并且丙和丁都没被派去； （2）李四（可能）及格，或者王五（可能）及格； （3）我看张三不能及格；或者，张三能考100分，但李四和王五至少有一个不（可能）及格； 选择题： 　　作者观点：只有（p且q），才能r； 　　等同于：如果r，那么（p且q）； 　　它的对立观点就是：虽然r，但是并非（p且q）；即：r且（非p或非q）； 选项： 　　A：r且（如果p那么，非q）； 　　B：r且（如果非q，那么p）； 　　C：r且（非p且非q）； 分析 （1）你说的很对：要否定p且q，否定它们哪个都行。但是，我们的目的真的仅仅是否定（p且q）而已吗？——不对，我们的目的是得到命题（p且q）的否定。 　　【否定一个命题】，和【得到一个命题的否定】并不完全相同； 前者：只要找到一个反例即可； 后者：必须找到所有反例。 　　由此，我们可以排除C； （2）对于B选项；【如果非q，那么p】；意思就是： 　　如果不是这个，就得是那个； 换言之： 　　两个至少得有一个【成立】； 但显然，我们所求的（p且q）的否定，应该是： 　　两个至少有一个【不成立】； 虽然，这两个命题可以同时成立： 　　p和q恰好一个成立，一个不成立； 但只要它们不是完全相同——例如，当p和q都成立，或都不成立时，两个命题的结果就不同了——那B选项就不是我们所要的结果。 （3）对于A选项：；【如果p，那么非q】；意思就是： 　　如果是这个，就不能是那个； 即： 　　两个，最多有一个成立；也就是：至少有一个不成立——这才是我们所要的结果。 所以，选A。

九、直言命题的一般逻辑结构是？

直言命题也叫做“性质命题”，由主项、谓项、量项、联项四个部分构成。

量项又分为单称量项、全称量项、特称量项三类。

联项又分为肯定联项和否定联项两种。

在语言表达时，全称量项和肯定的联项经常省略。

十、谓词逻辑和命题逻辑的区别和联系是什么？

1、命题逻辑显然可以看作谓词逻辑的一个子集.因为谓词逻辑中一般是允许出现0元谓词的.全部由0元谓词的构成的公式就是命题逻辑公式了.

2、正如前面庄老师所说,当论域为一个大小确定的有限集时,一个谓词公式可以等价地转化成一个命题逻辑公式.当不特别说明论域（即,只在语法层面上讨论,不涉及语义）,或论域的大小不是一个确定的自然数时,就不存在一般的转化方法了.

例如,公式“对所有x(P(x)->Q(x))”.如果已知论域为{a[1],a[2],...,a[n]}.则可以把P(a[1]),Q(a[1]）,P(a[2]),Q(a[2]),……,P(a[n]),Q(a[n])看作2N个命题（即,定义命题P_i为：P(a[i])为真,定义命题Q_i为：Q(a[i])为真）,从而原来的谓词公式就成了

(P_1->Q_1)∧(P_2->Q_2)∧……∧(P_n->Q_n).

如果不满足“论域为一个大小确定的有限集”这个条件,上述谓词逻辑公式显然无法等价地转化成一个命题逻辑公式.

3、关于“命题逻辑与谓词逻辑的内容”、“两者表示知识的方法及其推理方法”、“命题逻辑与谓词逻辑的内在联系及区别”,推荐你找几本数理逻辑的书来看一下,许多逻辑书上都有介绍.

4、一阶谓词逻辑是命题逻辑的推广,二阶谓词逻辑是一阶谓词逻辑的推广.命题逻辑的可满足性问题是NP-Complete的,一阶谓词逻辑的可满足性问题不可判定的.

5、关于语法和语义、公式和解释、语言和模型、规则和真值的关系,建议看一些从模型论方面介绍数理逻辑的书（最近出的新书有沈恩绍先生的《集论与逻辑——面向计算机科学》、Michael Huth和Mark Ryan的《Logic in Computer Science:Modelling and Reasoning about Systems》）.

顶一下

(0)

0%

踩一下

(0)

0%