type
date
slug
status
summary
tags
category
icon
password
1-2 逻辑连接词 (1)

1-2-1 否定连接词

为命题,复合命题“非”称为的否定,记作

T
F
T
T
 

1 - 2 - 2 合取联结词

为两个命题,复合命题“”称为的合取式,记作

T
T
T
T
F
F
F
T
F
F
F
F
 
自然语言中:并且、不但…而且…、既…又…、又…还….可用
 
 

1-2-3 析取联结词

为两个命题,复合命题“”称为的析取式,记作

T
T
T
T
F
T
F
T
T
F
F
F
或其实包含相容或,和异或。
我爱阿里云或者腾讯云,可以表示为 相容或 ,即
但是我今天晚上住在203 或者 303 是异或,二者不可得兼。表示为
 

1-2-4 蕴含连接词

为两个命题,复合命题“”称为的蕴含式,记作

自然语言中,可以表示P是Q的充分条件,Q是P的必要条件。
P
Q
T
T
T
T
F
F
F
T
T
F
F
T

1-2-5 等价联结词

为两个命题,复合命题“”称为的等价式,记作

P
Q
T
T
T
T
F
F
F
T
F
F
F
T
 
1-1 命题1-3 命题公式
Loading...