代表 不确定 的命题时 , 称为 命题常元 ;
----
( 2 ) 命题符 取值 号化
命题 真假值 符号化 :
1.真 ( True ) : 记为
1
或
T
;
2.假 ( False...联结词
( 1 ) 否定联结词
否定联结词 :
1.定义 : 设 p 为 一个命题 , 复合命题 非p 称为 p 的否定式 , 记为
\lnot p
;
\lnot
成为否定联结词 ;
2.真值表...两个命题 , 复合命题 " p 而且 q " 称为 p , q 的合取式 , 记为
p \land q
,
\land
称为 合取联结词 ;
2.真值表 :
p \land q
真 当且仅当...----
( 3 ) 析取联结词
析取联结词 :
1.定义 : 设 p , q 为 两个命题 , 复合命题 " p 或者 q " 称为 p , q 的析取式 , 记为
p \lor q
;
\lor...: 设 p , q 为 命题 , 复合命题 " p 当且仅当 q " 称作 p , q 的等价式 , 记做
p \leftrightarrow q
,
\leftrightarrow
记做等价联结词