离散数学20_第1章_等价符号⇔的定义

一 定义：

给定两个命题公式A和B,  设P₁，P₂，... Pn为所有出现于 A 和 B中的原子变元， 若给 P₁，P₂，... Pn任一组真值指派， A 和 B的真值都相同，  称A和B是等值或等价的。 记为  A ⇔ B。

若至少存在一组真值指派， 使得 A 和 B的真值不相同， 称 A 和 B 不等值或不等价， 记为 A <≠> B。

 

注： ⇔ 和 <≠>都不是联结词， 只是用来说明A与B是否等值的一种记法。

联结词是指这5个： ￢   ∧  ∨  →  ↔

二.  由等价的定义可知：  ￢P∨Q ⇔ P→Q ,   注意仔细体会含义：非P或者Q 等价于 如果P那么Q, 

（P∧Q) ∨ (￢P∧￢Q)⇔ P↔Q

 

 

本文字数虽少， 文章虽短， 但须仔细、 认真体会。