• 首页

数理逻辑

结合(语句)

一个结合复合陈述是由两个陈述用这个词组合而成的吗和．在符号逻辑中，连接$p$和$问$写$p\wedge 问$．

一个连词只有在其中的两个陈述都为真时才为真。的真值表$p\wedge 问$取决于的真值$p$和$问$．

$\begin{array}{ccc}p& 问& p\wedge 问\\ \text{T}& \text{T}& \text{T}\\ \text{T}& \text{F}& \text{F}\\ \text{F}& \text{T}& \text{F}\\ \text{F}& \text{F}& \text{F}\end{array}$

分离(或声明)

一个析取复合陈述是由两个陈述用这个词组合而成的吗和．在符号逻辑中，分离$p$和$问$写$p\vee 问$．

如果一个析取命题中的一个或两个命题都为真，析取命题为真。的真值表$p\vee 问$取决于的真值$p$和$问$．

$\begin{array}{ccc}p& 问& p\vee 问\\ \text{T}& \text{T}& \text{T}\\ \text{T}& \text{F}& \text{T}\\ \text{F}& \text{T}& \text{T}\\ \text{F}& \text{F}& \text{F}\end{array}$

否定(不是语句)

的否定的一份声明中$p$是不$p$．

符号$\sim$或$\neg$表示否定。

如果$p$是真的,那么$\sim p$为假，反之亦然。