| |
- 66 名前：トーカ 1/13 ◆QED.5/8VxA 投稿日：03/07/20 23:46 ID:b9UOTPi1
- ／￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
| 授業は何事にも動じることなく存在します
＼＿＿ ＿＿＿＿＿＿＿＿＿＿＿＿＿＿
━━━∨━━━━━━━━━━━━
必要条件と十分条件について
,＿＿
iii■∧ /
━ (,,ﾟДﾟ) / ━━━━━ ∧∧━━ ∧∧
| つ ∇ (ﾟДﾟ；) (ﾟДﾟ,,)
| ｜┌─┐ /⊂ ヽ /⊂ ヽ
〜| ｜｜□｜ √￣ (_＿_ﾉ〜 √￣ (_＿_ﾉ〜
∪∪ ｜ | || ━┳┛ || ━┳┛
￣￣￣￣｜ | ＝＝＝＝∧＝＝＝＝＝＝＝＝＝＝
／￣￣￣￣￣￣￣ ￣￣￣￣￣￣￣￣￣￣￣￣￣￣
｜ あー、もうすでに黒板の用語がわからない
＼＿＿＿_＿＿＿＿＿＿＿＿＿＿∧＿＿＿＿＿＿＿＿
／
| 授業はあっても卒業がないのはこれいかに
＼＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
- 67 名前：トーカ 2/13 ◆QED.5/8VxA 投稿日：03/07/20 23:47 ID:b9UOTPi1
- ／￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
| 用語はある意味形だけです
| 内容を理解してこそ意味があるのです。まぁ例題から
＼＿＿ ＿＿＿＿＿＿＿＿＿＿＿＿＿＿
━━━∨━━━━━━━━━━━━
例題
（１）aはbである cはbである ならば aはcである。○か×か
（２）コロッケは揚げ物である ロースカツは揚げ物である
→ならば コロッケはロースカツである。○か×か
,＿＿
iii■∧ /
━ (,,ﾟДﾟ) / ━━━━━ ∧∧━━ ∧∧
| つ ∇ (ﾟДﾟ,,) (ﾟДﾟ,,)
| ｜┌─┐ /⊂ ヽ /⊂ ヽ
〜| ｜｜□｜ √￣ (_＿_ﾉ〜 √￣ (_＿_ﾉ〜
∪∪ ｜ | || ━┳┛ || ━┳┛
￣￣￣￣｜ | ＝＝＝＝∧＝＝＝＝＝＝＝＝＝＝
／￣￣￣￣￣￣￣ ￣￣￣￣￣￣￣￣￣￣￣￣￣￣
｜ （１）はまぁぱっと考えて○だが・・・
＼＿＿＿_＿＿＿＿＿＿＿＿＿＿∧＿＿＿＿＿＿＿＿
／
| （２）はあり得ないな。×です
＼＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
- 68 名前：トーカ 3/13 ◆QED.5/8VxA 投稿日：03/07/20 23:48 ID:b9UOTPi1
- ／￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
| そのとおり、コロッケがロースカツであるというのは常識でおかしいです
| しかし（１）の正しいテンプレートに沿って書かれた文が
| なぜ間違った内容になるのでしょうか？
＼＿＿ ＿＿＿＿＿＿＿＿＿＿＿＿＿＿
━━━∨━━━━━━━━━━━━
（１）aはbである cはbである なら aはcである。○か×か
（２）コロッケは揚げ物である ロースカツは揚げ物である
→なら コロッケはロースカツである。○か×か
,＿＿
iii■∧ /
━ (,,ﾟДﾟ) / ━━━━━ ∧∧━━ ∧∧
| つ ∇ (ﾟДﾟ,,) (ﾟДﾟ,,)
| ｜┌─┐ /⊂ ヽ /⊂ ヽ
〜| ｜｜□｜ √￣ (_＿_ﾉ〜 √￣ (_＿_ﾉ〜
∪∪ ｜ | || ━┳┛ || ━┳┛
￣￣￣￣｜ | ＝＝＝＝∧＝＝＝＝＝＝＝＝＝＝
／￣￣￣￣￣￣￣ ￣￣￣￣￣￣￣￣￣￣￣￣￣￣
｜ なんとなくながら、友達の友達は友達じゃないというか
＼＿＿＿_＿＿＿＿＿＿＿＿＿＿∧＿＿＿＿＿＿＿＿
／
| 似たようなもんっぽいな
＼＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
- 69 名前：トーカ 4/13 ◆QED.5/8VxA 投稿日：03/07/20 23:48 ID:b9UOTPi1
- ／￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
| 論理学の観点からすればまた別の解説もあるのですが
| この講義では板書のように解説することにします
＼＿＿ ＿＿＿＿＿＿＿＿＿＿＿＿
━━━∨━━━━━━━━━━━━━━━
aはbである とは a=b (b=a) と完全におなじ、とする
~~~~~
こう考えると（２）はどうなるか？
,＿＿
iii■∧ /
━ (,,ﾟДﾟ) / ━━━━━ ∧∧━━━━ ∧∧━
| つ ∇ (ﾟДﾟ,,) (ﾟДﾟ,,)
| ｜┌─┐ /⊂ ヽ /⊂ ヽ
〜| ｜｜□｜ √￣ (_＿_ﾉ〜 √￣ (_＿_ﾉ〜
∪∪ ｜ | || ━┳┛ || ━┳┛
￣￣￣￣｜ | ＝＝＝＝∧＝＝＝＝＝＝＝＝＝＝
／￣￣￣￣￣￣￣ ￣￣￣￣￣￣￣￣￣￣￣
｜ コロッケ=揚げ物、、、はまだよいとして
＼＿＿＿_＿＿＿＿＿＿＿＿＿＿∧＿＿＿＿
／
| 揚げ物=コロッケ ではないぞ。ｷｮｳｼﾞｭﾊｿｳｶﾓﾀﾞｹﾄﾞ・・
＼＿＿＿＿＿＿＿＿＿＿＿＿＿＿
- 70 名前：トーカ 5/13 ◆QED.5/8VxA 投稿日：03/07/20 23:48 ID:b9UOTPi1
- ／￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
| そろそろタネがわかってきましたね
| aはbである というと脳内では数学的に a=b を想像します
＼＿＿ ＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
━━━∨━━━━━━━━━━━━
a=b が意味するのは aはbであり、同時に bはaであると言っているわけです
この時 a、bは見た目こそ違えど、まったく同じもの
しかし、コロッケは揚げ物である、の場合
「コロッケは揚げ物というカテゴリーに入っている」
と脳内で判断してしまいます。この時点では正しいですが・・・
,＿＿
iii■∧ /
━ (,,ﾟДﾟ) / ━━━━━ ∧∧━━ ∧∧
| つ ∇ (ﾟДﾟ,,) (ﾟДﾟ,,)
| ｜┌─┐ /⊂ ヽ /⊂ ヽ
〜| ｜｜□｜ √￣ (_＿_ﾉ〜 √￣ (_＿_ﾉ〜
∪∪ ｜ | || ━┳┛ || ━┳┛
￣￣￣￣｜ | ＝＝＝＝∧＝＝＝＝＝＝＝＝＝＝
／￣￣￣￣￣￣￣ ￣￣￣￣￣￣￣￣￣￣￣￣￣￣
｜ 揚げ物がコロッケのカテゴリーには入っているわけではない、と
＼＿＿＿_＿＿＿＿＿＿＿＿＿＿∧＿＿＿＿＿＿＿＿
／
| コロッケのカテゴリーはクリームコロッケとかだろうな
＼＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
- 71 名前：トーカ 6/13 ◆QED.5/8VxA 投稿日：03/07/20 23:50 ID:b9UOTPi1
- ／￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
| 言葉だけではわかりにくいので図示してみましょうか。
| 大きい枠が揚げ物。ちいさいのはコロッケ、その他です
＼＿＿ ＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
━━━∨━━━━━━━━━━━━
┏━━━ 揚げ物 ━━━━・・・・・
┃┌────┐┌──────
┃│ コロッケ ││その他揚げ物色々・・
┃└────┘└──────
┗━━━━━━━━━━━━・・・・・
,＿＿
iii■∧ /
━ (,,ﾟДﾟ) / ━━━━━ ∧∧━━ ∧∧
| つ ∇ (ﾟДﾟ,,) (ﾟДﾟ,,)
| ｜┌─┐ /⊂ ヽ /⊂ ヽ
〜| ｜｜□｜ √￣ (_＿_ﾉ〜 √￣ (_＿_ﾉ〜
∪∪ ｜ | || ━┳┛ || ━┳┛
￣￣￣￣｜ | ＝＝＝＝∧＝＝＝＝＝＝＝＝＝＝
／￣￣￣￣￣￣￣ ￣￣￣￣￣￣￣￣￣￣￣￣￣￣
｜ 微妙に謙虚に思えてしまう板書だな
＼＿＿＿_＿＿＿＿＿＿＿＿＿＿∧＿＿＿＿＿＿＿＿
／
| 無駄にでかく書くこともあるまいて
＼＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
- 72 名前：トーカ 7/13 ◆QED.5/8VxA 投稿日：03/07/20 23:51 ID:b9UOTPi1
- ／￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
| コロッケは揚げ物である、といえるのは
| コロッケエリアを適当に選べば「必ず」揚げ物エリアに入っているからです
| 揚げ物がコロッケであるといえない理由は・・・わかりますね？
＼＿＿ ＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
━━━∨━━━━━━━━━━━━
┏━━━ 揚げ物 ━━━━・・・・・
┃┌────┐┌──────
┃│ コロッケ ││その他揚げ物色々・・
┃└────┘└──────
┗━━━━━━━━━━━━・・・・・
,＿＿
iii■∧ /
━ (,,ﾟДﾟ) / ━━━━━ ∧∧━━ ∧∧
| つ ∇. (ﾟДﾟ,,)∩ (ﾟДﾟ,,)
| ｜┌─┐ /⊂ ノ /⊂ ヽ
〜| ｜｜□｜ √￣ (_＿_ﾉ〜 √￣ (_＿_ﾉ〜
∪∪ ｜ | || ━┳┛ || ━┳┛
￣￣￣￣｜ | ＝＝＝＝∧＝＝＝＝＝＝＝＝＝＝
／￣￣￣￣￣￣￣ ￣￣￣￣￣￣￣￣￣￣￣￣￣￣
｜ はい。揚げ物エリアから適当な場所を選んでも
| コロッケエリアに入っている保証がないからだと思います
＼＿＿＿_＿＿＿＿＿＿＿＿＿＿∧＿＿＿＿＿＿＿＿
／
| 揚げ物がコロッケしかないなら別だけどなぁ
＼＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
- 73 名前：トーカ 8/13 ◆QED.5/8VxA 投稿日：03/07/20 23:51 ID:b9UOTPi1
- ／￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
| 前ギコ君の言うとおりですね、揚げ物がコロッケである保証はありません
| このような二つの条件には「必要」「十分」の関係があります
＼＿＿ ＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
━━━∨━━━━━━━━━━━━
条件の広いほう（例では揚げ物）は
条件の狭いほう（例ではコロッケ）であるための「必要条件」となり
条件の狭いほう（コロッケ）は
条件の広いほう（揚げ物）であるための「十分条件」となります
,＿＿
iii■∧ / ﾁｮｯﾄｵｶｼｲﾃﾞｽｶﾞ､ﾀﾞｲﾀｲｺｳﾃﾞｽ
━ (,,ﾟДﾟ) / ━━━━━ ∧∧━━ ∧∧
| つ ∇ (ﾟДﾟ,,) (ﾟДﾟ,,)
| ｜┌─┐ /⊂ ヽ /⊂ ヽ
〜| ｜｜□｜ √￣ (_＿_ﾉ〜 √￣ (_＿_ﾉ〜
∪∪ ｜ | || ━┳┛ || ━┳┛
￣￣￣￣｜ | ＝＝＝＝∧＝＝＝＝＝＝＝＝＝＝
／￣￣￣￣￣￣￣ ￣￣￣￣￣￣￣￣￣￣￣￣￣￣
｜ 揚げ物にとってコロッケは必要なものでしかない・・ってことか？
＼＿＿＿_＿＿＿＿＿＿＿＿＿＿∧＿＿＿＿＿＿＿＿
／
| 揚げ物から仮にコロッケが消えても揚げ物は困らないだろうしな
＼＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
- 74 名前：トーカ 9/13 ◆QED.5/8VxA 投稿日：03/07/20 23:52 ID:b9UOTPi1
- ／￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
| 加えて、先ほど後ろギコ君の言った
| 「揚げ物がもしコロッケしかなかった場合」を考えましょう
＼＿＿ ＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
━━━∨━━━━━━━━━━━━
┏━ 揚げ物 ━┓
┃┌────┐┃
┃│ コロッケ │┃
┃└────┘┃
┗━━━━━━┛
,＿＿
iii■∧ / ｺﾝﾅｴﾆﾅﾘﾏｽﾈ
━ (,,ﾟДﾟ) / ━━━━━ ∧∧━━ ∧∧
| つ ∇ (ﾟДﾟ,,) (ﾟДﾟ,,)
| ｜┌─┐ /⊂ ヽ /⊂ ヽ
〜| ｜｜□｜ √￣ (_＿_ﾉ〜 √￣ (_＿_ﾉ〜
∪∪ ｜ | || ━┳┛ || ━┳┛
￣￣￣￣｜ | ＝＝＝＝∧＝＝＝＝＝＝＝＝＝＝
／￣￣￣￣￣￣￣ ￣￣￣￣￣￣￣￣￣￣￣￣￣￣
｜ コロッケしかないなら、コロッケは揚げ物であり
| 揚げ物がコロッケであるといって良いだろうなぁ
＼＿＿＿_＿＿＿＿＿＿＿＿＿＿∧＿＿＿＿＿＿＿＿
／
| ハムカツがないのはあれだが、平和そうな世界だ・・・
＼＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
- 75 名前：トーカ 10/13 ◆QED.5/8VxA 投稿日：03/07/20 23:52 ID:b9UOTPi1
- ／￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
| コロッケは揚げ物であり、揚げ物がコロッケである
| 最初の a=b b=c の例と同じ状況になります
| このような、表現が違うだけで内容はまったく同じ場合を
| 「必要十分条件」といいます
＼＿＿ ＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
━━━∨━━━━━━━━━━━━
┏━ 揚げ物 ━┓ ┏━ コロッケ ━┓
┃┌────┐┃ ┃┌────┐┃
┃│ コロッケ │┃ ＝ ┃│ 揚げ物 │┃
┃└────┘┃ ┃└────┘┃
┗━━━━━━┛ ┗━━━━━━┛
,＿＿ 完全に等しい
iii■∧ /
━ (,,ﾟДﾟ) / ━━━━━ ∧∧━━ ∧∧
| つ ∇ (ﾟДﾟ,,) (ﾟДﾟ,,)
| ｜┌─┐ /⊂ ヽ /⊂ ヽ
〜| ｜｜□｜ √￣ (_＿_ﾉ〜 √￣ (_＿_ﾉ〜
∪∪ ｜ | || ━┳┛ || ━┳┛
￣￣￣￣｜ | ＝＝＝＝∧＝＝＝＝＝＝＝＝＝＝
／￣￣￣￣￣￣￣ ￣￣￣￣￣￣￣￣￣￣￣￣￣￣
｜ コロッケであることは、揚げ物であることの必要十分条件だと
＼＿＿＿_＿＿＿＿＿＿＿＿＿＿∧＿＿＿＿＿＿＿＿
／
| ハムカツがないのはあれだが、平和そうな世界だ・・・
＼＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
- 76 名前：トーカ 11/13 ◆QED.5/8VxA 投稿日：03/07/20 23:54 ID:b9UOTPi1
- ／￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
| 世の中で「必要条件」「十分条件」が語られるときは
| 先ほどのことを踏まえてこのように考えましょう
＼＿＿ ＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
━━━∨━━━━━━━━━━━━
必要条件は、それだけでは足りないちょっと甘い条件
十分条件は、それを満たせばOKとなるきつい条件
必要十分条件はまったく同じ存在
,＿＿
iii■∧ /
━ (,,ﾟДﾟ) / ━━━━━ ∧∧━━ ∧∧
| つ ∇ (ﾟДﾟ,,) (ﾟДﾟ,,)
| ｜┌─┐ /⊂ ヽ /⊂ ヽ
〜| ｜｜□｜ √￣ (_＿_ﾉ〜 √￣ (_＿_ﾉ〜
∪∪ ｜ | || ━┳┛ || ━┳┛
￣￣￣￣｜ | ＝＝＝＝∧＝＝＝＝＝＝＝＝＝＝
／￣￣￣￣￣￣￣ ￣￣￣￣￣￣￣￣￣￣￣￣￣￣
｜ じゃあ荒らしに対して放置するのは必要条件･･･かな
＼＿＿＿_＿＿＿＿＿＿＿＿＿＿∧＿＿＿＿＿＿＿＿
／
| いや、全員が本当に放置すればそれは十分条件だぞ
＼＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
- 77 名前：トーカ 12/13 ◆QED.5/8VxA 投稿日：03/07/20 23:54 ID:b9UOTPi1
- ／￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
| 後ろギコ君が正しいでしょうね。
| 世の中はもっとも単純なことがもっとも難しいのが常です
＼＿＿ ＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
━━━∨━━━━━━━━━━━━
不断の努力とか、継続は力なりとか
できますか？
,＿＿
iii■∧ / ﾋﾄﾆﾖｯﾃﾊ,ｺﾚﾓﾋﾂﾖｳｼﾞｮｳｹﾝﾄｶﾝｶﾞｴﾙﾃﾞｼｮｳｹﾄﾞﾈ
━ (,,ﾟДﾟ) / ━━━━━ ∧∧━━ ∧∧
| つ ∇ (ﾟДﾟ；) (ﾟДﾟ；)
| ｜┌─┐ /⊂ ヽ /⊂ ヽ
〜| ｜｜□｜ √￣ (_＿_ﾉ〜 √￣ (_＿_ﾉ〜
∪∪ ｜ | || ━┳┛ || ━┳┛
￣￣￣￣｜ | ＝＝＝＝∧＝＝＝＝＝＝＝＝＝＝
／￣￣￣￣￣￣￣ ￣￣￣￣￣￣￣￣￣￣￣￣￣￣
｜ ・・・・・・・・・・・・・・・・ﾉｰｺﾒﾝﾄ
＼＿＿＿_＿＿＿＿＿＿＿＿＿＿∧＿＿＿＿＿＿＿＿
／
| ・・・・・・・・・・・・上に同じ
＼＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
- 78 名前：トーカ 13/13 ◆QED.5/8VxA 投稿日：03/07/20 23:55 ID:b9UOTPi1
- ／￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
| では課題です。
| 以下に挙げる問題の各必要・十分条件を答えること
| どんな答えでも良いですよ
＼＿＿ ＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
━━━∨━━━━━━━━━━━━
・自分に霊が取り付いて人生が変わっていくための必要条件
・朝○新聞がとりあえずまともになる必要条件
・(ﾟДﾟ)ｳﾏｰなコロッケを作る十分条件
・満足する死を迎えるための必要条件
・スーパーサ○ヤ人になるための必要条件
・ある日隣にアイドルが引っ越してきてどうやら
俺にほれているかもしれないための必要条件
・君たちが卒業する十分条件
,＿＿
iii■∧ /
━ (,,ﾟДﾟ) / ━━━━━ ∧∧━━ ∧∧
| つ ∇ (ﾟДﾟ；) (ﾟДﾟ；)
| ｜┌─┐ /⊂ ヽ /⊂ ヽ
〜| ｜｜□｜ √￣ (_＿_ﾉ〜 √￣ (_＿_ﾉ〜
∪∪ ｜ | || ━┳┛ || ━┳┛
￣￣￣￣｜ | ＝＝＝＝∧＝＝＝＝＝＝＝＝＝＝
／￣￣￣￣￣￣￣ ￣￣￣￣￣￣￣￣￣￣￣￣￣￣
｜ な、、なんじゃこりゃーー！ﾍﾝﾅﾉｶﾞｲｯﾊﾟｲｱﾙｿﾞ・・・
＼＿＿＿_＿＿＿＿＿＿＿＿＿＿∧＿＿＿＿＿＿＿＿
／
| 俺らの卒業条件って・・・・・あるのか？
＼＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
|
|
