一、任何命题都有两个逻辑特征?
命题断定的事物情况符合客观实际情况,则命题是真的;如果不符合客观实际情况,则命题是假的。有所断定和有真假是命题的两个根本特征。
由于命题和判断的表达或解释都须使用某种语言形式,所以,语句与命题、判断切相关。一般来讲,任何命题都须语句表达。命题与语句之间有着切的联系,但 命题和语句同时又有如下区别:
(1)同一个命题可以用不同的语句表达。
(2)同一个语句可以表达不同的命题。
(3)并非所有的语句都能够直接表达命题。
只有表达了判断的语句才是命题,不表达判断的语句就不是命题。
复合命题的逻辑性质与种类是由命题联结词的不同来决定。
复合命题主要有联言命题、选言命题、假言命题、负命题四种形式。其中选言命题又分为相容的选言命题和不相容的选言命题两类;假言命题分为充分条件的假言命题、必要条件的假言命题、充分必要条件的假言命题三类;所有命题无论是简单命题还是复合命题都可以否定,构成负命题。
二、逻辑命题推理公式?
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 V q,只考虑由联接词参与的复合命题。而不会深入到命题的内部结构中去。也就是不考虑p 和q的内部结构。只是我自己的理解,希望能有帮助。
六、谓词逻辑和命题逻辑的区别和联系是什么?
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》).
七、命题逻辑的局限性?
最大的局限性就是命题,但是不命题发散性又太强,所以命题逻辑有他的优势的。
八、什么是命题的逻辑性质?
命题逻辑是指以逻辑运算符结合原子命题来构成代表“命题”的公式,以及允许某些公式建构成“定理”的一套形式“证明规则”。相对于谓词逻辑,它是量化的并且它的原子公式是谓词函数;和模态逻辑,它可以是非真值泛函的。
演算是用来证明有效的公式(就是说它的定理)和论证(argument)的逻辑系统。它是公理或公理模式的集合(它可以为空或是可数无限集合),和推导有效的推理的推理规则。形式文法(或语法)递归定义语言的表达式和合式公式(well-formed formula 经常缩写为wff)。此外给出定义真值和求值(或释义)的语义。它允许我们确定哪个 wff 是有效的(也就是定理)。
九、关于逻辑判断的复言命题的矛盾命题?
矛盾命题: (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。
十、逻辑学的命题有几种?
两大类:
一、简单命题(Simple proposition)
1.性质命题(Nature Proposition) 2.关系命题(relative proposition)
1.1.全称肯定命题(Universal affirmative proposition)
1.2.全称否定命题(Universal negative proposition)
1.3.特称肯定命题(Special called affirmative proposition)
1.4.特称否定命题(Special called negative proposition)
二、复合命题(Compound Proposition)
1.联言命题(United Proposition)
2.选言命题(Disjunctive proposition)
3.假言命题(Hypothetical Proposition)
4.负命题(Negative proposition)
- 相关评论
- 我要评论
-