数学/論理と集合
- Yoshino-tech
命題
仮定
と
結論
「
p
ならば
q
」「
p
⇒
q
」
(中間はなく、必ず
真
か
偽
のどちらかであるもの)
逆(命題)
「
q
ならば
p
」「
q
⇒
p
」
逆命題は背理法に使われる。
裏(命題)
条件を裏返す、否定する
「
p
でないなら
q
でない」
対偶(命題)
逆と裏を同時に行ったもの
「
q
でないなら
p
でない」
q ̄の集合はp ̄に含まれるため、元の命題と真偽が一致する。
検証
集合の比較を行う。
数直線で考える。
反例を探す。
条件の合成・演算方法
ド・モルガンの法則 バーは分配できる
[
トップ
] [
編集
|
名前変更
|
添付
] [
新規
|
一覧
|
単語検索
|
ヘルプ
|
ログイン
]
Last-modified: 2007-10-28 (日) 15:37:53 (5997d)