资讯详情

联结词：确定复合命题的逻辑形式

联结词是从日常生活中抽象出来的

优先级：\(()\) \(\lnot\) \(\land\) \(\lor\) \(\rightarrow\) \(\leftrightarrow\)

离散数学中的联结词只注重“真值”，而不顾及具体内容，故亦称为“真值联结词”

联结词详表

联结词类型	联结词符号	联结词读法	联结词规则
否定联结词	\(\lnot、\) \(not、！\)	非、...的否定	\(\lnot1=0\)
合取联结词	\(\land、and、\)&&	并且、与	$$1\land1=1$$ 有0就为0
析取联结词（可兼取的，并非强制二选一）	\(\lor、or、||\)	或	$$0\lor0=0$$ 有1就为1
蕴涵联结词（条件联结词）	\(\rightarrow（条件式）\)	如果....，则....	$$1\rightarrow0=0$$ 其余都为1
等价联结词（双条件联结词）	\(\leftrightarrow（双条件式）\)	当且仅当	相等结果为1、不相等结果为0

析取联结词和合取联结词都满足交换律和结合律

其中\(\lnot\)为一元联结词，其余为二元联结词（根据符号搭配的命题个数）

关于蕴涵联结词 $P\rightarrow Q的逆换式是Q \rightarrow P，反换式是 \lnot P \rightarrow \lnot Q，逆反式 \lnot Q \rightarrow \lnot P $，箭头前面称为前件，后面称为后件