条件命题又叫什么名字-条件命题又叫什么

"条件命题又叫逻辑联结词、连接词或逻辑关系词。它用于将两个或多个命题组合成一个新的复合命题,其结果被称为“结论”。通常情况下,条件命题的构造情势为"A→B",其中"A"是条件,"B"是结论。例如:"如果今天下雨,那末我就会留在家里"。在这个例子中,"今天下雨"是条件,"我就会留在家里"是结论。"→"表示"如果...就..."的关系,即如果条件成立,则结论也必须成立。"逻辑联结词"、"连接词"和"逻辑关系词"都是对这类连接方式的称呼。

怎么区别:命题的否定,否命题,假命题,或且非,全称存在量词…有关‘否’的逻辑连词用语

假设你已经明白什么是命题了,你所有的问题都以这个概念为基础。

从浅入深,你的问题可分为三个层次:

1、基本概念问题:假命题;

关于命题,我们至少可以从(命题)常量和(命题)变量两个角度来讨论。严格意义上的命题,是指常量。所以,任何一个命题,都有其真值——真或假;

(真值)取值为真的命题,就是真命题;比如中国在东亚;

取值为假的命题就是假命题,比如狗是猫科动物;

但研究具体的、单独的命题(常量)不是逻辑学的目的,逻辑学所研究的是多个命题间的逻辑关系(真假取值关系),是推理规则,是论证的有效性等问题。所以,更多情况下,我们所讨论的都是命题变量。

而命题间的逻辑关系,就是由逻辑联结词构建的。联结词把单独命题(或称原子命题、简单命题)构造成复合命题。

2、命题逻辑问题:命题的否定、否命题、或且非;

(1)或、且、非是最常用的3个逻辑联结词;

(2)对于任何一个命题 p(不管是单独命题还是复合命题),在其前面加上联结词非,就可以构造出一个新命题非 p;这个新命题,就是原来那个命题的否定——相应的,原来那个命题就称为原命题。

一个命题的否定,也是命题;而且是复合命题;而且总是与原命题的真值“相反”:

如果p= 真,那么非 p= 假;

如果p= 假,那么非 p= 真;

(3)要说否命题,就必须先说另一个逻辑联结词——如果...那么...;

通常称其为条件联结词;它把两个命题p、q构造成一个复合命题:

A:如果 p,那么 q;

因为在这种命题中,p和q的地位不同,所以有专门的称呼:p为条件/前件,q为结论/后件;

因为p和q本身也是命题,所以可以构造它们的否定:非p、非q;

进而可以构造出一个更复杂的复合命题 B:如果非 p,那么非 q;

相对于上面的命题 A,命题 B 就是把 A 的条件和结论都取否定。此时,就称命题 B 是命题 A 的否命题,相应的,命题 A 就是命题 B 的原命题。

之所以给这种命题以专门的名称,是因为它们有一些特殊的性质;

增加新的变换方法:调换命题 A 中条件和结论的位置,得到新命题:

C:如果 q,那么 p;——C 称作 A 的逆命题;

再构造命题 C 的否命题:

D:如果非 q,那么 非p;——D 又称作 A 的逆否命题;

性质:任何条件命题(A)与其逆否命题(D),真值恒等;即:

如果A= 真,那么D= 真;

如果A= 假,那么D= 假;

根据定义:命题 B 和命题 C 也“互为”逆否命题;

以上,都是以命题作为原子概念进行讨论;都没有涉及命题的内部结构。有的逻辑学中称研究这种问题的逻辑为命题逻辑;

因为命题也是一个句子,所以也有主语、谓语等成分。

以下,就是对最简单的命题——性质命题的内部成分进行分析,而产生的一种逻辑:

3、谓词逻辑问题:全称量词、存在量词;

你说的这两个量词涵盖了这类问题的所有内容——因为一共就这么两个量词,而所有问题又基本都是围绕量词进行的。要展开说就太多了,我只说定义,有具体问题再单独说吧。

因为这类问题涉及命题的内部成分,也就是概念;而概念总有外延,对概念的性质的判断,其实就是对外延中某个或某些个体的性质的判断。因此,对同样的概念,判断所涉及的范围就可有所不同。通常可分为两种:

全称判断:对外延中的所有个体进行判断;如所有鸟都会飞;

存在判断:对外延中至少一个个体进行判断;如有的整数小于零;

错误。

假言命题指形式为“如果A则B”的复合命题。又称条件命题。其表示条件的支命题叫做前件,表示结果的支命题叫做后件。假言命题陈述一种事物的情况是另一种事物情况的条件。

在形式逻辑中,命题联结词“如果,则”被理解为“前件真而后件假”是假的,即“若A则B”假,当且仅当A真而B假;而当A假时,整个复合命题总是真的。

在现代逻辑中,命题之间的这种真假关系叫做实质蕴涵。在日常语言中,关于“若,则”还有其他含义,如因果联系、推论关系等等。所谓假言命题就是陈述某一事物情况是另一件事物情况的条件的命题,假言命题亦称条件命题。“如果A则B”的复合命题。又称条件命题。表示条件的支命题叫做前件,表示结果的支命题叫做后件。假言命题陈述一种事物情况是另一种事物情况的条件。

在形式逻辑中,命题联结词“如果,则”被理解为“前件真而后件假”是假的,即“若A则B”假,当且仅当A真而B假;而当A假时,整个复合命题总是真的。在现代逻辑中,命题之间的这样的真假关系叫做实质蕴涵。在日常语言中,关于“如果,则”还有其他含义,如因果联系、推论关系等等。