📅  最后修改于: 2020-12-22 04:46:28             🧑  作者: Mango
命题,陈述或逻辑句子是陈述性句子,可以为真或为假。
示例1:以下陈述都是命题:
示例2:以下陈述不是命题:
从P开始的小写字母代表命题
示例: p:印度在亚洲
q:2 + 2 = 4
语句或命题变量可以通过逻辑连接词(运算符)组合形成一个称为复合语句的语句。
五个逻辑连接词是:
Symbol | Connective | Name |
---|---|---|
~ | Not | Negation |
∧ | And | Conjunction |
∨ | Or | Disjunction |
⟶ | Implies or if…then | Implication or conditional |
⟷ | If and only if | Equivalence or biconditional |