fc2ブログ





【論理学】やる夫が論理的な考え方を学ぶようです(6) このエントリーのはてなブックマーク数 このエントリーをはてなブックマークに追加

170 : ◆GI8xWOz4Ko:2010/05/07(金) 21:00:39 ID:N3a0OT12
┏────────────────────────────────────┓
│                                                   .....│
│         【論理学】やる夫が論理的な考え方を学ぶようです             │
│                                                    .....│
│         ~ 筋の通った論証、物事の関係、文章術、会話術 ~           . ..│
│                                                   .....│
┗────────────────────────────────────┛



          , " ̄ ̄ 丶、                   ,.-''"´ ̄ ̄ ̄`゙ヽ、
         /        \                / ,.ィ _,..r---r-、   \
      ノ゙!  / , { / { / } ヽヽハ/^ーァ          ./ /.イ´ | |  | .| `lヽ、 .ヘ
   r='  \j |イ/⌒Vヽハ⌒lヽ} j} /´         lヽv ,.イ ⊥_  | |   | .| ,.斗、 ヽ ゙l,),.‐;
     ̄\ イ j :|fト  fハ/ノリ/           ヤノv' | .j,..≧トッ  ,.ィ''ァ'、  | .〉l /
        7レヘ { ゞ''  _ `‐' {/ベ            |  ∨ 〉イrl゚ハ::l   l乍リバl,// ゙'.}
      く/ /V>  __  イ∧ヽ/   -  - 、     ヘ  ヘィ'弋乞:ソ   弋_チ:ノ '.ハ  .∧
        \{ { l::lVミVl::l / ∨  / (≡ ≡)ヽ    〉  / l "´ _,....--、 `゙  l .ヘ l ヘ
          Y\ヾ ∀ シ/ r'´   (ヽ (_人_)/^)   ∧/  |  ./     ヘ  |l  .Y ', ヘ
            |   ≧f}≦  |     ヽ     /    / /  .人  |      | ノ |  ヘ ', ヘ
          `ァー∨=∨‐く     |      |    / /    / ゝ.ゝ、.______,...イ<´ .|   ヘ ', ヘ



171 : ◆GI8xWOz4Ko:2010/05/07(金) 21:01:41 ID:N3a0OT12



     ───────────────────────────────
    
        ~ 論理記号の意味 ~
    
    
        ・ ∧ …… 連言。「かつ」。AND条件
        │
        ・ ∨ …… 選言。「または」。OR条件
    
        ・ → ……  含意 「ならば」。条件あるいは包含。
    
        ・ ⇔ …… 同値。必要十分条件。
    
        ・ ¬ …… 否定。「ではない」。
    
    ───────────────────────────────


.


172 : ◆GI8xWOz4Ko:2010/05/07(金) 21:02:04 ID:N3a0OT12





               ◆第6回  命題論理(5)


             ~ 推論(1) 演繹のパターン ~




.


173 : ◆GI8xWOz4Ko:2010/05/07(金) 21:02:37 ID:N3a0OT12


【長門の研究所:研究室】
              ||                  ||
         || ||           ||   ||
        r======、          ||    t======_
         |    /          ||  //   ,,-''               ,,..-''"
         |    /        ..  ||//   ,,-"      .       ,,..-┬─''"    ,,..-''"
         |   /           .//  ,,-''             .|  |  |  ,,..-''"||
         |   /         . |/ ,,-''           . ,,..-''" |  |  |  ||  ,,..-''"
         ̄ ̄          .  ̄ ̄          ,,..-''"  ,,  |  |  |  |-''" ,,..-''"
_______________________,,..-''"   ,,..-''".|| |  |  |  |-''"...||    ||
               ...__           ...|  .,,..-''||,,..-''"|| |  |  |  ||   ||    ||
__________ ||(l||l)| ______  | ||,,..-''" ,,..-| || |  |  |  ||   ||    ||
               ||.└─┘ l|         ||  | ||二l.|| ||  | || |  |  |  ||   ||    ||
              ||     ||         ||  | ||  || ||  | || |  |  |  ||   ||    ||
              ||     ||         ||  | ||  || ||_| || |  |  |  ||   ||    ||
              ||     ||         ||  | ||  ||    || |  |  |  ||   ||    ||
          _ ...... ||     ||         ||  | ||  ||    || |  |  |  ||   ||    ||
______[l_l]___||     ||________.||  | ||  ||    || |  |  |  ||   ||    ||
___________]    .|]______]...|  ||  ||    || |  |  |  ||__..||__..||
 ̄ ̄ ̄ ̄ ̄ ̄|                      | ||  ||    || |  |  |
 ̄ ̄ ̄ ̄ ̄ .「  _______    _______|_..||  || __..||_____
        |  L   ___  \  \   ___ "''-..,, .゙r-..,,   ___ "'''-,,,
        |__..|| ̄[     ]  ̄||__..||、|| ̄[     ] ̄|「  |ト.,,|| ̄ [     ] ̄|「
        |   || ̄ || ̄ ̄||  ̄||   || .l| ̄ || ̄ ̄||.. ̄|| .......||.....|| ̄ || ̄ ̄|| ̄ ||
            ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄\  \ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄"''-..,, "''- ̄ ̄ ̄ ̄ ̄ ̄ ̄""'''--....,,,,


174 : ◆GI8xWOz4Ko:2010/05/07(金) 21:03:16 ID:N3a0OT12

                     .. - ─……‐-. .、
               ,. '"´ . : : : : : : : : : : : : : :`ヽ、
                ,.'´. : : : : : : ,.: : : : : : : : : : : :ヽ
              /. :./: : :/:/: : /:l: : : |: :l:l: : : : : :.!
             , イ: :〃l: : :/:/: : /: :|: : : |: :|:|: :|: :i: : ::`ヽ
              |: 〃 l: :/:/_L/1 : |: : /|: :|:|: :|: :|: : :.:.:.::.';
              |/ Ⅳl:/l/ {  |: /|: /. |: :|:|: :|: :|: : l: :.l:!
              { ∧Ⅵィ行ミヽ|/ .|/ ̄「/メ、/: /: : l: :.l:!
               ,′: :l 辷ソ    ニ二_l/l: /: : ./: :.l: l
               l: l: : l "" ,    〒テテミV/: : /: :./l: {
               l/l: : ト、       辷ソノ: : :,.イ: : /l人{
                l: : l/ ヽ `   ""〃: ∠ノl/
                  \|   >r‐r‐ < ィ´l/l/
              , r‐‐ァ‐ァ'´‐-、 ,r‐-- ゝ-ュ.、_
              ,.'´   / /            / /  ̄¨'ヽ、
              |  i/  ゝ、       _ _/  i       ',
             i.. /`' ト、,_ `'ゝ-‐'_¨´,、--、 i   i.   i
                i /  / /  `¨'''¨´   / / ヽ ',.   ノ.   |
                 |.  i../        i i.   '、.',. /     |
                 |.  | |          i i     ヽイ     |
                |.  i i         i. i      ハ     |
                  ',  i i        i. i    / |.     |
              ',. i i.         i. i    /  i     |

長門有希
「では再開しよう」


175 : ◆GI8xWOz4Ko:2010/05/07(金) 21:03:57 ID:N3a0OT12


                   __ __
                   ..ィ.:´:.:.:.:.:.:.:.:.:.:.:.:.`:.:...、
                 ,..イ:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.`:ヽ:.:.:.:ヽ、
           /:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:\.:.:.:ヽ
.           ,. イ:.:.:.:.:.:.:.:.l.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.ヽ.:.:.:.:.:.:.:.:.:',
           /:.:.:.:.:.:.:.:.:.:.:i.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.ヽ:.:.:.:.:.:.:.:.:',
.          /:.:.:.:.:.:.:.:. i:.:.ヘ.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:';:.:.:.:.:i.:.:.:.',
        /:.:.:.:.:.:.:.:i:.:.!:.:.: ハ.:.:.:.:!:.:.:.:.:.:.:.l.:.:.:.:.:.:.:.:.:l.:.:.:.:.l:.:.:ハ
.       /:.:.:.: i:.:.:.:.l:.:|!:.:.l ヽ:.:ヽ:.\:.:.:ヽ;.:.ト、:.:.:.l:.:.:.:.:l.:.:.:ハ
.      //: /:. |:.:.:.:.l:.l !_.:!-‐ ヽ.:.:\:ヾー、- 、ヽ:.l.:.:.:.:.l:.:.:.:.:.ト、
      /イ/:.:.:.!:.: ,:イ´∨    \! ヾ! \!\`ヾ!.:.:.:.:l:.:.:.:.:j`ヽ
       |:.:.:.:.ヘ:.:.:.:.|ィニニミ、       ,.ィニニミ、!.:.:.:.:i、:.:.:/
       |:.|:.:.:/ヘ\!ヾ{:゚::;;::ヾ    〃 {::゚:;;::::} l.:.:.:./ }:/
        ヾ!ヘ:ヘ,,:イへ ヽc::::リ         ゝc:::ソ l.:.:./イ/
        ヽ ヽヘ!:.:.ヘ ` ̄    i    ` ̄ ,':.:/.;イ′
            |:.:.ハ.                /.:/:/
            |:.:|:.:|:.ヽ、   `  ´   ,イ:./|/
            |:.从!∨W> 、    .イソ'// !
            |/        ,j ` ´  lメ.′
            ′    /::ノ    /∨:\
         __... 、.- ─:::´:::ク    ....   ∨::::`:ー:..、
          |::ヘ::::::::::::::::::::::i:/ ´     ` \l::::::::::::::::::::`>,
.          /∨ヘ::::::::::::::::::::l/ ´  ̄ ` \j::::::::::::::::::::/ :/ヽ

長門有希
「今回から再び私が説明役を務める。

かがみ、説明役御苦労さま。

今後も貴方の担当した分野では補足を頼みたい」


176 : ◆GI8xWOz4Ko:2010/05/07(金) 21:04:27 ID:N3a0OT12


