逻辑公式由刀豆文库小编整理，希望给你工作、学习、生活带来方便，猜你可能喜欢“逻辑有效公式”。
逻辑公式
并非（A且B）≠ 非A且非B 并非（A且B）= 非A或非B 非A或非B=A则非B B型题 = 强（知识）相关
★ 哪些是“强相关”知识点
联结词：“非”、“且”、“或”、“则”条件关系（充分 / 必要）4个重要等值公式
命题推理基本规则（主要是“则”和“或”的规则）对当关系算子、量词的对偶与否定 ★联结词：非、且、或、则 不要拒绝这四个符号：
=非=或 =且=则
命题：有真假的句子。以p、q、…表示。非p
=（记为）p=p假p且q
=（记为）p∧q=p和q都真 p或q
=（记为）p∨q=p和q至少有一真
要么p，要么q
=p和q至少有一真，且至多有一真 p则q（如果p，那么q）=（记为）p→q
=不会：有p但没q=不会：p真且q假=（p∧q）
“p则q”的含义最为重要。详细讨论见“条件关系”。☆条件关系：充分条件 / 必要条件 p是q的充分条件
=如果p真，则q真
=（通常表述为）有p则有q例如…
p是q的必要条件=如果p假，则q假=（通常表述为）无p则无q例如…
如果p是q的充分条件，则q是p的必要条件。反之亦然。
☆ 条件关系的四种情况：1．充分但不必要2． 必要但不充分3．充分必要4．不构成条件关系
☆条件关系的日常语言表达
p是q的充分条件：如果p，则q只要p，就q„p是q的必要条件：只有p才q
（如要）q，必须p除非p，否则不q…
☆用 “ ” 准确表达（充分/必要）条件关系pq表示（1）p是q的充分条件（2）q是p的必要条件如果p，那么q＝pq只有p，才q＝qp☆p q=q p
以上等式的两边互称“逆否式”。
一个公式和它的逆否式在逻辑上等值。☆准确刻画 “除非…，否则”“（除非）„，否则…”的意思是：“如果否定„，则„”
“…，否则…”＝… …
除非 p，否则q=pq除非 p，否则不q=p q除非不 p，否则q=pq除非 不p，否则不q=p q p，否则q=除非p，否则q
p，除非q=除非q，否则p★4个重要的等值公式（pq）=（pq）（pq）=（pq）（pq）=（pq）（pq）=(pq）
☆德摩根律
（pq）=（pq）
（pq）=（pq）并非：小张既高又胖= 小张不高或者小张不胖
并非：小张失约或者他没有接到通知=小张没有失约并且他接到了通知
☆一个在解题中多有应用的公式（pq）=（pq）由：（pq）= （pq）
等式两边同时否定，得（pq）= （pq）（pq）=（pq）
☆“或”与“则”的等值置换
AB＝ABAB＝AB第一，保持右件（后件）公式不变；第二，改变左件（前件）公式的否定符。
