“∨”：表示逻辑“或”操作，即给定命题中的至少一个为真，则整个命题为真。
“¬”：表示逻辑“非”操作，即取反，将命题的真值取反。
“→”：表示逻辑“蕴含”或“如果...那么...”操作，即若前提为真，则结论为真。
“↔”：表示逻辑“双向蕴含”或“当且仅当”操作，即两个命题同时为真或同时为假。
“∃”：表示存在量词，即“存在”某个元素使命题为真。
“∀”：表示全称量词，即“对于所有”的意思，表示命题对所有元素都成立。
常见的逻辑运算符
©著作权归作者所有,转载或内容合作请联系作者
- 文/潘晓璐 我一进店门，熙熙楼的掌柜王于贵愁眉苦脸地迎上来，“玉大人，你说我怎么就摊上这事。” “怎么了？”我有些...
- 文/花漫 我一把揭开白布。 她就那样静静地躺着，像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上，一...
- 文/苍兰香墨 我猛地睁开眼，长吁一口气：“原来是场噩梦啊……” “哼！你这毒妇竟也来了？” 一声冷哼从身侧响起，我...
推荐阅读更多精彩内容
- 一、什么是证明 命题：能够判断真假的语句 谓词：真假取决于变量的命题。 逻辑推理 P，P IMP Q则Q 常用的证...
