「同値」の版間の差分
削除された内容 追加された内容
Thijssie!bot (会話 | 投稿記録) m ロボットによる 追加: bg:Тогава и само тогава, когато |
m otheruses |
||
1行目:
{{otheruses|命題の同値性|同値関係における同値|同値関係}}
{{redirect|iff|その他のIFF|IFF}}
7 ⟶ 8行目:
[[演算子]]記号は ⇔、↔、≡、=、EQ などが使われる。
== 性質 ==
同値の基本的な性質は以下のとおり。<math>\Rightarrow</math>は[[論理包含演算|論理包含]]（ならば）、<math>\land</math>は[[論理積]]（かつ）。
* 反射律: <math>p \Leftrightarrow p</math>
30 ⟶ 31行目:
|}
== 概要 ==
命題 ''P'' と命題 ''Q'' に対して、'''''P'''''⇒'''''Q''''' '''のとき'''、
:'''''P''''' '''は''' ''Q'' であるための'''十分条件'''
70 ⟶ 71行目:
== 外部リンク ==
*{{SEP|necessary-sufficient|Necessary and Sufficient Conditions|[[スタンフォード哲学百科事典]]にある「必要条件と十分条件」についての記事}}
*{{MathWorld|title=Equivalent|urlname=Equivalent}}
{{論理演算}}
[[Category:数理論理学
[[Category:数学に関する記事]]
[[bg:Тогава и само тогава, когато]]
| |||