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 ..│
│ .│
│*たぶん追加されます │
│ .│
└────────────────────────────┘
.
- 関連記事
-