【研究室内のモニタ】
┌────────────────────────────────────┐
│                                                   .....│
│                                                   .....│
│                                                   .....│
│              /. . . . . . : : : : : : : : i!: : : : : : : : : : :`  、                 │
│               ̄ /  . . . . : : : ; 小: : : : : : : : : : ヽ: : :ヽ、             ....│
│                 /  . . : : /: : : : // | ヘ : : : : : : : : :ヘ: : : : r‐t‐-   、         │
│             / . . : : : : /-‐‐:メ/  | V:. :-ト‐- 、 : : ヘ: : : l::::::\::::::::::ヽ        .│
│              /. ://: : : :,: : : :/ノ   |  V : :l \ : : : : ヘ: :/::::::::::::\:::::/        │
│             //  ' : : : :.|: : :/__   |  \:.l  ヾ: : : : :∨::::::::::::::/::/          │
│                 | : : : : !: ヤ孑仍ュ    ィfチ庁マ:. : : : |::::::::::/|::::/        ......│
│                 | : : : ∧/ { ::;;;j}       { ::;;;jl} ノ\ : : |::::/: : :!`′         .│
│                 | : : イ :ヘ 弋zソ      辷zり  レV /7´/: :j: |            │
│                 |: :/ |: : :.ト     '    ` ¨   )´V/: /: :/:.|            │
│                 |/  |:. : :.{     ー‐ '      ,r- イ: :/: :メv⌒}          ....│
│                ,': : : :|> ..       . < /: : r'-「   !ヽ           .│
│               /: : : :,'l : : : : :.`卞  ¨´{_ ィ´ :/ |       `二つ        ....│
│         ___ ..ノ : : : / |: : : : :/ レ'´ ̄: : : : : /:.;「 ̄ ̄ ̄ ̄ | \\        .│
│      , . :´ : : : : : : : : __: :ノr十' "7 /7: : : :_ : イ:./ |=====|   \\      ...│
│    /: : : : ._.. -… '"ノ ノ/|l!l!:.:.:.//ノ/:. :./:.:〃:.:/   |=====|    \\     .│
│    /: : : /     ∠ イ/ |l!l!:.:/   {: :/:.:.:〃:/     .| ̄ ̄ ̄ ̄´|     \\  ......│
│                                                   .....│
│                                                   .....│
│                                                   .....│
└────────────────────────────────────┘

柊かがみ
「了解です」


177 : ◆GI8xWOz4Ko:2010/05/07(金) 21:04:48 ID:N3a0OT12


                  _______
            ,.:-::‐':´:: :: :: :: :: :: :: :: ̄::`:ー::-:.、_
           /:: :: : ;':: :: :: :: :: :: :: :: ::、:: :: :: :: :: :: `ヽ、
          /:: :: :: ::/:: :: :: :;':: :: :: :: :: :: ヽ:: :: : 、:: :: :: ::.\
        /:: :: :: :: ::/:: :: :: : |:: :: ::|:: :: :: :: :|、:: :: :|:: :: :、:: :、::\
          l:: : :: :: :: :l:: :: ::l:: ::|:: :: ::|:: :: :: :: :| ∨: :|:: :: : l: :∧、:::\
.        |:: :: :: :: :: |:: :: ::l\l:: :: ::|:: :: :: :: :| |: ;/:: :: :|::: ::ハ  ̄`
       |:: :: :: :|:: ::|:: :: ::|:.:/\;:/|:: :: :: : :|、/::|l:: :: : :|:: :: ::|
        |:: :: :: ::|:..::|:: :: /j/_|:::/_ |:: :: :/|/_|::/_∨:: ::|:: :: ::|
         |:: :: :: :::|:: :|: :/:lマ云弐 |:: ::/ ,オ弐Zア∧::../:: :: ::|
      ,ノ:;/: ::/`|:: :∨:::|l |_)::t;:| |:/  ´|_):t;:| ハ:∨::: :: : |     i
        ̄|:: ::l  |:: :: :: ::|、弋:z:リ       V:z:リ,' ハ::: :: :: ::|::|   _人_
        |/|::ゝ、|:: :: :: ::| ゛-‐      ‐-" l:: :: :: |::/j/   `Y´
         ∨: ::∨:: :: ::|、"           ゛,':: :: ::/l/        !
         ∨:::|∨:: :: :|::>-::.._ rっ _ ,.イ:: :: ::/
          ヽ:|`\:: ::|::/ 〈::ノ  ̄´lュ\:::/|:: :/
                  ヽ:l´   ヘ-─‐-|  \|::/
                /:\\   \  |  ./∧
                 /::::::::::\\   \,|  //::::ハ

長門有希
「さて、今回からはいよいよ推論に入る。

これまでの内容を踏まえたものになるため難易度はやや上がるが、
気合いを入れて臨んでほしい」




       ____
     /⌒  ⌒\
    /( ●)  (●)\
  /::::::⌒(__人__)⌒:::::\
  |     |r┬-|     |
  \      `ー'´     /

美筆やる夫
「了解ですお!」


178 : ◆GI8xWOz4Ko:2010/05/07(金) 21:05:32 ID:N3a0OT12



◆◇◆◇◆◇ 1.新しく出る用語と記号 ◇◆◇◆◇◆


.


179 : ◆GI8xWOz4Ko:2010/05/07(金) 21:05:56 ID:N3a0OT12

                _______    /:|
            _,..-─'":: : : : : : : : : ̄`ー'´: :/
           /: : : : : ,:: : : : :: : : : : : : : : : : : ̄: ̄:゛ー-.、__
        /: : : : : .::/: : : : : ; : : : : : : : : : : : :、:: : : : :ヘ-一"
         /: : : : : .::/: : : : ::/: : :;|:: : : : : : : : : :ハ::. : :、: :`ヽ、
       j: : : : : .::/: : : : :;/:: : :/|::. : : : : :|::. : : :|:: : : :ヘ:: : :ハ
         |: : : : : :/: : : : .:/|::. :/ |::. : : :; :jヽ、::. :j::. : : : :|:: : : :l
       j: : : : : :j: : : ::ー/┼:/-、,|:: : :;/∨,-┼;/‐::.: : : :|:: : : :|
       |: : : : : :|: : ::/:/ヤ弐行j::;/ 〒弐テァ|:: : ;∧|: :ト、::|
        }:;/: : : ::j:;/:::;ハ |ト-':;j:|'"    |ト-'::j:|´j:;/::: : : :| `
      j:ノ|: : :|: :´::.: :/  、V::ィ:;リ     , V::ィ:;リ,'{::::::::::: : : :|
          |: : :|:.: : : :/ ,ィ'⌒ヽ"   r─┐ ̄" ∨:::: : : :/
          |: ::人: : ;/、(.rュ: ,,,ノ   {  ,{   ,.ィ:::::|:: : ;/
       j:/ ̄ ̄ ̄/,ト''´::ー--__ニニ-‐'"´_,|::;/|;/____,.-‐─ュ、_____
      /    ___/ /j::::/|:::;ィ::|i__/ }::::|'´ '"           /{{{´ ,rァ‐'"
     / ̄ ̄ ̄,/l// ,r‐'´ |:::|ヽ-/ |::::|      ,        { ゞゝ、_,,⊃
      l` ̄ ̄ ̄",//} ̄" , |:::|/´`^^^'ヽ、    /          |-‐';/
      lニ二二二"ィ´} |::.  l  j:/,,/~`´~},,j,,ノ;〉   {         | /
      / ゞ彡",ノ' :::   |  /_,ハ> < },,/,>  λ、_,,      !/
      / _,.-‐'´       l くヽ、ゝヽフ /,イ     } `\    ,,/
       {      ,     iノ;イヽ`ー‐´ノ;ノ/l      |    `ー-'´
      `ヽ、__,ノ´ ̄`ー-‐{~ { `゛   ~,,/:::|      |
                  } /ヾ_,ィヽr'´,}:::}       |

長門有希
「が、本題に入る前に、まず今回使う用語と記号の解説をする」


180 : ◆GI8xWOz4Ko:2010/05/07(金) 21:06:16 ID:N3a0OT12


1.1推論とは?

.


181 : ◆GI8xWOz4Ko:2010/05/07(金) 21:06:41 ID:N3a0OT12
 (  /         ____          ヽ __  ) |
.  ヽ|     ,. ,-r::T:「´  |::|:::,.zェェk`::T::l::r:-...、_    ├ '   |
.   |  ,..ィ::'::l:;zュ=+::|   |::l:´:「::::::「`゙:ト::|::|::;:::::::::l`ヽ、. |   |
   Y´::::|::l:;イ´::ハ:::|ハ   リ;::::|:;ィzェミ|::::|::l:,'::::::::::ト、:::::r'   |
    |:::::::|::l::::Vィ'ヽ`ヽ   ´ イ _)ヽ:仆;:|::l,':::::::::├-ミ::}   |
    |:::::::l:::´l { r-'::ハ::l       ら゚:ハ::} V ,'::::::::::::l:::::::::::l   |`ヽ
    ゙l:::::::´:ヘ ゙ う;::::リ:l       {弋_:ソ:リ 'レ::::::::::::::l:--r‐{    |.:.:.:.
    |`TT`:',  辷Zソ ,    ゞ=ニン /:::::::::::::::ハ:::::|::::ト--┘.:.:.
    |::::l::|::::::}xx`´          xxxx /::::::::::::::,'ノ::::::|::::l.:.:.:.:.:.:.:.:.:
    |::::l::|::::::、      __,.     /:::::::::::::::/::|::::::::|::::l.:.:.:.:.:.:.:.:.:
    |::::l::|::::::::`:rー-....___ , ... _-ノ:::::::::::::::/::::::|:::::::|:::::l.:.:.:.:.:.:.ノ
    |::::l::|::::::::::::|:::::::::::::l,ィ';},. ' ´/::::::::::::::::;イ:::::::::|:::::::|:::::「 ̄ ´
    |:::::l:|::::::::::::|l:::::::/ノ´ /:::::::::::::; イ:::::|::::::::::|::::::|:::::|
    |::::::l|::::::::::::| V/'´ l /::::::::; ' ´  ハ::::|:::::::::::|::::::|::::|
    |:::::::ハ::::::::::| /´ノ |/::::::::/       }::|::::::::::::|::::::|::::|

朝倉涼子
「まずは推論とは何か、というおさらいからです。

イントロダクションで述べたことの繰り返しになりますが、
推論とは既知の事象から未知の事象を導き出すことを言います」



┌──────────────────────────────────────────────┐
│                                                                    │
│~ 推論の例 ~                                                         .│
│                                                                    │
│                                                                    │
│・木から離れたリンゴを見て、そのリンゴが地面に落下するであろうと予測する                     │
│                                                                    │
│・今日は29日なので、確認していないけども、たぶん近所の肉屋さんで安売りをしているだろうと推測する   ..│
│                                                                    │
│・発売直後のIT製品には初期不良が多いという統計データから、無用のトラブルを避けるためには         │
│ 発売後やや経過した製品を購入するほうが適切だろうと判断する                           │
│                                                                    │
└──────────────────────────────────────────────┘


182 : ◆GI8xWOz4Ko:2010/05/07(金) 21:07:02 ID:N3a0OT12


1.2 前提、結論

.


183 : ◆GI8xWOz4Ko:2010/05/07(金) 21:07:34 ID:N3a0OT12
                                . r .‐. ―. .、 _
                              イ-‐ . . . -、_/. . .`丶、
                         ー=='´.: . . . . . . . .´. .` . . .: .: .:ヽ
                          /.: .: .: .: .: .: .: .: .: .: .: .: .ヽ.:ヽ .: ',
                         // .: .: .: // l. .l. .l . :l .:ヽヽ.: ヘ .:i .: !
                        //.!i .: .: /l | |. .ト、ト、丶.: .:ヽi: .:| :l .: |
                        |l ||.: .:彳卞、从ヽ \\ヽ、!i.: :| :i .: |
                          |トi.: .ト;rァx、ヽ`、ー七Tぇ、从 リ/.:.:从
                          |l Ⅵ}i`j:::リ   rセヌニx、ハ.://.:..:仆ヘ
                             |:i,,,ー'    i !:::::y'///`Y//l|
                             |:ト、  '  ,,, `ー' /// ノ//
                             |ノ \ `   ィr//、`ヽ、
                           _,.、-〈_j┘ \、、_/ -ハ
                  ,.、____,.-‐へrっ、j_j-、ヽ  \二二´ ∧
             _,...-‐:. ̄:.:.:\:.:.≪==┘:ヽ:.:.:.Y:.ハ ヘ           、
        _,.-‐/:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.\_:.:.:.:.:.:.:.:.:.\:.:.:.:∧ 、           、
      r'´ ///⌒ヽ、:.:.:.:.:.:.:.:.:.:.:.:.:\:.: ̄:.:.:.:.:.:.:.:.:_/:∧ 、           、
    _,.イ  ヽヽヽ、:.:.:.:.:.:.:.:.:.:.:__,.-―ヽ>―ァ‐ァ<:.:.:.:.:.:.ハ  、         、
 ⊂ニ ヽヽ    `ヽ.\ーァ'´ ̄         /:.:.「:.:.:.:.:.:.:.:.:.:.:.:'.  、    ,. -==__ゝ
 /_/,. 〈 \__,.―`' ̄          /:.:./:.:.:.:.:.:.:.:.:.:.:.:.:.:.'.  ._///´
 `ー'´ ̄ し'´                  r':./:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:∧_,. -―‐'
                      /V´:.:.:.:.:.:.:.:.:.:.:.-==キ‐__〉

長門有希
「論証に含まれる命題のうち、根拠を示すものを『前提』と呼ぶ。

さらに『前提』によってその正しさの根拠が示された命題を『結論』と呼ぶ」



┌──────────────────────────────┐
│                                          ......│
│~ 例 ~                                     .....│
│                                          ......│
│ハッテン場に入っていいのは男だけだ。                  ......│
│やらない夫は男だ。                              ......│
│よって、やらない夫はハッテン場に入っていい                 .│
│                                          ......│
│                                          ......│
│前提:『ハッテン場に入っていいのは男だけだ』『やらない夫は男だ』  ....│
│                                          ......│
│結論:『やらない夫はハッテン場に入っていい』               ...│
│                                          ......│
└──────────────────────────────┘


184 : ◆GI8xWOz4Ko:2010/05/07(金) 21:07:56 ID:N3a0OT12


1.3 演繹

.


185 : ◆GI8xWOz4Ko:2010/05/07(金) 21:08:16 ID:N3a0OT12


                 _,..-‐::─:.─::─-:.、_
               ,.イ´: : : : : : : : : : : : : : : : `:ー-.、__
               /: : : ;: : : : : ; : : : : : : i:. : : : : : : : : :`ヽ、
              /: : : : :/: : : : :/: : : : : : : |: : : :.、: : : : ::ヘ ̄`
           /: : : : : j: : : : :/: : : : : : : : |、: : : :i: : :.、:: :∧
           j: : : : : : |: : :-‐|‐-::/:i : : : :|-‐‐-:l: : : :l: : : :ハ
            |: : : : : : l:: : : :/|:: :/|::|: : : :/ ∨:.:/: : : :j:: : : : :|
              |: :; : : : : :V: :/__|::/ j;ノ: : :/ ___j::/∨:: :/:.: : : : :|
          j;/|: : : ::|:: :∨テ弐オ´j:.;/ 〒弐テj:/::.: :/\::|
            |: ::("|: : :| {:k:ィ:;j ´     |:kィ:;j,'ハ::: : :/   `
               |: : ::`|: : :| `ー-"     、 `ー'" {:::|:;/  j^l
              ∨: :.:∨ :|              j:::l"  r' _ヘ、
             ヽ、::::∧:|ヽ、 ___/⌒)___,.ィ::::/   {__ヽ_,,〉
              ∨ ヽ::_,::-‐'´{' ̄ヽ〉ー-V∨   /::: ̄::}
                 r'ヽ、   |'ニニ}  / /::ヽ、,,ノ:::::::::::/
                  /:::\\   |゛ ̄| / /:::::::::::::::::::::::;/
                   {:::::::::::\\ |   | / /:::::/:::::::::::::/

長門有希
「前提が正しいとしたとき、結論が必ず正しくなる推論の方法を演繹という。

一般に、おそらく正しいであろう法則や原理を前提とし、個別の事象を結論とすることが多い」



┌─────────────┐
│                    │
│~ 例 ~            ......│
│                    │
│                    │
│前提1:人はいつか死ぬ    .│
│                    │
│前提2:自分は人である    ..│
│                    │
│結論:自分はいつか死ぬ   ...│
│                    │
└─────────────┘


186 : ◆GI8xWOz4Ko:2010/05/07(金) 21:08:47 ID:N3a0OT12
       , - '´`ヾ ''ヽー-ッ、
     / ,   /  ,、ヽ'  ヾ-.、、
   /  /  /  /_ ヽ^l      ',ヽ
  / / /   / //  `´7 ,'    ',.ハ
  Ll__/  斗=ト、,'     ,' /  |   l  l
   / l  ハ ,'.l ,'   /ォミ、 /   l  |
   ,'`ー'r┘-' ヽ   /,//  メ、   ,'  |
  ,'  ,' 三ミミ   `_<__//   //ヽ{
  l   ノ xxx      =ミx、 >、/l/  l´
.  l .〈         xxx`ヾ   /ニ〈
  l   ヽ、  、__     /   /´   ヘ
  l   / l`r-、、_    /   /    ',
  リ  l'  l lヽ ` ''`フ"7   / l     ',
  | /   ヽ'ー`ニ7./ /   / ヘ     ',

朝倉涼子
「ただし、前提が正しければ必ず結論も正しくなるのであれば、
それは演繹と言えます。

そのため、別に法則である必要はなく、前提が仮定の話でもOKですよー」



┌──────────────────────────────────┐
│                                                  │
│~ 例 ~                                             .│
│                                                  │
│                                                  │
│前提1:もしやらない夫が30歳になっても童貞だったら彼は魔法使いになる   ....│
│                                                  │
│前提2:やらない夫は30歳になった                            │
│                                                  │
│結論:やらない夫は魔法使いになった                           .│
│                                                  │
└──────────────────────────────────┘


187 : ◆GI8xWOz4Ko:2010/05/07(金) 21:09:23 ID:N3a0OT12


1.4 帰納

.


188 : ◆GI8xWOz4Ko:2010/05/07(金) 21:09:47 ID:N3a0OT12

         l⌒l      l⌒ l       | ヽ
     l\    l  l      |   |      |  l
    l ヽ.  l  l       l  .l     .l  l
    l   ヽ  l  l     __」  .l      l  l
    ヽ  l  l _.」- ´ニニ l   l`ヽ、.  l  l
      ヽ  l/;:;:;:;:;:;:;:;:;:;:;:ヽ;:;:l   llヽ;:;:;:;;l  l
      y.':;:;_;:;:;:;:;:;:;:;:;:;:;:l;:;:|;:;:;l   l ヽ;:;:l  l
     /;:;:/,;:;:;:;:;:;/;:;:;:;:;l;:;:l;:;:;:;l   l ヽ;:l  l
     ///;:;/;:;:∧;:l;:l;:;:;:;:;l;:;:lヽ;:;:ヽ  l  |  ノ\
      /;:;:l;:;:;/ l;:;l l;:;:;:;:∧;:l l;:;:;ヽ    く┌-ゝ
     /;:;:/l;:;:l ∨ ヽ:;/ リ  l;:;:l:;,ゝ    ヽ
      / l:;:;l ┯┯i ソ ┯┯、∨;l  ・  ・ l
      l l;:;l l;:;:少    l;:;:;少 ll      l
      \.l;:;l 弋:::ソ    弋:::::ソ l;\____ノ
        l;:;l             l;:;| \l
           l;::` - ___,   .イ l;:;ト、
         ∨   /l l   / /: |/ : :ヽ
             /: l l / /: : : ヽ: : ヽ
             l: :l ∨ ./: : : : :l: : : :.l
            /: : l || /: : : : : l: : : : l
┌─────┐ 人: :二廾/: : : : : : l: : : : l

長門有希
「演繹以外の推論の方法、つまり前提が正しかったとしても
結論が必ずしも正しくなるとは限らないものを、帰納という」


189 : ◆GI8xWOz4Ko:2010/05/07(金) 21:10:12 ID:N3a0OT12

          ,.. 、   ,. 、
    ,γ⌒ーイ   ヾ _ ゙ヾヽ、
  , './     / //`ヽ.' ヘ ハ ヽヽ
./  / /  ,'  l |` `゙´´ l | ',  ', ',
   / ,','   ,斗キト     ,ニ|、',  ',. ',
 /| l l    | _| リ     ノL_l   l l',
´ ,リ. ',',_,..- ' ´         T‐┘リ
 彡|,.ヘ〉.| ===≡   ≡== |  |`
  _|   |               ',  |
‐'´' |.   | XXX        XX,  |
  ヘ|   |      `(_`チ     ノ. |
   |   |           , ィ'   |
   |   |`         ´ |    |

朝倉涼子
「個別の事象からなんらかの法則を導出することが多いですね。
せまい意味ではこの推論方法だけを帰納と言ったりします」



┌─────────────────────┐
│                              ..│
│~ 例 ~                         .│
│                              ..│
│                              ..│
│前提1:リンゴが木から落ちた           ......│
│                              ..│
│前提2:羊が崖から落ちた              ...│
│                              ..│
│前提3:猿が木から落ちた              ...│
│                              ..│
│結論:支えるものがなくなった物体は落下する   │
│                              ..│
└─────────────────────┘


190 : ◆GI8xWOz4Ko:2010/05/07(金) 21:10:47 ID:N3a0OT12
     ,..-''"´ ̄`¨゙'_‐-.、
.   /        `゙ヽ `ヽ、
  /   __,.二ニ====、_  ヽ〔 ヘ
 /,ィ''7´l |  | |  |  l.\ \l、
 | | |、 L|  L|.,.ィ'l´  | lト、ヽ Y
 | | |->'   '" ̄ `゙l‐'、ノ| `ヽ|
.└l´ | ≡≡ ,   ≡≡|  .├─‐{
.  | |          |   |) l .|
.  | |   、-‐─┐  |   |  | |
. .| .ゝ,、.,_ ヽ-‐'"__,..ィ   |   | |
. ||  | ,lィ'7二´-/´7|   |l   | |
 |.|  |' / ゙''''''''''" | |   | |   | |
 | |  |'   ( )   ト|_,...イ |   | |
 l└‐イ         |/ ./ |   | |
 |   |   ___,ト、/ |  |   | |

朝倉涼子
「ただし、前提が正しかったとしても結論が
必ずしも正しくなるとは限らなければ、それは帰納になります」



┌──────────────────────────────┐
│                                          ......│
│~ 例 ~                                     .....│
│                                          ......│
│                                          ......│
│前提:できる夫は以前本屋で英語版Newsweekを読んでいた       ..│
│                                          ......│
│結論:できる夫は少なくとも15歳くらいにはなっているだろう       ...│
│                                          ......│
│(*14歳でも読むだけならできるわけで、15歳以上とは限らない)  ......│
│                                          ......│
└──────────────────────────────┘


191 : ◆GI8xWOz4Ko:2010/05/07(金) 21:11:18 ID:N3a0OT12

  /: : : : : : |: : : : : : : :/: :l: : : | |ヽ: : : : : : : : : : : |ヽ: : : : |: : : : : : : : : : : |: :|
  /: :/|: : : : :|: : : : : : /\: :l: : | | ヽ: : : : : : : :|: : l ヽ: :/|ヽ : : : : : : : : : |/
 /: :/ | : : : : l: : : : : :|  \l: :| |   ヽ: : : : : : |ヽ | /: : | ヽ: : : : : : : : : |
 | /  |: : : : : |: : : : : :|    \: :|  ヽ: : : : : :|  /  ヽ |  ヽ: : : : : : : |
    |: : : : : :l: : : : : l━━━━━  \: : : : |━━━━━━ヽ: : : : : |
    |: : : : : : ヽ: : : l | |二つ;:;:;:;:;:|   \  | | |二つ;:;:;:;:;:;:;:| ヽ: : : |
     l: : : : : : : ヽ: :| | |:.:.:P;:;:;:;l.:.:|      \| | |:.:.:.P;:;:;:;;l:.:.:| .l: :ヽ |
     l: : : : : : : : :ヽ| | |:.:.:l;:;:;:;:;|.:.:l         | |:.:.:.l;:;:;:;:;;|:.:.:! l: : : l
     ヽ:|ヽ : :l: : : :'. '.'. :.:ヽ;:;:ノo.:|        '.' :.:.ヽ;:;:ノo:.:,' l: : : l
      リ \|: : : : l.  ヾ、   ノ        ヾ、    ,ノ .l: : : :l
       l   l: : : : l ///` ¨´               ` /// l: : : :l
         乂  ヽ: : {                          l: : : :l
          ̄ ヽ: ヽ                         l: : : : 乂
            ヽ: :`:::.....___   ,-‐    _.......:::,'l: : : : :/  ̄ ̄
             ヽ: : : : | ヽl イ ̄ ̄ア ̄ ̄ ̄/   \,': : : :./
              ヽ: : | ,イ;:;:|  ├-、   /      ,': : :./
               ヽ |/ |;:;:;:|   l:.:.:.:ヽ /.   /,': :/,r\

長門有希
「演繹・帰納という概念はとても重要。

これからガンガンこの用語が飛び交うので、
定義を抑えておいてほしい」


192 : ◆GI8xWOz4Ko:2010/05/07(金) 21:11:33 ID:N3a0OT12


1.5 新しい記号:├ (主張記号)と,(カンマ)

.


193 : ◆GI8xWOz4Ko:2010/05/07(金) 21:12:00 ID:N3a0OT12
  /:::i::::::::::::/:::::::::,i:::::::/i:::::: /|::::::::::::::::::|、::::::::.\::::::::l:::::::::::::i:::;:::::.ヽ.
 .i::::j゙::::::::;イ :::::::::l|::::/ l:::::l  l;:::i;::::::::::::l.\::.ヽ;::\:::l:::::::::::::|::li:::::::::.ヽ.
 l::/|:::::::/:i:::::::::::|.|:::i  l ::| ヽ::lヽ、:::::::l  \:.ヽ;::.ヽl::::::::::::l::|:l:::::::::::ト\
 |:! |::::::l;:;:|::::::::::;H::!ー- _l;;|   ヽ!、ヽ__;;}-‐'''ヽ~゙\::|:::::::::::|::|:::l:::::i::::|
 |! l:::::|l;:;:l::::::::::| l;|  、.|!`   ヾ ´ >! ,;z==ュ、 `l:::::::::;l:::l:::::l::∧::l
   ヽ;:l l;:l、::::::::l     ヽ       /゙K)::iii::::! j !::::::::;l:::l^i::|:| レ゙
    ヽ ヽ|i、::::l:|             b:::lll::::l  ,!:::::::;!:: l ∧|l
          l::ヘN, ゞ=r'''"゙       ヾ:;;;;;;ノ ,!::::::/::::;レ゙ .|!
        l;:::::::lヽ      、         /::::::/::::/
        l;::::::|::ト、.   r 、 _ _       ,イ:::;イ::::/ 
         .!::::l::|. ゙' 、 .|  !      ,.::':/::;/ .|::/
           ヾ;:|:|.   ゙l  !   ,,..: '" /:;イ  j/
          ヽ!  _,,ィ!  ,!゙''' ", -=、 /'゙ .ト.、_
           ,,r'''::::/  .,!.  /  /   l:::::::゙'''::.、

長門有希
「それから新しい記号の説明。
今回から、主張記号( ├ )と、カンマ( , )を用いる」


194 : ◆GI8xWOz4Ko:2010/05/07(金) 21:12:28 ID:N3a0OT12
     /          `ヽ、
    /           丶  `ヽ、
    /           `丶_|ヽ、  >
  ,..⊥r─‐r‐‐r─--、、    \_ k'-、
/  / '≧|  | ,≦ヽl `丶、,_  `フ  `ヽ
ヽ_,、L,..-ヘリ   ヽヘ--、゙ ___ YLニ=' {゙ー'"´
  ゝ, '| ┃     ┃ ´ | `├.、'" `゙¬ー--、、
   / l ┃     ┃  l   | .ノ、        `ヽ、
  ,' .リ xx     xxx /   「´  `ー------  、._ 、ヽ
  ,'   ゝ、    _   _ /   ハ      、      `ヽrミ
  リ、 | ヽ`7l^′´/〃   /,.-、     \ `ヽ、   /
  ´ ヽ_|  `|ヘ lニ'/└-r、イノ____〉_    、ヾ、ヽヽ/
         | lγ /,  ノ| 丶. |  __,.-' `' ` '゙
     _z== (7_'、ィ'" ´イ'  ヾ、 /"´
    l( ̄、`ヽ、ヘ’  __    ヘl'-┐
.   lヽ、ヽ 、._ヽ }}     ノニ´-‐-'
   |  `゙'¬-,/T冖7'''"´
   ヽ、    / ,l /

朝倉涼子
「├は、『この記号から左側に書かれた前提を真と仮定すると、
右側の結論を演繹できる』という意味を表します

日本語でいえば『よって』が近いですね。

主張記号と呼ばれます」



┌───────────┐
│                │
│~ ├ の使われ方 ~   │
│                │
│(前提) ├ (結論)      │
│                │
└───────────┘


195 : ◆GI8xWOz4Ko:2010/05/07(金) 21:12:53 ID:N3a0OT12

         _, -ー,=、ッ-、、.-‐、
       //´ ̄´  `  `   ヽ
      / /     ;ヘハ  l   ハ
     /  /    l |   | _l_ |   |
     /_,..┤   zビ''|   ´リ `l  リ
     { _ | | _,.l ''ー'   ___ l`r{
     ト、 ミ T´ | ===   ` ̄´|´ハ _
    ,' r-,、{ |  | xxx     xxx|l'`∨
   ,'/∨ `|  |、   ー'ー' _,. ィ'| _|
   /  ヽ、| | `ヽ' ニ '´ |  l.|,イ
 //  ヽハ  |   ,    |  | |
/ /__   l ヘ リ  /_ ┼┐ }-、', |
'´  ` -'/ ,人'   ム /、/  ト、ヽ.|
      ` Y ヽ、      ,.┤
         ヽ'_ `T ┬'T´ l ,〉

朝倉涼子
「それから、カンマ( , )は前提となる各式を区切る記号です」


196 : ◆GI8xWOz4Ko:2010/05/07(金) 21:13:09 ID:N3a0OT12

                 _,..-‐::─:.─::─-:.、_
               ,.イ´: : : : : : : : : : : : : : : : `:ー-.、__
               /: : : ;: : : : : ; : : : : : : i:. : : : : : : : : :`ヽ、
              /: : : : :/: : : : :/: : : : : : : |: : : :.、: : : : ::ヘ ̄`
           /: : : : : j: : : : :/: : : : : : : : |、: : : :i: : :.、:: :∧
           j: : : : : : |: : :-‐|‐-::/:i : : : :|-‐‐-:l: : : :l: : : :ハ
            |: : : : : : l:: : : :/|:: :/|::|: : : :/ ∨:.:/: : : :j:: : : : :|
              |: :; : : : : :V: :/__|::/ j;ノ: : :/ ___j::/∨:: :/:.: : : : :|
          j;/|: : : ::|:: :∨テ弐オ´j:.;/ 〒弐テj:/::.: :/\::|
            |: ::("|: : :| {:k:ィ:;j ´     |:kィ:;j,'ハ::: : :/   `
               |: : ::`|: : :| `ー-"     、 `ー'" {:::|:;/  j^l
              ∨: :.:∨ :|              j:::l"  r' _ヘ、
             ヽ、::::∧:|ヽ、 ___/⌒)___,.ィ::::/   {__ヽ_,,〉
              ∨ ヽ::_,::-‐'´{' ̄ヽ〉ー-V∨   /::: ̄::}
                 r'ヽ、   |'ニニ}  / /::ヽ、,,ノ:::::::::::/
                  /:::\\   |゛ ̄| / /:::::::::::::::::::::::;/
                   {:::::::::::\\ |   | / /:::::/:::::::::::::/

長門有希
「たとえばAならばB、BならばC、よってAならばC、
とする推論は、次のように記号であらわせる」



┌────────────┐
│                  │
│A→B , B→C ├ A→C     │
│                  │
└────────────┘


197 : ◆GI8xWOz4Ko:2010/05/07(金) 21:13:28 ID:N3a0OT12

                      ____ _
                       , . : :´: : : : :.: : : : : : : `<
                   ,. :': : : : : : : : : : : :: : : : : : : : : :`ヽ
                  /: : : : : : : : : : : : : :: : : : : : : : : : : : ` 、
                /: : : : : : : : : : : : : : : :,: : : : : : : : : : : : : : \
.               /    : : : : : : : : : : : : : : : : : : : : : : : : : : : : : `
            ,': : . .   . . : : l :./: ´: : :/ : :! : :! : : : : .: .  ヽ
              i : :: : : : : : : : : ::.! / : :  ::,イ: : : ∧: :i:.! : ::l: : : : : : `、
.            ノ: : :: :.:.::::|: : : : : :.|/: :  :.//: :/ リ :l:.:.ノl.: : ,: :∧l
           ̄!: |: .:.:.:! :j: : : : : :.|: : :/―//   .ナ j: ノ:l.:.:.:.i: : l ll
           /l .:.: _l::::|: : .:: : :.|/ ,ィ=ミ    . .ィチ}:/.:.:|、:.:.:lゝl ノ
              Vl::::{ .  |:.:.: :: : :| / ,イノ:!      ハ7.:.:..:.|ヽ:.l .l'
               ノ:ヽ  |: :.:. : :.l〈 トz';7      {ソi.:.:.:.:! ...リ
               |/`-i ::. : :.|   ゝ‐'     ,   ,!.:.::,'
                ´  ヽ:;;. :::.!、      _ , . イ:.:.::/
                     ノ : ヽ:.:.! `' ーr-.::<_.:.:.:.!:./
               ,.へ`ヽ::::\!'r―-ヘ:::::::/>              /`ヽ:::\\:::::::':,   l:::://:::/ヽ
                 //: : : ` 、::\\::::',   !://:::/: : : \
            /: : : : : : : : :\::\\', ;〃/: : : : :: ::ヽ

長門有希
「もしも記号で」


┌─────────┐
│            ....│
│M→P , M ├ P   ....│
│            ....│
└─────────┘


長門有希
「とあったならば、MならばPである、Mである、よってPである、という意味になる」


198 : ◆GI8xWOz4Ko:2010/05/07(金) 21:13:45 ID:N3a0OT12


1.6 矛盾式

.


199 : ◆GI8xWOz4Ko:2010/05/07(金) 21:14:09 ID:N3a0OT12


                      _____
                __,.-‐'": ̄: : : : : : ̄:.:`:ヽ、
              ,.イ´: : : : : :; : : : : : : : : : : : : : : :\
            /: : : : : : : :/:: : : : : : : : : 、:: : : :: : : : ヘ
           /: : ::/: : : : : :|: : : : : : : : : : : |:: : :: : : : : : :ヘ
         //: : : :j: : : : :; : |: : : : : : : : : : : |:: : :|:: : : : : : :ハ
            /: : : :.:|: : :-┼;-∨: : : : :、-─-:|: : :|: : :|::. : : : :|
           j: : : : :.:{: : :;/_|/__ ∨: :::|、|_\: : :|:.: :|: : :|,:.: : : : :|
         |:.:/|: :|: ::ヽ:.:{テ弐オ \::| テ弐マV: : :|:.: :|: : : : :ト:|
        __|/__|: :|: : : :|`|f‐':i::|   ` |f‐':i::} |:ヽ:|:.: :|ヽ:: : :|`
      ,ィ´:.:.:;ィ^:^.:^::`ヽ:| V:z:;リ      Vz::;リ,' |::.: : : :j,ノ:: :;N
      {:::λ::{;;;;{^^};;j;;;;〉}  ̄  '      ̄´ j:: : : :/:.: : :/
      |ニU|::|─ ー{:.::|:.j、      __      /:: :;/:.: :/
      |:.:(|:.:|__-__,j:.::|: :|::`:ー:‐:-:ァr--┬τ7:;/7:.;/
       |:|:.::|:.:| `ー' }|:ノ|∨`´ヽ;ィ´ {-‐-.j:~`ー--、'"
        |:|.:.:.|;;;{、ヽ /,イ::|    /:∨. |  /    /:ハ
        |j:.:.::|__ヽY,ノ:i:.:| _,ノ:::::::V |  /  /::::::::::}
      ヽ.:.:.{_,,/´~}~〉 ̄~´::::::i:::::::V | ,/ /:::::::i::::::::|
        ~~`ー`VV:::::::::::::::::::|:::::::|ヽ|,//|:::::::::::}::::::::|
              ̄ ̄ ̄゛|:::::::|/∧ヽ. |::::::::::|::::::::|

長門有希
「どのような命題をあてはめようと、結果が必ず偽になる
複合命題を矛盾式という」




      / ,.‐-y'´'ヽ/ ヽ-゙-ヘ
     /  / , / ∧∧ ',  ',ヽ
    ,'  /  l l l ,'‐-' | | |  l 'ハ
    ∧' ,'  l | ,リ  _リ l l  l l l
    ト、 'l   l`ニ´   ` ̄-r'___「
   / ヽl ̄'l ====  === ,'´ |
   /  ,∧l  |          { l|
  ,'   /  ', lu_   ,、 _,.ノ ,'|
  ,'   /   ', .lヘ ',三|{=', |   'l |
 ,'  ,'    ', ', ヘ ', |,l ,}|  ,'.l |
 |  l  l   /ヽ | ヘlレ'',´ l-‐' l |
 |l  L._ハ_ }-‐',=l<,ヘ.ヽ{  l   l l
 `ヽ.|   `'、_  `   ´ ',´ ̄ `レ'
        ',゙T'''''''T'7´
         ',ノ.  レ

朝倉涼子
「たとえばA∧¬Aです。AかつAではない、なんてのは無理ですよね」


200 : ◆GI8xWOz4Ko:2010/05/07(金) 21:14:32 ID:N3a0OT12
   '、
   ヾ 、             , -‐- 、
    ', ` 、      ,  ' ´      `ヽ、
     \  ` ""゙ ´              ̄ ̄`ヽ 、
      ヽ 、, '                      \
       /                      ヽ  ヽ
      / ´  ., , ' ´       ____       `,   ヽ
    /   /´    ,  ,     ´~   ヾ ー ,__   ',  `,
   / _/ /     ./  ',        、 \  `ヾ, 、 ! 、 `,
  / // /      /!   !        ヽ、 ヽ,ヽ、 \  ヽ ヽ
 l /  | ,!     , ./ |  l !、 ヽ、 ヽ    ヽ  ヽ ヾ、、ヽ, ', ヽ、
 `  .| |    _!,! ,' | l  ', ,ヽ ヽ  ヽ \  ヽ  ヽ  ヾ、! ',',ヾ
    l /|  | `,才ト、| ト  ', ', \ヾ、  ヽ \ ヽヽ ',     ヽヽ'.、
    ヾ ヽ |  !汁ド、トハ  ヽゝ‐-ヾ-'=、__!_ ヽヽヽ ',    / } ',ヽ
       ヽ}', ', ン:::rリヾ\ ヾ -ー‐ヽ ヾ,} ヽ ', ', ゞr,!   /ノ ', !
       .i| ヽヽ` ー´   ``ヾ 斗云弐ミ=!,ヽヾ   ,ヾノ /.//   ',!
       ´', ヾ,ゝ  ノ     リ::::r〃"} ハ ',   ',Y /, {/
        ヽ ヽ         ` ̄´  / } 、   ',.}  ´
         \ |\ ヽ 、        / /.ハ   ',!
           `` \`´     , '´/ /  ',  i,!
               〉ー- ' ´   ´}´    ',! ,!

長門有希
「以上で新しい用語・記号の解説終わり。本題に入ろう」


201 : ◆GI8xWOz4Ko:2010/05/07(金) 21:14:58 ID:N3a0OT12



◆◇◆◇◆◇ 2.推論のパターン ~ 構文論 ~ ◇◆◇◆◇◆


.


202 : ◆GI8xWOz4Ko:2010/05/07(金) 21:15:15 ID:N3a0OT12

           ,.. --- ..
       ,..-.:. ̄.:..:..:.. : : : : `丶、
      /:..:..:. ..: : : : : : : : : : : : :\
    /:ヘ=、、:._: : : : __:ヽ:_: -^,.ト、
   ノ:..:..:./:..  ̄: :7´:―― : :|‐: :´、: ヽヽ
  ー-/:..:.i:../:. : : ,/:..:.:イ:.ハ:.. : j:.. :}:.、ヽ:. トヽ
    !:..:..:|:.{/:..ィ_jz≦ノ ' }:./_}_イ:. } |:.|||
    Vl:.:.|:. Vl´「_ 、` ノ′ _ノ:ソ:イ: リ ノ
.      }:ハ: : l f7「::`ハ   /:::7}7イ:/}/
     ノヘーl、: :!VZツ     ヒ:ノ/:.//
        `ィヘ:ト、 _   _   ノ:イ/
      rく、\` ヽ二コ:千:|K、′
      |:..:ヽヽ\: :Yニ|: :!:/j!:.l
      ト:..:..:.\ヽ\!r|┴=ミ!r ァ7
     |!::.:..:.ヽ\ヽ|!    /7 /
      j::.l::..:..:.⌒ーァ⌒}   / / /^}
      |::.:.\::..::.::.::>ー'―-L∠_¨´
      l::.::.:..:. ̄ ̄ト 、, --、―弋i
       ヽ::.:..:..:.::..∧/    ヽ  i _ .. -―
       ``ーニ´/ー-、   | _|

長門有希
「イントロダクションで述べたように、
推論は多種多様な形で行われているが、
抽象化していくとけっきょく似たようなパターンを使っていることが多い(特に演繹)」


203 : ◆GI8xWOz4Ko:2010/05/07(金) 21:15:30 ID:N3a0OT12

 (  /         ____          ヽ __  ) |
.  ヽ|     ,. ,-r::T:「´  |::|:::,.zェェk`::T::l::r:-...、_    ├ '   |
.   |  ,..ィ::'::l:;zュ=+::|   |::l:´:「::::::「`゙:ト::|::|::;:::::::::l`ヽ、. |   |
   Y´::::|::l:;イ´::ハ:::|ハ   リ;::::|:;ィzェミ|::::|::l:,'::::::::::ト、:::::r'   |
    |:::::::|::l::::Vィ'ヽ`ヽ   ´ イ _)ヽ:仆;:|::l,':::::::::├-ミ::}   |
    |:::::::l:::´l { r-'::ハ::l       ら゚:ハ::} V ,'::::::::::::l:::::::::::l   |`ヽ
    ゙l:::::::´:ヘ ゙ う;::::リ:l       {弋_:ソ:リ 'レ::::::::::::::l:--r‐{    |.:.:.:.
    |`TT`:',  辷Zソ ,    ゞ=ニン /:::::::::::::::ハ:::::|::::ト--┘.:.:.
    |::::l::|::::::}xx`´          xxxx /::::::::::::::,'ノ::::::|::::l.:.:.:.:.:.:.:.:.:
    |::::l::|::::::、      __,.     /:::::::::::::::/::|::::::::|::::l.:.:.:.:.:.:.:.:.:
    |::::l::|::::::::`:rー-....___ , ... _-ノ:::::::::::::::/::::::|:::::::|:::::l.:.:.:.:.:.:.ノ
    |::::l::|::::::::::::|:::::::::::::l,ィ';},. ' ´/::::::::::::::::;イ:::::::::|:::::::|:::::「 ̄ ´
    |:::::l:|::::::::::::|l:::::::/ノ´ /:::::::::::::; イ:::::|::::::::::|::::::|:::::|
    |::::::l|::::::::::::| V/'´ l /::::::::; ' ´  ハ::::|:::::::::::|::::::|::::|
    |:::::::ハ::::::::::| /´ノ |/::::::::/       }::|::::::::::::|::::::|::::|

朝倉涼子
「たとえば次のような論証があったとしますと」



┌───────────────────────────────────────────────┐
│                                                                   .....│
│・10人以上の生徒が休んだならば、学級閉鎖となる。今日は11人の生徒が休んだ。                ....│
│ 今日は学級閉鎖となるだろう。                                                  │
│                                                                   .....│
│・18歳以上であるならば、AVレンタル可。やらない夫は18歳以上。                           ..│
│ よってやらない夫はAVレンタル可。                                             ....│
│                                                                   .....│
│・自分はビールであるならばなんでもいける。カカオ入りビールのチョコベアービアだってビールはビールだ。  ......│
│ きっといける。                                                          ...│
│                                                                   .....│
└───────────────────────────────────────────────┘


204 : ◆GI8xWOz4Ko:2010/05/07(金) 21:15:47 ID:N3a0OT12
       , - '´`ヾ ''ヽー-ッ、
     / ,   /  ,、ヽ'  ヾ-.、、
   /  /  /  /_ ヽ^l      ',ヽ
  / / /   / //  `´7 ,'    ',.ハ
  Ll__/  斗=ト、,'     ,' /  |   l  l
   / l  ハ ,'.l ,'   /ォミ、 /   l  |
   ,'`ー'r┘-' ヽ   /,//  メ、   ,'  |
  ,'  ,' 三ミミ   `_<__//   //ヽ{
  l   ノ xxx      =ミx、 >、/l/  l´
.  l .〈         xxx`ヾ   /ニ〈
  l   ヽ、  、__     /   /´   ヘ
  l   / l`r-、、_    /   /    ',
  リ  l'  l lヽ ` ''`フ"7   / l     ',
  | /   ヽ'ー`ニ7./ /   / ヘ     ',

朝倉涼子
「これらは、抽象化すればけっきょく M→P ,M ├ P 
と記号であらわすことができます」



      ____
    /  ⌒  ^\
   /  ( ●)  (●)
 /  ::::::⌒(_人__)⌒ヽ
 |       |r┬-|   |
 \        `ー'´  /

美筆やる夫
「おー、なるほどだお」


205 : ◆GI8xWOz4Ko:2010/05/07(金) 21:16:22 ID:N3a0OT12


2.1 構文論とは

.


206 : ◆GI8xWOz4Ko:2010/05/07(金) 21:16:50 ID:N3a0OT12


                 _,..-‐::─:.─::─-:.、_
               ,.イ´: : : : : : : : : : : : : : : : `:ー-.、__
               /: : : ;: : : : : ; : : : : : : i:. : : : : : : : : :`ヽ、
              /: : : : :/: : : : :/: : : : : : : |: : : :.、: : : : ::ヘ ̄`
           /: : : : : j: : : : :/: : : : : : : : |、: : : :i: : :.、:: :∧
           j: : : : : : |: : :-‐|‐-::/:i : : : :|-‐‐-:l: : : :l: : : :ハ
            |: : : : : : l:: : : :/|:: :/|::|: : : :/ ∨:.:/: : : :j:: : : : :|
              |: :; : : : : :V: :/__|::/ j;ノ: : :/ ___j::/∨:: :/:.: : : : :|
          j;/|: : : ::|:: :∨テ弐オ´j:.;/ 〒弐テj:/::.: :/\::|
            |: ::("|: : :| {:k:ィ:;j ´     |:kィ:;j,'ハ::: : :/   `
               |: : ::`|: : :| `ー-"     、 `ー'" {:::|:;/  j^l
              ∨: :.:∨ :|              j:::l"  r' _ヘ、
             ヽ、::::∧:|ヽ、 ___/⌒)___,.ィ::::/   {__ヽ_,,〉
              ∨ ヽ::_,::-‐'´{' ̄ヽ〉ー-V∨   /::: ̄::}
                 r'ヽ、   |'ニニ}  / /::ヽ、,,ノ:::::::::::/
                  /:::\\   |゛ ̄| / /:::::::::::::::::::::::;/
                   {:::::::::::\\ |   | / /:::::/:::::::::::::/

長門有希
「このような推論(とくに演繹)のパターンに着目して、文の構成、
つまり構文から推論/論証について考えるアプローチは
構文論と呼ばれている」


207 : ◆GI8xWOz4Ko:2010/05/07(金) 21:17:09 ID:N3a0OT12


      ,.、-- 、
  __r-'、' 、` 、 `ヽ
  ,l '  lヽl' ヘ、_,,、、、 ヽ
 l´ l ヘ   ヾ _,.ト、,ハ,ヽ
 |  〉'´ヽ    r'_:)ト',゙lヽ.\
 l ', ','Y')'ヽ  , ゙ ー' ヽ', ヽ\
  Y、ヽ<゙ zタ   。   ノ 、丶 ` `‐_-_‐ニ
  ヾ,Y ヽ    _, ィ')‐ヽ. ',-、_ 、    ̄7
    ',lヘ `'T'''ス_`__ノ \',ー''"  `、:、./
    ll ', ヽ'、 , <, ┼┐ヽ     ヽ
    ll ヽ>-、,l ム l ┘ ヽ , ' ´
    リ  (>-' ',     ,.<ヽ>
    |   l   l_,..,-r‐'ヽ >< ヽ
    |     ',_,..L..'-r‐''´  `´
      ̄ ̄     ヽj

朝倉涼子
「ちなみに単語の意味や真偽から考えるアプローチは意味論と呼ばれます」


208 : ◆GI8xWOz4Ko:2010/05/07(金) 21:17:35 ID:N3a0OT12

【研究室内のモニタ】
┌─────────────────────────────────┐
│                                                │
│               ,. - ':":´: ̄:`: : : :.|: : : : : : : :`:`: . 、                │
│          ,. '   ,. ‐'": : : : : : ,.'.:::!: : : : : : : : : : : : :`ヽ、            ....│
│           , '゛,. -ァ'゛     . ./.:::,.'゙!: :!: : : :.V: : : : : : ヽ: \             .│
│         / '´ /  /: : :,:': : :./.:::/  !:.|`、: : : Vヘ.. .   `、:.ヽ            .│
│    ,-、      /. : :./: : : :/ '⌒7ト、'   !:.!  v‐'':゙!゙゙、:`: : : : .∨Y7;ヽ;,、        │
│    、 ヽ   /: : :,イ: : :.::/: : :,.' .!:/ `  ヾ!  `、: : Vヘ: : : : .::. V,!;;;;;;;ヾ;;丶、     .│
│     `、 ヽ. /: :./.l: : : :::i: : :/  |:l       ゙!  `、: :iV:i, : : : ::::. i!;;;;;;;;;;;;ヘ;;;;;;\    .│
│      `、 V.:./ l: : .:::::l: :./   |!         ヽ: !ヽ!: : : :::::. |;;;;;;;;;;;;;;;ヘ;;;;;;;;;〉   ..│
│       ゙i/ヽ. ,/゙゙i:イ::!: ハ  ,_,ィ彡       ミ=ュ、、、ィ!: : : j:::: !;;;;;;;;;;;;;;;/;;;;;;;/   ....│
│.      / ¬、ヽ! .|l l::!/::ヘ ヾ=‐''"       ``''''''''"|: : ∧:::.!;;;;;;;;;.イ;;;;;/    ...│
│      / ,..、 ヽ .|、 ! !l':::::λ ' '     __ ,,.、   ' '   |: /,._V:j;;;;/:l:|;/     .....│
│.    /   ヽ |_/  |  }:::::/:l       i     |     レ'ζ゙ }:l'"::::::l::|         .│
│.    !  ┐ ,レ゛   ! !|::/:::::、     ヽ、 _,ノ     ,、_, ィ:リ:::::: :l:::|         .│
│     ヽ  `′   ,ノ. l:i|/: ::::::`;:...、           ,. '′ //::::::::: : l::::|       ....│
│       `;.      /  l;;!l: : :::::::l::::l ` 丶 ,._ _,, <!    〃::::::: : : l::::::!        │
│.      /    i   !::!!: : :::::::!::l  ,/´l    {`,`ヽ、_/::::: : : : :!::::::j         .│
│.      /    j    !::i!: : .:::: :!:l'''" /‐'゛    ソ   ,/::: : : : : /::::::::|       ....│
│     /     i''ー-┴'|: : : ::: :l:!  /- ― - .、 /   ,/:: : : : : :/'^ヘ;:|       ....│
│.    /      i       l: : : ::: :l|   |      /    /: : : : : :.// / `、        │
│    /       i       l: : : : : l!.  |      /    /: : : : : :// /   `、       .│
│                                                │
└─────────────────────────────────┘

柊かがみ
「構文論はすごく抽象的だからわかりづらいけど、
知っておくと文の構造で困ったときにヒントになるわよ。

『抽象的概念と実態』の関係でいうところの上位概念にあたるわね」



┌────────────────────────────────┐
│                                              ..│
│~ こんな関係 ~                                    │
│                                              ..│
│抽象化   M→P ,M ├ P                                .│
│                                              ..│
│具体化  10人以上の生徒が休んだならば、学級閉鎖となる。         │
│      今日は11人の生徒が休んだ。今日は学級閉鎖となるだろう。   .│
│                                              ..│
└────────────────────────────────┘


209 : ◆GI8xWOz4Ko:2010/05/07(金) 21:18:01 ID:N3a0OT12


       ____
     /⌒  ⌒\
    /( ●)  (●)\
  /::::::⌒(__人__)⌒:::::\
  |     |r┬-|     |
  \      `ー'´     /

美筆やる夫
「おー、本当だお。そう繋がるのかお」


210 : ◆GI8xWOz4Ko:2010/05/07(金) 21:18:24 ID:N3a0OT12


***************************************************

*ポイント

文の構成、つまり構文から推論/論証について考える
アプローチが構文論

***************************************************

.


211 : ◆GI8xWOz4Ko:2010/05/07(金) 21:18:39 ID:N3a0OT12


2.2 構文論と省略

.


212 : ◆GI8xWOz4Ko:2010/05/07(金) 21:19:08 ID:N3a0OT12

                     .. - ─……‐-. .、
               ,. '"´ . : : : : : : : : : : : : : :`ヽ、
                ,.'´. : : : : : : ,.: : : : : : : : : : : :ヽ
              /. :./: : :/:/: : /:l: : : |: :l:l: : : : : :.!
             , イ: :〃l: : :/:/: : /: :|: : : |: :|:|: :|: :i: : ::`ヽ
              |: 〃 l: :/:/_L/1 : |: : /|: :|:|: :|: :|: : :.:.:.::.';
              |/ Ⅳl:/l/ {  |: /|: /. |: :|:|: :|: :|: : l: :.l:!
              { ∧Ⅵィ行ミヽ|/ .|/ ̄「/メ、/: /: : l: :.l:!
               ,′: :l 辷ソ    ニ二_l/l: /: : ./: :.l: l
               l: l: : l "" ,    〒テテミV/: : /: :./l: {
               l/l: : ト、       辷ソノ: : :,.イ: : /l人{
                l: : l/ ヽ `   ""〃: ∠ノl/
                  \|   >r‐r‐ < ィ´l/l/
              , r‐‐ァ‐ァ'´‐-、 ,r‐-- ゝ-ュ.、_
              ,.'´   / /            / /  ̄¨'ヽ、
              |  i/  ゝ、       _ _/  i       ',
             i.. /`' ト、,_ `'ゝ-‐'_¨´,、--、 i   i.   i
                i /  / /  `¨'''¨´   / / ヽ ',.   ノ.   |
                 |.  i../        i i.   '、.',. /     |
                 |.  | |          i i     ヽイ     |
                |.  i i         i. i      ハ     |
                  ',  i i        i. i    / |.     |
              ',. i i.         i. i    /  i     |
 .                ',. i i         i. i   /   .i     |
                  | /〉〉        i. i   f.   i.    |
               ノ´//_, 、 - ‐ 〉〉ィ‐'´7.   i   |
 ハ             ,.| 〈,、--‐‐'  ''¨´,、-‐-、こi   i   |
  |            / ,ゞ斗'¨   , ィ '´.    \  _i     ',¨´|
 ゝ| ,ィ-、     , イ´   〉 i i   r'´          ヽ´.i     ',〉|ヽ、
  /´ /ニ イ´    _f´ //_r'´             ヽハ   /  〈
 __i //     , イ´ ゝT´`              ,、ィ',´ヽ'、イ  / / i
  V ゝ、   f´、,__. ,、}、 , _     _,、 - ' ´ ./  .ハ   / / ハ
   i  i '、_} i `'‐ 、  /`ヽ、  ̄  ̄ xx      , '     ',  / ./    〉
              <<省略されました>>

長門有希
「演繹的な推論の多くは、これから行う推論パターンとその応用によってなされる。

ただし実際の論証では、あまりに自明である(と発言者または筆者が考えている)
命題は省略されることもある」


213 : ◆GI8xWOz4Ko:2010/05/07(金) 21:19:57 ID:N3a0OT12


┌────────────────────────────────┐
│                                              ..│
│~ 例 ~                                         .│
│                                              ..│
│(あるビジネスマン同士の会話の中の一節)                     .│
│「今年は円高が続くようです。トヨタの株は手放すべきかもしれませんね」   │
│                                              ..│
└────────────────────────────────┘


朝倉涼子
「この例の全命題は次のようになります」


┌─────────────────────────────────┐
│                                                │
│前提・今年は円高が続く                                .....│
│                                                │
│前提・円高になると輸出企業は業績が落ちる                    ...│
│                                                │
│前提・業績がおちた企業は株価が下がるので株を手放したほうが得をする   │
│                                                │
│前提・トヨタは輸出企業である                             ....│
│                                                │
│結論・よって、トヨタの株は手放すべき                          .│
│                                                │
└─────────────────────────────────┘

.


214 : ◆GI8xWOz4Ko:2010/05/07(金) 21:20:42 ID:N3a0OT12


       ____
     /      \
   / ─    ─ \
  / -=・=-   -=・=- \
  |      (__人__)  U  |
  \     ` ⌒´     /

美筆やる夫
「かなり大幅に省略されるもんですお」




              __
        /´ ̄    ̄`丶、
       /           \
.      / /            ` 、
     /  l           ヽ   i
.    //l l    ィイ/ヽ  ∧   l   l
    {イ l l  //‐- }/ ‐ヘ l l lノ
    {小イ   l/T弐ト   r=ヌⅥ lノ
     }从  l| ヒ::リ   ヒ::リ川V
        V l|ヽ、  , 、  イル刈
       ∧j\`¬ニT´ }`ヽ、
       {   \ ∨ /   }
.        ∧   /}Y^Y´ L.ノ
      /  \厶ノ/  !  }
  ( (  〈\     /  h /
      ヽ..工_ー''′ ̄ }}/
       {__/  ̄下ニレ'′

長門有希
「でもよくあること。

短い会話で多くの内容を伝えられるのは便利」


215 : ◆GI8xWOz4Ko:2010/05/07(金) 21:21:01 ID:N3a0OT12
    /   /´    `´    `‐´  `ヽ、 \'"´         ヾ、
   /  / /  ,、   ,.、           \ ヽ   _,.-‐'
  /   '   /  l | ヽ,/  |    l  l     ハ ヽ-'"    __
. /     |  | ├''-、‐'-┤ |  |  |      l  l、  ,.-‐'´
 |    l   |   | |     | .|  .|  |     l ノ }´
 l |  |   .|  l| |   、 | ,ハ  イ  |     l , |
 l |  .|   |_L斗ヒ    `メ=kzュ、'L__ l     l / /
 `‐ハ__ヘ__'_´ _,ィ=ミ‐゙   /ノ,ィ=ミ、| /|    l | ' /`゙ー- 、.._
    | `゙'l 〃、,)、::ト    " r、ノ、::ト、l.L_  /lハ/       `゙ー、
  /|  ',ヘl い´ハ:l      l:::Y´):l }   ̄'| ノ  -==ニ二__
  `<´|   ',  マ廷リ       弋近:ソ'| /   .|ノ、__,.-‐フ´ /
    ン  l  l  `´          `¨´ |/    .|    ,  /'  _,.'_,.-
  <_  l .{                  ./|   l |  /'ーヾ、-_'ニ'-'"
    `>',..-‐ゝ、    こ_ー.、    / |   | |/
    ´     `゙''¬ー-`´--‐フ  .|   | ゝ、
                r''"   l_  ヽ、  `ヽ_
              r''"`ヽ、_,.ィ'´`゙'¬-、ン'ー'´
              `¨¨¨¨`゙''"

朝倉涼子
「ただし、いつでも省略できるわけではありません。

あまり知られていないことや自明とは言い難いことを省略すると、
受け手がおいてけぼりになります。

論理の飛躍といわれる状態ですね」



┌────────────────────────────────────┐
│                                                   .....│
│~ 例 ~                                              ....│
│                                                   .....│
│                                                   .....│
│・今日は9月23日だからきっとやる夫は花を買いに行くに違いない。そうだろう?    .│
│                                                   .....│
│                                                   .....│
│(次の3つの前提が抜けている)                                ....│
│                                                   .....│
│1)9月23日は翠星石の誕生日である。                             .│
│2)やる夫は翠星石の誕生日には必ずプレゼントをしている。              ......│
│3)やる夫は翠星石へのプレゼントとしてたいてい花を選ぶ                ....│
│                                                   .....│
└────────────────────────────────────┘


216 : ◆GI8xWOz4Ko:2010/05/07(金) 21:22:36 ID:N3a0OT12

      |  / 、.| l  |      .|.|
        |  |  γ| |  .|   ,   |.| ̄ ̄`
.      l  l|  .| l_ .|   |   |  /.|___
      ゙ヽ'l、_ .|ソ≧==---''―' .L
         `|´    |     |.ハ┬─
            | === .|     l ノ.|
  r'''ヽ., __   /  xxx |      lr" |
γ´   ." __l  !、   u |     ハ   |
ゝ,    ミ´    ゙ `‐- |     ハ  .|
 ゝ=、__,.ノ        |     ./´.ヘ   |
.             |    ./  l \
             |    /   |  \

朝倉涼子
「自分は分かっていることなので、ついつい省略しても平気だろうと思ってしまいがちなんですが、
本来必要な情報を与えられない受け手はとても困ります」


217 : ◆GI8xWOz4Ko:2010/05/07(金) 21:23:30 ID:N3a0OT12
         ,. :-:.' ー ' ¨ :.ゝ.、
        ,.:´: : : : : : : : : : : : : ヽ.
      ,.': : : : : : : : : : : ',: : : : : : ヽ、
      ,':.:;':.:.:;'.:.:.;'.:./.:;'.:.:|i:';:.:.:.:.:.:.::`、`ゝ
      ,':.:.i:.:.:.i:.:/i:.:/i:.:ハ:.:l:i:.:.i:.:i:.:.:.';.:.:',
    /イハ:!:.:.:l:/ i/ ノノ ノリリハリ:!:i:.:.!:.l
    i/!:.:!:.:.;;;;;;;;;;;;;;;;    ;;;;;;;;;;;;;;l:.!:ハ!
     ∨|:.:.!          ノ/i/ノ
       ヘ!:|         ノ!/′
        ヾ!>ー-   -- <イリ
         (ヘ:::::\i=//:::::/)
          {;;\::::::!n/:::::/;/
         ト、;;\;;ii;;/;;;/′
         /;;;;ゝ;;;;∨;;;;;;;入
        (;;;;;(⌒)∨(⌒);;;;)
        `´ ̄` ̄ ̄´ ̄´

長門有希
「重要な疎漏は質問して確かめることになるのだが……

逐一確認するとまるで問い詰めるようになってしまい、
空気が白けることもあるのも確か。

質問なしに済むのが一番」




      _,. -ー‐-_- 、 _
   , '´ /`'‐-'´ ヽ,'´ `ヽ-‐ヽ
  /  /  /   /  , ,    ,ハ
  /   /   /  l ト、,-l |  l  l ハ
  | __,.|   |   l |  | l  |   | |
 彡ニ|   l|ト.、__|__|  _L斗 |   | |
 {   ハ__|_______,´   _____,゙T‐  l |
 l‐- r'|  | TiiTT   ` ̄├‐「´´
 |  'ヘl  | |ll| l       l |
. l ,  |  |U  ,...___     ノ |
.| ,'  |  「ヽ -`ニ´,-r‐T´.  |
| ,'   |  |  `  ´ , ', |   |

朝倉涼子
「日本語は字面通りの意図しかない場合でも、
想定外の意味を含むことがあるので尚更面倒なんですよね」


218 : ◆GI8xWOz4Ko:2010/05/07(金) 21:24:03 ID:N3a0OT12


***************************************************

*ポイント

命題がいくらか省略されて論証されることがある。

少ない表現で多くの意味を伝えられるので便利ではあるが、
受け手が省略された命題を推測できないと論理の飛躍と
言われる状態になってしまう。

***************************************************

.


219 : ◆GI8xWOz4Ko:2010/05/07(金) 21:24:18 ID:N3a0OT12



◆◇◆◇◆◇ 3.推論のパターン(基本) ◇◆◇◆◇◆


.


220 : ◆GI8xWOz4Ko:2010/05/07(金) 21:24:37 ID:N3a0OT12

                 _,..-‐::─:.─::─-:.、_
               ,.イ´: : : : : : : : : : : : : : : : `:ー-.、__
               /: : : ;: : : : : ; : : : : : : i:. : : : : : : : : :`ヽ、
              /: : : : :/: : : : :/: : : : : : : |: : : :.、: : : : ::ヘ ̄`
           /: : : : : j: : : : :/: : : : : : : : |、: : : :i: : :.、:: :∧
           j: : : : : : |: : :-‐|‐-::/:i : : : :|-‐‐-:l: : : :l: : : :ハ
            |: : : : : : l:: : : :/|:: :/|::|: : : :/ ∨:.:/: : : :j:: : : : :|
              |: :; : : : : :V: :/__|::/ j;ノ: : :/ ___j::/∨:: :/:.: : : : :|
          j;/|: : : ::|:: :∨テ弐オ´j:.;/ 〒弐テj:/::.: :/\::|
            |: ::("|: : :| {:k:ィ:;j ´     |:kィ:;j,'ハ::: : :/   `
               |: : ::`|: : :| `ー-"     、 `ー'" {:::|:;/  j^l
              ∨: :.:∨ :|              j:::l"  r' _ヘ、
             ヽ、::::∧:|ヽ、 ___/⌒)___,.ィ::::/   {__ヽ_,,〉
              ∨ ヽ::_,::-‐'´{' ̄ヽ〉ー-V∨   /::: ̄::}
                 r'ヽ、   |'ニニ}  / /::ヽ、,,ノ:::::::::::/
                  /:::\\   |゛ ̄| / /:::::::::::::::::::::::;/
                   {:::::::::::\\ |   | / /:::::/:::::::::::::/

長門有希
「では実際に演繹に用いる推論のパターン(推論規則という)を順に見ていこう。

まずは基本となる10パターンから解説する」



                 ,...,.-‐'"´`ヽ,..-、
               ,ィ',.イ         ヘ-‐、
            //,  / /   _    ゙'''ヽ
              / 'ィ'´ /  /   / /,ハ.,ィヘ    .ヘ
           }‐/  ,/   /ヽ、//   "''┤   l.∧
           |_ .゙7''"'¬イ└/l゙メ.、    .リl |  | |
        /ヘ/ `/   / ヾミョ、 `   、≦斗.|  | |
       .l,..-''"∨   / xxxx     .ミk、,゙L/   .ハ .|
      ,.<   /   /.    γ'ー、_,  `゙"/-、 / .レ'
    ,.ィ'" (   |   .ト'、..   l   / xxx/  「′
 ,.イ   ,..-'|  |   |  |゙ヽ、   ゙ー''"   ノ   |
'´  ,.-‐'"  ヘ  リ   |  ヘ  ヾ=-..r-=ニ'"|   |__
,.イ       ヽ ゝ、 |    、   ̄ノ    .|   | ヤ¬ッ
   /      > `''     ゙'¬"  .|   |   |  .レ'"
 /      /   /        |  /  リTー'
/        /    '--ッ  __./  |'"´〈、_/ |
`ヽ、 , ,  /     /    /`ヽ |      | |
   `´イ,./     └─ヽ/  ノ  |      ヘ .|

朝倉涼子
「5つのおもな論理記号(∧、∨、→、¬、⇔)ごとに、
それぞれ前提に使うパターンと結論に使うパターンがあって、
5×2で計10パターンとなります」


221 : ◆GI8xWOz4Ko:2010/05/07(金) 21:24:52 ID:N3a0OT12


3.1 ∧(連言、かつ)を使うパターン

.


222 : ◆GI8xWOz4Ko:2010/05/07(金) 21:25:15 ID:N3a0OT12

                _______    /:|
            _,..-─'":: : : : : : : : : ̄`ー'´: :/
           /: : : : : ,:: : : : :: : : : : : : : : : : : ̄: ̄:゛ー-.、__
        /: : : : : .::/: : : : : ; : : : : : : : : : : : :、:: : : : :ヘ-一"
         /: : : : : .::/: : : : ::/: : :;|:: : : : : : : : : :ハ::. : :、: :`ヽ、
       j: : : : : .::/: : : : :;/:: : :/|::. : : : : :|::. : : :|:: : : :ヘ:: : :ハ
         |: : : : : :/: : : : .:/|::. :/ |::. : : :; :jヽ、::. :j::. : : : :|:: : : :l
       j: : : : : :j: : : ::ー/┼:/-、,|:: : :;/∨,-┼;/‐::.: : : :|:: : : :|
       |: : : : : :|: : ::/:/ヤ弐行j::;/ 〒弐テァ|:: : ;∧|: :ト、::|
        }:;/: : : ::j:;/:::;ハ |ト-':;j:|'"    |ト-'::j:|´j:;/::: : : :| `
      j:ノ|: : :|: :´::.: :/  、V::ィ:;リ     , V::ィ:;リ,'{::::::::::: : : :|
          |: : :|:.: : : :/ ,ィ'⌒ヽ"   r─┐ ̄" ∨:::: : : :/
          |: ::人: : ;/、(.rュ: ,,,ノ   {  ,{   ,.ィ:::::|:: : ;/
       j:/ ̄ ̄ ̄/,ト''´::ー--__ニニ-‐'"´_,|::;/|;/____,.-‐─ュ、_____
      /    ___/ /j::::/|:::;ィ::|i__/ }::::|'´ '"           /{{{´ ,rァ‐'"
     / ̄ ̄ ̄,/l// ,r‐'´ |:::|ヽ-/ |::::|      ,        { ゞゝ、_,,⊃
      l` ̄ ̄ ̄",//} ̄" , |:::|/´`^^^'ヽ、    /          |-‐';/
      lニ二二二"ィ´} |::.  l  j:/,,/~`´~},,j,,ノ;〉   {         | /
      / ゞ彡",ノ' :::   |  /_,ハ> < },,/,>  λ、_,,      !/
      / _,.-‐'´       l くヽ、ゝヽフ /,イ     } `\    ,,/
       {      ,     iノ;イヽ`ー‐´ノ;ノ/l      |    `ー-'´
      `ヽ、__,ノ´ ̄`ー-‐{~ { `゛   ~,,/:::|      |
                  } /ヾ_,ィヽr'´,}:::}       |
     /´ ̄゛`ー‐-、____,ノ l,イ:::|  ∨//,|:::|     ∧

長門有希
「では∧を用いるパターンから」


223 : ◆GI8xWOz4Ko:2010/05/07(金) 21:25:31 ID:N3a0OT12


)前提として使うパターン


┌──────────────────────────┐
│                                     ...│
│A∧B から A,B を演繹してよい                   .│
│                                     ...│
│(*A,Bは任意の命題。AとBは同じものでもかまわない)    .│
│                                     ...│
└──────────────────────────┘



         _, -ー,=、ッ-、、.-‐、
       //´ ̄´  `  `   ヽ
      / /     ;ヘハ  l   ハ
     /  /    l |   | _l_ |   |
     /_,..┤   zビ''|   ´リ `l  リ
     { _ | | _,.l ''ー'   ___ l`r{
     ト、 ミ T´ | ===   ` ̄´|´ハ _
    ,' r-,、{ |  | xxx     xxx|l'`∨
   ,'/∨ `|  |、   ー'ー' _,. ィ'| _|
   /  ヽ、| | `ヽ' ニ '´ |  l.|,イ
 //  ヽハ  |   ,    |  | |
/ /__   l ヘ リ  /_ ┼┐ }-、', |
'´  ` -'/ ,人'   ム /、/  ト、ヽ.|
      ` Y ヽ、      ,.┤
         ヽ'_ `T ┬'T´ l ,〉
          ` 'ー┴r'フ´

朝倉涼子
「演繹による推論なので、前提はすべて真となります」
                ~~~~~~~~~~~~~~~~


224 : ◆GI8xWOz4Ko:2010/05/07(金) 21:25:50 ID:N3a0OT12


                  _______
            ,.:-::‐':´:: :: :: :: :: :: :: :: ̄::`:ー::-:.、_
           /:: :: : ;':: :: :: :: :: :: :: :: ::、:: :: :: :: :: :: `ヽ、
          /:: :: :: ::/:: :: :: :;':: :: :: :: :: :: ヽ:: :: : 、:: :: :: ::.\
        /:: :: :: :: ::/:: :: :: : |:: :: ::|:: :: :: :: :|、:: :: :|:: :: :、:: :、::\
          l:: : :: :: :: :l:: :: ::l:: ::|:: :: ::|:: :: :: :: :| ∨: :|:: :: : l: :∧、:::\
.        |:: :: :: :: :: |:: :: ::l\l:: :: ::|:: :: :: :: :| |: ;/:: :: :|::: ::ハ  ̄`
       |:: :: :: :|:: ::|:: :: ::|:.:/\;:/|:: :: :: : :|、/::|l:: :: : :|:: :: ::|
        |:: :: :: ::|:..::|:: :: /j/_|:::/_ |:: :: :/|/_|::/_∨:: ::|:: :: ::|
         |:: :: :: :::|:: :|: :/:lマ云弐 |:: ::/ ,オ弐Zア∧::../:: :: ::|
      ,ノ:;/: ::/`|:: :∨:::|l |_)::t;:| |:/  ´|_):t;:| ハ:∨::: :: : |     i
        ̄|:: ::l  |:: :: :: ::|、弋:z:リ       V:z:リ,' ハ::: :: :: ::|::|   _人_
        |/|::ゝ、|:: :: :: ::| ゛-‐      ‐-" l:: :: :: |::/j/   `Y´
         ∨: ::∨:: :: ::|、"           ゛,':: :: ::/l/        !
         ∨:::|∨:: :: :|::>-::.._ rっ _ ,.イ:: :: ::/
          ヽ:|`\:: ::|::/ 〈::ノ  ̄´lュ\:::/|:: :/
                  ヽ:l´   ヘ-─‐-|  \|::/
                /:\\   \  |  ./∧
                 /::::::::::\\   \,|  //::::ハ

長門有希
「それを踏まえれば、A∧Bが真、よってAは真だしBも真、
と言えるのはすぐわかると思う」


225 : ◆GI8xWOz4Ko:2010/05/07(金) 21:26:11 ID:N3a0OT12


    ,ィ''‐/ヽ/ヽー:.、
  /    /ヽヘ ヽ  .ヽ.、
 / /  ///`゙"´| l  |   | ヽ
. l | |_大ナ|'  ナ大 | l  | |ヘ
.|__ .|.==== l ==== ヽ__ノ |ミ|、
| .「XXX    XXX |   .|ミl.|
| ./    、,、 ,     |   |`l.|
|.l.     ´ `´     |   ├K
| ゝ、.___,.<ソ       _|   |.川
| |  |./  ヾ)二オ''ハ´ .|   |.川

朝倉涼子
「今やっているのは構文論ですが、
例文があったほうがわかりやすいので
あえてのせちゃいますね」



┌───────────────────────┐
│                                  │
│~ 例 ~                             .│
│                                  │
│                                  │
│前提:やらない夫は18歳以上かつグロOKである。   │
│                                  │
│結論:やらない夫は18歳以上である。グロOK。    ...│
│                                  │
└───────────────────────┘


226 : ◆GI8xWOz4Ko:2010/05/07(金) 21:26:40 ID:N3a0OT12


          ____
        /_ノ  ヽ\
      / ( ●) (●)、
    /::::::::⌒(__人__)⌒\
    |      |r┬-|    |
    \       `ー'´  /
⊂⌒ヽ 〉        <´/⌒つ
  \ ヽ  /         ヽ /
   \_,,ノ      |、_ノ

美筆やる夫
「当たり前すぎですお」



          ,.. 、   ,. 、
    ,γ⌒ーイ   ヾ _ ゙ヾヽ、
  , './     / //`ヽ.' ヘ ハ ヽヽ
./  / /  ,'  l |` `゙´´ l | ',  ', ',
   / ,','   ,斗キト     ,ニ|、',  ',. ',
 /| l l    | _| リ     ノL_l   l l',
´ ,リ. ',',_,..- ' ´         T‐┘リ
 彡|,.ヘ〉.| ===≡   ≡== |  |`
  _|   |               ',  |
‐'´' |.   | XXX        XX,  |
  ヘ|   |      `(_`チ     ノ. |
   |   |           , ィ'   |
   |   |`         ´ |    |

朝倉涼子
「ま、この辺は余裕ですよね。

さっさと次、結論として使うパターン行きましょう」


227 : ◆GI8xWOz4Ko:2010/05/07(金) 21:27:02 ID:N3a0OT12


)結論として使うパターン



┌───────────────┐
│                     ...│
│A,Bから A∧B を演繹してよい    .│
│                     ...│
└───────────────┘



    ,ィ''‐/ヽ/ヽー:.、
  /    /ヽヘ ヽ  .ヽ.、
 / /  ///`゙"´| l  |   | ヽ
. l | |_大ナ|'  ナ大 | l  | |ヘ
.|__ .|.==== l ==== ヽ__ノ |ミ|、
| .「XXX    XXX |   .|ミl.|
| ./    、,、 ,     |   |`l.|
|.l.     ´ `´     |   ├K
| ゝ、.___,.<ソ       _|   |.川
| |  |./  ヾ)二オ''ハ´ .|   |.川

朝倉涼子
「AとBが真なら、A∧Bも真だよね、というだけの話です」



┌───────────────────────┐
│                                  │
│~ 例 ~                             .│
│                                  │
│                                  │
│前提:吾輩は猫である。名前はまだない。         │
│                                  │
│結論:『吾輩』は猫であり、かつ、名前はまだない。  .....│
│                                  │
└───────────────────────┘


228 : ◆GI8xWOz4Ko:2010/05/07(金) 21:27:33 ID:N3a0OT12


          /´ヽ  /´ヽ          /ヽ. /ヽ、
           |   |  |   |_,,.-‐───--..、j  | |.  |
         |   |,ィ|   |  _,,.-‐=====‐-`ヘ、|  |
            |  |::.:;|   |/:: ,: : : : : : : : : : : : : : :`:┴-、
           |  |:/ |  .|:: :.:/: : : ;: : : : : :|:: : : : : : :ヘ ̄`
         j:| .|j |  |: :;/: : : ::|:: : : : : :|: : : : : 、:. :ヘ
         |::| |ー:|  |::i:j: : :i: ::|:: : : : : :|ヘ: : : : :|: : :ハ
        ,ノ: :| .|__,j /::|:|:-‐-:/|: : : ::;i:-j‐-:: : : :|:: : : |
       '´"γ´ `Y::. ::|{::/_|:/_ |: : :/ j:/__ ∨: : :|: : : |
         {┃┃ |:: .:|マ弐〒 j;/ オ弐テ ハ: :/:.: : :j
         { x   |:: :|、ト'ィ:;jl      ト'ィ:;j,' ハ:/:.:/ヘ/
           `ーr::-':: .:| `ー"      `ー" {::: .:/ー'´
           V\:: :|           ,.ィ::;|:/
              ヽ:|>ーァ‐-^-‐τ::/j;/´
              /‐-、`\,ィ ̄`}  ヘ、
              /⌒ヽ、\ \ニニj  /::}
              {:::::::::::::\\ ヽ,/ /:::.|
             |::::::::::::::::::\\   /i:::::|
             |::::::::::::|:::::::::|\ヽ/ |::::|

長門有希
「説明の必要はないと思う。次に行こう」


229 : ◆GI8xWOz4Ko:2010/05/07(金) 21:27:49 ID:N3a0OT12


3.2 ∨(選言、または)を使うパターン

.


230 : ◆GI8xWOz4Ko:2010/05/07(金) 21:28:08 ID:N3a0OT12
         l⌒l      l⌒ l       | ヽ
     l\    l  l      |   |      |  l
    l ヽ.  l  l       l  .l     .l  l
    l   ヽ  l  l     __」  .l      l  l
    ヽ  l  l _.」- ´ニニ l   l`ヽ、.  l  l
      ヽ  l/;:;:;:;:;:;:;:;:;:;:;:ヽ;:;:l   llヽ;:;:;:;;l  l
      y.':;:;_;:;:;:;:;:;:;:;:;:;:;:l;:;:|;:;:;l   l ヽ;:;:l  l
     /;:;:/,;:;:;:;:;:;/;:;:;:;:;l;:;:l;:;:;:;l   l ヽ;:l  l
     ///;:;/;:;:∧;:l;:l;:;:;:;:;l;:;:lヽ;:;:ヽ  l  |  ノ\
      /;:;:l;:;:;/ l;:;l l;:;:;:;:∧;:l l;:;:;ヽ    く┌-ゝ
     /;:;:/l;:;:l ∨ ヽ:;/ リ  l;:;:l:;,ゝ    ヽ
      / l:;:;l ┯┯i ソ ┯┯、∨;l  ・  ・ l
      l l;:;l l;:;:少    l;:;:;少 ll      l
      \.l;:;l 弋:::ソ    弋:::::ソ l;\____ノ
        l;:;l             l;:;| \l
           l;::` - ___,   .イ l;:;ト、
         ∨   /l l   / /: |/ : :ヽ
             /: l l / /: : : ヽ: : ヽ
             l: :l ∨ ./: : : : :l: : : :.l

長門有希
「次は選言(または)」


231 : ◆GI8xWOz4Ko:2010/05/07(金) 21:28:41 ID:N3a0OT12

)前提として使うパターン



┌────────────────────┐
│                            ....│
│A∨B , A→C, B→C から Cを演繹してよい    │
│                            ....│
└────────────────────┘



          ,.. 、   ,. 、
    ,γ⌒ーイ   ヾ _ ゙ヾヽ、
  , './     / //`ヽ.' ヘ ハ ヽヽ
./  / /  ,'  l |` `゙´´ l | ',  ', ',
   / ,','   ,斗キト     ,ニ|、',  ',. ',
 /| l l    | _| リ     ノL_l   l l',
´ ,リ. ',',_,..- ' ´         T‐┘リ
 彡|,.ヘ〉.| ===≡   ≡== |  |`
  _|   |               ',  |
‐'´' |.   | XXX        XX,  |
  ヘ|   |      `(_`チ     ノ. |
   |   |           , ィ'   |
   |   |`         ´ |    |

朝倉涼子
「A∨B、つまり少なくともAかBかのどちらか一方は真である以上、
A→CとB→Cが両方宣言されているのでCと確実に言えます」



┌────────────────────────────────┐
│                                              ..│
│~ 例 ~                                         .│
│                                              ..│
│誠は今日言葉もしくは世界とデートしている。                  ......│
│言葉とデートしたなら、(世界の手によって)誠はnice boatになるだろう。   ..│
│世界とデートしたなら、(言葉の手によって)誠はnice boatになるだろう。   ..│
│つまり今日、誠はnice boatになるだろう。                     ...│
│                                              ..│
└────────────────────────────────┘


232 : ◆GI8xWOz4Ko:2010/05/07(金) 21:29:17 ID:N3a0OT12


)結論として使うパターン



┌──────────────┐
│                   .....│
│Aから A∨Bを演繹してよい     │
│                   .....│
└──────────────┘



: : : : : : : : : : : :|: : ::|: : : :;|:.:. : : : : :/:: : : : : : : : : :ハ
: : : : : : : : : : :.:|ヽ: :|: : ::/|:: : : : : :/ヽ/: : :.: : : : : :|
: : : : : : : : : : : |:.: :\;:/ |: :: : : :/∠∨:.: : :|: : : ト、:|
: : : : : : : : : : ::|: :/'|::/\,|: :|: : /ィチヤ∧::.: :|: : : | `
: : :: ::|: : : : : : |:/zテ弐チ |:/|: :/'|f::j:} ハ::',:: :|:: : :j
: : :i::_|:: : : : : :|' {f´:::j:|  j:;/ V:;リ ハ:.: : :|: : :/
: : :{´ |: : : : : :| 、弋z::リ  ´   、 " {:: : : :l::/
: : :ヽ、|: : : : : |    ̄           }:: : :/´
: : : : :.:|: : : : ::|            ,.イ: : :/
\:.:|、:.∨: : : :|‐r- __ヘ_ ,.-‐<::::::|:: :/
  {`  ヽ、:.: :| \ゝ-‐'ノ    \:|::/

長門有希
「選言なので、ひとつ正しければ後が全て偽であろうとかまわない。
そのためこのようなことになる」



┌───────────────────────┐
│                                  │
│~ 例 ~                             .│
│                                  │
│                                  │
│前提:今日は日曜日だ                    .│
│                                  │
│結論:今日は日曜日か、または、神は存在する。   ....│
│                                  │
└───────────────────────┘


233 : ◆GI8xWOz4Ko:2010/05/07(金) 21:29:44 ID:N3a0OT12


      / ,.‐-y'´'ヽ/ ヽ-゙-ヘ
     /  / , / ∧∧ ',  ',ヽ
    ,'  /  l l l ,'‐-' | | |  l 'ハ
    ∧' ,'  l | ,リ  _リ l l  l l l
    ト、 'l   l`ニ´   ` ̄-r'___「
   / ヽl ̄'l ====  === ,'´ |
   /  ,∧l  |          { l|
  ,'   /  ', lu_   ,、 _,.ノ ,'|
  ,'   /   ', .lヘ ',三|{=', |   'l |
 ,'  ,'    ', ', ヘ ', |,l ,}|  ,'.l |
 |  l  l   /ヽ | ヘlレ'',´ l-‐' l |
 |l  L._ハ_ }-‐',=l<,ヘ.ヽ{  l   l l
 `ヽ.|   `'、_  `   ´ ',´ ̄ `レ'
        ',゙T'''''''T'7´
         ',ノ.  レ

朝倉涼子
「めちゃくちゃ突飛ですが、片方が真であればなにを
くっつけてもいいのでこんなへんてこなこともできてしまいます」



       ____
     /_ノ   ヽ_\
   /( ●)( ●)\
  /::::::⌒(__人__)⌒::::: \
  |     (  (      |
  \     `ー'      /

美筆やる夫
「これ、どんな場面で使うんですかお?」


234 : ◆GI8xWOz4Ko:2010/05/07(金) 21:30:00 ID:N3a0OT12


/.:.:.:.:.:.::.:: : : : : : :: : ::ヽ、
:.:.:.:/:.::./.:.:./:.:.:.:.:.:.::.:. ;: ::.ヽ
::: ::|.:.:.:i|:.:./ |:.:li、:.:.∧:.:.:.::ヽ.
: :: !.:.:. ||/--l/ |ノ--l:.: .:.lヾ、
: ::(|:.:.:.:| ‐‐   ‐-│::.:/
::::::.!:.:.: |    |   l.:.:.|
Ⅵヘ.:.:.:l   ‐‐   /.:.ノ
   \ヽ、 _ , イ!::/
  / ヽ{  ト、ヽ l:′
 ∧\  マ三ソ| \
./: : \\ ヾ-〃 /∧

長門有希
「実際の論証で使うシーンは正直思いつかない。

だが、レトリックやジョークに用いるくらいはできそう」



┌──────────────────────────────────────┐
│                                                       .│
│~ 例 ~                                                  │
│                                                       .│
│SOS団入団条件 …… 宇宙人、超能力者、異世界人、未来人、または一般人に限る  .....│
│                                                       .│
└──────────────────────────────────────┘

.


235 : ◆GI8xWOz4Ko:2010/05/07(金) 21:31:12 ID:N3a0OT12


                  _______
            ,.:-::‐':´:: :: :: :: :: :: :: :: ̄::`:ー::-:.、_
           /:: :: : ;':: :: :: :: :: :: :: :: ::、:: :: :: :: :: :: `ヽ、
          /:: :: :: ::/:: :: :: :;':: :: :: :: :: :: ヽ:: :: : 、:: :: :: ::.\
        /:: :: :: :: ::/:: :: :: : |:: :: ::|:: :: :: :: :|、:: :: :|:: :: :、:: :、::\
          l:: : :: :: :: :l:: :: ::l:: ::|:: :: ::|:: :: :: :: :| ∨: :|:: :: : l: :∧、:::\
.        |:: :: :: :: :: |:: :: ::l\l:: :: ::|:: :: :: :: :| |: ;/:: :: :|::: ::ハ  ̄`
       |:: :: :: :|:: ::|:: :: ::|:.:/\;:/|:: :: :: : :|、/::|l:: :: : :|:: :: ::|
        |:: :: :: ::|:..::|:: :: /j/_|:::/_ |:: :: :/|/_|::/_∨:: ::|:: :: ::|
         |:: :: :: :::|:: :|: :/:lマ云弐 |:: ::/ ,オ弐Zア∧::../:: :: ::|
      ,ノ:;/: ::/`|:: :∨:::|l |_)::t;:| |:/  ´|_):t;:| ハ:∨::: :: : |     i
        ̄|:: ::l  |:: :: :: ::|、弋:z:リ       V:z:リ,' ハ::: :: :: ::|::|   _人_
        |/|::ゝ、|:: :: :: ::| ゛-‐      ‐-" l:: :: :: |::/j/   `Y´
         ∨: ::∨:: :: ::|、"           ゛,':: :: ::/l/        !
         ∨:::|∨:: :: :|::>-::.._ rっ _ ,.イ:: :: ::/
          ヽ:|`\:: ::|::/ 〈::ノ  ̄´lュ\:::/|:: :/
                  ヽ:l´   ヘ-─‐-|  \|::/
                /:\\   \  |  ./∧
                 /::::::::::\\   \,|  //::::ハ


長門有希
「仕掛けを説明する。

これは言語の線上性(*)
と選言の演繹を利用したジョーク」


(* 言語は一つ一つ単語を認識して、それを順次解釈しながら
つなぎ合わせて全体の内容を把握する。

つまり一つの文を一度に読んで一気に解釈することはない、という性質)


236 : ◆GI8xWOz4Ko:2010/05/07(金) 21:31:35 ID:N3a0OT12


    ,ィ''‐/ヽ/ヽー:.、
  /    /ヽヘ ヽ  .ヽ.、
 / /  ///`゙"´| l  |   | ヽ
. l | |_大ナ|'  ナ大 | l  | |ヘ
.|__ .|.==== l ==== ヽ__ノ |ミ|、
| .「XXX    XXX |   .|ミl.|
| ./    、,、 ,     |   |`l.|
|.l.     ´ `´     |   ├K
| ゝ、.___,.<ソ       _|   |.川
| |  |./  ヾ)二オ''ハ´ .|   |.川

朝倉涼子
「『SOS団入団条件』と『宇宙人、超能力者、異世界人、未来人』まで
読んだ受け手に『特殊な人間でなければ入れないのだろう』と思わせておいて、
最後に『一般人に限る』で裏をかいて落としてるわけですね」



        l´  |  |   |      ___..___   _l´  | |.  |
        |  |  | __⊥-‐" ̄: : : : : : : : ̄`ヽ|   |.、|.  |
       ┼=ニ二´;: : : : : : : : : : : : : : : : : : : : |   |: :|  |
        |,.イ´: : : : : : : : : : : : : : : : : : : : : : : :|   |`|  |、
       /: : : : ::/: : : : : : |: : : : : : : ::|: : : : : : ;|.  |. |  |:ヘ、
     /:.::/: : : :/ : : : : : : :|: : : : : : : : |: : :: |: ::|:|  | |  |: :トゝ
     |::/|: : : :/: : : : i: : :/|: : : : : :λ::|: : : :|: :|::|  |.|  |:: :|
      |/ l: : : :|: : : : ::|: :/ |: :i:: : : :| |::jヽ、:::|_:|:::|  ト、 .|: : :|
        |: : :.:|: : : : ::|:/‐-、|:/|: : : :j_j;/-‐∨、|:::j`    ヽ::.:|
       |: : :.:|: : : : ::/〒云オ ∨::/〒云弐ア|: :|   ┃┃l、:|
      ヽ:i:.:ヽ、: : :ハ lト::t:j:|  ∨ |ト::t::j:;j,'|: ::|     x | `
      __人__:::ヽ、:|::} `ー‐'  ,    `ー‐'" |: :::{____,,ノ
       `Y´ヽ::|::|::::j xxx       xxx |: : :/:.: :/j/
        !  `ト:|:::ヽ、 _____rっ__,,.ィ|:: :/ヽ;/
           ヽ|:::::::::/リ |:::,、:;ィヽ  `ア`|:;/ヽ、
               ∨::/  V / {____/  '"_   \
             ∨   / ,{ |ニニ/ ,イ´二二ヽ〉
                 {:| | | ///_,r-─-.、j
                  |::ヽ.゛|/´/,イ´::::::::::::::::::}

長門有希
「『一般人OKなのかよ!』と突っ込ませることができれば成功」


237 : ◆GI8xWOz4Ko:2010/05/07(金) 21:31:59 ID:N3a0OT12


3.3 ⇔(同値、必要十分条件)を使うパターン

.


238 : ◆GI8xWOz4Ko:2010/05/07(金) 21:32:25 ID:N3a0OT12


           ,.. --- ..
       ,..-.:. ̄.:..:..:.. : : : : `丶、
      /:..:..:. ..: : : : : : : : : : : : :\
    /:ヘ=、、:._: : : : __:ヽ:_: -^,.ト、
   ノ:..:..:./:..  ̄: :7´:―― : :|‐: :´、: ヽヽ
  ー-/:..:.i:../:. : : ,/:..:.:イ:.ハ:.. : j:.. :}:.、ヽ:. トヽ
    !:..:..:|:.{/:..ィ_jz≦ノ ' }:./_}_イ:. } |:.|||
    Vl:.:.|:. Vl´「_ 、` ノ′ _ノ:ソ:イ: リ ノ
.      }:ハ: : l f7「::`ハ   /:::7}7イ:/}/
     ノヘーl、: :!VZツ     ヒ:ノ/:.//
        `ィヘ:ト、 _   _   ノ:イ/
      rく、\` ヽ二コ:千:|K、′
      |:..:ヽヽ\: :Yニ|: :!:/j!:.l
      ト:..:..:.\ヽ\!r|┴=ミ!r ァ7
     |!::.:..:.ヽ\ヽ|!    /7 /
      j::.l::..:..:.⌒ーァ⌒}   / / /^}
      |::.:.\::..::.::.::>ー'―-L∠_¨´
      l::.::.:..:. ̄ ̄ト 、, --、―弋i
       ヽ::.:..:..:.::..∧/    ヽ  i _ .. -―
       ``ーニ´/ー-、   | _|
       _. -―  ̄  ト―.:「:.:l

長門有希
「次は同値。説明することがあまりないので二つとも一度に出す」



┌───────────────────┐
│                          ......│
│A⇔B から A→B , B→Aを演繹してよい  .....│
│                          ......│
│A→B , B→A から A⇔Bを演繹してよい     │
│                          ......│
└───────────────────┘

.


239 : ◆GI8xWOz4Ko:2010/05/07(金) 21:32:48 ID:N3a0OT12


          ____
        /_ノ  ヽ\
      / ( ●) (●)、
    /::::::::⌒(__人__)⌒\
    |      |r┬-|    |
    \       `ー'´  /
⊂⌒ヽ 〉        <´/⌒つ
  \ ヽ  /         ヽ /
   \_,,ノ      |、_ノ

美筆やる夫
「同値の定義が前件と後件を入れ替えても含意の関係になることなんだから、
当たり前すぎですお」




             / :. ィ.;:.:.:.:.:.:.:ヽ
          イ:.:.:.:/-|/|∧:;、:.:.〈
          リ:.:./ ●    く!:,:.:..、
           l:.:.l    ●/:./ ̄
           vヘ  -   ノ:./
            _,-+ 匸ヘ/V
          ,《 ヒ⌒j 》、
          l::\ l /∥::l
          |:::::::ト,Vイ:::::|
            |:::::::l介l:::::::|
              l::::::|人|:::::::l

長門有希
「しかも必要十分条件という言い方があまりされないので、
例文もおかしなことになる」


240 : ◆GI8xWOz4Ko:2010/05/07(金) 21:33:04 ID:N3a0OT12


┌───────────────────────────────────┐
│                                                    │
│~ 例 ~                                            ......│
│                                                    │
│                                                    │
│やらない夫が18歳以上ならAVレンタルOKだ。                       .│
│やらない夫がAVレンタルOKなら18歳以上だ。                       .│
│つまり、AVレンタルOKであることと、18歳以上であることは、必要十分条件だ    │
│                                                    │
└───────────────────────────────────┘



         ,. :-:.' ー ' ¨ :.ゝ.、
        ,.:´: : : : : : : : : : : : : ヽ.
      ,.': : : : : : : : : : : ',: : : : : : ヽ、
      ,':.:;':.:.:;'.:.:.;'.:./.:;'.:.:|i:';:.:.:.:.:.:.::`、`ゝ
      ,':.:.i:.:.:.i:.:/i:.:/i:.:ハ:.:l:i:.:.i:.:i:.:.:.';.:.:',
    /イハ:!:.:.:l:/ i/ ノノ ノリリハリ:!:i:.:.!:.l
    i/!:.:!:.:.;;;;;;;;;;;;;;;;    ;;;;;;;;;;;;;;l:.!:ハ!
     ∨|:.:.!          ノ/i/ノ
       ヘ!:|         ノ!/′
        ヾ!>ー- ´`-- <イリ
         (;;;;;ソ⌒) ̄`´ ̄(⌒ヽ
        ヽ;;=;;/__,,、_/;;`ソ
         〉;;;;;;;;ソ:/A.i:l;;;;;;!′
        く;;;;;;;;;;;;i;!;;;;;;;;i;!;;;;;ゝ
           i、__,,/  !、__,,!

長門有希
「ただし、同値は置き換え可能という特性を持つので、
これを利用した言い換えはそれなりに価値を持つ」


241 : ◆GI8xWOz4Ko:2010/05/07(金) 21:33:42 ID:N3a0OT12


       ____
     /⌒  ⌒\
   /( ―)  (―)\
  /::::::⌒(__人__)⌒:::::\
  |             |
  \              /

美筆やる夫
「ああ、前にやりましたお」



          ,.-''"´ ̄ ̄ ̄`゙ヽ、
        / ,.ィ _,..r---r-、   \
      ./ /.イ´ | |  | .| `lヽ、 .ヘ
     lヽv ,.イ ⊥_  | |   | .| ,.斗、 ヽ ゙l,),.‐;
     ヤノv' | .j,..≧トッ  ,.ィ''ァ'、  | .〉l /
    |  ∨ 〉イrl゚ハ::l   l乍リバl,// ゙'.}
    ヘ  ヘィ'弋乞:ソ   弋_チ:ノ '.ハ  .∧
      〉  / l "´ _,....--、 `゙  l .ヘ l ヘ
     ∧/  |  ./     ヘ  |l  .Y ', ヘ
     / /  .人  |      | ノ |  ヘ ', ヘ
   / /    / ゝ.ゝ、.______,...イ<´ .|   ヘ ', ヘ
  / /l   /   / '----'-' ヘ  〉   ハ ', ヘ
 / /.〈   ∧  /  γ⌒ヽ  ', ∧   ノ ', ヘ
./ /  \ /  ∨    ゝ-‐'   ∨ l__,.イ   ', ヘ

朝倉涼子
「これで10パターンあるうち6つの基本パターンが終わったことになります。

でも本番はここからですよー。気合を入れて下さい」


242 : ◆GI8xWOz4Ko:2010/05/07(金) 21:33:59 ID:N3a0OT12


3.4 →(含意、ならば)を使うパターン

.


243 : ◆GI8xWOz4Ko:2010/05/07(金) 21:34:33 ID:N3a0OT12


      / /   /   /  / /  /!   /  l   !  l  、 丶    丶 ヽ
   _∠‐ 7  /   /  / /  / l  /!  ハ  l  ハ l  l   丶ヽ\!
     /   /!   '  / /  / l / l  ハ  / /  l l、 l    〉、l ′
      /   / l    ′/ /‐‐/- .l / l /  l / /-‐-l Lヽ !   ハl
.    / _ / /l   ' /l/l /  l/  l /   ! /   |ハ Y !  | ′
   // / / !  l / リ l /___    ′   ´   __」/_ l l l  ヘ
    '   /イ  ',  l'   fr"チ卞ミヽ        ,rチ千卞>y j ! 、 _\
     // !  ハ  ヘ  l.バrj::::.::ト         lr,:::::.::j /,/  l 、\ `
_     /´ l / Y^、 ', ハ ゙ぃ_シ        ヒ_.ソ /}  lヽl\. \
        !/  ト ヘ ',  ハ        ,        /イヘ. ! `  \. ヽ
        ′ l/ヽ_ヘ. ',  ヘ               / /  ', l      \ヽ
            ' ,´ }、ヽヽ丶       rヽ      イV    ',l        ``
           l   い,、\ヽ> _       , イ、/     '!
          l  l ′\Nヽヽ`コ ー-‐ ' ´ {`>'-――‐ ¬ 丁卞ー-、
          l  j  __ヽ‐'´_rノ       Y        | | |   \
         _ _」、 ヽ´      /´  ___   |        | | |     `丶‐- 、
      ,r‐-'´`´  ;  ゙!      |  /   `‐-l         | | |    /     \
     j  、  i´    V _, -‐亠、´ / ̄`‐-|         l l l    l
     rr'   ヽ  ヽ   ´  _, イ ´ / ̄丶 」         l l l    l
    ハ  '、 ヽ、_冫  _ イ´  l_/       |         / / /      l     \
    /ハ、_ハー‐'ニ‐--‐'´ /     l        |        / / /      l       ヽ
   // 厂  `ー-- ´ l     l       l       / / /       l!      ヽ

長門有希
「次は含意を見ていく。ここからは利用頻度がとても高い。

まず前提に使うものから」


244 : ◆GI8xWOz4Ko:2010/05/07(金) 21:34:57 ID:N3a0OT12


)前提として使うパターン


┌────────────────┐
│                       .│
│A→B ,A から B を演繹してよい    .│
│                       .│
└────────────────┘

       ____
     /⌒  ⌒\
   /( ―)  (―)\
  /::::::⌒(__人__)⌒:::::\
  |             |
  \              /

美筆やる夫
「ああ、さっき出てきたやつですお。

A→Bが真なんだから、Aが真のとき必ずBも真となるのは
道理だお」



┌─────────────────────────┐
│                                   .....│
│~ 例 ~                              ....│
│                                   .....│
│・10人以上の生徒が休んだならば、学級閉鎖となる。     │
│ 今日は11人の生徒が休んだ。                ..│
│ 今日は学級閉鎖となるだろう。                  │
│                                   .....│
└─────────────────────────┘


245 : ◆GI8xWOz4Ko:2010/05/07(金) 21:35:20 ID:N3a0OT12


     ,..-''"´ ̄`¨゙'_‐-.、
.   /        `゙ヽ `ヽ、
  /   __,.二ニ====、_  ヽ〔 ヘ
 /,ィ''7´l |  | |  |  l.\ \l、
 | | |、 L|  L|.,.ィ'l´  | lト、ヽ Y
 | | |->'   '" ̄ `゙l‐'、ノ| `ヽ|
.└l´ | ≡≡ ,   ≡≡|  .├─‐{
.  | |          |   |) l .|
.  | |   、-‐─┐  |   |  | |
. .| .ゝ,、.,_ ヽ-‐'"__,..ィ   |   | |
. ||  | ,lィ'7二´-/´7|   |l   | |
 |.|  |' / ゙''''''''''" | |   | |   | |
 | |  |'   ( )   ト|_,...イ |   | |
 l└‐イ         |/ ./ |   | |
 |   |   ___,ト、/ |  |   | |
 |   |´ ̄     r'〔   |  |   | |

朝倉涼子
「これは前件肯定という名前もついています。

MPって略称で呼ばれることもありますね。
ラテン語のModus Ponens(前件肯定)が語源らしいです。このスレは略さず書きますけど」



【研究室内のモニタ】
┌─────────────────────────────┐
│                                           .│
│                _,,  -‐‐-x,ヘ__               ..│
│             , -‐:::::::::::::::::::::::/i::k::::::::::::`丶、            .│
│            //´::::::::::::::::/:/i  l;:iヽ;::::::::::::::::::\j^\__     ....│
│          //::::::::::/::::::/:/ i!  ゙k! ヘ;:::::::::::::::::::::j!: : }: : ::}     ..│
│         / ,/::::::::: :/:::::x‐t-/ l!   ヘi  x一t-、::ヾ{: : :j!::::ソ    ......│
│          /:::::/y゙:::::::::/ i/   |   ヽ ヘ;::ト、:::::::::`x个<      ..│
│            i:::;イ:::::i!:::::::::zェェx,,      ,,xェェty::::::::/: : i::::\      .│
│            |/ |::::;i!::::::::ヘ k,,x:::`|    Yリ: :i! j!リ;:/: i: :::k:;;/     │
│             |:;:::i:::::rxi ゙マk_rj      ik_, y ,ム-、~了゙: i        │
│             |:::::|/i!  ',. ゙-‐゙     `ー゙ /.  ノ::j!:::::::|       .│
│             |:;:::i!:::ゝ- t ゙゙゙゙゙゙   ___  ゙゙゙゙゙ノ-z''゙::::j!:::::::: |      ..│
│             |:!::::::::::k::::::::゙'i x、,, ゙ー゙ _.ィ'゙ /:::::::::jk::::::::::|       │
│             |;!::::::::::| >''゙ ̄ ̄ミ二二,,ブ''‐/;;':::::::/i|::::::::i::|      .│
│             |j::::::::k:|     __j!_   /〃::::y! i!゙;:::::::i!|     ....│
│             |;::::::::|ヘ! /     j!'    /〃:::::/ l ヘk::::: i!|       │
│          ,/j!| :::::|  ;/     .j!    //j!:::::/ :| ヾ::::::|ヘ      │
│          /   | | ::::|,/i!         /' j!:::/  |  ヘ::::゙、\    │
│       ,r' >k  |:::::|.  |      ..........:::::::i :/    |    ';::::i  ヽ    │
│       i゙    ヾ∨.| : |.  !     ゝ 丶:::::::::|:/i     |   i!:::|     .│
│        \    ヾ!::::|.  |            |j |    :|    ヘ |     .│
│        \   ヘ;:|ヽ.!           i!| } /  i!    リ    .....│
│          \   ヾ / ゝ、     -‐ 7 .| |/   }        .....│
│           ヘ  ,/ \      /  ハ ,!    .i        .....│
│                                           .│
└─────────────────────────────┘

柊かがみ
「これはめっちゃ使うわよ。ブレークダウンするときに活用するからね」


246 : ◆GI8xWOz4Ko:2010/05/07(金) 21:36:39 ID:N3a0OT12


┌───────────────────────┐
│                                  │
│~ 例 ~                             .│
│                                  │
│料理店を開いたならば利益を得られる。          .│
│自分は料理店を開いた。                  .│
│自分は利益を得られるだろう。                │
│                                  │
│                                  │
│【解説】                            ....│
│・A→B 料理店を開いたならば利益を得られる。     .│
│・B   自分は料理店である                 .│
│・A→C  自分は利益を得られるだろう。        ...│
│                                  │
└───────────────────────┘

.


247 : ◆GI8xWOz4Ko:2010/05/07(金) 21:37:08 ID:N3a0OT12


【研究室内のモニタ】
┌───────────────────────────────┐
│                                            ....│
│                                            ....│
│                          __,ィl__             _,      │
│                 _,...-‐:'´: ̄: : /: :|: : : : : ̄:`ー:-:.-‐==´: :/     │
│                 ,.ィ´.: : : : : : : : : : : : :|: : : : : : : : : : : : : : : : :/    ......│
│               /: : :/: : : : : : : : : : : :|:: : : : : : : : : : : : :.`:<       │
│            /: :i:/: : : : : : : : : : : : : ::|:: : : : : : : : : : :.、.. . . . .\     .│
│         ___j:_::/: :/. . . . . . . l. . . . . . .|ヽ.. . . .、.. . . . . .ヽ、. . . . ヽ   ....│
│        /´  |   |: :/... . . : :,-‐;|-:、:: ;イ:.:| |ヽ::;‐:l-:、: : : : : :.\: : : :.ハ  .....│
│        \  |   |:/::,':: : : : : :/ |:: : :/' |: | |  |: :|:: : : : : : : :、: :\、: : |  ....│
│           〉‐r─‐/::/::: : : :/:;/ |:: :/  |: | |  |: :|`ヽ::: : : : :∧:: :ハ\:|   │
│        / /'  /:;イ: : : : :/'´__|::/_、 |: | | ,__|:/__∨::: : : :.ハ\:|    ...│
│        〈  |  〈:/ |: : : :/:| l´ ん::::(_|` |:/  ´ん::::(_| l ∧::: : : : |  `    ..│
│           \|___,|: : :/:::| 、 弋:: : :リ       V:: : :リ,' ハ::∨::: : :|     ......│
│          |:|: :::|:.:|: :/'ヽ:|    ゛ー"        ゛ー"  | |::::∨:.: :|       .│
│          |:|: :.:l、:|:/ゝ、__ "    ___         j,ノ::::: :ヽ:/       │
│          |:|: : |::|、: : : :::`ヽ、   ( l l  ,ノ   ,.ィ:::|:::::: : : :l:|        │
│          |:l: : :l::| \: : : : ::::>、 _`ー‐ '´ .-‐<::::|::::|::::: : : : l|        │
│          |l: : : |:|  `ヽ:: : ::::\〉  ̄ | ノ:::/::::: :人::|:::.: : : : :|      .....│
│                                            ....│
│                                            ....│
└───────────────────────────────┘

柊かがみ
「もっとも、ブレークダウンの場合は、A→Bが必ず真であれば、という
                              ~~~~~~~~~~~
仮定が、とーっても重いんだけどねー」


248 : ◆GI8xWOz4Ko:2010/05/07(金) 21:37:30 ID:N3a0OT12


               _. --- ._
.         ,..イ´:.:.:.:.:.:.:.:.:.:.:.:.:´ ̄`丶、
       /:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:\
      /:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.ヽ
.    /:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.ヽ:.:.:.:.:.:.:.:.:.:.:. ヘ
  ∠:ィ:.:/:.:.:.:.:.:.:.:.|:.:.:.:.:.:.:.:.:.:.:.:ヽ:.:.:.',:.:.:.:.: ハ:.:.:.:.:.:\
    /:./:.:.:.:.:.:.:.:.:.:!:.:.:.:.:.|:.:.:.:.:.:.:. ハ:.:.:|:.:.:.:.:.:|:.:.:.:.:.:.:トゝ
.   |:.:':.:.:.:.:.:.:.:|:.:∧:.:.:.:.:!、:.:.!.、:._」 ',...L:.:.:.:.:|:.:.:.:.:.N
.   l:.:l:.:.:.:|:.:.:下'ト ヽ:.:.:| x|'´\! ',:l:.:.:.:.:.:|:.:.:.:.:.|
    V||:.:.:.V:.:.|,ィ=ミ、\!  ィイ¨'トヽ:.:.:.:.:ハ:.:トソ
      リ、:.:.:.\|:{ ヒ,ハ     ら、j.| |:.:.:.:.,'ノ〉:|′
        ヽN:.:.:.:| ー‐'     ー-' ,!:.:.:./イ/ヾ
        l∧:.:.ヽ   '_     /:.:.// '′
           \:.|`  _,..__ .ィ ./:.:./ー、
          `rァ ´ /  l  ,./:.:/  ∧
            /′ /三ミ 、///     ヽ
         / .′ /   `y ´      ヘ.
        ,′|  |   /     .ィ´ ̄ヽ.〉
          /  .|  |  /      ,.'´    |
       ,.'   l  | ./    /         |
.       /    '、  ! /    .イ           ,!

長門有希
「そのあたりの話も重要だが、のちの『演繹と帰納の実用』の項で話す予定。
今はおいてほしい」


249 : ◆GI8xWOz4Ko:2010/05/07(金) 21:37:50 ID:N3a0OT12


)結論として使うパターン

.


250 : ◆GI8xWOz4Ko:2010/05/07(金) 21:38:29 ID:N3a0OT12


.        __      ___
        |ヽ >‐:::´:::::::::::::::::::::::`::-..、
        |. ´::::::::::::::::::::::::::::::::::::::::::::、__ヽ---ュ
      /::::::/:::::::::/:::::::::::::::ヽ::ヽ:::::::ヽ ,.∠ /
    _,._'´_/:::/::::::/::::/::::::/::::!:::::::'::::::'.::::::::',  ;.∧
     /::::::/::::::/:::::;|::::::∧:::|';::::::|::::::!:::::::::l '/::::i
      |:::::::!::::_/」_::ハ::::! ';::! ';::::|';::::!:::::::::| /:::::::!
      |::::/|:::/  ';:l. ';::|  ヾ¨ヾ:|`';:|:::::::::j::::::::::::',
      |:::l. l:::| z=t=ミ、 ヾ   ,.z:=t、.'|::::::::;'::::::::::トヘ
     ヽl. Ⅳ',  |:::::」     |:::::」 |::::::/::::::;l:::l
.       /:|:::l 弋tソ    弋tソ |::::/:/l:/ V
        '´ l:::ト、        '''    |::/:/ ′
         ヾ! lン 、_ -__  ィ/:/|/
.    r'ヘ., ‐ 、. _   ,r‐/__ /ヽハ/ シ
.    |', ', / ヽ /| | ./  ./゙i       ,、
.    | \}' 彡 ´ |.| | / /   |     / ‘.
.    | .| |´    ⊥.| l//__  |    /  |
     ', ! !     l  l^¨¨´  / |   /   ノ
.    ヽ| |     ヽ..ノ‐ォ┬一'  |  /   ,フ
      ーー ´,r'⌒', く.|_j      l/    ∠

長門有希
「さて、次に結論に使うものだが、これはかなり変則的」



┌───────────────────────────────┐
│                                            ....│
│ある仮説Aをたて、そこからBを演繹できたとき、A→Bを主張してよい    .│
│                                            ....│
└───────────────────────────────┘

.


251 : ◆GI8xWOz4Ko:2010/05/07(金) 21:38:46 ID:N3a0OT12


      _____     ━┓
    / ―   \    ┏┛
  /ノ  ( ●)   \  ・
. | ( ●)   ⌒)   |
. |   (__ノ ̄    /
. |         /
  \_      _ノ\
    /´         |
.     |  /       |

美筆やる夫
「どういう意味ですかお?」




  /  /  ,M.  l  、 ヽ、
. / /  |  |.|''‐'|  |  |   l、.|
 | | l 'ナ大|  |ナフ大|  |ミ|ヽ
 | | .| |-,..、'  '‐,..、/|  |ニ| |
. ゙l十|  ゝ'.    ゝ' .|   l|lーK
  || / xxx     xxx.|  l|' |ヘ
  ||.ト 、  ----l   |  l|  |.ヘ
  ||  | ≧lーr=_==r'''l|  l|   | ヘ
  ||  |.| /. ゙ーー' .'|  リ  | ヘ
  ゙´´ヽ |  (⌒)  / / |   | ヘ

朝倉涼子
「仮にAを真だとしたとき、Bも間違いなく真となるのであれば、
A→Bを主張できますよ、ということなんですが……

例を見たほうがよさそうですね」


252 : ◆GI8xWOz4Ko:2010/05/07(金) 21:39:10 ID:N3a0OT12


┌────────────────────────────────────┐
│                                                   .....│
│~ 例 ~                                              ....│
│                                                   .....│
│                                                   .....│
│――ある日、上野公園で、動物園から脱走した虎を前にキョンが考えたこと――   ....│
│                                                   .....│
│仮に、今俺の目の前を歩いている黒と黄色のシマシマが虎であったとする。       │
│                                                   .....│
│虎は時に人を襲う。困ったことに俺は人だから、襲われる可能性は大きい。        │
│もちろん襲われたらまず死ぬだろう。                             ....│
│つまりだ。                                              .│
│もし今目の前を歩いている黒と黄色のシマシマが虎であったならば、俺、        ...│
│もうすぐ死ぬであろう可能性大。へるぷみー。                         │
│                                                   .....│
│ ━ ━ u                                              .│
│   ┃│                                               │
│  ━ /                                                .│
│                                                   .....│
└────────────────────────────────────┘

.


253 : ◆GI8xWOz4Ko:2010/05/07(金) 21:39:53 ID:N3a0OT12


     -=三/    ,.-‐'"´         ミヾ、
    -=ニ三          __,...--r──--┤
    `ニ三  /    ,..ィ "´/ ,   lヽ __   ハ
      三/   ,.-'"/ / // |   l/'´, 、`-,、lヘ
      彡 γ´/ 、l__-'  (/ ∨,/ ./ / ノ } ト-、
       ,ニ| └r、_| ゙̄'''''''  ´ / ∠_ノ_/  l ヽ
     / l´|   二ニニ==ッ   ー──ォ-チ∨ |`ヽヘ
    / /l└-r‐'   //   __,..ヘ ///xx.l  |  `ヘ
  / /  l,.-‐ヘ  //  「 ̄   ////  ノ.,..、  ,、ノ
./  /-‐ ´  /'ヘ xxx    l    / / レ'/ ,.ィ' ノ  `ヾ、
  /´    /  ,.、',     ∨  / /_,//'",..-<     ヽ
フ    /  /  ゝ、___,..ゝ././[,. | レ'´  .l      ヽ
´Y  /、  //  /    ノ   .レl_二ノ´ .}    ト、-‐‐'_'フ‐"
__ト、/  `´ /  /    {    |  。 ゚ ゚ ノ  ,.....,ノ-‐'"
  \    /---、l     }    }  `´_"=‐'"ー-'
    \/    |    ー-=ニヽ‐'"

朝倉涼子
「『仮に~死ぬだろう。』までが仮説からの演繹。

『もし~可能性大』までが主張した含意です」



      ____
    /_ノ   ヽ_\
   /( ●) ( ●)\
 / ::::::⌒(__人__)⌒::::\
 |        ̄      |
 \               /

美筆やる夫
「あー。『仮にAだったとすると、Bになるのは間違いない』から、
AならばBと言ってもいいよ、ということかお」


254 : ◆GI8xWOz4Ko:2010/05/07(金) 21:40:15 ID:N3a0OT12


              ||
              ||
              ||
              || n
              || |:|
             (a゚)゙ ̄`ヽ
              ゝ'\/\〉
              / --- ヽ
            〃NV∨Nハ.:',
            /.:| |匸! 匸! |:.:,
             /.:八|、_っ ''j/:.:.:,
             ,′.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:',
              {.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:}
              、:.:.:.:.:.:.:.:.:.:.:.:.:.:.:./
              \:.:.:.:.:.:.:.:.:.:.:/
               ̄ ̄ ̄

長門有希
「そういうこと。

そのため例文が適切かどうかは(可能性を含んでいるので)
やや疑問があるのだが、結論にまであいまいさを持ち越してるので
セーフだと思いたい」



    ,ィ''‐/ヽ/ヽー:.、
  /    /ヽヘ ヽ  .ヽ.、
 / /  ///`゙"´| l  |   | ヽ
. l | |_大ナ|'  ナ大 | l  | |ヘ
.|__ .|.==== l ==== ヽ__ノ |ミ|、
| .「XXX    XXX |   .|ミl.|
| ./    、,、 ,     |   |`l.|
|.l.     ´ `´     |   ├K
| ゝ、.___,.<ソ       _|   |.川
| |  |./  ヾ)二オ''ハ´ .|   |.川
朝倉涼子
「これは条件法証明規則と訳されますが、論理学の参考書では
CP(Conditional Proof)と
略称で書かれたりしますね」


255 : ◆GI8xWOz4Ko:2010/05/07(金) 21:40:36 ID:N3a0OT12



【研究所のモニタ】
┌──────────────────────────────┐
│                                          ......│
│                           _,ノ:7               │
│               _,.-‐─-ィ'ト-‐─-‐':.:<´              .....│
│             ,ィ'´: : : : : : : : |: : : : :: : : : : ` ̄:`‐-、          ....│
│            / : /: : : : : :j:: : |ト、: : :i: . . . . . . . .ヘ ̄`           .│
│          /:ヽ、r',: :/: :/: : : /|:: : | | }: :|: : : : : : :: : : ハ             │
│       /::rー-|: :/: : :|::;-‐'´|:: .:j |  |: :|`‐-: : : i:: : : :ハ            .│
│       /:::j:::::∧/::|: : |::/  |: :/ |   |::j ∨: : : |:: : : |::|            │
│        /::::|::::/::/::/|: ::j/ __j:/ |   |/___ ∨: : :|:: : : |:j          ....│
│        \:|::〈::::|:/::|: :/ヤ〒行`     オテヤハ:: ;小、:: :j/           │
│         |::::::\_(|;/ `、ヒィzj      {んソ,λ/::i::| ∨            │
│          |:::: ::|:: :| `ーヘ   ̄       、  ̄ j::::::::i::|               │
│       |:: : : |: ::|    ヽ、    、‐-,   ,イ:i::::::|::|               │
│       |:: : : |: ::|       ` ー-_ァ`ニ-‐"´ |::|:::: |::|               │
│       |: : : :|: ::|       ,r'~ ,ィj  {、`ヽ、|:::|: : |::|             ...│
│       |: : : :|: : |   r' ̄  `ヽ、 }  |: :|: : |::|              .│
│       |: : : :!: : |   j´`ヽ、. \\|ー‐j   ,|: :|: ::}::|              .│
│       |: : : : : : | ノ    {`ヽ、\| /  /|: :|: :|:λ  ,ノ^ァ‐、__ノ´)   ......│
│  ⊂ニ´ ̄ Y^ヽ: : : |/"    ヽ、. \|./ /,/|: :|: |`ヽr'"   { {{´ <_     .│
│   ノ γノ 丿 `ヽy       `ー-,"、ー'´ :|: ::|::j  〈    ゝy、~゛ 、、`>    .│
│  <ノノノアー<    `゛   ,/    / i `ヽ、|: :j:/:、    /   ̄`‐'´    .│
│    `~`´   |`ー-、      /〉、  /  j \ |;ノ: : :| \_,/          ..│
│         |: |: :|::|ヽ_,,/ / ゛  j__,.ノ  \ _〉: :|              ...│
│                                          ......│
└──────────────────────────────┘

柊かがみ
「ちなみに風が吹けば桶屋がもうかる式の条件法証明は駄目よ。

あれ、途中経過がとうてい『間違いなく真』だなんて言えるものじゃないからね」


256 : ◆GI8xWOz4Ko:2010/05/07(金) 21:41:15 ID:N3a0OT12


                 _,..-‐::─:.─::─-:.、_
               ,.イ´: : : : : : : : : : : : : : : : `:ー-.、__
               /: : : ;: : : : : ; : : : : : : i:. : : : : : : : : :`ヽ、
              /: : : : :/: : : : :/: : : : : : : |: : : :.、: : : : ::ヘ ̄`
           /: : : : : j: : : : :/: : : : : : : : |、: : : :i: : :.、:: :∧
           j: : : : : : |: : :-‐|‐-::/:i : : : :|-‐‐-:l: : : :l: : : :ハ
            |: : : : : : l:: : : :/|:: :/|::|: : : :/ ∨:.:/: : : :j:: : : : :|
              |: :; : : : : :V: :/__|::/ j;ノ: : :/ ___j::/∨:: :/:.: : : : :|
          j;/|: : : ::|:: :∨テ弐オ´j:.;/ 〒弐テj:/::.: :/\::|
            |: ::("|: : :| {:k:ィ:;j ´     |:kィ:;j,'ハ::: : :/   `
               |: : ::`|: : :| `ー-"     、 `ー'" {:::|:;/  j^l
              ∨: :.:∨ :|              j:::l"  r' _ヘ、
             ヽ、::::∧:|ヽ、 ___/⌒)___,.ィ::::/   {__ヽ_,,〉
              ∨ ヽ::_,::-‐'´{' ̄ヽ〉ー-V∨   /::: ̄::}
                 r'ヽ、   |'ニニ}  / /::ヽ、,,ノ:::::::::::/
                  /:::\\   |゛ ̄| / /:::::::::::::::::::::::;/
                   {:::::::::::\\ |   | / /:::::/:::::::::::::/

長門有希
「さて、この前件肯定と条件法を組み合わせることで、
A→B , B→C ├ A→C の三段論法が導出できる」



━┓
┏┛    ⌒
・    .___ ⌒  ___   ━┓
   / ―\ / ―  \  ┏┛
 /ノ  (● X  (●)  \ヽ ・.
| (●)  /_  (⌒  (●) /.
|   (__/      ̄ヽ__) /
 \  /´    ___/
   \|        \
   /|´        |

美筆やる夫
「え? どうやるんですかお?」


257 : ◆GI8xWOz4Ko:2010/05/07(金) 21:41:48 ID:N3a0OT12


∨ //    | ∧/ /  /V l  ヘ   ヽ
.∨/    /  l  l_ //   | | .|   |ハ
 ∨   /   .|l L`≧  -七''"|   |ミl
  ∨ /     ll.ト〃゙ヽ. γ''ヽ.7_/  l」 .|
   ∨     l.|' ゝ=ィ  弋__ノ|├.イ|ハ´|
   ∨     | |""     ""| |  |l  | |
   ,.∨    .l .l|゙'ッ-、ー'ー',..,-| |  |  |ヘ
   'ー∨   / Ll/_ヘ_,.´ ‐' ´  | |  |  | ヘ
    ゙'Y  (´ |           | |  |   | ハ
      ∨ / `l ュ.__        | |  |  | |


朝倉涼子
「ちょっとやってみましょうか。まず」

A→B
B→C

は前提なので真です。

ここで、仮にAを真だとするとA→Bなので前件肯定によりBは真、

そしてB→Cなので同じように前件肯定によりCも真とできます。

Aを真だと仮定したとき、Cが必ず真になる、と演繹できましたので、
条件法によりA→Cと結論を演繹できます」



      / ̄ ̄ ̄\
    / -―、  ―-\
   / ィてフ> i iィてフ> \ 
   |    (__人__)    |   
   \      ^     /
   /             \

美筆やる夫
「……ええと」


258 : ◆GI8xWOz4Ko:2010/05/07(金) 21:42:16 ID:N3a0OT12


: : : : : : : : : : : :|: : ::|: : : :;|:.:. : : : : :/:: : : : : : : : : :ハ
: : : : : : : : : : :.:|ヽ: :|: : ::/|:: : : : : :/ヽ/: : :.: : : : : :|
: : : : : : : : : : : |:.: :\;:/ |: :: : : :/∠∨:.: : :|: : : ト、:|
: : : : : : : : : : ::|: :/'|::/\,|: :|: : /ィチヤ∧::.: :|: : : | `
: : :: ::|: : : : : : |:/zテ弐チ |:/|: :/'|f::j:} ハ::',:: :|:: : :j
: : :i::_|:: : : : : :|' {f´:::j:|  j:;/ V:;リ ハ:.: : :|: : :/
: : :{´ |: : : : : :| 、弋z::リ  ´   、 " {:: : : :l::/
: : :ヽ、|: : : : : |    ̄           }:: : :/´
: : : : :.:|: : : : ::|            ,.イ: : :/
\:.:|、:.∨: : : :|‐r- __ヘ_ ,.-‐<::::::|:: :/
  {`  ヽ、:.: :| \ゝ-‐'ノ    \:|::/

長門有希
「この過程は次のように表であらわすこともできる。

こちらのほうがわかりやすいかもしれない」



┌──────────────────────────────┐
│                                          ......│
│                                          ......│
│番号  命題     証明の説明                       ..│
│                                          ......│
│1   A→B     (前提なので真と仮定されている)          .....│
│2   B→C     (前提なので真と仮定されている)           .│
│3   | A      条件法開始。仮にAが真と仮説を立てると        │
│4   | B      1と前件肯定によりBも真となり             .....│
│5   | C      4、および、2と前件肯定によりCも真となる       .│
│6   A→C     3から5までの条件法証明から、A→Cと言える。  ....│
│                                          ......│
│                                          ......│
└──────────────────────────────┘

.


259 : ◆GI8xWOz4Ko:2010/05/07(金) 21:42:49 ID:N3a0OT12

                _______    /:|
            _,..-─'":: : : : : : : : : ̄`ー'´: :/
           /: : : : : ,:: : : : :: : : : : : : : : : : : ̄: ̄:゛ー-.、__
        /: : : : : .::/: : : : : ; : : : : : : : : : : : :、:: : : : :ヘ-一"
         /: : : : : .::/: : : : ::/: : :;|:: : : : : : : : : :ハ::. : :、: :`ヽ、
       j: : : : : .::/: : : : :;/:: : :/|::. : : : : :|::. : : :|:: : : :ヘ:: : :ハ
         |: : : : : :/: : : : .:/|::. :/ |::. : : :; :jヽ、::. :j::. : : : :|:: : : :l
       j: : : : : :j: : : ::ー/┼:/-、,|:: : :;/∨,-┼;/‐::.: : : :|:: : : :|
       |: : : : : :|: : ::/:/ヤ弐行j::;/ 〒弐テァ|:: : ;∧|: :ト、::|
        }:;/: : : ::j:;/:::;ハ |ト-':;j:|'"    |ト-'::j:|´j:;/::: : : :| `
      j:ノ|: : :|: :´::.: :/  、V::ィ:;リ     , V::ィ:;リ,'{::::::::::: : : :|
          |: : :|:.: : : :/ ,ィ'⌒ヽ"   r─┐ ̄" ∨:::: : : :/
          |: ::人: : ;/、(.rュ: ,,,ノ   {  ,{   ,.ィ:::::|:: : ;/
       j:/ ̄ ̄ ̄/,ト''´::ー--__ニニ-‐'"´_,|::;/|;/____,.-‐─ュ、_____
      /    ___/ /j::::/|:::;ィ::|i__/ }::::|'´ '"           /{{{´ ,rァ‐'"
     / ̄ ̄ ̄,/l// ,r‐'´ |:::|ヽ-/ |::::|      ,        { ゞゝ、_,,⊃
      l` ̄ ̄ ̄",//} ̄" , |:::|/´`^^^'ヽ、    /          |-‐';/
      lニ二二二"ィ´} |::.  l  j:/,,/~`´~},,j,,ノ;〉   {         | /
      / ゞ彡",ノ' :::   |  /_,ハ> < },,/,>  λ、_,,      !/
      / _,.-‐'´       l くヽ、ゝヽフ /,イ     } `\    ,,/
       {      ,     iノ;イヽ`ー‐´ノ;ノ/l      |    `ー-'´
      `ヽ、__,ノ´ ̄`ー-‐{~ { `゛   ~,,/:::|      |
                  } /ヾ_,ィヽr'´,}:::}       |

長門有希
「なお、命題の左に|があるのは、仮説を元に演繹中であることを示す」



           ____
         /      \
        / \    / \
      /  fてハ`  ィて刀 ::\
      |      (__人__) :::::::::::|
      \      `^´  :::::::/
      /     ー‐    \

美筆やる夫
「おー、文章で説明するよりわかりやすいですお。

……まだしも」


260 : ◆GI8xWOz4Ko:2010/05/07(金) 21:43:35 ID:N3a0OT12


3.5 ¬(否定)を用いる基本パターン

.


261 : ◆GI8xWOz4Ko:2010/05/07(金) 21:43:51 ID:N3a0OT12


                 _,..-‐::─:.─::─-:.、_
               ,.イ´: : : : : : : : : : : : : : : : `:ー-.、__
               /: : : ;: : : : : ; : : : : : : i:. : : : : : : : : :`ヽ、
              /: : : : :/: : : : :/: : : : : : : |: : : :.、: : : : ::ヘ ̄`
           /: : : : : j: : : : :/: : : : : : : : |、: : : :i: : :.、:: :∧
           j: : : : : : |: : :-‐|‐-::/:i : : : :|-‐‐-:l: : : :l: : : :ハ
            |: : : : : : l:: : : :/|:: :/|::|: : : :/ ∨:.:/: : : :j:: : : : :|
              |: :; : : : : :V: :/__|::/ j;ノ: : :/ ___j::/∨:: :/:.: : : : :|
          j;/|: : : ::|:: :∨テ弐オ´j:.;/ 〒弐テj:/::.: :/\::|
            |: ::("|: : :| {:k:ィ:;j ´     |:kィ:;j,'ハ::: : :/   `
               |: : ::`|: : :| `ー-"     、 `ー'" {:::|:;/  j^l
              ∨: :.:∨ :|              j:::l"  r' _ヘ、
             ヽ、::::∧:|ヽ、 ___/⌒)___,.ィ::::/   {__ヽ_,,〉
              ∨ ヽ::_,::-‐'´{' ̄ヽ〉ー-V∨   /::: ̄::}
                 r'ヽ、   |'ニニ}  / /::ヽ、,,ノ:::::::::::/
                  /:::\\   |゛ ̄| / /:::::::::::::::::::::::;/
                   {:::::::::::\\ |   | / /:::::/:::::::::::::/

長門有希
「では基本パターンのトリ。否定をやろう」


262 : ◆GI8xWOz4Ko:2010/05/07(金) 21:44:34 ID:N3a0OT12


)前提に用いるパターン



┌───────────────┐
│                     ...│
│¬¬P から P を演繹してよい     │
│                     ...│
└───────────────┘



     ____       ヽ v /
   /─  ─\     -(m)-
  /( ●)  (●)\.       ≡
/   (__人__)   \
|              |
/     ∩ノ ⊃  /
(  \ / _ノ |  |
.\ “  /__|  |
  \ /___ /

美筆やる夫
「ああ、二重否定ですお」



           ,.. --- ..
       ,..-.:. ̄.:..:..:.. : : : : `丶、
      /:..:..:. ..: : : : : : : : : : : : :\
    /:ヘ=、、:._: : : : __:ヽ:_: -^,.ト、
   ノ:..:..:./:..  ̄: :7´:―― : :|‐: :´、: ヽヽ
  ー-/:..:.i:../:. : : ,/:..:.:イ:.ハ:.. : j:.. :}:.、ヽ:. トヽ
    !:..:..:|:.{/:..ィ_jz≦ノ ' }:./_}_イ:. } |:.|||
    Vl:.:.|:. Vl´「_ 、` ノ′ _ノ:ソ:イ: リ ノ
.      }:ハ: : l f7「::`ハ   /:::7}7イ:/}/
     ノヘーl、: :!VZツ     ヒ:ノ/:.//
        `ィヘ:ト、 _   _   ノ:イ/
      rく、\` ヽ二コ:千:|K、′
      |:..:ヽヽ\: :Yニ|: :!:/j!:.l
      ト:..:..:.\ヽ\!r|┴=ミ!r ァ7
     |!::.:..:.ヽ\ヽ|!    /7 /
      j::.l::..:..:.⌒ーァ⌒}   / / /^}
      |::.:.\::..::.::.::>ー'―-L∠_¨´
      l::.::.:..:. ̄ ̄ト 、, --、―弋i
       ヽ::.:..:..:.::..∧/    ヽ  i _ .. -―

長門有希
「そう。前にやったのでいいだろう。

問題は次。前の条件法の逆を行く、背理法」


263 : ◆GI8xWOz4Ko:2010/05/07(金) 21:45:26 ID:N3a0OT12


)結論に用いるパターン


┌─────────────────────────────────┐
│                                                │
│ある仮説Aをたて、そこから矛盾式を演繹できたとき、¬Aを演繹してよい   ....│
│                                                │
└─────────────────────────────────┘



                  _______
            ,.:-::‐':´:: :: :: :: :: :: :: :: ̄::`:ー::-:.、_
           /:: :: : ;':: :: :: :: :: :: :: :: ::、:: :: :: :: :: :: `ヽ、
          /:: :: :: ::/:: :: :: :;':: :: :: :: :: :: ヽ:: :: : 、:: :: :: ::.\
        /:: :: :: :: ::/:: :: :: : |:: :: ::|:: :: :: :: :|、:: :: :|:: :: :、:: :、::\
          l:: : :: :: :: :l:: :: ::l:: ::|:: :: ::|:: :: :: :: :| ∨: :|:: :: : l: :∧、:::\
.        |:: :: :: :: :: |:: :: ::l\l:: :: ::|:: :: :: :: :| |: ;/:: :: :|::: ::ハ  ̄`
       |:: :: :: :|:: ::|:: :: ::|:.:/\;:/|:: :: :: : :|、/::|l:: :: : :|:: :: ::|
        |:: :: :: ::|:..::|:: :: /j/_|:::/_ |:: :: :/|/_|::/_∨:: ::|:: :: ::|
         |:: :: :: :::|:: :|: :/:lマ云弐 |:: ::/ ,オ弐Zア∧::../:: :: ::|
      ,ノ:;/: ::/`|:: :∨:::|l |_)::t;:| |:/  ´|_):t;:| ハ:∨::: :: : |     i
        ̄|:: ::l  |:: :: :: ::|、弋:z:リ       V:z:リ,' ハ::: :: :: ::|::|   _人_
        |/|::ゝ、|:: :: :: ::| ゛-‐      ‐-" l:: :: :: |::/j/   `Y´
         ∨: ::∨:: :: ::|、"           ゛,':: :: ::/l/        !
         ∨:::|∨:: :: :|::>-::.._ rっ _ ,.イ:: :: ::/
          ヽ:|`\:: ::|::/ 〈::ノ  ̄´lュ\:::/|:: :/
                  ヽ:l´   ヘ-─‐-|  \|::/
                /:\\   \  |  ./∧
                 /::::::::::\\   \,|  //::::ハ

長門有希
「命題論理では、命題は真か偽かのどちらか。
そのため、ある命題Aがどのような場合も偽となるのであれば(矛盾式)、
¬Aは必ず真となる」


264 : ◆GI8xWOz4Ko:2010/05/07(金) 21:45:51 ID:N3a0OT12


         ___
       /      \
      /  ─   ─ \
    /    (●) (●) \
    .|      (__人__)   |    __
     \     ` ⌒/ ̄ ̄⌒/⌒   /
    (⌒      /     /     /
    i\  \ ,(つ     /   ⊂)
    |  \   y(つ__./,__⊆)
    |   ヽ_ノ    |

美筆やる夫
「……あー、はいはい。たしかにそうですお。

真か偽かのどちらかしかない、という条件があればこそですお」



                _______    /:|
            _,..-─'":: : : : : : : : : ̄`ー'´: :/
           /: : : : : ,:: : : : :: : : : : : : : : : : : ̄: ̄:゛ー-.、__
        /: : : : : .::/: : : : : ; : : : : : : : : : : : :、:: : : : :ヘ-一"
         /: : : : : .::/: : : : ::/: : :;|:: : : : : : : : : :ハ::. : :、: :`ヽ、
       j: : : : : .::/: : : : :;/:: : :/|::. : : : : :|::. : : :|:: : : :ヘ:: : :ハ
         |: : : : : :/: : : : .:/|::. :/ |::. : : :; :jヽ、::. :j::. : : : :|:: : : :l
       j: : : : : :j: : : ::ー/┼:/-、,|:: : :;/∨,-┼;/‐::.: : : :|:: : : :|
       |: : : : : :|: : ::/:/ヤ弐行j::;/ 〒弐テァ|:: : ;∧|: :ト、::|
        }:;/: : : ::j:;/:::;ハ |ト-':;j:|'"    |ト-'::j:|´j:;/::: : : :| `
      j:ノ|: : :|: :´::.: :/  、V::ィ:;リ     , V::ィ:;リ,'{::::::::::: : : :|
          |: : :|:.: : : :/ ,ィ'⌒ヽ"   r─┐ ̄" ∨:::: : : :/
          |: ::人: : ;/、(.rュ: ,,,ノ   {  ,{   ,.ィ:::::|:: : ;/
       j:/ ̄ ̄ ̄/,ト''´::ー--__ニニ-‐'"´_,|::;/|;/____,.-‐─ュ、_____
      /    ___/ /j::::/|:::;ィ::|i__/ }::::|'´ '"           /{{{´ ,rァ‐'"
     / ̄ ̄ ̄,/l// ,r‐'´ |:::|ヽ-/ |::::|      ,        { ゞゝ、_,,⊃
      l` ̄ ̄ ̄",//} ̄" , |:::|/´`^^^'ヽ、    /          |-‐';/
      lニ二二二"ィ´} |::.  l  j:/,,/~`´~},,j,,ノ;〉   {         | /
      / ゞ彡",ノ' :::   |  /_,ハ> < },,/,>  λ、_,,      !/
      / _,.-‐'´       l くヽ、ゝヽフ /,イ     } `\    ,,/
       {      ,     iノ;イヽ`ー‐´ノ;ノ/l      |    `ー-'´
      `ヽ、__,ノ´ ̄`ー-‐{~ { `゛   ~,,/:::|      |
                  } /ヾ_,ィヽr'´,}:::}       |

長門有希
「では例を見てみよう」


265 : ◆GI8xWOz4Ko:2010/05/07(金) 21:46:35 ID:N3a0OT12


┌────────────────────────────────────────────┐
│                                                                │
│~ 例 ~                                                           .│
│                                                                │
│                                                                │
│本校では、もしも同じクラスで10人以上が休んだならば学級閉鎖となるルールだ。               │
│また今日はどこも学級閉鎖となっていない。                                      .│
│                                                                │
│よって今日は同じクラスで10人以上が休んだクラスはないと言える。                     ......│
│                                                                │
│なぜなら、もし仮に今日同じクラスで10人以上が休んでいるとすると、学級閉鎖となるはずであるが、   .│
│これは今日どこも学級閉鎖となっていない状況と矛盾するからだ。                         .│
│                                                                │
└────────────────────────────────────────────┘



           __
       / ̄.:.:.:.:、,,,、.: ̄.:.:‐、
      /.:.:.:.:.:.:.:.:.:/   ヽ.:.:.:.:.:.:>
     /.:.:/.:.:/''∨''   ''ヽ.:.:.:.:ゝ
     i.:.:_.:.:.:.:l ●   ●ヽ、.:l
    ノ;:;:∪ !         ヽl
   ノ;:;:;:;:/.:.:L __     __ ノl
   /;:;:;:;:/.:.:.:/   / ̄ >.:.:.:.:.:.:.:.:l
  /;:;:;:;:;:/.:.:/ 、  '  / l.:.:.:.:.:.:.:l
 ヽ;:;:;:;:;:l.:.:/   \/ l l.:.:.:.:.:.:.:l
  ∨  フ\     入ノ 、.:.:ノ
     く.:/.:.:/`┬┌´ l
     / >.:.:、/_l.:.:.:ノ
     ( ノ   l /

朝倉涼子
「文章としておかしくならないように
証明手順と段落の順序とを入れ替えていますが、

一番最後の『なぜなら~矛盾するからだ』までが背理法です」


266 : ◆GI8xWOz4Ko:2010/05/07(金) 21:47:01 ID:N3a0OT12


            ._,,,、-:------、,,,、
         ,,/″:::::::::::::;;;;;;;;;;;;;;;;;;`'''-、
       ,/   ,,;;;;;;;.,,r´'"゚“゙“゙'''' ,_;;;;\
      ,r″;;;;;, ⌒::::::::::┐:::::::::::::::::::: \::::::゙':、
     ,/  ;.;;,./゙;;., |;;;;;;,;;;;;;|::::::::::::::::::::::::::::::ヽ;;;;;`、
    / ,,::,,,/ ;,,lll゙`    `'W'li,,,,::::::::::::::::::::ミ;;;::::::、
   /,,:::::::::::||  lll゙        |;;;;;;;;;;;;;::::::::::|::::::::: ヽ
   ,l゙,:::::::::::::lll  ll      ━━l;;;;;;;;;;;;;;;;;;;;| :::::::::::::|
  .l゙,i;;;;;;;;;;;;;l゙l;;;;;;|━      /   l:::::::::.゙l::::::::::::::::|
 ,.、"゙゙゙゙'゙゙゙゙llll, _      ∠    |;::::::::::::|;;::::.,,;;;;;;|
 '、 \、 |::::l   ̄>      ¨ ̄   l;;:::::::::::::;||:::::::::::,,- 、
  \  ` |::::「 /´ __,,---ー¬   |.::::::::::;;;;|::::::/  i
   \ .|;:::l     l::::::::::::::::::::::::|    |;;;::;;;::::::l/   /
     `|;:::l,     l::::::::::::::::::::::|    │;::::::::::|   ,,/:::::|
     . l゙,:::::\_   │:::::::::::::::::ノ _、-‐゙}:::::::::::l'\/:::::::::::゙l、
     ,!,::::::::::::|  ̄'‐`r‐ーー‐'フア  |:::;;;;;;;;|  /i:::::::;;;;::::::゙l
     l;:::::::::::::l    /`'マ/='/゙‐'゜   l´::::;;;ノ  /:::::::::::::,;::::::::゙l、
    .|;:::::::;;;;;;!  /           ¨¨'   ノ:::::::::::::::::::,;;::::::::ヽ
    .!'゙~°  /            .,,-‐':''''゙゙゙゙゙゙゙゙゙゙゙゙ー― 、:::::::::::l, ._,.-:'

朝倉涼子
「実際に使う場合は、真か偽かのどちらかしかないという条件が
必要になることに注意してくださいね」


267 : ◆GI8xWOz4Ko:2010/05/07(金) 21:48:17 ID:N3a0OT12


      / /   /   /  / /  /!   /  l   !  l  、 丶    丶 ヽ
   _∠‐ 7  /   /  / /  / l  /!  ハ  l  ハ l  l   丶ヽ\!
     /   /!   '  / /  / l / l  ハ  / /  l l、 l    〉、l ′
      /   / l    ′/ /‐‐/- .l / l /  l / /-‐-l Lヽ !   ハl
.    / _ / /l   ' /l/l /  l/  l /   ! /   |ハ Y !  | ′
   // / / !  l / リ l /___    ′   ´   __」/_ l l l  ヘ
    '   /イ  ',  l'   fr"チ卞ミヽ        ,rチ千卞>y j ! 、 _\
     // !  ハ  ヘ  l.バrj::::.::ト         lr,:::::.::j /,/  l 、\ `
_     /´ l / Y^、 ', ハ ゙ぃ_シ        ヒ_.ソ /}  lヽl\. \
        !/  ト ヘ ',  ハ        ,        /イヘ. ! `  \. ヽ
        ′ l/ヽ_ヘ. ',  ヘ               / /  ', l      \ヽ
            ' ,´ }、ヽヽ丶       rヽ      イV    ',l        ``
           l   い,、\ヽ> _       , イ、/     '!
          l  l ′\Nヽヽ`コ ー-‐ ' ´ {`>'-――‐ ¬ 丁卞ー-、
          l  j  __ヽ‐'´_rノ       Y        | | |   \
         _ _」、 ヽ´      /´  ___   |        | | |     `丶‐- 、
      ,r‐-'´`´  ;  ゙!      |  /   `‐-l         | | |    /     \
     j  、  i´    V _, -‐亠、´ / ̄`‐-|         l l l    l
     rr'   ヽ  ヽ   ´  _, イ ´ / ̄丶 」         l l l    l
    ハ  '、 ヽ、_冫  _ イ´  l_/       |         / / /      l     \
    /ハ、_ハー‐'ニ‐--‐'´ /     l        |        / / /      l       ヽ
   // 厂  `ー-- ´ l     l       l       / / /       l!      ヽ

長門有希
「なおこの例は論理記号で次のようにあらわせる」



┌──────────┐
│              ..│
│A→B , ¬B ├ ¬A   │
│              ..│
└──────────┘

.


268 : ◆GI8xWOz4Ko:2010/05/07(金) 21:49:20 ID:N3a0OT12


         _, -ー,=、ッ-、、.-‐、
       //´ ̄´  `  `   ヽ
      / /     ;ヘハ  l   ハ
     /  /    l |   | _l_ |   |
     /_,..┤   zビ''|   ´リ `l  リ
     { _ | | _,.l ''ー'   ___ l`r{
     ト、 ミ T´ | ===   ` ̄´|´ハ _
    ,' r-,、{ |  | xxx     xxx|l'`∨
   ,'/∨ `|  |、   ー'ー' _,. ィ'| _|
   /  ヽ、| | `ヽ' ニ '´ |  l.|,イ
 //  ヽハ  |   ,    |  | |
/ /__   l ヘ リ  /_ ┼┐ }-、', |
'´  ` -'/ ,人'   ム /、/  ト、ヽ.|
      ` Y ヽ、      ,.┤

朝倉涼子
「ちなみにこれは後件否定と言われる派生パターンです。

後でやりますのでお楽しみに」



                  _______
            ,.:-::‐':´:: :: :: :: :: :: :: :: ̄::`:ー::-:.、_
           /:: :: : ;':: :: :: :: :: :: :: :: ::、:: :: :: :: :: :: `ヽ、
          /:: :: :: ::/:: :: :: :;':: :: :: :: :: :: ヽ:: :: : 、:: :: :: ::.\
        /:: :: :: :: ::/:: :: :: : |:: :: ::|:: :: :: :: :|、:: :: :|:: :: :、:: :、::\
          l:: : :: :: :: :l:: :: ::l:: ::|:: :: ::|:: :: :: :: :| ∨: :|:: :: : l: :∧、:::\
.        |:: :: :: :: :: |:: :: ::l\l:: :: ::|:: :: :: :: :| |: ;/:: :: :|::: ::ハ  ̄`
       |:: :: :: :|:: ::|:: :: ::|:.:/\;:/|:: :: :: : :|、/::|l:: :: : :|:: :: ::|
        |:: :: :: ::|:..::|:: :: /j/_|:::/_ |:: :: :/|/_|::/_∨:: ::|:: :: ::|
         |:: :: :: :::|:: :|: :/:lマ云弐 |:: ::/ ,オ弐Zア∧::../:: :: ::|
      ,ノ:;/: ::/`|:: :∨:::|l |_)::t;:| |:/  ´|_):t;:| ハ:∨::: :: : |     i
        ̄|:: ::l  |:: :: :: ::|、弋:z:リ       V:z:リ,' ハ::: :: :: ::|::|   _人_
        |/|::ゝ、|:: :: :: ::| ゛-‐      ‐-" l:: :: :: |::/j/   `Y´
         ∨: ::∨:: :: ::|、"           ゛,':: :: ::/l/        !
         ∨:::|∨:: :: :|::>-::.._ rっ _ ,.イ:: :: ::/
          ヽ:|`\:: ::|::/ 〈::ノ  ̄´lュ\:::/|:: :/
                  ヽ:l´   ヘ-─‐-|  \|::/
                /:\\   \  |  ./∧
                 /::::::::::\\   \,|  //::::ハ

長門有希
「以上で推論における演繹の基本10パターン終わり」


269 : ◆GI8xWOz4Ko:2010/05/07(金) 21:49:55 ID:N3a0OT12



                       ;;;;;;;;_;;;;;_;;;;;;_;;;;;;;;;;;
                     .::::/      \;;;;;;;;;;;;;;
                    ::;;;;;./          ゙ヾ;;;;;;;;;;;;;;
                   ::::/  ─    ─    \;;;;;;;;;;;;;;;;
                   ::;;;.i   (─)  (─)     };;;;,,,,,;;;;;;;;;;
                   ::;;;;::...   (__人__)   /;;;;;::;;;;;
                   ;;;:,チ''゛''::'' `⌒ ´'::''''' ゙゙Y;;;;:;;;;;
                 ::;;;;y'´    , `::::::::'     `{;;;;;::;;;;;
                 ::;;;.(,    ″        '(;;;::;;;;;
                  ;;;;;:`,ll'-、 \     ll  |:::;;;;;;;;;;;;;;;
                   ::::|   ゙;,_ ,:      ゙、 i;;;;,,,,,;;;;;;;;;;;;;;;
                   :::::i   ::::           .'-、;;;;;;;;;;;;;;;;;;;;;;;;;

美筆やる夫
「なかなか濃い内容でしたお……」


.


270 : ◆GI8xWOz4Ko:2010/05/07(金) 21:50:24 ID:N3a0OT12


                     ー―=≠   : : : : : : : : :\ ', : : : :/_z
                           , : ´    : : : : : _ : :::::i <-: :`丶、
                     /:     , '  /  /  ', ' ,  \ \
                    /::::::::/: : /            i   ',       ヽ
                    //:::::::, '::: :., ': : : : : : : : : :/: : : :.i : : : :       ヽ
                    /イ:::::::::/ : :, ': : : : : : : : : : /: : : : : !: : : : : : : : : : : : : : :
                  ー '   /::::::::/::,.'/ : : : : : ;.イ://: : : : /|: : : : : : : : : : : : : : :
                  /::::::::,': /::{{: : : : / 〃 .i: : : ,'/  ヽ: : : : : : : :: : : : : :
                   /::::::::::{:/:::::il:-―/―{{- 、l|: : /{{ ,、 -\-ヽ__: : :.i:::::::::::::
                   ,' '::::::::/: : : il: / {   ヽ  |:.:/ `   __ `丶V: :.:l:::::::::::|::
                    {  ヽ::,'::: : : λ:i ,xィ==ミ. |/    彡==x |: : ,':::::::',:/!:
                     {: : : :小ヽ《.{:::::::::::::}` {      'ん:::::::::} 》!: /:: : :::::\
                       \: : :{::ヘ.  O辷:リ       .O辷::ソ '/, ':::::: ',::ト、::
                       |ヽ::ヽ:ヘ  ¨¨´   ,     `ー‐' ./|::::::::::: 'リ .}ヽ
                        ∧|:: ̄/|〉            /i_,.ィ:::::: : :.|
                   ,.イ:.八::::ハ{ ヘ.     ‘’       イ/ .リ::::::::ノi/
                     ,.イ/|:. :. :\:. :. :. >       , イ ///'" j
                   _{:. !/ハ:. :. :. :. :. :. :. :∧ `丶 </ V:.:.:.:/イ,| |::}
                 /:::::∧ヽ//\:. :. :. :. :. :. ∧   /   }:. :. :. ///:/
                   /::::::::::∧:. \//\:. :. :. :. :.∧、__   / .{:. :. :.////
              /::::::::::/:::::\:. :.\//\:. :. :. :∧、 ` ' λ:. :.///'
                /::::::::::/::::::::::::::`丶、`丶/ヽ:. :. :.∧\  {/}:. ///{
.         ==、_i::::::::::/:::::::::::::::::::::::::::::\:.ヽハ: :. :∧\ ̄:./:.///:/
             |:::::::::i:::::::::::::::::::::::::::::::::::ハ:.\ハ:. :.:∧\¨/:.///:/

長門有希
「だがその甲斐はある。

これらの基本パターンは、基本的パターンから導出した派生したものも含めれば
たいていの演繹を説明できるほど応用範囲が広いもの」



./ |   |. |    ヤ.|     |/   |   |
|  .| .ヽ. | |    Ⅵ   / |    .|   |
|  |  ヽl |     ヘ,イ、ー.、-、 _  .|l  ./
|  .|,..../ ハト   "/|,_ノ_::::ハ ヾ゙T l、/ ヽ
`'7 ̄ヘ{ |"r、ハ     .|:::f. .ハ:::::l リ.|
./   ベ ヤl:ハ:l    ヤ弋_ノ o:l  |
|    |ヘ. マz'リ     ゝ=ニ::::ソ   ∨
|    ヘ l `´  ,..-‐-、      ∨
\   ヘl.   l´     ヽ     ,ィ゙ヽ
  \  、-ゝ、.__ \     ),、--'"-、| \
   <´ ̄   | ̄|、 ̄ ̄´ノ >  .ヽ  \
   `l >-、  .|  |   ̄ <´      ヘ
    ∨ > |   ̄ 。 ̄  >     ヘ
     <   |   ゚γ'ヽ゚ ,>'"    ヘ

朝倉涼子
「が、そうは言っても現実によく用いられるのは派生した形が多いのも確かです。

実用のためには、それらの派生パターンも覚えておくことが望まれます」


271 : ◆GI8xWOz4Ko:2010/05/07(金) 21:51:13 ID:N3a0OT12



      ____
    /_ノ   ヽ_\
   /( ●) ( ●)\
 / ::::::⌒(__人__)⌒::::\
 |        ̄      |
 \               /

美筆やる夫
「ということは、そのよくある派生パターンを……」




        l´  |  |   |      ___..___   _l´  | |.  |
        |  |  | __⊥-‐" ̄: : : : : : : : ̄`ヽ|   |.、|.  |
       ┼=ニ二´;: : : : : : : : : : : : : : : : : : : : |   |: :|  |
        |,.イ´: : : : : : : : : : : : : : : : : : : : : : : :|   |`|  |、
       /: : : : ::/: : : : : : |: : : : : : : ::|: : : : : : ;|.  |. |  |:ヘ、
     /:.::/: : : :/ : : : : : : :|: : : : : : : : |: : :: |: ::|:|  | |  |: :トゝ
     |::/|: : : :/: : : : i: : :/|: : : : : :λ::|: : : :|: :|::|  |.|  |:: :|
      |/ l: : : :|: : : : ::|: :/ |: :i:: : : :| |::jヽ、:::|_:|:::|  ト、 .|: : :|
        |: : :.:|: : : : ::|:/‐-、|:/|: : : :j_j;/-‐∨、|:::j`    ヽ::.:|
       |: : :.:|: : : : ::/〒云オ ∨::/〒云弐ア|: :|   ┃┃l、:|
      ヽ:i:.:ヽ、: : :ハ lト::t:j:|  ∨ |ト::t::j:;j,'|: ::|     x | `
      __人__:::ヽ、:|::} `ー‐'  ,    `ー‐'" |: :::{____,,ノ
       `Y´ヽ::|::|::::j xxx       xxx |: : :/:.: :/j/
        !  `ト:|:::ヽ、 _____rっ__,,.ィ|:: :/ヽ;/
           ヽ|:::::::::/リ |:::,、:;ィヽ  `ア`|:;/ヽ、
               ∨::/  V / {____/  '"_   \
             ∨   / ,{ |ニニ/ ,イ´二二ヽ〉
                 {:| | | ///_,r-─-.、j
                  |::ヽ.゛|/´/,イ´::::::::::::::::::}

長門有希
「もちろんやる。というわけでさっそく見ていこう」


272 : ◆GI8xWOz4Ko:2010/05/07(金) 21:51:35 ID:N3a0OT12



◆◇◆◇◆◇ 4.推論のパターン(派生) ◇◆◇◆◇◆


.


273 : ◆GI8xWOz4Ko:2010/05/07(金) 21:51:55 ID:N3a0OT12


4.1 後件否定

.


274 : ◆GI8xWOz4Ko:2010/05/07(金) 21:52:45 ID:N3a0OT12


         _ .. --==ニ¨ `ヽ- ―- 、
       .._ニ-‐ァ―――-   :.‐'´   ..  \
     /´  /:ィ/:_. - ´  .:/  ヽ:  \:.. {:. ヽ
    { \/∠ -'_二  :// .:/ ヽ:  lヽ:.  ヽ:.\:|
      /´ フ´  .:// / :/  | }  |:. ト:.  l:.  \_
     / / .:ィ :/ /ノ :/ | / { :|:. ∧ :!|:.  l:. `ヽ ̄´
      //i :/ /  ィ /{ .:!:ハォ:7 丁「「:. }:. | l ! トヽ
        /  | ..:!/イ7´丁ミヽト{ /'ァz=≠トv .ト: | | |
        | /| ../|{ fr筰ミト  ´ ´ヤぅ刈イ:  ト.}: :|!|
        ∧! !:/ 小.`辷:リ     `フ7′/.:レ } ハ
          /{イ:/ハ    '_  /´/:.   /l: /′
         / ´ |l j .:.\   ‘ニ’  /: ,.. ノ}//
        ハ ̄ ̄ ̄`ヽl>ュ.. _ イ:イイムハ{ _ノ{_
       ノ ̄ ̄ ̄  ‐- 、 ヽ/}  |/_j_.ゝ┴‐´三弐
     ≦三三三-_ _  \ト/´__.. -==―――`i、
      l!        ̄`ヽzzzzf´ ̄         lト}
     rヘ          |  _ |           l| {
     ノ、__i!        fヽ ! | ハ           |ハ
      { __,、!        _| {| ! |     __     |  !
     ヽ ノ{_l!      }ハ、 ヽハ. ヽ  /´'/     lト.、|
      ト、 _,l!___ {. l\ ` ー  \j  {    __j-:、:\
      レ|   {ト:ヽヽ:`ヽ._ ̄`        |-‐ニ-――-、::ヽ|
     _ 上L._  ヽ\\ヽ:ト.二、      {´_: -‐  ̄ `ト、:ヽ{

長門有希
「まずは先ほど少し触れた後件否定」



┌──────────┐
│              ..│
│◆後件否定       .│
│              ..│
│A→B , ¬B ├ ¬A   │
│              ..│
└──────────┘

.


275 : ◆GI8xWOz4Ko:2010/05/07(金) 21:53:08 ID:N3a0OT12


         l⌒l      l⌒ l       | ヽ
     l\    l  l      |   |      |  l
    l ヽ.  l  l       l  .l     .l  l
    l   ヽ  l  l     __」  .l      l  l
    ヽ  l  l _.」- ´ニニ l   l`ヽ、.  l  l
      ヽ  l/;:;:;:;:;:;:;:;:;:;:;:ヽ;:;:l   llヽ;:;:;:;;l  l
      y.':;:;_;:;:;:;:;:;:;:;:;:;:;:l;:;:|;:;:;l   l ヽ;:;:l  l
     /;:;:/,;:;:;:;:;:;/;:;:;:;:;l;:;:l;:;:;:;l   l ヽ;:l  l
     ///;:;/;:;:∧;:l;:l;:;:;:;:;l;:;:lヽ;:;:ヽ  l  |  ノ\
      /;:;:l;:;:;/ l;:;l l;:;:;:;:∧;:l l;:;:;ヽ    く┌-ゝ
     /;:;:/l;:;:l ∨ ヽ:;/ リ  l;:;:l:;,ゝ    ヽ
      / l:;:;l ┯┯i ソ ┯┯、∨;l  ・  ・ l
      l l;:;l l;:;:少    l;:;:;少 ll      l
      \.l;:;l 弋:::ソ    弋:::::ソ l;\____ノ
        l;:;l             l;:;| \l
           l;::` - ___,   .イ l;:;ト、
         ∨   /l l   / /: |/ : :ヽ

長門有希
「Aならば、Bに必ずなるのだから、
Bでない以上Aではないに決まっている、というもの」


┌─────────────────────────┐
│                                   .....│
│~ 例 ~                              ....│
│                                   .....│
│                                   .....│
│もしやらない夫が童貞ならばデートではキョドるはずだ。    │
│                                   .....│
│だがやらない夫はキョドっていない。             ......│
│                                   .....│
│やらない夫は童貞ではないのだろう。             ...│
│                                   .....│
└─────────────────────────┘

.


276 : ◆GI8xWOz4Ko:2010/05/07(金) 21:53:33 ID:N3a0OT12


       ____
     /⌒  ⌒\
   /( ―)  (―)\
  /::::::⌒(__人__)⌒:::::\
  |             |
  \              /

美筆やる夫
「あ、これ対偶使って話すときのパターンですお」



        l´  |  |   |      ___..___   _l´  | |.  |
        |  |  | __⊥-‐" ̄: : : : : : : : ̄`ヽ|   |.、|.  |
       ┼=ニ二´;: : : : : : : : : : : : : : : : : : : : |   |: :|  |
        |,.イ´: : : : : : : : : : : : : : : : : : : : : : : :|   |`|  |、
       /: : : : ::/: : : : : : |: : : : : : : ::|: : : : : : ;|.  |. |  |:ヘ、
     /:.::/: : : :/ : : : : : : :|: : : : : : : : |: : :: |: ::|:|  | |  |: :トゝ
     |::/|: : : :/: : : : i: : :/|: : : : : :λ::|: : : :|: :|::|  |.|  |:: :|
      |/ l: : : :|: : : : ::|: :/ |: :i:: : : :| |::jヽ、:::|_:|:::|  ト、 .|: : :|
        |: : :.:|: : : : ::|:/‐-、|:/|: : : :j_j;/-‐∨、|:::j`    ヽ::.:|
       |: : :.:|: : : : ::/〒云オ ∨::/〒云弐ア|: :|   ┃┃l、:|
      ヽ:i:.:ヽ、: : :ハ lト::t:j:|  ∨ |ト::t::j:;j,'|: ::|     x | `
      __人__:::ヽ、:|::} `ー‐'  ,    `ー‐'" |: :::{____,,ノ
       `Y´ヽ::|::|::::j xxx       xxx |: : :/:.: :/j/
        !  `ト:|:::ヽ、 _____rっ__,,.ィ|:: :/ヽ;/
           ヽ|:::::::::/リ |:::,、:;ィヽ  `ア`|:;/ヽ、
               ∨::/  V / {____/  '"_   \
             ∨   / ,{ |ニニ/ ,イ´二二ヽ〉
                 {:| | | ///_,r-─-.、j
                  |::ヽ.゛|/´/,イ´::::::::::::::::::}

長門有希
「その通り。

後件否定という用語は知らずとも、
すでにこの推論のパターンを使っている人も多いはず」


277 : ◆GI8xWOz4Ko:2010/05/07(金) 21:54:06 ID:N3a0OT12


   /´       `ヽ、
  レ         ハヽ ヘ
  /,.ィ┬'Tオ¬Tl‐-,じ_ ヾヘ
  Y | |T´_リ 「゙'ト-リ | `k'ノ
.  |LY'=== , === }r、' ノ |
  | ,l       /,レ'ヘ| |
  | ゝ、.__⊂つ_,.ソ   l.| |
  |l | オ'Lニ-| |  /l l |
  |l レ/ |  ̄´ | /|_ノ .| |
  |´/ |___|' l    | |
  | ト ,ィ'¬¬¬T. |   | |
  / `|_|      |l ハ |_| |
/  | |_     _|r' "´ レ'
   ノ ヾT'''''''ヾ |

朝倉涼子
「これと似ていますが、実際には演繹には使えないパターンに、
前件否定と後件肯定があります」



┌───────────────────────────────────────┐
│                                                         .│
│~ 前件否定を使った失敗例 ~                                      │
│                                                         .│
│                                                         .│
│ポチは犬だ。だがあそこを歩いているチョビはポチではない。よってチョビは犬ではない。  .....│
│(*実際にはチョビはシベリアンハスキーで、犬)                          ......│
│                                                         .│
└───────────────────────────────────────┘


┌───────────────────────────────────┐
│                                                    │
│~ 後件肯定を使った失敗例 ~                              ......│
│                                                    │
│                                                    │
│ポチは犬だ。あそこを歩いているのは犬だ。よってあの犬はポチに違いない。    .│
│(*実際にはチョビ)                                       .│
│                                                    │
└───────────────────────────────────┘

.


278 : ◆GI8xWOz4Ko:2010/05/07(金) 21:54:52 ID:N3a0OT12


          ____
        /_ノ  ヽ\
      / ( ●) (●)、
    /::::::::⌒(__人__)⌒\
    |      |r┬-|    |
    \       `ー'´  /
⊂⌒ヽ 〉        <´/⌒つ
  \ ヽ  /         ヽ /
   \_,,ノ      |、_ノ

美筆やる夫
「うっわ無茶苦茶だお」



        ,.-,=ニ_´,.-'´`ヽ,-'ヽ、_,..、
     ,-´/   `           ヽ
    / /     /   ,、  ,、 l    ヽ
   /  /  /  /   / `´ l  l   ハ
  l   /   |  |   |_,    リ  |    |
  |__/   |   | '''''''T´   `メ、_ |    |
  〈、、 リ   └r‐'──'    '└-ハ__  _|
  〈 `ヾT¬' | ======    ==== | _ニ,」
  |`ヽ l´|   |           |´l |
.  |  ∧.|   |  γ'''¬‐-、    ', l|
  |  /   l   |  ',    ノ    ノ .l|
 | /   |    |'、‐-゙、.__, ィ、. -‐イ  l|
. | /    l    | `ヽ   ノ ハ  |   リ|
.|/   |   ヘ  l   `   , ', |  リ |
l'   |  |/ \ l        l ',l  ノ l|
'    |  /   /`       l  l'´   l|

朝倉涼子
「前件否定・後件肯定でもたまたま合っていることもあるんですけどね。

演繹は前提が真ならば必ず結論が真とならないといけません。

結論が偽になる可能性があるなら、それは演繹には使えないんです」


279 : ◆GI8xWOz4Ko:2010/05/07(金) 21:55:30 ID:N3a0OT12


                 __      __
             ,  ´     `  ´   `'' 、
           /    /  /    ヽ 、 ヽ\ ヽ: 、
.          ,.:'/   / / /  / /! /  l ハ!  lヽ`ヽ
        .//f,'i  / /  /l / l  ハ / / /  |ヽ ゙ヽ',ト、
.      _∠‐ 7 /ヽ/ /‐/- .l / l / l  / /|i.トヽヽl./', l l `i、
         /;ィl;{ '/l/ l/  l/  l /   ! /  |."|//ハ   l | l、 `l__
         ////!,r  ̄`ヽ     ァ^¬ヘ.ヽ| | /|∧j!`ヽ─-,.l   ', ` ー 、
.         /,' ,i i| l     l   l′    l. V::ヘ./ !、./、ニ‐1|   l.    ヽ
     ,.,イrl/ヽヘ',/ ヽ、  ノ     、    ノ /ノiイ.'/l::l 」ヽ´ |   l-一 ´
    (...__| 'ァ:_ ヘ ' '   ̄      ` ー ´ ////::Ll:::::7  /`ヽ一 '′
      ム-‐ヘN` ‐ 、..__......_    ' '_,.ィリ/ツ、::::::、:::::ト.⊥ -'
          `         `¨ ¨´     `ヽ、:ト、|

長門有希
「尚、こういう論証が妥当でない状態は誤謬と呼ばれる」


280 : ◆GI8xWOz4Ko:2010/05/07(金) 21:56:13 ID:N3a0OT12


4.2 仮言三段論法

.


281 :名無しのやる夫だお:2010/05/07(金) 21:56:23 ID:0.LXvckk
例文が簡単だからひどく間抜けにみえるなw


282 : ◆GI8xWOz4Ko:2010/05/07(金) 21:57:02 ID:N3a0OT12


                      _____
                __,.-‐'": ̄: : : : : : ̄:.:`:ヽ、
              ,.イ´: : : : : :; : : : : : : : : : : : : : : :\
            /: : : : : : : :/:: : : : : : : : : 、:: : : :: : : : ヘ
           /: : ::/: : : : : :|: : : : : : : : : : : |:: : :: : : : : : :ヘ
         //: : : :j: : : : :; : |: : : : : : : : : : : |:: : :|:: : : : : : :ハ
            /: : : :.:|: : :-┼;-∨: : : : :、-─-:|: : :|: : :|::. : : : :|
           j: : : : :.:{: : :;/_|/__ ∨: :::|、|_\: : :|:.: :|: : :|,:.: : : : :|
         |:.:/|: :|: ::ヽ:.:{テ弐オ \::| テ弐マV: : :|:.: :|: : : : :ト:|
        __|/__|: :|: : : :|`|f‐':i::|   ` |f‐':i::} |:ヽ:|:.: :|ヽ:: : :|`
      ,ィ´:.:.:;ィ^:^.:^::`ヽ:| V:z:;リ      Vz::;リ,' |::.: : : :j,ノ:: :;N
      {:::λ::{;;;;{^^};;j;;;;〉}  ̄  '      ̄´ j:: : : :/:.: : :/
      |ニU|::|─ ー{:.::|:.j、      __      /:: :;/:.: :/
      |:.:(|:.:|__-__,j:.::|: :|::`:ー:‐:-:ァr--┬τ7:;/7:.;/
       |:|:.::|:.:| `ー' }|:ノ|∨`´ヽ;ィ´ {-‐-.j:~`ー--、'"
        |:|.:.:.|;;;{、ヽ /,イ::|    /:∨. |  /    /:ハ
        |j:.:.::|__ヽY,ノ:i:.:| _,ノ:::::::V |  /  /::::::::::}
      ヽ.:.:.{_,,/´~}~〉 ̄~´::::::i:::::::V | ,/ /:::::::i::::::::|
        ~~`ー`VV:::::::::::::::::::|:::::::|ヽ|,//|:::::::::::}::::::::|

長門有希
「次、仮言三段論法」



┌────────────┐
│                  │
│◆仮言三段論法       .│
│                  │
│A→B , B→C ├ A→C     │
│                  │
└────────────┘

.


283 : ◆GI8xWOz4Ko:2010/05/07(金) 21:57:45 ID:N3a0OT12


                 _,..-‐::─:.─::─-:.、_
               ,.イ´: : : : : : : : : : : : : : : : `:ー-.、__
               /: : : ;: : : : : ; : : : : : : i:. : : : : : : : : :`ヽ、
              /: : : : :/: : : : :/: : : : : : : |: : : :.、: : : : ::ヘ ̄`
           /: : : : : j: : : : :/: : : : : : : : |、: : : :i: : :.、:: :∧
           j: : : : : : |: : :-‐|‐-::/:i : : : :|-‐‐-:l: : : :l: : : :ハ
            |: : : : : : l:: : : :/|:: :/|::|: : : :/ ∨:.:/: : : :j:: : : : :|
              |: :; : : : : :V: :/__|::/ j;ノ: : :/ ___j::/∨:: :/:.: : : : :|
          j;/|: : : ::|:: :∨テ弐オ´j:.;/ 〒弐テj:/::.: :/\::|
            |: ::("|: : :| {:k:ィ:;j ´     |:kィ:;j,'ハ::: : :/   `
               |: : ::`|: : :| `ー-"     、 `ー'" {:::|:;/  j^l
              ∨: :.:∨ :|              j:::l"  r' _ヘ、
             ヽ、::::∧:|ヽ、 ___/⌒)___,.ィ::::/   {__ヽ_,,〉
              ∨ ヽ::_,::-‐'´{' ̄ヽ〉ー-V∨   /::: ̄::}
                 r'ヽ、   |'ニニ}  / /::ヽ、,,ノ:::::::::::/
                  /:::\\   |゛ ̄| / /:::::::::::::::::::::::;/
                   {:::::::::::\\ |   | / /:::::/:::::::::::::/

長門有希
「AならばB、BならばC、よってAならばC、というよくある三段論法。

推移律と言ったりもする」



┌──────────────────────────────────┐
│                                                  │
│~ 例 ~                                             .│
│                                                  │
│                                                  │
│水源地の森の大伐採をしたならば、森の水源涵養機能は失われて         │
│雨水が急速に河川に流れ込むようになる。                       ..│
│                                                  │
│森の水源涵養機能は失われて雨水が急速に河川に流れ込むようになれば、    .│
│洪水や渇水の危険が増す。                                ..│
│                                                  │
│よって、水源地の森の大伐採をしたならば、                       │
│洪水や渇水の危険が増す、と言える。                           │
│                                                  │
└──────────────────────────────────┘

.


284 : ◆GI8xWOz4Ko:2010/05/07(金) 21:58:17 ID:N3a0OT12


       ____
     /⌒  ⌒\
    /( ●)  (●)\
  /::::::⌒(__人__)⌒:::::\
  |     |r┬-|     |
  \      `ー'´     /

美筆やる夫
「あー、これは良く使いますお」



 (  /         ____          ヽ __  ) |
.  ヽ|     ,. ,-r::T:「´  |::|:::,.zェェk`::T::l::r:-...、_    ├ '   |
.   |  ,..ィ::'::l:;zュ=+::|   |::l:´:「::::::「`゙:ト::|::|::;:::::::::l`ヽ、. |   |
   Y´::::|::l:;イ´::ハ:::|ハ   リ;::::|:;ィzェミ|::::|::l:,'::::::::::ト、:::::r'   |
    |:::::::|::l::::Vィ'ヽ`ヽ   ´ イ _)ヽ:仆;:|::l,':::::::::├-ミ::}   |
    |:::::::l:::´l { r-'::ハ::l       ら゚:ハ::} V ,'::::::::::::l:::::::::::l   |`ヽ
    ゙l:::::::´:ヘ ゙ う;::::リ:l       {弋_:ソ:リ 'レ::::::::::::::l:--r‐{    |.:.:.:.
    |`TT`:',  辷Zソ ,    ゞ=ニン /:::::::::::::::ハ:::::|::::ト--┘.:.:.
    |::::l::|::::::}xx`´          xxxx /::::::::::::::,'ノ::::::|::::l.:.:.:.:.:.:.:.:.:
    |::::l::|::::::、      __,.     /:::::::::::::::/::|::::::::|::::l.:.:.:.:.:.:.:.:.:
    |::::l::|::::::::`:rー-....___ , ... _-ノ:::::::::::::::/::::::|:::::::|:::::l.:.:.:.:.:.:.ノ
    |::::l::|::::::::::::|:::::::::::::l,ィ';},. ' ´/::::::::::::::::;イ:::::::::|:::::::|:::::「 ̄ ´
    |:::::l:|::::::::::::|l:::::::/ノ´ /:::::::::::::; イ:::::|::::::::::|::::::|:::::|
    |::::::l|::::::::::::| V/'´ l /::::::::; ' ´  ハ::::|:::::::::::|::::::|::::|
    |:::::::ハ::::::::::| /´ノ |/::::::::/       }::|::::::::::::|::::::|::::|

朝倉涼子
「仮定の話をするのに使えるので便利ですよー。
こういうのもありです」


285 : ◆GI8xWOz4Ko:2010/05/07(金) 21:58:37 ID:N3a0OT12


┌────────────────────────────────────┐
│                                                   .....│
│~ 例 ~                                              ....│
│                                                   .....│
│                                                   .....│
│仮に新製品の広告を打ったとすると、(一般に広告は商品の認知に役立つので)    │
│新製品は今以上に認知されるだろう。                              │
│                                                   .....│
└────────────────────────────────────┘

.


286 : ◆GI8xWOz4Ko:2010/05/07(金) 21:58:58 ID:N3a0OT12


【研究室のモニタ】
┌───────────────────────────┐
│                                       .│
│                          __        ___,    ....│
│                __,.:-‐:─:‐:‐/:.:|:-:‐:‐==ニ:´:: : ::/    ....│
│            /´: : : : : : : : : : :;: :|:: :、: : : : : : : :`<_      │
│               /. . .../.. . . .,'. . . /l: :|\::ヽ、. . . . ..:、:_:_:\     .│
│            ,r‐'-、:::/': : : : ::/:: : :/ |: :|  |\::、::: : : : :.\ ̄`     │
│        / ̄∨   |:/: : : : : ::l:: :、/  |: |  |  |;:|、::: : : :.、: :\     │
│       \ ;|   ,/::;': : : : :/|: :/\ |::|  |/|::|∨::: : :.∧ ̄`     │
│          j/:}-‐ /::/: : : : :/_j:;/_.、 ` |::|  |,.__j/__∨::: : : ハ      .│
│       / :|  /'7: : : : :/'マテ弐ォ、 j/  ,ィ弐マア,∧:::. : : :|    .....│
│       \_j__|:|: : : ::/::| l |:::Ч     |:::Ч !ハ::i:\:: : :|      .│
│        |::::|: :::∨: ::|ヘ:| ゛、Vzリ       Vzリ,''ハ:::|:i:: :\:|      .│
│        |: ::|: : :::\:|、_`   ̄        ̄ lノ:::|:|:: : :i:|      │
│        |: :::ゝ、: : : : :::lヽ、""  、__、__,  ",.ィ'::::;ノl:|:: : :|:|      │
│        |: : :|:| \: : ::∧__,>‐;r -r::‐ュ<ノ:::/ |:|:: : :|:|      │
│        |: : :|:|  ∨: ::∧ \'´   ` |   `ヽ、 ||:: : :|:|    ......│
│        |: : ::||   /∨: ::∧  \─‐‐|    //\|!:: : :|:|    ......│
│                                       .│
└───────────────────────────┘

柊かがみ
「企画書ってよくこういう形になるわよね。

あれも言ってみれば仮定の上での話だし」


287 : ◆GI8xWOz4Ko:2010/05/07(金) 21:59:18 ID:N3a0OT12


4.3 吸収律

.


288 : ◆GI8xWOz4Ko:2010/05/07(金) 21:59:51 ID:N3a0OT12


                _______    /:|
            _,..-─'":: : : : : : : : : ̄`ー'´: :/
           /: : : : : ,:: : : : :: : : : : : : : : : : : ̄: ̄:゛ー-.、__
        /: : : : : .::/: : : : : ; : : : : : : : : : : : :、:: : : : :ヘ-一"
         /: : : : : .::/: : : : ::/: : :;|:: : : : : : : : : :ハ::. : :、: :`ヽ、
       j: : : : : .::/: : : : :;/:: : :/|::. : : : : :|::. : : :|:: : : :ヘ:: : :ハ
         |: : : : : :/: : : : .:/|::. :/ |::. : : :; :jヽ、::. :j::. : : : :|:: : : :l
       j: : : : : :j: : : ::ー/┼:/-、,|:: : :;/∨,-┼;/‐::.: : : :|:: : : :|
       |: : : : : :|: : ::/:/ヤ弐行j::;/ 〒弐テァ|:: : ;∧|: :ト、::|
        }:;/: : : ::j:;/:::;ハ |ト-':;j:|'"    |ト-'::j:|´j:;/::: : : :| `
      j:ノ|: : :|: :´::.: :/  、V::ィ:;リ     , V::ィ:;リ,'{::::::::::: : : :|
          |: : :|:.: : : :/ ,ィ'⌒ヽ"   r─┐ ̄" ∨:::: : : :/
          |: ::人: : ;/、(.rュ: ,,,ノ   {  ,{   ,.ィ:::::|:: : ;/
       j:/ ̄ ̄ ̄/,ト''´::ー--__ニニ-‐'"´_,|::;/|;/____,.-‐─ュ、_____
      /    ___/ /j::::/|:::;ィ::|i__/ }::::|'´ '"           /{{{´ ,rァ‐'"
     / ̄ ̄ ̄,/l// ,r‐'´ |:::|ヽ-/ |::::|      ,        { ゞゝ、_,,⊃
      l` ̄ ̄ ̄",//} ̄" , |:::|/´`^^^'ヽ、    /          |-‐';/
      lニ二二二"ィ´} |::.  l  j:/,,/~`´~},,j,,ノ;〉   {         | /
      / ゞ彡",ノ' :::   |  /_,ハ> < },,/,>  λ、_,,      !/
      / _,.-‐'´       l くヽ、ゝヽフ /,イ     } `\    ,,/
       {      ,     iノ;イヽ`ー‐´ノ;ノ/l      |    `ー-'´

長門有希
「次、吸収律」



┌───────────┐
│                │
│◆吸収律           .│
│                │
│A→B ├ A→(A∧B)   .│
│                │
└───────────┘

.


289 : ◆GI8xWOz4Ko:2010/05/07(金) 22:00:14 ID:N3a0OT12



               _   ____
            ,. :´:.:.`´:.:.:.:.:.:.:.`ゝ.、
           ,.:´: : : : : : : : : : : : : : : :.ヽ.
         ,.': : : : : : : : : : : :',: : : : : : : :ヽ
         ,':.:.;':.:.:.:.:.;'.:.:.;'.:.:i.:.:.l.:.i.:.|i:.:.:.:.:.:.::',
         ,':.:.:i:.:.:.:.:/.:.:/i:.:イ:i:.:.ハ.l.:.:i:.:.i:.:i:.:.i:.',
        /イ:.:.:!:.:.:..l/ i/i/l:.:/ レノリリリ:!:iハ!
         i/!:.:!:.:.:.i ●  !/ ● リ:l:.!:ハ!
          レ∨|:i:..!          i/i/
           ヘレi:.l、    ー'ー'   /iノ!/ __     _
            /ヽヾ> 、___ <イ:::リ 二__)  三   )
            ,'´ ``}\ヾ∨///       _    ̄
           {::::::γ"ヽく;;∀>{    _  二  )
           `ー-,〉ー′/∧ヽ::> 三_)   ̄
             く:ヽ、_ノ=::::::ヾヘ>
            /´ ノ``ー-ーヘ"´ヽ  /ヾ /ヾ /ヾ /ヾ
             {:;;;;ソ      }:;;;;;i
            `ー'′     `ー''′

長門有希
「AならばBに必ずなるのだから、Aであるならば、
AでありBであることを意味する、というくらいの使い方」



┌───────────────────────────┐
│                                       .│
│~ 例 ~                                  │
│                                       .│
│                                       .│
│デブは総じてよく食べるものだ。                   ....│
│つまり、デブってことは、同時に大食漢でもあるってことだ。     │
│                                       .│
└───────────────────────────┘

.


290 : ◆GI8xWOz4Ko:2010/05/07(金) 22:00:34 ID:N3a0OT12


         ____
       /     \
.    /       \
.  / /) ノ '  ヽ、 \
  | / .イ '=・=  =・= u|
    /,'才.ミ) (__人__) /
.   | ≧シ'  ` ⌒´   \
 /\ ヽ          ヽ

美筆やる夫
「……まー確かにやる夫はよく食べますけども」

.


291 : ◆GI8xWOz4Ko:2010/05/07(金) 22:00:53 ID:N3a0OT12


4.4 構成的ジレンマ

.


292 : ◆GI8xWOz4Ko:2010/05/07(金) 22:01:25 ID:N3a0OT12


                      _____
                __,.-‐'": ̄: : : : : : ̄:.:`:ヽ、
              ,.イ´: : : : : :; : : : : : : : : : : : : : : :\
            /: : : : : : : :/:: : : : : : : : : 、:: : : :: : : : ヘ
           /: : ::/: : : : : :|: : : : : : : : : : : |:: : :: : : : : : :ヘ
         //: : : :j: : : : :; : |: : : : : : : : : : : |:: : :|:: : : : : : :ハ
            /: : : :.:|: : :-┼;-∨: : : : :、-─-:|: : :|: : :|::. : : : :|
           j: : : : :.:{: : :;/_|/__ ∨: :::|、|_\: : :|:.: :|: : :|,:.: : : : :|
         |:.:/|: :|: ::ヽ:.:{テ弐オ \::| テ弐マV: : :|:.: :|: : : : :ト:|
        __|/__|: :|: : : :|`|f‐':i::|   ` |f‐':i::} |:ヽ:|:.: :|ヽ:: : :|`
      ,ィ´:.:.:;ィ^:^.:^::`ヽ:| V:z:;リ      Vz::;リ,' |::.: : : :j,ノ:: :;N
      {:::λ::{;;;;{^^};;j;;;;〉}  ̄  '      ̄´ j:: : : :/:.: : :/
      |ニU|::|─ ー{:.::|:.j、      __      /:: :;/:.: :/
      |:.:(|:.:|__-__,j:.::|: :|::`:ー:‐:-:ァr--┬τ7:;/7:.;/
       |:|:.::|:.:| `ー' }|:ノ|∨`´ヽ;ィ´ {-‐-.j:~`ー--、'"
        |:|.:.:.|;;;{、ヽ /,イ::|    /:∨. |  /    /:ハ
        |j:.:.::|__ヽY,ノ:i:.:| _,ノ:::::::V |  /  /::::::::::}
      ヽ.:.:.{_,,/´~}~〉 ̄~´::::::i:::::::V | ,/ /:::::::i::::::::|

長門有希
「次、構成的ジレンマ」



┌───────────────┐
│                     ...│
│◆構成的ジレンマ            │
│                     ...│
│A∨B , A→C , B→D ├ C∨D   .│
│                     ...│
└───────────────┘

.


293 : ◆GI8xWOz4Ko:2010/05/07(金) 22:01:47 ID:N3a0OT12


                 _,..-‐::─:.─::─-:.、_
               ,.イ´: : : : : : : : : : : : : : : : `:ー-.、__
               /: : : ;: : : : : ; : : : : : : i:. : : : : : : : : :`ヽ、
              /: : : : :/: : : : :/: : : : : : : |: : : :.、: : : : ::ヘ ̄`
           /: : : : : j: : : : :/: : : : : : : : |、: : : :i: : :.、:: :∧
           j: : : : : : |: : :-‐|‐-::/:i : : : :|-‐‐-:l: : : :l: : : :ハ
            |: : : : : : l:: : : :/|:: :/|::|: : : :/ ∨:.:/: : : :j:: : : : :|
              |: :; : : : : :V: :/__|::/ j;ノ: : :/ ___j::/∨:: :/:.: : : : :|
          j;/|: : : ::|:: :∨テ弐オ´j:.;/ 〒弐テj:/::.: :/\::|
            |: ::("|: : :| {:k:ィ:;j ´     |:kィ:;j,'ハ::: : :/   `
               |: : ::`|: : :| `ー-"     、 `ー'" {:::|:;/  j^l
              ∨: :.:∨ :|              j:::l"  r' _ヘ、
             ヽ、::::∧:|ヽ、 ___/⌒)___,.ィ::::/   {__ヽ_,,〉
              ∨ ヽ::_,::-‐'´{' ̄ヽ〉ー-V∨   /::: ̄::}
                 r'ヽ、   |'ニニ}  / /::ヽ、,,ノ:::::::::::/
                  /:::\\   |゛ ̄| / /:::::::::::::::::::::::;/
                   {:::::::::::\\ |   | / /:::::/:::::::::::::/

長門有希
「ある選択肢がそのまま分かれ道になるもの。

けっきょく大差ないこともあるが」


294 : ◆GI8xWOz4Ko:2010/05/07(金) 22:02:09 ID:N3a0OT12


┌──────────────────────────────────────┐
│                                                       .│
│~ 例 ~                                                  │
│                                                       .│
│                                                       .│
│伊藤誠には言葉と一緒になるか世界と一緒になるかの選択肢がある。           ......│
│                                                       .│
│が、言葉と一緒になれば世界に襲撃される。                           .....│
│といって、世界と一緒になれば言葉に襲撃される。                          │
│                                                       .│
│つまり、伊藤誠は世界に襲撃されるか言葉に襲撃されるかのどちらかになるわけだ。   ....│
│                                                       .│
│                                                       .│
│        ,, ,, ::--- 、                                          ....│
│    ,,.''".::.:.:.:.:..:..:.:.:.ヽr=                                        ...│
│    ./:: : :i: ::_:.:.:.:.:.:.:.:.:.:.ヽ                                        ...│
│   |イ.:..:i|::/ |::::/lヾ、:.:.:.::,:ヘ                                       ..│
│   く|l:.:.l( ・)レ (・ )vレヘ nice boat!                               ....│
│   く|ヘ  、ェェェェェ,  |:/                                        .│
│      >、 .トェェェイ イ                                           │
│     ./|___ヽ____/___|\   ,p、                                     │
│    /|:::::::|  {こ]  |:::::::|\/ヽ_)                                     │
│   .|::|:::::::\ |;;;;|/:::::::::|::::::::::/                                    .....│
│.   /:::|:::::::::::::::::|::::::::::::::::| ̄ ̄                                      │
│                                                       .│
└──────────────────────────────────────┘

.


295 : ◆GI8xWOz4Ko:2010/05/07(金) 22:02:53 ID:N3a0OT12


         ____
       /     \
.    /       \
.  / /) ノ '  ヽ、 \
  | / .イ '(ー) (ー) u|
.   /,'才.ミ). (__人__)  /
.   | ≧シ'  ` ⌒´   \
 /\ ヽ          ヽ

美筆やる夫
「究極の選択だお……」


【研究室のモニタ】
┌──────────────────────────────────────┐
│                                                       .│
│                                                       .│
│                                                       .│
│      ./       ;ヽ                                         ..│
│      l  _,,,,,,,,_,;;;;i  <いいぞ ベイべー!                          ..│
│      l l''|~___;;、_y__ lミ;l  逃げる奴はベトコンだ!!                        .│
│      ゙l;| | `'",;_,i`'"|;i |  逃げない奴はよく訓練されたベトコンだ!!              │
│     ,r''i ヽ, '~rーj`c=/                                          │
│   ,/  ヽ  ヽ`ー"/:: `ヽ                                        .│
│  /     ゙ヽ   ̄、:::::  ゙l, ホント 戦場は地獄だぜ! フゥハハハーハァー           │
│ |;/"⌒ヽ,  \  ヽ:   _l_        ri                   ri         ...│
│ l l    ヽr‐─ヽ_|_⊂////;`ゞ--―─-r| |                   / |         ..│
│ ゙l゙l,     l,|`゙゙゙''―ll___l,,l,|,iノ二二二二│`""""""""""""|二;;二二;;二二二i≡二三三l      │
│ | ヽ     ヽ   _|_  _       "l ̄ ̄ ̄ ̄ ̄ ̄ |二;;二二;;二=''''''''''' ̄ノ        .│
│ /"ヽ     'j_/ヽヽ, ̄ ,,,/"''''''''''''⊃r‐l'二二二T ̄ ̄ ̄  [i゙''''''''''''''''"゙゙゙ ̄`"          .│
│/  ヽ    ー──''''''""(;;)   `゙,j"  |  | |                           ..│
│                                                       .│
│                                                       .│
│                                                       .│
└──────────────────────────────────────┘

柊かがみ
「逃げる奴はベトコンだ! 逃げない奴はよく訓練されたベトコンだ! 
ってのもこれの応用よね」


296 : ◆GI8xWOz4Ko:2010/05/07(金) 22:03:17 ID:N3a0OT12


( /´:::::::::::_;:::;--┬┬--::、:;_:::::::::゙ゝ┐ノ |
 | _,.ィ",ィ=-.|  | "「゙゙Tト | | `゙l'‐-、|   |
 Y | ヘ Lニ、   リ ,ィ=ミ,、 | |  | ミ 〔   |
  | | _l7ro小   ら゚ハ仆 |  .|´ ̄}  .ト、
  .}-} ヘ マ:、.リ    ヤ'、ソノ'/  トr┬| _|:::::ヽ
  .| .| .|. `゙´ `   `´ /    リ .| |`´:::::::::|
  | |  ト、_   -‐'  _,/    / | | |:::::::::::::ノ
  | |   | `゙Tヘニ"/  /  | |├ー'"
  | |   ハ ./ィ´/  ,..ィ'ヘ | ∧ ||
  | ハ  |〉'7 /  /   ハ .|  ∧||

朝倉涼子
「逆にCとDの差が激しいのももちろんありですよー」



┌─────────────────────┐
│                              ..│
│~ 例 ~                         .│
│                              ..│
│                              ..│
│YESかNOかで答えろ。                  │
│YESなら生かす。NOなら殺す。           ....│
│要するに、生きるか死ぬか選べってことだ。    .│
│                              ..│
└─────────────────────┘

.


297 : ◆GI8xWOz4Ko:2010/05/07(金) 22:03:40 ID:N3a0OT12


4.5 反復律

.


298 : ◆GI8xWOz4Ko:2010/05/07(金) 22:04:05 ID:N3a0OT12


               _   ____
            ,. :´:.:.`´:.:.:.:.:.:.:.`ゝ.、
           ,.:´: : : : : : : : : : : : : : : :.ヽ.
         ,.': : : : : : : : : : : :',: : : : : : : :ヽ
         ,':.:.;':.:.:.:.:.;'.:.:.;'.:.:i.:.:.l.:.i.:.|i:.:.:.:.:.:.::',
         ,':.:.:i:.:.:.:.:/.:.:/i:.:イ:i:.:.ハ.l.:.:i:.:.i:.:i:.:.i:.',
        /イ:.:.:!:.:.:..l/ i/i/l:.:/ レノリリリ:!:iハ!
         i/!:.:!:.:.:.i ●  !/ ● リ:l:.!:ハ!
          レ∨|:i:..!          i/i/
           ヘレi:.l、    ー'ー'   /iノ!/ __     _
            /ヽヾ> 、___ <イ:::リ 二__)  三   )
            ,'´ ``}\ヾ∨///       _    ̄
           {::::::γ"ヽく;;∀>{    _  二  )
           `ー-,〉ー′/∧ヽ::> 三_)   ̄
             く:ヽ、_ノ=::::::ヾヘ>
            /´ ノ``ー-ーヘ"´ヽ  /ヾ /ヾ /ヾ /ヾ
             {:;;;;ソ      }:;;;;;i
            `ー'′     `ー''′

長門有希
「次、反復律」



┌──────┐
│         .│
│◆反復律    │
│         .│
│A ├ A    ..│
│         .│
└──────┘


長門有希
「同じことを繰り返すだけ」

┌──────────────────┐
│                           .│
│~ 例 ~                      │
│                           .│
│ねこ夫は猫だ。よってねこ夫は猫だ。    .│
│                           .│
└──────────────────┘


299 : ◆GI8xWOz4Ko:2010/05/07(金) 22:04:46 ID:N3a0OT12



      / ,.‐-y'´'ヽ/ ヽ-゙-ヘ
     /  / , / ∧∧ ',  ',ヽ
    ,'  /  l l l ,'‐-' | | |  l 'ハ
    ∧' ,'  l | ,リ  _リ l l  l l l
    ト、 'l   l`ニ´   ` ̄-r'___「
   / ヽl ̄'l ====  === ,'´ |
   /  ,∧l  |          { l|
  ,'   /  ', lu_   ,、 _,.ノ ,'|
  ,'   /   ', .lヘ ',三|{=', |   'l |
 ,'  ,'    ', ', ヘ ', |,l ,}|  ,'.l |
 |  l  l   /ヽ | ヘlレ'',´ l-‐' l |
 |l  L._ハ_ }-‐',=l<,ヘ.ヽ{  l   l l
 `ヽ.|   `'、_  `   ´ ',´ ̄ `レ'
        ',゙T'''''''T'7´
         ',ノ.  レ

朝倉涼子
「だからなに、という話ですが、論理学での推論に使っていいとされます」



          , -=―=―- 、 _
       〃⌒>'´  /    丶`ニ=‐'
       ./ ,′// , ´ /  j } ヽ \
      / l  | i l / /// ,イ ハヽ ヽ
      ノ,イ八 l レ_j/∠∠///∠Ll }ヘ
    <ノ .∧ l  ムrt=k`  ィ=、ルレ′j
      / イ Vヘ. ヽVr!   jr/ムイ{
     ´ W^{ゝヘ ハ.ヽヽ _ ' /〈リヽ
         j八 }ヽ ヘ、   j`<ミ\
          リ朽\!`{7|:::::::::>ミ;>,
          ノ \- 厶]::::::::f }::/:/
       r=<    V三|:::::::::| |/:/
       /‐-、 \   ∨メ、::::ノ V、
   .   /_j   , X \   ヽ {´   /
       〈  ´  \\  >ヘ、___,イヽ
       `、   ヽ \.>j    ハ│
        {     ∨  `ヽ、_,/∧|

長門有希
「正直使いどころが謎だが、
後で述べる命題の入れ替え(*)と
組み合わせて使えばなんとか使えるだろう」

(*⇔の関係にあるものは入れ替えてよい、とするルール)


300 : ◆GI8xWOz4Ko:2010/05/07(金) 22:05:07 ID:N3a0OT12


┌──────────────────────┐
│                                │
│~ 例 ~                           .│
│                                │
│                                │
│(18歳以上⇔AVレンタル可)             .....│
│やらない夫は18歳以上だ。              ....│
│                                │
│つまり、やらない夫はAVレンタル可ってわけだ。  ....│
│                                │
└──────────────────────┘

.


301 : ◆GI8xWOz4Ko:2010/05/07(金) 22:05:48 ID:N3a0OT12


4.6 矛盾律

.


302 : ◆GI8xWOz4Ko:2010/05/07(金) 22:06:07 ID:N3a0OT12


                      _____
                __,.-‐'": ̄: : : : : : ̄:.:`:ヽ、
              ,.イ´: : : : : :; : : : : : : : : : : : : : : :\
            /: : : : : : : :/:: : : : : : : : : 、:: : : :: : : : ヘ
           /: : ::/: : : : : :|: : : : : : : : : : : |:: : :: : : : : : :ヘ
         //: : : :j: : : : :; : |: : : : : : : : : : : |:: : :|:: : : : : : :ハ
            /: : : :.:|: : :-┼;-∨: : : : :、-─-:|: : :|: : :|::. : : : :|
           j: : : : :.:{: : :;/_|/__ ∨: :::|、|_\: : :|:.: :|: : :|,:.: : : : :|
         |:.:/|: :|: ::ヽ:.:{テ弐オ \::| テ弐マV: : :|:.: :|: : : : :ト:|
        __|/__|: :|: : : :|`|f‐':i::|   ` |f‐':i::} |:ヽ:|:.: :|ヽ:: : :|`
      ,ィ´:.:.:;ィ^:^.:^::`ヽ:| V:z:;リ      Vz::;リ,' |::.: : : :j,ノ:: :;N
      {:::λ::{;;;;{^^};;j;;;;〉}  ̄  '      ̄´ j:: : : :/:.: : :/
      |ニU|::|─ ー{:.::|:.j、      __      /:: :;/:.: :/
      |:.:(|:.:|__-__,j:.::|: :|::`:ー:‐:-:ァr--┬τ7:;/7:.;/
       |:|:.::|:.:| `ー' }|:ノ|∨`´ヽ;ィ´ {-‐-.j:~`ー--、'"
        |:|.:.:.|;;;{、ヽ /,イ::|    /:∨. |  /    /:ハ
        |j:.:.::|__ヽY,ノ:i:.:| _,ノ:::::::V |  /  /::::::::::}
      ヽ.:.:.{_,,/´~}~〉 ̄~´::::::i:::::::V | ,/ /:::::::i::::::::|

長門有希
「次、矛盾律」



┌────────┐
│          ......│
│◆矛盾律     ...│
│          ......│
│A∧¬A ├ B  ......│
│          ......│
└────────┘

.


303 : ◆GI8xWOz4Ko:2010/05/07(金) 22:06:33 ID:N3a0OT12


  /  /  ,M.  l  、 ヽ、
. / /  |  |.|''‐'|  |  |   l、.|
 | | l 'ナ大|  |ナフ大|  |ミ|ヽ
 | | .| |-,..、'  '‐,..、/|  |ニ| |
. ゙l十|  ゝ'.    ゝ' .|   l|lーK
  || / xxx     xxx.|  l|' |ヘ
  ||.ト 、  ----l   |  l|  |.ヘ
  ||  | ≧lーr=_==r'''l|  l|   | ヘ
  ||  |.| /. ゙ーー' .'|  リ  | ヘ
  ゙´´ヽ |  (⌒)  / / |   | ヘ

朝倉涼子
「もし矛律がした命題が真になるなら、
そのときはどんな命題だって真になるだろう、というものです」



         ,. :-:.' ー ' ¨ :.ゝ.、
        ,.:´: : : : : : : : : : : : : ヽ.
      ,.': : : : : : : : : : : ',: : : : : : ヽ、
      ,':.:;':.:.:;'.:.:.;'.:./.:;'.:.:|i:';:.:.:.:.:.:.::`、`ゝ
      ,':.:.i:.:.:.i:.:/i:.:/i:.:ハ:.:l:i:.:.i:.:i:.:.:.';.:.:',
    /イハ:!:.:.:l:/ i/ ノノ ノリリハリ:!:i:.:.!:.l
    i/!:.:!:.:.;;;;;;;;;;;;;;;;    ;;;;;;;;;;;;;;l:.!:ハ!
     ∨|:.:.!          ノ/i/ノ
       ヘ!:|         ノ!/′
        ヾ!>ー-   -- <イリ
         (ヘ:::::\i=//:::::/)
          {;;\::::::!n/:::::/;/
         ト、;;\;;ii;;/;;;/′
         /;;;;ゝ;;;;∨;;;;;;;入
        (;;;;;(⌒)∨(⌒);;;;)
        `´ ̄` ̄ ̄´ ̄´

長門有希
「そのまま使える場はそうないだろうが、これをうまく生かしたこんなジョークもある」


304 : ◆GI8xWOz4Ko:2010/05/07(金) 22:07:23 ID:N3a0OT12


┌───────────────────────────┐
│                                       .│
│~ 例 ~                                  │
│                                       .│
│                                       .│
│(ある大学における教授と学生の会話)              ......│
│                                       .│
│学生「たとえば 2=1は明らかに矛盾(1∧¬1)です。       .│
│   これを仮定すれば、あなたがローマ法王であると        │
│   結論することもできるのですか?」                .│
│                                       .│
│教授「それは簡単だ。ローマ法王と私は2人の人間である。   ...│
│   2=1であるからこれは 1人の人間である。          ...│
│   故に私はローマ法王である。どうだい」            ....│
│                                       .│
└───────────────────────────┘



      / ,.‐-y'´'ヽ/ ヽ-゙-ヘ
     /  / , / ∧∧ ',  ',ヽ
    ,'  /  l l l ,'‐-' | | |  l 'ハ
    ∧' ,'  l | ,リ  _リ l l  l l l
    ト、 'l   l`ニ´   ` ̄-r'___「
   / ヽl ̄'l ====  === ,'´ |
   /  ,∧l  |          { l|
  ,'   /  ', lu_   ,、 _,.ノ ,'|
  ,'   /   ', .lヘ ',三|{=', |   'l |
 ,'  ,'    ', ', ヘ ', |,l ,}|  ,'.l |
 |  l  l   /ヽ | ヘlレ'',´ l-‐' l |
 |l  L._ハ_ }-‐',=l<,ヘ.ヽ{  l   l l
 `ヽ.|   `'、_  `   ´ ',´ ̄ `レ'
        ',゙T'''''''T'7´
         ',ノ.  レ

朝倉涼子
「まあ普通、論証では矛盾した内容を真とすることがおかしな話なので、
使いどころはそうないでしょうね……」


305 : ◆GI8xWOz4Ko:2010/05/07(金) 22:07:47 ID:N3a0OT12


4.7 選言三段論法

.


306 : ◆GI8xWOz4Ko:2010/05/07(金) 22:08:03 ID:N3a0OT12


              __
        /´ ̄    ̄`丶、
       /           \
.      / /            ` 、
     /  l           ヽ   i
.    //l l    ィイ/ヽ  ∧   l   l
    {イ l l  //‐- }/ ‐ヘ l l lノ
    {小イ   l/T弐ト   r=ヌⅥ lノ
     }从  l| ヒ::リ   ヒ::リ川V
        V l|ヽ、  , 、  イル刈
       ∧j\`¬ニT´ }`ヽ、
       {   \ ∨ /   }
.        ∧   /}Y^Y´ L.ノ
      /  \厶ノ/  !  }
  ( (  〈\     /  h /
      ヽ..工_ー''′ ̄ }}/
       {__/  ̄下ニレ'′

長門有希
「選言三段論法というものもある」



┌─────────┐
│            ....│
│◆選言三段論法    │
│            ....│
│A∨B , ¬B ├ A   │
│            ....│
└─────────┘

.


307 : ◆GI8xWOz4Ko:2010/05/07(金) 22:08:40 ID:N3a0OT12


                 _,..-‐::─:.─::─-:.、_
               ,.イ´: : : : : : : : : : : : : : : : `:ー-.、__
               /: : : ;: : : : : ; : : : : : : i:. : : : : : : : : :`ヽ、
              /: : : : :/: : : : :/: : : : : : : |: : : :.、: : : : ::ヘ ̄`
           /: : : : : j: : : : :/: : : : : : : : |、: : : :i: : :.、:: :∧
           j: : : : : : |: : :-‐|‐-::/:i : : : :|-‐‐-:l: : : :l: : : :ハ
            |: : : : : : l:: : : :/|:: :/|::|: : : :/ ∨:.:/: : : :j:: : : : :|
              |: :; : : : : :V: :/__|::/ j;ノ: : :/ ___j::/∨:: :/:.: : : : :|
          j;/|: : : ::|:: :∨テ弐オ´j:.;/ 〒弐テj:/::.: :/\::|
            |: ::("|: : :| {:k:ィ:;j ´     |:kィ:;j,'ハ::: : :/   `
               |: : ::`|: : :| `ー-"     、 `ー'" {:::|:;/  j^l
              ∨: :.:∨ :|              j:::l"  r' _ヘ、
             ヽ、::::∧:|ヽ、 ___/⌒)___,.ィ::::/   {__ヽ_,,〉
              ∨ ヽ::_,::-‐'´{' ̄ヽ〉ー-V∨   /::: ̄::}
                 r'ヽ、   |'ニニ}  / /::ヽ、,,ノ:::::::::::/
                  /:::\\   |゛ ̄| / /:::::::::::::::::::::::;/
                   {:::::::::::\\ |   | / /:::::/:::::::::::::/

長門有希
「AまたはBであるから、
Bでないなら確実にA、という消去法」


308 : ◆GI8xWOz4Ko:2010/05/07(金) 22:09:05 ID:N3a0OT12


┌──────────────────────────────────────────┐
│                                                            ....│
│~ 例 ~                                                       ...│
│                                                            ....│
│                                                            ....│
│(ある驚愕の事実を知ったビジネスマンの内心での独白)                           .│
│                                                            ....│
│先月顧客に渡したはずの契約書が、なぜか今オフィスの自分の机の引き出しに収まっている。    .│
│                                                            ....│
│……OK、落ち着こう。                                                 │
│                                                            ....│
│契約書はこれ一つだから、ありえるパターンは顧客にこの契約書を渡しているか、            .│
│いないかの2つだけだ。                                               .│
│                                                            ....│
│だが、ここに契約書がある以上、渡しているということは絶対ない。                     │
│                                                            ....│
│……ということは、だ。                                              ......│
│大変信じたくないことだが、自分は契約書を渡していない、と結論せざるを得ないらしい。         │
│                                                            ....│
└──────────────────────────────────────────┘


         ____
       /      \
      / ─    ─ \
    /   (○)  (○)  \
    |     (__人__)    .|
     .\     ` ⌒┃   ,/

美筆やる夫
「内容は理解できるけど、きっついお、この例」


309 : ◆GI8xWOz4Ko:2010/05/07(金) 22:10:01 ID:N3a0OT12


【研究所のモニタ】
┌──────────────────────────────────────┐
│                                                       .│
│                      ,-. .、_,,,--‐‐--. ._                      ....│
│                   _.....ィ:': : : : :`:、: : : :,_>‐-. _                      .│
│                _...<: : /: : : : : : : : ヽ: : : : :ヽ.__: :>.、                    .│
│              /: : : : : /: : : : : : : : :}: :ヽ、 : : ヽ:ヽ`''‐-ヽ、                  │
│            _/壬ヽ: : : ,: : : : : : :i: : :iヽ,-‐ヽ、: : ヽ: ヽ                    .│
│           /: :∧三iii} : : ハ: : : : : : i: : i/i:.i  ヽ: : iレ'`                   ....│
│           /: :∧三三}:i_;ハ: : : : : :i: :イ   i} /,、\i                      │
│         ,ィ≦三三三iii}:i: : : ハ : : : : i: :i  _,,ィ≦=ゞ  ̄ヽ                    │
│       ,ィ≦三三三三三i}: i‐=ニ:ハ: : : : i、i  ゞ‐''´        i                  ....│
│       ヾ三三三三三三}: :iヽ: :、: >、 : i `.   -゙`    ャ {                    .│
│       /: i三三ii/|三三iii}: : :ヽ>{  >、i、            〉        r、,-、      ......│
│      /: : : : :`'''´: :V三三∧: : :ヽ-ヽ  ヽ          /        i`y ii`}y、     ..│
│     /: : : : : : : : : : :∧三三∧: : : :`ーヽ- ,_,,-'`───. <`''''>: :、.      i ,'-''、//./>,    .│
│    /: : : : : : : : : : : ,':/: : :ヽ: >、_: : : : : : : : : : : : : : : : : : : : : :.`>、: : :ヽ、   ,'     ` ーi     │
│   /: : : : : : : : : : : : ':/: : : : :/   ` ー─ -- ≧/ ̄ニ⌒ヽ、∧: : :`ヽ: : >、ヾ、      /   ......│
│  /: : : : : : : : : : : : ,':/: : : : : {       ./ /        \ヽ、<: : : : : /yヽ、  ,.‐'       │
│  /: : : : : : : : : : : : ,':,i: : : : : : i       /   /         \{: : `: : ://、  >'>、     ...│
│. /: : : : : : : : : : : : ,': ,'i: : : : : : i      ./  /               ヽ、: :_/:i  ヽ、   /       │
│/: : : : : : : : : : : : :,': ,' i: : : : : : i      i. /                 、ヽヽ>'  `ー=‐{'       │
│: : : : : : : : : : : : : ,': i i: : : : : : i     {´                  、 } /i  /  / _,}ヘ       .│
│: : : : : : : : : : : : :,': :{ i: : : : : : i     i                   ィ、ヽ´ / /  / /、: : :ヽ      │
│: : : : : : : : : : : : ,': : i i: : : : : : i      i            ィ }`'、 ヽ  /  / /V: : : : : ヽ    │
│                                                       .│
└──────────────────────────────────────┘

柊かがみ
「『論理的に正しいけど信じたくない』状態ね。

こういうときって脳内のお花畑に入定したくなるのが人情よねー」


310 : ◆GI8xWOz4Ko:2010/05/07(金) 22:10:26 ID:N3a0OT12


  / /  /       /   /   ヘ    ヘ
. / /   l       l   l l`゙ ''"´ |    |
/ イ   |       |  | |      |l   |
| /|   |       l|   | |     | |   ハ
|/ |    |  l    大ト、L,斗'__ヽ、,,LL,,,,,斗|
l  |____|  l    | |  「リ三三三 ノノ´  ノ |
    | ヽ--'r──'  ̄` 三三三三  ̄ ̄ └
    |     | ========三三三三=======
    l|    |       三三三三三
   l |    |       三三三三三
   | |.   /        三三三
   | |   l   U
    | |   \        ,..-‐''ヽ
    | |    |` ' - 、 _   弋____,ノ    __,..,/
    | |    |   /  ` ニ=ー=ニ´  /

朝倉涼子
「同感ですけど、その誘惑を断てるのが理性の力なんですよ、きっと」


311 : ◆GI8xWOz4Ko:2010/05/07(金) 22:10:49 ID:N3a0OT12


4.8 定理の導入

.


312 : ◆GI8xWOz4Ko:2010/05/07(金) 22:11:06 ID:N3a0OT12


                 _,..:.:-:.:―:-:....、
                ,.r:':./:.:.:.:.:.:.:.:.:.:.:.:.:.:.::`丶、
             /:.:./:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.ヽ、
                /:.:.:.:/:.:.:.:,r:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:ト:.:.:.:.:.\
           /:.:.:.:.!:.:.:./:.:/:.:.:.:. /:.:.:.:.:.:l:.:.:.:.:!:.ヽ:.ヽ:.:.;ヽ
           /:.:.:.:.:l:.:.:/:./l:.://:,:イ:.:/l:.:.:.:ハ:.jl:.:.:i:.:l:.、ヽ
            /:.:.:.:.:.:l:.:.:l:/:.レ_/'´/シ !:.ツ′.V ';.:.l.:.!:.:l:.:',
         /:.ィ:.:.:.:.:i:.:.:':.:.:.:!__```¬ ' ´  , --l:.、/:/:l:.:l
         ´ l;';.:.:.:.',:.:.:.:.<7:::::::`ヽ     _ レ/:':ノ!/
               ';l:.:f ';.:.:.:.:.l::::::::r'′    r'::::::lヽ// '´/'
             Vヽ ',:.:.:.:lー- '     l::::::メ /:;'!
              ヾl、',:.:.:.!        ` ´ /::/
                ';ハ:.:ト,、   -    ノ;.:.;'
                 >:〈/丶、 _ -v' ´V l:,'
                / ヾ、  _ヽヽ、   l;'
              イヽ   ヽ'´ `',  `l:ヽ、
              l:.:.ヽ\   _ヽ___',  リr ´_二ュ _
             ,':.:.:.:.:ヽ .Y´,........---..ミ二y::´::::::::::::::;'
                 ,':.:.:.:.:.:.:.〉Y::::::::::::::::::::::;':::::::;'::::::::::::r 、'
                /:.:.:.:.:.:.:.l:.;'-、::::::::::::::::::;'::::::;':::::::::::::/  7

長門有希
「次。これは派生規則というよりも演繹のルールだが、定理の導入」



┌─────────────────────────────────────┐
│                                                     ...│
│◆定理の導入                                            ....│
│                                                     ...│
│どのような場合も間違いなく真になる関係は、定理として論証に用いることができる」  .....│
│                                                     ...│
└─────────────────────────────────────┘

.


313 : ◆GI8xWOz4Ko:2010/05/07(金) 22:11:38 ID:N3a0OT12


                 _,..-‐::─:.─::─-:.、_
               ,.イ´: : : : : : : : : : : : : : : : `:ー-.、__
               /: : : ;: : : : : ; : : : : : : i:. : : : : : : : : :`ヽ、
              /: : : : :/: : : : :/: : : : : : : |: : : :.、: : : : ::ヘ ̄`
           /: : : : : j: : : : :/: : : : : : : : |、: : : :i: : :.、:: :∧
           j: : : : : : |: : :-‐|‐-::/:i : : : :|-‐‐-:l: : : :l: : : :ハ
            |: : : : : : l:: : : :/|:: :/|::|: : : :/ ∨:.:/: : : :j:: : : : :|
              |: :; : : : : :V: :/__|::/ j;ノ: : :/ ___j::/∨:: :/:.: : : : :|
          j;/|: : : ::|:: :∨テ弐オ´j:.;/ 〒弐テj:/::.: :/\::|
            |: ::("|: : :| {:k:ィ:;j ´     |:kィ:;j,'ハ::: : :/   `
               |: : ::`|: : :| `ー-"     、 `ー'" {:::|:;/  j^l
              ∨: :.:∨ :|              j:::l"  r' _ヘ、
             ヽ、::::∧:|ヽ、 ___/⌒)___,.ィ::::/   {__ヽ_,,〉
              ∨ ヽ::_,::-‐'´{' ̄ヽ〉ー-V∨   /::: ̄::}
                 r'ヽ、   |'ニニ}  / /::ヽ、,,ノ:::::::::::/
                  /:::\\   |゛ ̄| / /:::::::::::::::::::::::;/
                   {:::::::::::\\ |   | / /:::::/:::::::::::::/

長門有希
「つまり、次の定理を使い、あとの例のように論証してかまわない」


┌─────────────┐
│                    │
│~ 定理の例 ~         .│
│                    │
│・(P→Q)→(¬Q→¬P)     .│
│                    │
│*対偶              ..│
│                    │
└─────────────┘


314 : ◆GI8xWOz4Ko:2010/05/07(金) 22:12:00 ID:N3a0OT12


┌─────────────────────────────────────┐
│                                                     ...│
│~ 例 ~                                                ..│
│                                                     ...│
│                                                     ...│
│翠星石によると、3時を過ぎたならばおやつを食べてもよかったそうだ。            │
│                                                     ...│
│これは対偶をとると、おやつを食べてはいけないなら3時を過ぎていないってことだ。  .....│
│                                                     ...│
│つまり、おやつを勝手に食べたやる夫が翠星石におしおきされてるからには、      ....│
│少なくとも奴がつまみ食いしたときには3時を過ぎてなかったんだろう。           ..│
│                                                     ...│
│         , -─‐──‐-、                                     .│
│          /        ゚    \                                  ..│
│       / ;  ゜      °  \                                  .│
│      l  U      ;         l⌒ '"⌒ ヽ、                          │
│       |          u.    ;   |ー       \                         │
│.      ! u. _ノ′ヽ、__   ∪           ,;   \ ,rー、                    .│
│        ゝ。((-‐)  (ー-))::。 i'′⌒ ̄ ̄` ̄ ̄ ̄ヾ`ヽ ヽ                  ...│
│       (  ヽ'"(__人___)"'__ ,ノ ヽ、____"___,、___ソノ__ノ                  ...│
│  ´ ´ `゚~゜´^" ´~`゚゜`⌒ ´"´´゚^゚^ ~゜゚`´^゙^ ^´'                         ....│
└─────────────────────────────────────┘

.


315 : ◆GI8xWOz4Ko:2010/05/07(金) 22:12:17 ID:N3a0OT12


| |  | .|  、 | l,,.ィイ]L..ハ_,.|    | .|`ヽ{
|゙≧==ヘzッ  ゙`'''"'゙_,三二=--.L-ー'" |、 |
,〉-'^'_,..ニ-    ´         |    | l`゙{
‐''"´        ______ |    k'  |
    _,,..=-        |   | |     |ヘ  |
、 ‐T"l l     _,.. -、 弋__,ノ |     | ヘ . |
ヘ | l l l   l"´    ヘ     |    | ヘ .|
 |.      |     ヘ _,.. ィ<|    |  ヘ |
 ゝ、..,________ヘ__,...、‐,'"イ ,イ |      |   ヘ|
    | |   / |\   //  |     |   l|

朝倉涼子
「途中の証明を省略するために定理を持ち出していいよ、ということです。

ただしこれは論理学におけるルールの話で、実際の論証では、
相手も定理を理解していないと伝わりませんから注意してください」



           __
        ,..::::´:::::::::::::: :`:ヽ、
      ,r´:::::::::::::::::::::::::: : : : :.
     /::::::::::::::::::::::::::::::: : : : : :',
    了::::::::::::::::::::::::::: : : : : : : : l
      |:::::::::::::::::::::::::::::::::::::::::::::::::::ヽ
      lィ::::lヘ:へ::|::::::::::::::::::::::::::::::「
     \ト、(ヽ::::|:::::::::::::::::::::::::::rノ
        ヽ´::::|::::::::::::::::_;、::ル′
         ` ‐lイ::::::::::ヽ
              /⌒ヽ、::::ヽ
           |::::::::::::::`¨´!
           |::::::::::::::::::::::|
           |::::::::::::::::::::::|
            ヽ__;:---─ヘ

長門有希
「ある論証に対して、対偶をとってそこから上手く反証した人が、
まるでわかってもらえず苦労した、などという笑えない話も聞く」


316 : ◆GI8xWOz4Ko:2010/05/07(金) 22:13:00 ID:N3a0OT12


4.9 式の導入

.


317 : ◆GI8xWOz4Ko:2010/05/07(金) 22:13:36 ID:N3a0OT12


           , " ̄ ̄ 丶、
          /        \
        ノ゙!  / , { / { / } ヽヽハ/^ーァ
    r='  \j |イ/⌒Vヽハ⌒lヽ} j} /´
      ̄\ イ j :|fト  fハ/ノリ/
         7レヘ { ゞ''  _ `‐' {/ベ
       く/ /V>  __  イ∧ヽ/
         \{ { l::lVミVl::l / ∨
           Y\ヾ ∀ シ/ r'´
              |   ≧f}≦  |
           `ァー∨=∨‐く

長門有希
「次、式の導入。これも派生パターンというよりは演繹のルール」



┌────────────────────────────────┐
│                                              ..│
│◆式の導入                                       .│
│                                              ..│
│A ⇔ B であるとき、Aを含む複合命題でAの代わりにBを用いてよい     .│
│                                              ..│
└────────────────────────────────┘

.


318 : ◆GI8xWOz4Ko:2010/05/07(金) 22:13:53 ID:N3a0OT12


┌──────────────────────────────┐
│                                          ......│
│~ 例 ~                                     .....│
│                                          ......│
│20歳以上であることと、喫煙可能ということは同値の関係にある。    .│
│                                          ......│
│そのため、やらない夫が喫煙可能であることを根拠に、          .│
│やらない夫に(18禁の)AVを貸すのは問題ない。             ...│
│                                          ......│
└──────────────────────────────┘



          _>-――-、_
       __〃 / ̄ ̄ ̄\ミ:\
      / //─    ─  / / / ト、
      |/ (●)  (●) |:.!{ !∪〉}
      |    (__人__)  ∧丶=ノ /
      \   ⊂ ヽ∩  个==く
        |  |  '、_ \ /  )
        |  |__\  “  /
        \ ___\_/

美筆やる夫
「要は同値なら相互に言い換えてもいいよ、ということですかお」


319 : ◆GI8xWOz4Ko:2010/05/07(金) 22:14:11 ID:N3a0OT12


    ,ィ''‐/ヽ/ヽー:.、
  /    /ヽヘ ヽ  .ヽ.、
 / /  ///`゙"´| l  |   | ヽ
. l | |_大ナ|'  ナ大 | l  | |ヘ
.|__ .|.==== l ==== ヽ__ノ |ミ|、
| .「XXX    XXX |   .|ミl.|
| ./    、,、 ,     |   |`l.|
|.l.     ´ `´     |   ├K
| ゝ、.___,.<ソ       _|   |.川
| |  |./  ヾ)二オ''ハ´ .|   |.川

朝倉涼子
「そういうことです。プログラミングの代入の考え方に近いですね」



                _______    /:|
            _,..-─'":: : : : : : : : : ̄`ー'´: :/
           /: : : : : ,:: : : : :: : : : : : : : : : : : ̄: ̄:゛ー-.、__
        /: : : : : .::/: : : : : ; : : : : : : : : : : : :、:: : : : :ヘ-一"
         /: : : : : .::/: : : : ::/: : :;|:: : : : : : : : : :ハ::. : :、: :`ヽ、
       j: : : : : .::/: : : : :;/:: : :/|::. : : : : :|::. : : :|:: : : :ヘ:: : :ハ
         |: : : : : :/: : : : .:/|::. :/ |::. : : :; :jヽ、::. :j::. : : : :|:: : : :l
       j: : : : : :j: : : ::ー/┼:/-、,|:: : :;/∨,-┼;/‐::.: : : :|:: : : :|
       |: : : : : :|: : ::/:/ヤ弐行j::;/ 〒弐テァ|:: : ;∧|: :ト、::|
        }:;/: : : ::j:;/:::;ハ |ト-':;j:|'"    |ト-'::j:|´j:;/::: : : :| `
      j:ノ|: : :|: :´::.: :/  、V::ィ:;リ     , V::ィ:;リ,'{::::::::::: : : :|
          |: : :|:.: : : :/ ,ィ'⌒ヽ"   r─┐ ̄" ∨:::: : : :/
          |: ::人: : ;/、(.rュ: ,,,ノ   {  ,{   ,.ィ:::::|:: : ;/
       j:/ ̄ ̄ ̄/,ト''´::ー--__ニニ-‐'"´_,|::;/|;/____,.-‐─ュ、_____
      /    ___/ /j::::/|:::;ィ::|i__/ }::::|'´ '"           /{{{´ ,rァ‐'"
     / ̄ ̄ ̄,/l// ,r‐'´ |:::|ヽ-/ |::::|      ,        { ゞゝ、_,,⊃
      l` ̄ ̄ ̄",//} ̄" , |:::|/´`^^^'ヽ、    /          |-‐';/
      lニ二二二"ィ´} |::.  l  j:/,,/~`´~},,j,,ノ;〉   {         | /
      / ゞ彡",ノ' :::   |  /_,ハ> < },,/,>  λ、_,,      !/
      / _,.-‐'´       l くヽ、ゝヽフ /,イ     } `\    ,,/
       {      ,     iノ;イヽ`ー‐´ノ;ノ/l      |    `ー-'´
      `ヽ、__,ノ´ ̄`ー-‐{~ { `゛   ~,,/:::|      |

長門有希
「演繹に利用するパターンの解説は以上。

これから演繹の使い方に移る……と言いたいところだが、
それは帰納を終えてからやる」


320 : ◆GI8xWOz4Ko:2010/05/07(金) 22:14:41 ID:N3a0OT12


       , - '´`ヾ ''ヽー-ッ、
     / ,   /  ,、ヽ'  ヾ-.、、
   /  /  /  /_ ヽ^l      ',ヽ
  / / /   / //  `´7 ,'    ',.ハ
  Ll__/  斗=ト、,'     ,' /  |   l  l
   / l  ハ ,'.l ,'   /ォミ、 /   l  |
   ,'`ー'r┘-' ヽ   /,//  メ、   ,'  |
  ,'  ,' 三ミミ   `_<__//   //ヽ{
  l   ノ xxx      =ミx、 >、/l/  l´
.  l .〈         xxx`ヾ   /ニ〈
  l   ヽ、  、__     /   /´   ヘ
  l   / l`r-、、_    /   /    ',
  リ  l'  l lヽ ` ''`フ"7   / l     ',
  | /   ヽ'ー`ニ7./ /   / ヘ     ',

朝倉涼子
「実際に演繹を用いる際は、
たいてい帰納と組み合わせることになるためです」



        l´  |  |   |      ___..___   _l´  | |.  |
        |  |  | __⊥-‐" ̄: : : : : : : : ̄`ヽ|   |.、|.  |
       ┼=ニ二´;: : : : : : : : : : : : : : : : : : : : |   |: :|  |
        |,.イ´: : : : : : : : : : : : : : : : : : : : : : : :|   |`|  |、
       /: : : : ::/: : : : : : |: : : : : : : ::|: : : : : : ;|.  |. |  |:ヘ、
     /:.::/: : : :/ : : : : : : :|: : : : : : : : |: : :: |: ::|:|  | |  |: :トゝ
     |::/|: : : :/: : : : i: : :/|: : : : : :λ::|: : : :|: :|::|  |.|  |:: :|
      |/ l: : : :|: : : : ::|: :/ |: :i:: : : :| |::jヽ、:::|_:|:::|  ト、 .|: : :|
        |: : :.:|: : : : ::|:/‐-、|:/|: : : :j_j;/-‐∨、|:::j`    ヽ::.:|
       |: : :.:|: : : : ::/〒云オ ∨::/〒云弐ア|: :|   ┃┃l、:|
      ヽ:i:.:ヽ、: : :ハ lト::t:j:|  ∨ |ト::t::j:;j,'|: ::|     x | `
      __人__:::ヽ、:|::} `ー‐'  ,    `ー‐'" |: :::{____,,ノ
       `Y´ヽ::|::|::::j xxx       xxx |: : :/:.: :/j/
        !  `ト:|:::ヽ、 _____rっ__,,.ィ|:: :/ヽ;/
           ヽ|:::::::::/リ |:::,、:;ィヽ  `ア`|:;/ヽ、
               ∨::/  V / {____/  '"_   \
             ∨   / ,{ |ニニ/ ,イ´二二ヽ〉
                 {:| | | ///_,r-─-.、j
                  |::ヽ.゛|/´/,イ´::::::::::::::::::}

長門有希
「というわけで、次は帰納。

だが、その前にいったん休憩しよう。

お腹もすいてきた」


321 : ◆GI8xWOz4Ko:2010/05/07(金) 22:15:21 ID:N3a0OT12



◆◇◆◇◆◇ 5.ティーブレイクと次回予告 ◇◆◇◆◇◆


.


322 : ◆GI8xWOz4Ko:2010/05/07(金) 22:15:38 ID:N3a0OT12


                , -=ニニニ≧ 、
            / ´+ ※  ※ +ヽ\
          // +_r冖^::丁:「:トミヽ、\ヽ、
            〃 /:l:::l::j::.::l|:::|::|::.:ヽ::.\}〈
.          ハ/::.::.:|::.|::l::.::l|:: ト:レく::.::、::.:lハ
         l {::.::.::.l|::|::|:::/|l:::| l|x=ャ、|::.:l}::.ヽ
         | l::.l::、::Vィ7厶lハ:j ヘ:::ノ!|ハノ|::.::.:\
         `T:ト、:ヽヽれ:::〉  ,  "リl ノ:_::_::_:::ヽ、
.            ヽ:::ヽ::\ミ`゙  <__} ,.仏 ト{ r'´: :`丶ミー--冖、
              `ヽト、`丁≧┬r彡' _」/ ヽ: : : : : : : :`: : :八:_ヽ-ュ             /^h
             j:::} }:」 rー≠()く⌒ヽ  \: : : : : : : : :/イ l「 ` ー--―rv、  / //
             /:::| /: r1V/ノlト、\_}\ >r  ̄、l ,‐┐ヽV | |        { l|冫´-クノ
               /::.:「//: r1イ / |:ト、\   `丶、 /|ヽ }_:_:;:ィ! Y¬ー- 、  }||廴/
           /::.:rく: : : >}{// |::Vヘ }  r-vハ ̄`ヽノ::.::∨ト、ハ\    ̄
          /::.::厶: ヽ:勹 ,'::|  ヽ:∨乙ヘノ, イ::.:丶、 ::.:::\::.:|: : /〉 〉
         /:::_r1{><\/:7::::トヘr-ヘ:\r-'´≧ヽ、__::`ヽ、::.` | :〃:/
        /r‐'´※ ハ|: : ハ{:_:_广:;ゝ二ニこr'′: : : :Y>、::`丶、V/ト、
.     /::.::;ヘ _/   ヽ/: : ∨_/: : `ヽ「∨: : : : : : : : \}\::.::.::丶、::ヽ
    ,.イ::.::/::.:rヘ、   /: ; :-'´/: : : : : : : : : :/: : : : : : : ヽ〉:` ー- 、:丶、\

翠星石
「さ、お昼ご飯ですよー。

今日のメニューはエビチリと炒飯と酸辛湯ですぅ」



                   __ __
                   ..ィ.:´:.:.:.:.:.:.:.:.:.:.:.:.`:.:...、
                 ,..イ:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.`:ヽ:.:.:.:ヽ、
           /:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:\.:.:.:ヽ
.           ,. イ:.:.:.:.:.:.:.:.l.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.ヽ.:.:.:.:.:.:.:.:.:',
           /:.:.:.:.:.:.:.:.:.:.:i.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.ヽ:.:.:.:.:.:.:.:.:',
.          /:.:.:.:.:.:.:.:. i:.:.ヘ.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:';:.:.:.:.:i.:.:.:.',
        /:.:.:.:.:.:.:.:i:.:.!:.:.: ハ.:.:.:.:!:.:.:.:.:.:.:.l.:.:.:.:.:.:.:.:.:l.:.:.:.:.l:.:.:ハ
.       /:.:.:.: i:.:.:.:.l:.:|!:.:.l ヽ:.:ヽ:.\:.:.:ヽ;.:.ト、:.:.:.l:.:.:.:.:l.:.:.:ハ
.      //: /:. |:.:.:.:.l:.l !_.:!-‐ ヽ.:.:\:ヾー、- 、ヽ:.l.:.:.:.:.l:.:.:.:.:.ト、
      /イ/:.:.:.!:.: ,:イ´∨    \! ヾ! \!\`ヾ!.:.:.:.:l:.:.:.:.:j`ヽ
       |:.:.:.:.ヘ:.:.:.:.|ィニニミ、       ,.ィニニミ、!.:.:.:.:i、:.:.:/
       |:.|:.:.:/ヘ\!ヾ{:゚::;;::ヾ    〃 {::゚:;;::::} l.:.:.:./ }:/
        ヾ!ヘ:ヘ,,:イへ ヽc::::リ         ゝc:::ソ l.:.:./イ/
        ヽ ヽヘ!:.:.ヘ ` ̄    i    ` ̄ ,':.:/.;イ′
            |:.:.ハ.                /.:/:/
            |:.:|:.:|:.ヽ、   `  ´   ,イ:./|/
            |:.从!∨W> 、    .イソ'// !
            |/        ,j ` ´  lメ.′
            ′    /::ノ    /∨:\
         __... 、.- ─:::´:::ク    ....   ∨::::`:ー:..、
          |::ヘ::::::::::::::::::::::i:/ ´     ` \l::::::::::::::::::::`>,
.          /∨ヘ::::::::::::::::::::l/ ´  ̄ ` \j::::::::::::::::::::/ :/ヽ

長門有希
「ありがとう」


323 : ◆GI8xWOz4Ko:2010/05/07(金) 22:16:16 ID:N3a0OT12



                  ,ヘ
      ____      / /
     /\  /\   / /
   /( ⌒)  (⌒)\/  /
  / :::::⌒(__人__)⌒:::::\ /
  |     |r┬-|       |
  \     ` ー'´     /
  /          \
 /             \
/  /\           ヽ

美筆やる夫
「今日もうまそうだお!」



                   _ ......... __
               ,.ィ"/,. ィ'":.:.:.:\:.:`丶、
             / / ,:":.:.:.:.:.:.:.:.:.:.:.:ヽ:.:.:.:.:.\
            / ./ /:.:./:.:.:.:.:.:.:.|:.:ト;.:.:l:.:.:.:.:.ヽヽ
          /  / /:.:./:.:.:.:.:.:.:.:/:.:| ',:.:ト、:.:.!:.:.l:.',
         く   ,'  l:.:.:.:l:.:.:./:.:.://_/ .l:/ー-ヽ:.:| ',|
           ヽ、.」  l:.:.:.:.l:.:.l_:/フ ' /' 、,,,,,.ノ:./ ′
             /:.:.{  !:.:.:.:.Vr   ,,ィ ′  ///イ}
            /:.:.:.:{   ヘ:.:.:.:\=''"//   _   ハ!
           /:.:.:.:.:.{   ,イ_ヽT rr‐',  <ノ  , ' }          ,、
          /:.:.:.:.:.:..{ r-,.‐-.、>、ヽヽヽ ..__/   }           //
         /:.:.:.:.:.:.:.:{         /:.:.:.:.:.:.::.:.{ {l: : : : : :.:.!{,〃゙Yニ - _ュく{.   }       //
.      , ':.:.:.:/:.:.:.:{ /:|:.: : : : : :ヾ,ヽ='ィ、ニ. r.イYヽ   }      _..rY、
    , ':.:.:./:.:.:.:.,イ/:.:.|:.:.',: : /: : : \/ !  / /{:ハ.  }.   /,_ィ_〉 〉
.  , ':.:.:/:.:.:.:.:./ /:.:.:.:!:.:.:.∨: :_:_: : / l   ' .,'イ: : :!  }. ,イ    'ー- ._
 , ':.:./:.:.:.:.:.:./ ./:.:.:.:.:.!:.:.:/: :/r =7     ,'.フ: :ヽl   }Y フ '´ ̄`二- '-'
,.':.:/:.:.:.:.:.:.:/ /:.:.:.:/ハ:/:.:.:.イ7/〈:、     !'.):.:. : : `ヽ/'、ヽ二-フ´
/:.:.:.:.:.:.:., '  /:.:./:./:./:.:.:.:/://:.:.:ヽ:\   |ヘ:r,.-.、、/  ゙ーァ'´
:.:.:.:.:.:.:./  ./://:.\:.:.:.:/:.V:.:.:.:. : :〉:/  l:.\ニ/Yl   /
:.:.:.:.:.:.:.{  /:':/_.. -‐'::::`7:.:.:.:.:.:.:.:.:./:/   /:.:.:.::|': :.ヽヽ/ヽ、

翠星石
「時間の余裕があるから手間のかかる料理もできるですよ。

朝倉さんがいるので辛さは抑え目です」


324 : ◆GI8xWOz4Ko:2010/05/07(金) 22:16:47 ID:N3a0OT12


                 ,...,.-‐'"´`ヽ,..-、
               ,ィ',.イ         ヘ-‐、
            //,  / /   _    ゙'''ヽ
              / 'ィ'´ /  /   / /,ハ.,ィヘ    .ヘ
           }‐/  ,/   /ヽ、//   "''┤   l.∧
           |_ .゙7''"'¬イ└/l゙メ.、    .リl |  | |
        /ヘ/ `/   / ヾミョ、 `   、≦斗.|  | |
       .l,..-''"∨   / xxxx     .ミk、,゙L/   .ハ .|
      ,.<   /   /.    γ'ー、_,  `゙"/-、 / .レ'
    ,.ィ'" (   |   .ト'、..   l   / xxx/  「′
 ,.イ   ,..-'|  |   |  |゙ヽ、   ゙ー''"   ノ   |
'´  ,.-‐'"  ヘ  リ   |  ヘ  ヾ=-..r-=ニ'"|   |__
,.イ       ヽ ゝ、 |    、   ̄ノ    .|   | ヤ¬ッ
   /      > `''     ゙'¬"  .|   |   |  .レ'"
 /      /   /        |  /  リTー'
/        /    '--ッ  __./  |'"´〈、_/ |
`ヽ、 , ,  /     /    /`ヽ |      | |

朝倉涼子
「わーい」



ノ::::/::::::/:::::;:::i| :::l::::::::::{:::::::::::::.ヽ:::::::::::
7:::;':::i:::i:::::::l::::|i::::|::::::::::.l、::::::::::::::::i:::::::l::
:::/::::|:::|:::::::|:::l |::::ト;:::::::::l i:::ト、;::::::::l::::::l:
イ::::::l| ::l::::::i.|:|__l_;レ゙、:::::| l;:トx,,_、;;::|:::l::
.l:::::::|:l::::l::::| |! ,,_!;ト、 \{ ヽィ _,,ヾ|/`
. l:::::i゙l;ヽiヽ! イ{゚ ゙'r     ィ'゚ ゙.}゙ゝ
 ヽ;!:i;ヘ;::::::|`.!cッ;j      !c;;;ツ /::
  ヾ.|i.|:::::::i,      、      ./::::
   ノ゙ ヽ;::、ゝ、         , イ:;::::;
      ヽ::`、{゙' 、 ー ‐- .,,r''V//.::/
       \:::l,,イ:}::`:::: ''゙ .{ヽ///
     _,,::‐''´ヾ /゙     `'i:.'゙.:`'ー
 _,,:‐''´.:.:.:.:.:.:.:.:.:{ー--、  , -‐-}.:.:.:.:.:.:

長門有希
(私は劇辛がいいのだが……仕方ない)


325 : ◆GI8xWOz4Ko:2010/05/07(金) 22:17:07 ID:N3a0OT12



・ ・ ・ ・ ・ ・ ・ ・ ・ ・ ・ ・ ・ ・ ・ ・ ・ 


.


326 : ◆GI8xWOz4Ko:2010/05/07(金) 22:18:07 ID:N3a0OT12

                   _____
                . :  ´. :. :. :. :. :. :. :`:   .、
             . : ´. :. :. :. :. :. :. :. :. :. :. :. :. : . : ヽ.__
.          . ::´. :. :. :. :. :. :. :. :. :. :. :. :. :. :. :. :. :. :. :. :`ヽ.
     _. イ. :. :. :. :. :. :. :. :. :. :. :. :. :. : :ヽ. :. :. :. :. :. :. :. :. :ヽ
  ー≠ -‐ァ. :. :. :. :. :. :. :. :. :. :. :. :. :. :. :. : :ヘ. :. :. :. :. :. :. :. :. : ':.
     /. :. :. : . : . : /. :. :. :. : . : . : . : . : ハ. :. :. :. :. :. :. : . : :ハ
    .イ. : .::/. :. :. :. :/. :. :. :. :::i. :. :. :ヽ. :. :: : '.: . :.′. :. :. :\: .: '.
.   /. : . ::.′ . : : ィ/}:i. :. :. : :|. :i. :. ::ハ. : . : : ; :/ . : ヽ: j. :. :ヽ. :'.
.   :′:/l{. : . ::/ー! 小. : . : :|. :{ヽ . : } . : . : }:′. : :ハ′: 、 . : :'.
.   {/  i : ! :. :{. ::| {リ.∨. :. :ト:.:| 丶. :ト、. :. :.′ . :. :.:.::'.: :. : \::∧
.         {:: |:: :小ィテ云ミV .:.:.| ヾ -‐ヽ! 丶. :. :. :. :.':、: .;. :. : . : }ミハ
         '.::ト :.:.ト、! {:: 刋 ':、::!  ィfテ云ミx 冰. :. ::′':.:.:|. :. :: : ′`ヽ
       ヘl '. .:!: :代zソ  ヽ{  {::し:沁 .′. :. ::f´ハ: }. : :/::′
         ヽ{. :{wx      弋辷ソ レ;. :. :. :|´ Ⅳ. .:/ヘ{
           :':::八    '      xwx j. : :/::{‐''´∧:::′
.          {/∨::>  )- 。;      イ.: :厶 |∧/ ヘ{
      乂    ∨ |`  > __   < .': :/ ヘ{
  もぐ  ー    ヽ{   .イ  }    厶イ斧ー- ._
    もぐ     _,. -‐<   !´       ー-}    >ー- .
           {.       {< ̄>ー- 、j       .イ!
             .'ヽ.      |.        :'      /:::::ヽ
         /.:::∧      |      .′      ./::::.r::∧
           / .::::::∧     |       .′     / /::::::::ヘ
.        .'.: ::::::::{ハ       !      /       /:/:ィ'´:::::::∧
        ; :::::::::::::'.::::ヽ     :{     ./    才´:::/{::::::::::::::::::ハ
.         :'.:::::::::::::::}:::_:::\   '.fTT:/  .才´:::::::::::. r<7::::::::::::'.
.        .′::::::ヽ:::.イ (¨: 、ヽ.  '  :/  /::::::::::::::/   .′:::::::::∧
       /.::ー≠.イ´   :!;¨㍉ヽ '. / .イ:::::::::::::::::.イ  ≫'::::::::::::::::::::ヽ

長門有希
「さて、先ほど言った通り、次は帰納をやる。

その後、『学園祭の催し物をどう成功させるか』という
仮想の例を用いたケースメソッドにより、
帰納と演繹を組み合わせてどのように推論を行っていくか
を解説したい。

全体の分量が多すぎるようなら別の回にまわすだろうが」


327 : ◆GI8xWOz4Ko:2010/05/07(金) 22:18:39 ID:N3a0OT12


            ._,,,、-:------、,,,、
         ,,/″:::::::::::::;;;;;;;;;;;;;;;;;;`'''-、
       ,/   ,,;;;;;;;.,,r´'"゚“゙“゙'''' ,_;;;;\
      ,r″;;;;;, ⌒::::::::::┐:::::::::::::::::::: \::::::゙':、
     ,/  ;.;;,./゙;;., |;;;;;;,;;;;;;|::::::::::::::::::::::::::::::ヽ;;;;;`、
    / ,,::,,,/ ;,,lll゙`    `'W'li,,,,::::::::::::::::::::ミ;;;::::::、
   /,,:::::::::::||  lll゙        |;;;;;;;;;;;;;::::::::::|::::::::: ヽ
   ,l゙,:::::::::::::lll  ll      ━━l;;;;;;;;;;;;;;;;;;;;| :::::::::::::|
  .l゙,i;;;;;;;;;;;;;l゙l;;;;;;|━      /   l:::::::::.゙l::::::::::::::::|
 ,.、"゙゙゙゙'゙゙゙゙llll, _      ∠    |;::::::::::::|;;::::.,,;;;;;;|
 '、 \、 |::::l   ̄>      ¨ ̄   l;;:::::::::::::;||:::::::::::,,- 、
  \  ` |::::「 /´ __,,---ー¬   |.::::::::::;;;;|::::::/  i
   \ .|;:::l     l::::::::::::::::::::::::|    |;;;::;;;::::::l/   /
     `|;:::l,     l::::::::::::::::::::::|    │;::::::::::|   ,,/:::::|
     . l゙,:::::\_   │:::::::::::::::::ノ _、-‐゙}:::::::::::l'\/:::::::::::゙l、
     ,!,::::::::::::|  ̄'‐`r‐ーー‐'フア  |:::;;;;;;;;|  /i:::::::;;;;::::::゙l
     l;:::::::::::::l    /`'マ/='/゙‐'゜   l´::::;;;ノ  /:::::::::::::,;::::::::゙l、
    .|;:::::::;;;;;;!  /           ¨¨'   ノ:::::::::::::::::::,;;::::::::ヽ
    .!'゙~°  /            .,,-‐':''''゙゙゙゙゙゙゙゙゙゙゙゙ー― 、:::::::::::l, ._,.-:

朝倉涼子
「こうごきたいー」


328 :名無しのやる夫だお:2010/05/07(金) 22:19:14 ID:pymwOfd.
>>300の例文、やらない夫「を」アダルト用途でレンタルできるように見えるw


329 : ◆GI8xWOz4Ko:2010/05/07(金) 22:19:14 ID:N3a0OT12



┏───────────────────────────────────┓
│                                                    │
│         【論理学】やる夫が論理的な考え方を学ぶようです            │
│                                                    │
│                                                    │
│                  ◆第6回  命題論理(5)                  .│
│                                                    │
│                ~ 推論(1) 演繹のパターン ~                │
│                                                     │
│                                                    │
│                      お わ り                        │
┗───────────────────────────────────┛


.


330 : ◆GI8xWOz4Ko:2010/05/07(金) 22:20:05 ID:N3a0OT12


┌────────────────────────────┐
│                                         .│
│参考書籍や参考サイト:                          .│
│                                         .│
│                                         .│
│・野矢茂樹 『論理学』                          .....│
│・John Nolt/Dennis Rohatyn 『現代論理学(Ⅰ)』            .│
│・苫米地 英人 『心の操縦術』                      ..│
│・茂木健一郎 『脳を活かす仕事術』                    │
│・地橋秀雄 『ブッダの瞑想法』                       .│
│・新田克己 『知識と推論』                          .│
│・ロジカルシンキング情報館                       .. │
│  http://logical.tokusen-info.com/mece.html              .│
│・@IT アーキテクチャ                           .. │
│  http://www.atmarkit.co.jp/im/carc/index.html           .. │
│・【モヤシ】 やる夫で始める家庭菜園                   │
│ http://yy702.60.kg/test/read.cgi/yaruo2nd/1271331924/      │
│・Google神                                   │
│・ Wikipedia                                  ..│
│                                         .│
│*たぶん追加されます                           │
│                                         .│
└────────────────────────────┘

.


331 :名無しのやる夫だお:2010/05/07(金) 22:20:31 ID:/aooKQbM



332 :名無しのやる夫だお:2010/05/07(金) 22:22:17 ID:1bgeydxA
乙でした~


333 :名無しのやる夫だお:2010/05/07(金) 22:22:42 ID:SQ6bGdbs


感覚的には判るんだが…


334 : ◆GI8xWOz4Ko:2010/05/07(金) 22:40:46 ID:N3a0OT12


>>281 例文が簡単だからひどく間抜けにみえるなw
わかりやすさ優先ですw


>>328 >>300の例文、やらない夫「を」アダルト用途でレンタルできるように見えるw
その発想はありませんでしたw

しかしこの世界観だとそれはないと断言できないので困りますねw


>>333 感覚的には判るんだが…
例文を自分で考えるとかして、実際に使ってみるといいかも。

自分らの脳みそって、アウトプットすることで
よく働くようになるものなんだそうですよ。



引用先
やる夫板Ⅱ http://jbbs.livedoor.jp/otaku/12973/




論理トレーニング101題
論理トレーニング101題野矢 茂樹

産業図書 2001-05-15
売り上げランキング : 7943

Amazonで詳しく見る
by G-Tools
新版 論理トレーニング (哲学教科書シリーズ) 論理学 反論の技術―その意義と訓練方法 (オピニオン叢書) 入門!論理学 (中公新書) 議論のレッスン (生活人新書)






37 :名無しのやる夫だお BY:IsseiFubi


論理学が難しいと感じたなら単位とれない
俺は単位とれなかった

p:論理学が難しいと感じる q:単位とれる

∴俺は単位とれなかった

p⊃-q, -q ∴-q

これでできてるかな。

1080 :承認待ちコメント BY:IsseiFubi


このコメントは管理者の承認待ちです

コメントの投稿











管理者にだけ表示を許可する

トラックバック

この記事のトラックバックURL
http://run1dekiru.blog28.fc2.com/tb.php/127-4e672825


ブログパーツ