「同値」の版間の差分
削除された内容 追加された内容
演算子としての説明を加筆 |
m →性質: tp |
||
14行目:
他にも次のような性質がある。<math>\lnot</math>は[[否定]]、<math>\veebar</math>は[[排他的論理和]]。
* 反対称律: <math>\{(p \Rightarrow q) \land (q \Rightarrow p)\} \Rightarrow (p \Leftrightarrow q)</math>
* <math>(p \Leftrightarrow q) \Leftrightarrow \lnot (p \veebar
=== 真理値表 ===
|