否定、合取、析取、条件、双条件定义及LaTex公式
1 否定定义:设P为一命题,P的否定是一个新的命题,记作¬\neg¬P。若P为T,¬\neg¬P为F;若P为F,¬\neg¬P为T。P¬\neg¬PTFFTLaTex公式:$\neg$2 合取定义:两个命题P和Q的合取是一个复合命题,记作P∧\wedge∧Q,当且仅当P、Q同时为T时,P∧\wedge∧Q为T,在其他情况下,P∧\wedge∧Q的真值都是FPQP∧\wedge∧QTTTTFFFTFFFF
原创
2020-10-28 12:02:23 ·
19055 阅读 ·
0 评论