l.::,' : .:l :::::l ::::::l ::::{ ::::ヽ ::::::::\:::::ヽ::.. ..::l :::::::::l::: :: :::. :l.:l
|:/! :.:::| ::::ハ : ::∧::::八. .:::::i\..::::::l \::::\::::l :::::::::l::::::::::: ! |
|{│.:.::::| ::::::ハ ::l ヽl ', :::::| ヽ::::l _\{-ヽ| :::::::::|:::::::::::: i::l
! ! :. ;小、.:::::{ 代ート、 ヽ ..::l >七´__,ィ=-、.」 :::::::::j::::::::;::: l:,'
│ |::i | ::ハ . >-ヽ? l> 、 __ ´ ;′ , | ||イ‐ 、 .│
│ ノ::// | (|::((. ./ !| :|| | .│
│ ヽ|′ ノ /ヽィl ′| l| l| |l | |ト、 | l | l〈″ ::.::.::. 〈| .│
│ lノ ´ ̄ 川 l| |||」| l|`T 7 ハT | l | | | ::.::.::.::.::.::| | │
│ ⊥∠ ̄`ー-<⌒ 川 |l kヘ 八 | |/,,斗=ミk j | ! | ::.::.::.::.::. | | │
│ \::.::.:-‐''´ ̄ ヽノ川 |l_|孑テミ\ | l〃 弋ヅ゙} ' 从 |::.::.::.::.::.::.| |\ ......│
│ ヽ ::.::.::.::.::.::.::..\ノ| lヘド _ゞソ  ̄ / /|_j::.::.::.::.::.::.| |\ ヽー- 、 │
│ ヽ ::.::.::.::.::.::.::.: >ヘ l 八 /// 、 /// /l |´::.::.::.::ー―{ 、  ̄ ヽヽ .│
│ \::.::.::.:: /..:::..\{ ヽ __,、 イ l| |\::.:..\::.「::.弋_ \ \ }ノ .....│
│ 〉、::.:〃.::.::.::.::|〔_ト ト ` ̄ /┼ノ |::.::.ヽ::.::.ヽ|::.::.: ノヽ l\ ヽ .│
│ / ハ ::.::.::.:: j | |├]> <__/l/ ; ::.::.::.::.::.::.::.: / '.| ヽ ゛、 .....│
│. / / l | | ::.::.: //..::| |ノ└―イロト、 / ∧::.::.::.::.::.::.::.: { | l |、 }| .│
│ / / ハ」 ::.:://..::.::. ' 〃 〃 || || ヽV ′ヽ ::.::.::.::.::.::. 〉 l || \ ノノ │
│ / / / 弋_::.::.::.::.::.::.::l || {L ノ| |Lノノ / .:..\::.::.::.//j:i、 ノ人 ヽ │
│. / イ \ー ‐=彡i:i:i:i:iノ .:|{ l `ヽ |l { ヽ::..\i:i:i:i:i:i:i:i:i:i:ト、 │
│ / / 乂 >i:i:i:i/i:i/:i:i/ .::.::い :. 八 ゝ l::.::.::.:. i:i:i:i:i:i:i:ハi:i:ハ .....│
│ { { イ:i:i:i:i:i:i/:i:i':i:i:/ .::.::.::|\ \_ノ) :. |::.::.::.::l:i:i:i:i:i:i:{:i:}i:i:i:ト、 .│
│ /:i:i:i:/:i/:i:i:i:i:i/.::.::.::.::.| ` ー '´ : j ::.::.::.:|i:i:i:fヾi:i〉トi:i:i:i:i〉 │
│ {i:i:i/i:i:i/:i:i:i|:i:i:| ::.::.::.::. l / .::.::.::.:|:i:i|i:}:i:l:i:i||:i:i:|/ .....│
│ ヽ/i:i:i/:i:|i:i:|i:i:l{::.::.::.::.::.:..、 、 , .::.::.::.::.:∧i:||i:i:i|:i:ハi:i| ....│
.
∨: : /' : : : : : !.: : :/ }.: i i : : : . ! ヽ | i ∧
.ハ:/ /.: : : : :.: |.: .:/ /:.: ト, |,: : : . : : : .| ハ | l ∧
. /.: : :.: : : .:{: :/ .∧:.: i ∨ : :. |∨ : : : : : |: : : : : : : . : . i | | ',
∨: : : : : : : : V / .∧:. | ∨: : .:: . . |∨: : : : :.l、: : : : : : : . : : ト | l ∧
,: : : : !: : : : ′ /: : :.∧:. | '、: : :. : .:. | 、: : : : !ヽ: : : : : : :.:. :.:. |ヘ | l ∧
∨: :|: :. :′ ./ !: : :.i '、. | 丶: : : : : . l \: : | \ : : : : : : : : | ヘ | l ∧
∨: :! : : ,' f ∧: :| \ | \ : .: : :.l \! _ ≧ ___: : :. :.| ', リ | :ト、ヘ
V j: : / j:/ ∨ | \ | \: : :.l -‐ \ : : ̄ : | ', / l ! `丶
ゝ≠' |′ ヽj ,.。rz====ミx ヽ: :! z=====ミ气.:.:. : :l ノ′ l i |
i .イ ん::::::::::::::::ハ汽 \ r芹云示圷ミx: :i| l| リ |
{ 《 {:: O:::::::::::::ノ} . -―‐- 、 〃んo:::::::::::::ハ } 》 :リ リ ′ !
ヘ '::::::::::::::::::.ィ´ } {ト:::::::::::::::::ノ} ノ从/ .イ イ :′
/ ハ':, ヾン / ヾ辷rzン′ ′ .:. : ン / } /
/ / .: .: : :i: . / /
/ .イ rっ .イ . : : : : : リ :/ /
:′ /: : ト、 > < ミ .イ /. : .: :/′ / i /
_ /´ l / Y^、 ', ハ ゙ぃ_シ ヒ_.ソ /} lヽl\. \
!/ ト ヘ ', ハ , /イヘ. ! ` \. ヽ
′ l/ヽ_ヘ. ', ヘ / / ', l \ヽ
/:: :: :: :: ::/:: :: :: : |:: :: ::|:: :: :: :: :|、:: :: :|:: :: :、:: :、::\
l:: : :: :: :: :l:: :: ::l:: ::|:: :: ::|:: :: :: :: :| ∨: :|:: :: : l: :∧、:::\
. |:: :: :: :: :: |:: :: ::l\l:: :: ::|:: :: :: :: :| |: ;/:: :: :|::: ::ハ  ̄`
|:: :: :: :|:: ::|:: :: ::|:.:/\;:/|:: :: :: : :|、/::|l:: :: : :|:: :: ::|
261 : ◆GI8xWOz4Ko:2010/04/27(火) 06:45:50 ID:PHcH89ao
◆◇◆◇◆◇ 2.命題論理で使う用語 ◇◆◇◆◇◆
.
262 : ◆GI8xWOz4Ko:2010/04/27(火) 06:46:05 ID:PHcH89ao
2.1 命題、真、偽
.
264 : ◆GI8xWOz4Ko:2010/04/27(火) 06:46:21 ID:PHcH89ao
( / ____ ヽ __ ) |
. ヽ| ,. ,-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 /::::::::; ' ´ ハ::::|:::::::::::|::::::|::::|
|:::::::ハ::::::::::| /´ノ |/::::::::/ }::|::::::::::::|::::::|::::|
朝倉涼子
「まず基本中の基本、今後シコシコ取り扱うことになる
『命題』の説明から始めますねー」
265 : ◆GI8xWOz4Ko:2010/04/27(火) 06:46:36 ID:PHcH89ao
∧_∧
( ´・ω・) 『俺はショボーン』これだけでも命題になるんよ
( つ旦O
と_)_)
長門有希
「命題とは、主張を明確に述べており、かつ、その真偽を判定することのできる文のこと。
『○○という命題に対して~』などという言い回しを聞いたことがあると思う」
266 : ◆GI8xWOz4Ko:2010/04/27(火) 06:46:55 ID:PHcH89ao
┌───────────────┐
│ ...│
│~ 例 ~ ..│
│ ...│
│・シロは犬だ .│
│ ...│
│・本日は日曜日だ │
│ ...│
└───────────────┘
.
267 : ◆GI8xWOz4Ko:2010/04/27(火) 06:47:08 ID:PHcH89ao
_,..-‐::─:.─::─-:.、_
,.イ´: : : : : : : : : : : : : : : : `:ー-.、__
/: : : ;: : : : : ; : : : : : : 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'ヽ、 |'ニニ} / /::ヽ、,,ノ:::::::::::/
/:::\\ |゛ ̄| / /:::::::::::::::::::::::;/
{:::::::::::\\ | | / /:::::/:::::::::::::/
長門有希
「よって主張が明確でなかったり真偽を判定できなかったりする文――
たとえば感嘆文・命令文・疑問文など――は命題ではない」
268 : ◆GI8xWOz4Ko:2010/04/27(火) 06:47:25 ID:PHcH89ao
┌────────────────────┐
│ ....│
│~ 例 ~ ...│
│・うわあ、凄い(感嘆文) │
│・あっちいけ!(命令文) ..│
│・シロは犬なのかな?(疑問文) .│
│ ....│
└────────────────────┘
.
269 : ◆GI8xWOz4Ko:2010/04/27(火) 06:47:39 ID:PHcH89ao
,..-、_‐',..-、 ̄_.._゙'¬-.、
/ , ´ `´ ヽ-‐-.、`ヽ、
/ / / / ∧ ,ィヘ \ ヽ
/ / / /l /‐ヾ--| l l ヘ
. | l | ハ | | | | | ',
| l | | ,.斗ヒ'| ヽL_l. | l |
| ハ | | ,ィくヾ, ''_,.≧‐.| イリ`ヽ
`' ゙-,ヽ_|〈イ::l ゙ '_ノハヽl'‐-、/レ'ミ
|. l マリ l::{゚ハ::l ,〉 |_,
l l `´ 、 .込イソ | | |
| .ヽ、 __ `´ | | .|
〉 レ゙、-.、.'、_,)___,..、イ | .|
/ | | ヽ、 `´ ノ ハ| l || l
/ | | ヘ`゙'ー'" , |l| | | |
. / //〉、.| ヽ / ハ _lノ | |
朝倉涼子
「ただし、これはあくまで基本です。
現実には命題の形をとらない命題もザラにあります。
例えば、円滑な人間関係を保つために婉曲な言い回しを用いるようなケースですね」
270 : ◆GI8xWOz4Ko:2010/04/27(火) 06:47:55 ID:PHcH89ao
┌─────────────────────────────────┐
│ │
│~ 例 ~ .│
│ │
│・「お話はもっともです。ただ別の考え方もできるのではないでしょうか?」 .│
│(「貴方の説は間違いである」を婉曲に述べている) .│
│ │
└─────────────────────────────────┘
.
271 : ◆GI8xWOz4Ko:2010/04/27(火) 06:48:22 ID:PHcH89ao
____
/ \ ( ;;;;(
/ _ノ ヽ__\) ;;;;)
/ (─) (─ /;;/
| (__人__) l;;,´|
./ ∩ ノ)━・'/
( \ / _ノ´.| |
.\ " /__| |
\ /___ /
美筆やる夫
「あー。たしかにこういう言い方もしますお。
でもこういうのってどうすればいいんでしょうね。
もしかしたら字面通りの意味かもしれないわけで」
272 : ◆GI8xWOz4Ko:2010/04/27(火) 06:48:42 ID:PHcH89ao
___
, . . .´. . . . .`.v-―- ..、
/. . . . . . . . . . . . . . . . . . . ヽ、
/./. . . . . . . . . . . . . . . . . . . . . \
ヽ_..イ. ./. . /. . /. . . . . . . . . .ヽ . . . \ . \
/. ././. . /. . . ./. . . . . i. . . . . . .ヽ. . . . .', . . \
/. . ././. . /. . . ./. .l. . . . .|. . . . . . . ヾ. . . . .',. .',. .ヽ
/. . ././. . /./. . .j. . .|. . . . .|. . . . . . . . .',. . . . .',. .',ヽ._\
j . ./ ..|. . .|. |. . . |. . .|. . . . .|, .ヽ . . . . . .', . . . ..l. . l
| ./. /.|. . .|. |. . . |. . .|. . . . .|ヽ. . \. . . ..l. . . . .|. . |
'イ. ./. |. . .|-|--l- 、|\.. . | \z‐ヽ-|. . . .:.| . ハ
|. .l!. .|. . .|. |._ | . / ヽヽ. | '´ \. . ヽ!. . .:.:.|. .| |
|. .|l. .|. . .|.く.イ.干≧ミ ヽl ィ≦干下>. . . j. / j
?ハ..|. . .| 代ュ ::}.l 、 ,r .代ュ ::}.lイ. . . イ./
ハ ..小イ 弋辷ソ }_{. 辷匕リ }. //.レ
, イハj. ハ、 リ⌒ヽ. rォ/ ̄ ̄ ヽ
/: :.| ;;;|∧ >==''′- `==イ| |! こつん |
_/: : : : | ;;;; V l > .. _ .. < |._.| ト、ー―‐へ
/ 〃: : : ヽ: :l .;;;; |ー 、 , -rf 1 j ヽ.V;; /: /}
/: : : :_ : : ヽハ. ;;;; |ー‐、 z‐| ! }//://
//: : : ―--:: ニュ:ハ. ;;;;. |二ヽ.\/z二ト、 /}〃: :/へ
/: : : : : : : : 二>' V:\ ;;;. | \二/ ∧ :  ̄: : : :V-く: : :/
ヽ : : : : : : :二:く V: :\ ;; ヽ / }、: : : : /: : :/:イ
\ : : : : : : : :.\,r.、 V: : : ヽi、 \ rA / ,,;; く: : ̄ : : : : /: : |
\二ニ : : : : : : :トvヘヽ: : : ト-≧ゝ ィ≦- /: :ヽ : : : : : /: : : }
長門有希
「その場の状況・修辞技法の一般的解釈・相手との関係・
相手の立場やその表現の癖などから
裏にある命題を推測することになる。
……もっとも、相手が過度に『奥ゆかしい』物言いをしている場合、
推測は困難を極めるのだが」
273 : ◆GI8xWOz4Ko:2010/04/27(火) 06:48:59 ID:PHcH89ao
/ /´ `´ `‐´ `ヽ、 \'"´ ヾ、
/ / / ,、 ,.、 \ ヽ _,.-‐'
/ ' / 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''"`ヽ、_,.ィ'´`゙'¬-、ン'ー'´
`¨¨¨¨`゙''"
朝倉涼子
「といって、この作業を放棄していつも字面だけ追っていると
『空気が読めない人』のレッテルを張られかねませんからねー。
正確に推測するのは難しいのですが、がんばるのみですね」
274 : ◆GI8xWOz4Ko:2010/04/27(火) 06:49:23 ID:PHcH89ao
『人間の所有しうる最大の財産は善き人格である』と思うがどうよ?
⊂ニニ⊃
____ ____
/ \ / \
|\/ ノ' ヾ \/| / へ \ 立場上その命題を『偽』とは言えんお。『真』としとくお。
|/ ≪?> \| / (ー) \
| (__人__) | ε= |(__人__) |
/ ∩ノ ⊃ / \ ⌒ ´ /
. ( \ / _ノ | | γ⌒/ ⌒\⌒⌒ヽ
.\ “ /__| |; (_ノノ| | |_しし_)
. \ /___ / :::::;; ::::::: ::::: :::::;:::::;; ::::::: ::
::::::;; ::::::: ::::: ::: ::::::;; ::::::: ::::: :::::;;
::;;; ::::::::::::::::: :::::;;; ::::::::::::::: :::;
::::::;;::./ ̄ ̄ ̄\:::;;;;::::::::;;;;;;;:::''
/ ─ ─ \
/ <○> <○> \
| (__人__) |
\ `⌒J´ /
/ \
長門有希
「それから、ある命題が正しい場合その命題は真であるといい、
正しくない場合は偽であるという」
275 : ◆GI8xWOz4Ko:2010/04/27(火) 06:49:48 ID:PHcH89ao
____
/ \
/─ ─ \
/ (●) (●) \
| (__人__) |
\ ⊂ ヽ∩ <
| | '、_ \ / )
| |__\ “ /
\ ___\_/
美筆やる夫
「さっきの例の『シロは犬だ』で言うと、シロが実際に犬だったら『真』、
そうでなく例えば猫だったりしたら『偽』、というわけですかお?」
276 : ◆GI8xWOz4Ko:2010/04/27(火) 06:50:06 ID:PHcH89ao
___
゛ |::" ゛:::| " |_ o
" |::::.. ...::| ゛ |___
_,.-‐'":: ̄ ̄ ̄゛:`ー-.、_
/´:: : : : : : : : : : : : : : : : : :`ヽ、 `ヽ /
,ノ: : : /:.:/: : : : : : : : : : : : : :ヽ、:.: :ヘ /
∠;; : : :/:.:/: : : :/: :.;|: : : :λ:: : : :ヘ:: :.:ハ
j: : :.:l: ::j:: : :;ー|-:/|: : : ::| |:ト、:: : :|: :|: :| ‐┼ o
|: ::|: :|:.::|: : /__|:/_、ヽ、::リ_|j__ ∨:;|: :l:i::| / | ヽ
j,ィ:.:|:.:|:.:j:.:/〒弐オ ∨オ弐テ∨j;/::ト、|
'´|(´|::|/:∨ !ト'::ィ:;| ト'::ィ:;|!|: : : :j |
|:.:`|:: :: :| `ー" `ー" l:: : :/ |
∨:.:|::.: :|、: : : : : :,ノ:: :/
∨:;ハ、::|::>..、__‐ __,,..イ:|:.:/ `ヽ /
∨:::ヽ:|'´__,.r‐'} {`ーュ、_レ|:/ /
/:::∨ |'ニニ} /::ヽ、
/:.:.:::,'.:∨ | | /::i:.:.:ハ
/:.:.:.:.:{:.:.:∨ | | /:.:.|:.::.:.:}
j:.:.:.:__;|.:.:.:.|ヽ、| .| ,/ |::.{:.:.:.:.:|
長門有希
「その通り。
場合によっては、真を1やT、偽を0やFという記号で表したりもするが、
意味は同じ」
277 : ◆GI8xWOz4Ko:2010/04/27(火) 06:50:25 ID:PHcH89ao
2.2 単純命題と複合命題
.
278 : ◆GI8xWOz4Ko:2010/04/27(火) 06:50:40 ID:PHcH89ao
∧_∧
( ´・ω・) 『俺はショボーン』
( つ旦O
と_)_)
長門有希
「さて命題には真偽の判定が一つだけで済むもの(これは単純命題という)だけでなく」
279 : ◆GI8xWOz4Ko:2010/04/27(火) 06:50:57 ID:PHcH89ao
∧_∧
( ´・ω・) 『俺はショボーンでこいつはチャーハン』
( つ旦O
と_)_)
∧,,∧
(;`・ω・) 。・゚・⌒) 上の命題は二つ命題が入ってるけど、これは一つの命題として考えるんよ
/ o━ヽニニフ))
しー-J
長門有希
「真偽を判定すべき命題を二つ以上含むものもある。これを複合命題という」
280 : ◆GI8xWOz4Ko:2010/04/27(火) 06:51:10 ID:PHcH89ao
,.. 、 ,. 、
,γ⌒ーイ ヾ _ ゙ヾヽ、
, './ / //`ヽ.' ヘ ハ ヽヽ
./ / / ,' l |` `゙´´ l | ', ', ',
/ ,',' ,斗キト ,ニ|、', ',. ',
/| l l | _| リ ノL_l l l',
´ ,リ. ',',_,..- ' ´ T‐┘リ
彡|,.ヘ〉.| ===≡ ≡== | |`
_| | ', |
‐'´' |. | XXX XX, |
ヘ| | `(_`チ ノ. |
| | , ィ' |
| |` ´ | |
朝倉涼子
「ちなみに複合命題に含まれる命題を要素命題または要素といいます」
281 : ◆GI8xWOz4Ko:2010/04/27(火) 06:51:24 ID:PHcH89ao
┌───────────────────────────────────────────┐
│ ..│
│~ 例 ~ .│
│ ..│
│・俺はショボーンでこいつはチャーハン。 │
│(これで一つの複合命題。なお要素命題は「俺はショボーンだ」と「こいつはチャーハンだ」の二つ) ....│
│ ..│
└───────────────────────────────────────────┘
.
282 : ◆GI8xWOz4Ko:2010/04/27(火) 06:51:48 ID:PHcH89ao
/:::/:::: /::::::::::::l::::::::|:::::::l:::::::::l:::::::::::::::::::::ヽ:::::::::::::::::::::i::::::
/::;イ::::i::::::::::::::| ::::::l|;::::::li;::::::::|、;::::::::::::::::::::l:::::::::::::::::::::l:::::
.l::/ l:::::|::::::::::::/!::::::| li::::::lヽ::::::l. ヽ;:::::::::::::::::l::::::::::::::::::::l::::::
|::l | ::::|::::::::-i-L;;_l .|!i:::::l ヽ::::l ヽ、__;;;;::::| :::::::::::::::::l::::
|:! .|::::::l::__;;;|_ l:::l`ヽヽ;:::l ヾ;レ‐'''゙゙´\ :::::| ::::::::::::::::l:::::
l! .|:::/ ___ノ,ィ'ト|''=ミ、 ヾ! ,r-=fニミ;;弍;;| :::::::::::::::l~゙'i
l/ ,/ト、::l゙__゙ヾ::ii::|ヽ ,/ .|:::illi:::゙ii/ |:::::::::::::::j¨゙ l
/⌒ヾ、|/`fト l ゙K);j .l'⌒''h. K);;;;ッリ l:::::::::::::/ .ノ
/‐-、 `iノ /'ヽ|、 ノ ヾ、 ,/ |:::::::::::/=7゙
./ 、. ヽ |゙V,_ l:::i、 ̄ 丶 ゙''ー-‐'' ,l::::::::::/|:;/
i '゙ヽ_j-' .|::::|.\ ‐- ,,イ::::::::/ ,l/
ヽ ヽ jl:::::l. ヽ、 , ''゙ /:::::::/゙`ヽ、
ヽ、. /ヽ::::| ,,`=ー '''i´ /:;/レ'〉;:;:;:;:,.,\
/ /. ヽ:| ,,r''゙,.;:;:;r''゙~ノ /イ /;:;:;:;:;:;:;:;:;:;
長門有希
「この複合命題は論証の項目にまで繋がるとても重要な概念。
今は用語の説明だけで終わらせるが、後ほど詳しく解説する」
283 : ◆GI8xWOz4Ko:2010/04/27(火) 06:52:03 ID:PHcH89ao
/ ,.‐-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´
',ノ. レ
朝倉涼子
「っていうか、論証って複合命題になりますからね。
たいてい要素命題を3つ以上含みますけど」
284 : ◆GI8xWOz4Ko:2010/04/27(火) 06:52:19 ID:PHcH89ao
2.3 論理記号
.
285 : ◆GI8xWOz4Ko:2010/04/27(火) 06:52:32 ID:PHcH89ao
/.:.:.:.:.:.::.:: : : : : : :: : ::ヽ、
:.:.:.:/:.::./.:.:./:.:.:.:.:.:.::.:. ;: ::.ヽ ∧
::: ::|.:.:.:i|:.:./ |:.:li、:.:.∧:.:.:.::ヽ. ⇔
: :: !.:.:. ||/--l/ |ノ--l:.: .:.lヾ、
: ::(|:.:.:.:| ‐‐ ‐-│::.:/ ∨
?ヘ.:.:.:l _ _ /.:.ノ
\ヽ、 _ , イ!::/ ¬
/ ヽ{ ト、ヽ l:′ →
∧\ マ三ソ| \
./: : \\ ヾ-〃 _ !______
l; : : : : \\」リ/ /
i: : : :::\::\i../ FMV /
長門有希
「算数で『=』の記号を用いるように、論理学にも専用の記号が存在する。これが論理記号」
286 : ◆GI8xWOz4Ko:2010/04/27(火) 06:52:49 ID:PHcH89ao
┌──────────────────────────────┐
│ ......│
│ . │
│~ 例 ~ │
│ ......│
│・ ∧ …… 日本語でいうところの「かつ」。連言を表す。 │
│ ......│
│・ ∨ …… 〃 「または」。選言を表す。 . │
│ ......│
│・ → …… 〃 「ならば」。含意を表す。 ..... │
│ ......│
│・ ⇔ …… 同値を表す。 . │
│ ......│
│・ ¬ …… 否定を表す。 . │
│ . │
│ ......│
└──────────────────────────────┘
.
287 : ◆GI8xWOz4Ko:2010/04/27(火) 06:53:09 ID:PHcH89ao
¬Q→¬PってP→Qの対偶じゃん? だから……
∧,,∧ ∧,,∧
∧ (´・ω・) (・ω・`) ∧∧
( ´・ω) U) ( つと ノ(ω・` ) これは(P∧Q)∨Rという構成だから解釈は……
| U ( ´・) (;` u) と ノ
u-u (l ) ( ノu-u
`u-u'. `u-u' (やべえ意味わかんねえ)
朝倉涼子
「初見の人にはヒエログリフと大差なさそうな(意味不明という意味で)
これらの記号ですが、論理学の世界では『当然知ってるよね』と言わんばかりの
勢いで容赦なく用いられます。
知らないとまるでついていけませんので覚えてください。気合いで」
288 : ◆GI8xWOz4Ko:2010/04/27(火) 06:53:35 ID:PHcH89ao
____
/ \
/ ─ ─ \
/ (●) (●) \
| (__人__) |
\ ` ⌒´ ,/
/⌒ヽ ー‐ ィヽ
/ ,⊆ニ_ヽ、 |
/ / r─--⊃、 |
| ヽ,.イ `二ニニうヽ. |
美筆やる夫
「覚えるのはいいけど……よく意味がわからないのに
記号だけ覚えても意味なくないですかお?」
289 : ◆GI8xWOz4Ko:2010/04/27(火) 06:53:49 ID:PHcH89ao
,.. --- ..
,..-.:. ̄.:..:..:.. : : : : `丶、
/:..:..:. ..: : : : : : : : : : : : :\
/:ヘ=、、:._: : : : __:ヽ:_: -^,.ト、
ノ:..:..:./:..  ̄: :7´:―― : :|‐: :´、: ヽヽ
ー-/:..:.i:../:. : : ,/:..:.:イ:.ハ:.. : j:.. :}:.、ヽ:. トヽ
!:..:..:|:.{/:..ィ_jz≦ノ ' }:./_}_イ:. } |:.|||
Vl:.:.|:. Vl´「_ 、` ノ′ _ノ:ソ:イ: リ ノ
. }:ハ: : l f7「::`ハ /:::7}7イ:/}/
ノヘーl、: :!VZツ ヒ:ノ/:.//
`ィヘ:ト、 _ _ ノ:イ/
rく、\` ヽ二コ:千:|K、′
|:..:ヽヽ\: :Yニ|: :!:/j!:.l
ト:..:..:.\ヽ\!r|┴=ミ!r ァ7
|!::.:..:.ヽ\ヽ|! /7 /
j::.l::..:..:.⌒ーァ⌒} / / /^}
|::.:.\::..::.::.::>ー'―-L∠_¨´
長門有希
「もちろんその通り。
後ほど詳しくやるので、今は論理学は専用の記号を
使うということだけわかってもらえればよい」
290 : ◆GI8xWOz4Ko:2010/04/27(火) 06:54:00 ID:PHcH89ao
,..-''"´ ̄`¨゙'_‐-.、
. / `゙ヽ `ヽ、
/ __,.二ニ====、_ ヽ〔 ヘ
/,ィ''7´l | | | | l.\ \l、
| | |、 L| L|.,.ィ'l´ | lト、ヽ Y
| | |->' '" ̄ `゙l‐'、ノ| `ヽ|
.└l´ | ≡≡ , ≡≡| .├─‐{
. | | | |) l .|
. | | 、-‐─┐ | | | |
. .| .ゝ,、.,_ ヽ-‐'"__,..ィ | | |
. || | ,lィ'7二´-/´7| |l | |
|.| |' / ゙''''''''''" | | | | | |
| | |' ( ) ト|_,...イ | | |
l└‐イ |/ ./ | | |
朝倉涼子
(今は、といってもすぐ出てきますけどね)
291 : ◆GI8xWOz4Ko:2010/04/27(火) 06:54:11 ID:PHcH89ao
/:::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:::::::゙'''::.、
長門有希
「今回使う用語はこんなもの。
では用語のまとめを貼って次の話題に入ろう」
292 : ◆GI8xWOz4Ko:2010/04/27(火) 06:54:39 ID:PHcH89ao
┌────────────────────────────────────────┐
│ .│
│~ 用語のまとめ ~ .│
│ .│
│・命題 …… 主張を明確に述べており、かつ、その真偽を判定することのできる文。 .│
│ .│
│・真 …… 命題を正しいとする判定 .....│
│ .│
│・偽 …… 命題を誤りとする判定 .│
│ .│
│・単純命題 …… 真偽判定が一つだけの命題 ..│
│ .│
│・複合命題 …… 複数の真偽判定を含んでいる命題 ......│
│ .│
│・要素命題 …… 複合命題に含まれている命題 ..│
│ .│
└────────────────────────────────────────┘
.
293 : ◆GI8xWOz4Ko:2010/04/27(火) 06:55:06 ID:PHcH89ao
◆◇◆◇◆◇ 3.命題の真偽判定 ◇◆◇◆◇◆
.
294 : ◆GI8xWOz4Ko:2010/04/27(火) 06:55:20 ID:PHcH89ao
. /: : : : : : : : : : ー- 、`丶、
, ': : : : : : : :- 、 . . `丶、`丶、`丶ヽ
/: : : : : : . : ヽ: : :`ヽ、: : ヽ.: : \. \
, ' : : : : ヽ、:、: : : : :ヽ`丶、\: : :ヽ.\`、
/::: : : : { ',: : {ヽ、ヽ、::::::. :\-ヽ=、: : :.';. }.\
;.:.:.: : : ヽ: : ヽヘ -\` ー- 、} _}_ {ヽ: :}/、
{:.:.:. : : : l\/\ イテ"ワ; :}/:.: : ヽ、
. !: : . : : : :.V ヽx==ミ マ_:j V:::...: : \ヽ
' : :: : : : :ヽ 《 マんハ, 丶 ;\::::::: : ヽ
. ヽ:\:.:.:.:.:.:.. : \ ゝ '’ ,、 八 ヽ`丶、|
}.:.:.:.ヽ、:.:.:.:.: : :`丶、_ ' ′ ヽ ヽ
. !ト、 :.:::::{丶、:.:_:_: : : :\ ,.'
. '| ヽ{\`ー‐‐ <`丶: :ヽ -‐ ヽ./ ̄ ̄:~` / ̄二ニ=、
. ヽ|`丶、|\ `ヽ /:. :. :. :. :. //:. :/;';';';';';';';`丶、
_ヽ ,':. :. :. :::. :.,':,' :. /;';';';';';';';';';';';';';';'丶、
/.::/} /_; :. :. :. :. :.:j:j: :. ;';';';';';';';';';';';';';';';';';';';';';ヽ
l :.;/ ̄ ̄ ____. :. :.:::i::i :. i;';';';';';';';';';';';';';';';';';';';';';';';';\
j:. | / ̄ Y ̄ ̄`¬-x_. :l;';';';';';';';';';';';';';';';';';';';';';';';';';';';ヽ
/:. f  ̄ ̄:}:. :. :. :. :. j::j :`ヽ;';';';';';';';';';';';';';';';';';';';';';';';';';';';';'\_
長門有希
「さて命題論理では、命題をどうやって真偽判定するかを考えることになる」
295 : ◆GI8xWOz4Ko:2010/04/27(火) 06:55:40 ID:PHcH89ao
∧_∧
( ´・ω・) 『俺はショボーン』。本当にショボーンだから、真なんよ。
( つ旦O
と_)_)
長門有希
「もし与えられた命題が単純命題であるなら、その真偽判定はとてもシンプル。
その命題が正しければ真、間違っていれば偽でよい」
296 : ◆GI8xWOz4Ko:2010/04/27(火) 06:56:02 ID:PHcH89ao
∧_∧
( ´・ω・) 『俺はショボーンでこいつはモナー』。実際には、俺はショボーンでこいつはチャーハンなんだが、
( つ旦O この複合命題は真とすべきか偽とすべきか?
と_)_)
∧,,∧
(;`・ω・) 。・゚・⌒) 命題は真か偽かのどちらか!
/ o━ヽニニフ)) しかも二つまとめて一つの命題だから、半分真で半分偽、なんて回答はできないよ!
しー-J
長門有希
「しかし、複合命題の真偽判定はかなり複雑になる。互いの要素命題の関係が重要になってくるからだ」
297 : ◆GI8xWOz4Ko:2010/04/27(火) 06:56:16 ID:PHcH89ao
_____ ━┓
/ ― \ ┏┛
/ノ ( ●) \ ・
. | ( ●) ⌒) |
. | (__ノ ̄ /
. | /
\_ ⊂ヽ∩\
/´ (,_ \.\
. | / \_ノ
美筆やる夫
「……ん?
ていうか、これって真偽をはっきりできるんですかお?
含まれる命題が全部正しいなら真(あるいは全部おかしいなら偽)かな、
とは想像付きますけど、
一部偽だったり一部真だったりしたら判断つけかねますお」
298 : ◆GI8xWOz4Ko:2010/04/27(火) 06:56:33 ID:PHcH89ao
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
|::ヽ.゛|/´/,イ´::::::::::::::::::}
長門有希
「そう、問題はそこ。
だが心配はいらない。
論理学にはこの複合命題をどう解釈するのか、
を考える枠組みがすでに出来上がっている。
私たちはそれをそのまま学びとるだけでよい」
299 : ◆GI8xWOz4Ko:2010/04/27(火) 06:56:49 ID:PHcH89ao
,ィ''‐/ヽ/ヽー:.、
/ /ヽヘ ヽ .ヽ.、
/ / ///`゙"´| l | | ヽ
. l | |_大ナ|' ナ大 | l | |ヘ
.|__ .|.==== l ==== ヽ__ノ |ミ|、
| .「XXX XXX | .|ミl.|
| ./ 、,、 , | |`l.|
|.l. ´ `´ | ├K
| ゝ、.___,.<ソ _| |.川
| | |./ ヾ)二オ''ハ´ .| |.川
朝倉涼子
「この複合命題の真偽判定の考え方には4つのパターンがあります。
連言、選言、含意、同値です。それぞれ見ていきましょう」
300 : ◆GI8xWOz4Ko:2010/04/27(火) 06:57:04 ID:PHcH89ao
3.1 連言(論理記号:∧。日本語では『かつ』)
.
301 : ◆GI8xWOz4Ko:2010/04/27(火) 06:57:39 ID:PHcH89ao
∧_∧
( ´・ω・) 『俺はショボーンで、かつ、こいつはチャーハン』。両方正しいから真なんよ。
( つ旦O
と_)_)
∧,,∧
(;`・ω・) 。・゚・⌒) 連言の場合、含まれる命題が一つでも偽だったら全部偽になるよ!
/ o━ヽニニフ))
しー-J
朝倉涼子
「連言は含まれる要素の全てが真となる場合のみ、その複合命題を真と判定するパターンです」
~~~~~~~~~~~~~~~~~~~~~~~
302 : ◆GI8xWOz4Ko:2010/04/27(火) 06:58:32 ID:PHcH89ao
_, -ー,=、ッ-、、.-‐、
//´ ̄´ ` ` ヽ
/ / ;ヘハ l ハ
/ / l | | _l_ | |
/_,..┤ zビ''| ´リ `l リ
{ _ | | _,.l ''ー' ___ l`r{
ト、 ミ T´ | === ` ̄´|´ハ _
,' r-,、{ | | xxx xxx|l'`∨
,'/∨ `| |、 ー'ー' _,. ィ'| _|
/ ヽ、| | `ヽ' ニ '´ | l.|,イ
// ヽハ | , | | |
/ /__ l ヘ リ /_ ┼┐ }-、', |
'´ ` -'/ ,人' ム /、/ ト、ヽ.|
` Y ヽ、 ,.┤
朝倉涼子
「○○ かつ ×× という言い方をします。
論理記号は∧で、『命題 P ∧ 命題 Q』といった書き方をします。
では例文を見てみましょー」
303 : ◆GI8xWOz4Ko:2010/04/27(火) 06:58:52 ID:PHcH89ao
┌───────────────────────────────────────┐
│ .│
│~ 例 ~ │
│ .│
│・命題とは、主張を明確に述べており、かつ、その真偽を判定することのできる文のこと。 .....│
│ .│
└───────────────────────────────────────┘
.
304 : ◆GI8xWOz4Ko:2010/04/27(火) 06:59:09 ID:PHcH89ao
,...,.-‐'"´`ヽ,..-、
,ィ',.イ ヘ-‐、
//, / / _ ゙'''ヽ
/ 'ィ'´ / / / /,ハ.,ィヘ .ヘ
}‐/ ,/ /ヽ、// "''┤ l.∧
|_ .゙7''"'¬イ└/l゙メ.、 .リl | | |
/ヘ/ `/ / ヾミョ、 ` 、≦斗.| | |
.l,..-''"∨ / xxxx .ミk、,゙L/ .ハ .|
,.< / /. γ'ー、_, `゙"/-、 / .レ'
,.ィ'" ( | .ト'、.. l / xxx/ 「′
,.イ ,..-'| | | |゙ヽ、 ゙ー''" ノ |
'´ ,.-‐'" ヘ リ | ヘ ヾ=-..r-=ニ'"| |__
,.イ ヽ ゝ、 | 、  ̄ノ .| | ヤ¬ッ
/ > `'' ゙'¬" .| | | .レ'"
/ / / | / リTー'
/ / '--ッ __./ |'"´〈、_/ |
`ヽ、 , , / / /`ヽ | | |
朝倉涼子
「命題の項目でさきほど使った説明文ですね。
『主張を明確に述べていること』と『真偽を判定できること』の両方を満たした文だけが命題と言える、
という意味になります。
よって仮に『主張を明確に述べて』いても、『真偽を判定できない』文は駄目です」
305 : ◆GI8xWOz4Ko:2010/04/27(火) 06:59:33 ID:PHcH89ao
|
\ __ /
_ (m) _
|ミ|
/ `´ \
____
/⌒ ⌒\ チーン!
/( ●) (●)\
/::::::⌒(__人__)⌒::::: \
| |r┬-| |
/ `ー'´ ∩ノ ⊃
( \ /_ノ
.\ “ ____ノ /
\_ ____ /
美筆やる夫
「これって、どこかで聞いたような……ああ、要するにAND条件だお。
情報処理のプログラミングの授業で習ったことあるお」
306 : ◆GI8xWOz4Ko:2010/04/27(火) 06:59:46 ID:PHcH89ao
_,..-‐::─:.─::─-:.、_
,.イ´: : : : : : : : : : : : : : : : `:ー-.、__
/: : : ;: : : : : ; : : : : : : 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'ヽ、 |'ニニ} / /::ヽ、,,ノ:::::::::::/
/:::\\ |゛ ̄| / /:::::::::::::::::::::::;/
{:::::::::::\\ | | / /:::::/:::::::::::::/
長門有希
「そう、あれ。
プログラミングの経験がある人や、
検索エンジンの使い方に詳しい人は聞いたことがあるはず」
307 : ◆GI8xWOz4Ko:2010/04/27(火) 06:59:57 ID:PHcH89ao
____
/⌒ ⌒\
/( ●) (●)\
/ ::::⌒(__人__)⌒:::: \
| |r┬-| |
\ `ー'´ /
> <
( | / )
`| /'
| r /
ヽ ヽ/
美筆やる夫
「ふーん。論理学って案外身近にあるもんですお」
308 : ◆GI8xWOz4Ko:2010/04/27(火) 07:00:13 ID:PHcH89ao
3.2 選言(論理記号:∨。日本語では『または』)
.
309 : ◆GI8xWOz4Ko:2010/04/27(火) 07:00:45 ID:PHcH89ao
∧_∧
( ´・ω・) 『チャーハンは上手に炒飯を作り上げるか、または、落っことす』
( つ旦O この命題の場合、チャーハンが作り上げるか落っことすかすれば真になるんよ。
と_)_)
∧,,∧
(;`・ω・) 。・゚・⌒) 選言の場合、含まれる命題が一つでも真だったら全部真になるよ!
/ o━ヽニニフ)) もちろん全部真でもOK。チャーハン作った後で落っことしても真になるよ!
しー-J
朝倉涼子
「選言は含まれる要素のいずれかが真となる場合に、その複合命題を真と判定するパターンです」
~~~~~~~~~~~~~~~~~~~~~~~~
310 : ◆GI8xWOz4Ko:2010/04/27(火) 07:01:02 ID:PHcH89ao
_, -ー,=、ッ-、、.-‐、
//´ ̄´ ` ` ヽ
/ / ;ヘハ l ハ
/ / l | | _l_ | |
/_,..┤ zビ''| ´リ `l リ
{ _ | | _,.l ''ー' ___ l`r{
ト、 ミ T´ | === ` ̄´|´ハ _
,' r-,、{ | | xxx xxx|l'`∨
,'/∨ `| |、 ー'ー' _,. ィ'| _|
/ ヽ、| | `ヽ' ニ '´ | l.|,イ
// ヽハ | , | | |
/ /__ l ヘ リ /_ ┼┐ }-、', |
'´ ` -'/ ,人' ム /、/ ト、ヽ.|
` Y ヽ、 ,.┤
朝倉涼子
「○○ または ×× という言い方をします。論理記号は∨です」
311 : ◆GI8xWOz4Ko:2010/04/27(火) 07:01:15 ID:PHcH89ao
┌──────────────────────────────────────────┐
│ ....│
│~ 例 ~ ...│
│ ....│
│・グロテスクな表現の苦手な方、または、18歳未満の方は、閲覧なさらぬようお願いいたします。 ....│
│ ....│
└──────────────────────────────────────────┘
.
312 : ◆GI8xWOz4Ko:2010/04/27(火) 07:01:30 ID:PHcH89ao
,.. 、 ,. 、
,γ⌒ーイ ヾ _ ゙ヾヽ、
, './ / //`ヽ.' ヘ ハ ヽヽ
./ / / ,' l |` `゙´´ l | ', ', ',
/ ,',' ,斗キト ,ニ|、', ',. ',
/| l l | _| リ ノL_l l l',
´ ,リ. ',',_,..- ' ´ T‐┘リ
彡|,.ヘ〉.| ===≡ ≡== | |`
_| | ', |
‐'´' |. | XXX XX, |
ヘ| | `(_`チ ノ. |
| | , ィ' |
| |` ´ | |
朝倉涼子
「この例はエログロ話の前置きですね。
いずれかが真になったときに全体で真と判定しますので、
この場合グロOKでも18歳未満なら駄目、
18歳以上でもグロNGな人は駄目。
もちろん18歳未満かつグロNGな人も駄目です」
313 : ◆GI8xWOz4Ko:2010/04/27(火) 07:01:42 ID:PHcH89ao
____
/⌒ ⌒\
/( ●) (●)\
/::::::⌒(__人__)⌒::::: \
| |r┬-| |
/ `ー'´ ∩ノ ⊃
( \ /_ノ
.\ “ ____ノ /
\_ ____ /
美筆やる夫
「OR条件ですねわかりますお」
314 : ◆GI8xWOz4Ko:2010/04/27(火) 07:01:55 ID:PHcH89ao
_,..-‐::─:.─::─-:.、_
,.イ´: : : : : : : : : : : : : : : : `:ー-.、__
/: : : ;: : : : : ; : : : : : : 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'ヽ、 |'ニニ} / /::ヽ、,,ノ:::::::::::/
/:::\\ |゛ ̄| / /:::::::::::::::::::::::;/
{:::::::::::\\ | | / /:::::/:::::::::::::/
長門有希
「そう。明確に理解できている人には簡単な概念だが、
そうでない人は案外細かいミスをしたりする。
試してみよう。やる夫、ひとつ問題を解いてみて」
315 : ◆GI8xWOz4Ko:2010/04/27(火) 07:02:17 ID:PHcH89ao
┌──────────────────────────────────────┐
│ .│
│~ 問題 ~ ..│
│ .│
│ あるクレジットカードのプラチナ会員の条件は、 │
│ .│
│1)滞納がないこと。 .│
│ .│
│2)入会後3年が経過していること。 ....│
│ .│
│3)年3万円の年会費を払っていること。または年間利用額が50万円以上であること。 │
│ .│
│ .│
│ である。やらない夫はこのカードに有料会員として入会してから今日で3年になり、 ....│
│滞納はしていないものの年間利用額は10万円程度である。 │
│ .│
│彼はプラチナ会員になれるだろうか? .....│
│ .│
└──────────────────────────────────────┘
316 : ◆GI8xWOz4Ko:2010/04/27(火) 07:02:36 ID:PHcH89ao
_____
/ ― \
/ノ ( ●) \
. | ( ●) ⌒) |
. | (__ノ ̄ /
. | /
\_ ⊂ヽ∩\
/´ (,_ \.\
. | / \_ノ
美筆やる夫
「えーと? プラチナ会員になれるかどうかの条件は」
┌────────────────────────────────────────────────────┐
│ ......│
│・入会後3年経過している ∧ 滞納がない ∧ (年3万円の年会費を払っている ∨ 年間利用額が50万円以上である) │
│ ......│
└────────────────────────────────────────────────────┘
317 : ◆GI8xWOz4Ko:2010/04/27(火) 07:02:52 ID:PHcH89ao
* _______
/ ̄| + / ヽ +
| ::| /⌒ ⌒ \
| ::|x / ( ●) ( ●) | .人
,― \ | ::::::⌒(__人__)⌒::::: | `Y´
| ___) ::| .! l/ニニ| /
| ___) ::|+ヽ `ー‐' / 十
| ___) ::| .> \
ヽ__)_/ / \
美筆やる夫
「だから……なれるお。
3)の条件は選言だから片方を満たしていればOKだお。
利用額が仮に0円でも問題ねーお」
318 : ◆GI8xWOz4Ko:2010/04/27(火) 07:03:07 ID:PHcH89ao
___
゛ |::" ゛:::| " |_ o
" |::::.. ...::| ゛ |___
_,.-‐'":: ̄ ̄ ̄゛:`ー-.、_
/´:: : : : : : : : : : : : : : : : : :`ヽ、 `ヽ /
,ノ: : : /:.:/: : : : : : : : : : : : : :ヽ、:.: :ヘ /
∠;; : : :/:.:/: : : :/: :.;|: : : :λ:: : : :ヘ:: :.:ハ
j: : :.:l: ::j:: : :;ー|-:/|: : : ::| |:ト、:: : :|: :|: :| ‐┼ o
|: ::|: :|:.::|: : /__|:/_、ヽ、::リ_|j__ ∨:;|: :l:i::| / | ヽ
j,ィ:.:|:.:|:.:j:.:/〒弐オ ∨オ弐テ∨j;/::ト、|
'´|(´|::|/:∨ !ト'::ィ:;| ト'::ィ:;|!|: : : :j |
|:.:`|:: :: :| `ー" `ー" l:: : :/ |
∨:.:|::.: :|、: : : : : :,ノ:: :/
∨:;ハ、::|::>..、__‐ __,,..イ:|:.:/ `ヽ /
∨:::ヽ:|'´__,.r‐'} {`ーュ、_レ|:/ /
/:::∨ |'ニニ} /::ヽ、
/:.:.:::,'.:∨ | | /::i:.:.:ハ
/:.:.:.:.:{:.:.:∨ | | /:.:.|:.::.:.:}
j:.:.:.:__;|.:.:.:.|ヽ、| .| ,/ |::.{:.:.:.:.:|
長門有希
「正解。
でもこういう条件のときに
『年間利用額に引っかかるから無理なんじゃないの?』
と考えてしまう人も案外いる」
319 : ◆GI8xWOz4Ko:2010/04/27(火) 07:03:26 ID:PHcH89ao
3.3 含意(論理記号:→または⇒。意味が近い日本語は『ならば』)
.
320 : ◆GI8xWOz4Ko:2010/04/27(火) 07:04:10 ID:PHcH89ao
もし俺(命題P)が真なら、こいつ(命題Q)も必ず真。 これが含意の基本な
⊂ニニ⊃
____ ____
/ P \ / Q \
|\/ノ' ヾ `/─ ─ \ それだけで終わらないから面倒なんだけど
|/ | (__人__) | (__人__) |
,-、 \、` ^^^^ ´ \ ` ⌒´ ,/_
/ ノ/ ̄/ ` ー ─ '/>< ` ー─ ' ┌、 ヽ ヽ,⌒⌒ヽ
/ L_  ̄ / _l__( { r-、 .トしし_)
_,,二) / 〔― ‐} Ll | l) )
>_,フ / }二 コ\ Li‐'
__,,,i‐ノ l └―イ ヽ |
l i ヽl
長門有希
「ある命題が真であるならば、必ず別の命題も真となるとき真。
そうでなく、ある命題が真でありながら別の命題が偽となるなら偽。
と考えるのが基本となるパターン。
これは複合命題の4パターンでもっとも使いやすく、重要で、
そして難しいもの。気合を入れて臨んでほしい」
321 : ◆GI8xWOz4Ko:2010/04/27(火) 07:04:50 ID:PHcH89ao
( / ____ ヽ __ ) |
. ヽ| ,. ,-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 /::::::::; ' ´ ハ::::|:::::::::::|::::::|::::|
|:::::::ハ::::::::::| /´ノ |/::::::::/ }::|::::::::::::|::::::|::::|
朝倉涼子
「含意では、先にやった二つ(連言・選言)と違い、各要素命題の
順番がとても重要になります。
そのためそれぞれを区別する用語があり、
○○ならばの部分の命題を前件、
その後に続く命題の部分を後件といいます。
前件をP、後件をQと表わして『P→Q』の形で表現することも多いですね」
322 : ◆GI8xWOz4Ko:2010/04/27(火) 07:05:03 ID:PHcH89ao
┌────────────┐
│ │
│○○ならば××である ...│
│~~~~ ~~~~ .....│
│前件 後件 ......│
│ │
└────────────┘
.
323 : ◆GI8xWOz4Ko:2010/04/27(火) 07:05:17 ID:PHcH89ao
┌───────────────────────┐
│ │
│~ 例 ~ .│
│ │
│・お前が銃を手放すのならば、人質は解放する。 .│
│ │
└───────────────────────┘
.
324 : ◆GI8xWOz4Ko:2010/04/27(火) 07:05:28 ID:PHcH89ao
____
/_ノ ヽ\
/ ( ●) (●)、
/::::::::⌒(__人__)⌒\
| |r┬-| |
\ `ー'´ /
⊂⌒ヽ 〉 <´/⌒つ
\ ヽ / ヽ /
\_,,ノ |、_ノ
美筆やる夫
「? これ難しいですかお?
例文を見る限り、当たり前のことしか言ってないような。
まあ、これまでと違って前件・後件という新しい概念がでてはきましたが」
325 : ◆GI8xWOz4Ko:2010/04/27(火) 07:05:47 ID:PHcH89ao
__ __
, ´ ` ´ `'' 、
/ / / ヽ 、 ヽ\ ヽ: 、
. ,.:'/ / / / / /! / 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` ‐ 、..__......_ ' '_,.ィリ/ツ、::::::、:::::ト.⊥ -'
` `¨ ¨´ `ヽ、:ト、|
長門有希
「前件が真の場合はわかりやすいのだが、問題は前件が偽となる場合。
論理学ではこれも真となる。
ここが普段使わない概念なので、理解が難しい」
326 : ◆GI8xWOz4Ko:2010/04/27(火) 07:06:01 ID:PHcH89ao
/ /´ `´ `‐´ `ヽ、 \'"´ ヾ、
/ / / ,、 ,.、 \ ヽ _,.-‐'
/ ' / 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''"`ヽ、_,.ィ'´`゙'¬-、ン'ー'´
朝倉涼子
「わかりづらい概念なので、例を用いながら
2×2(前件が真・偽の2パターン、後件が真・偽の2パターン)の
全4パターンを順に全部説明しますね」
327 : ◆GI8xWOz4Ko:2010/04/27(火) 07:06:20 ID:PHcH89ao
,. :-:.' ー ' ¨ :.ゝ.、
,.:´: : : : : : : : : : : : : ヽ.
,.': : : : : : : : : : : ',: : : : : : ヽ、
,':.:;':.:.:;'.:.:.;'.:./.:;'.:.:|i:';:.:.:.:.:.:.::`、`ゝ
,':.:.i:.:.:.i:.:/i:.:/i:.:ハ:.:l:i:.:.i:.:i:.:.:.';.:.:',
/イハ:!:.:.:l:/ i/ ノノ ノリリハリ:!:i:.:.!:.l
i/!:.:!:.:.;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;l:.!:ハ!
∨|:.:.! ノ/i/ノ
ヘ!:| ノ!/′
ヾ!>ー- -- <イリ
(ヘ:::::\i=//:::::/)
{;;\::::::!n/:::::/;/
ト、;;\;;ii;;/;;;/′
/;;;;ゝ;;;;∨;;;;;;;入
(;;;;;(⌒)∨(⌒);;;;)
長門有希
「使う例は先ほどあげたこちら」
┌───────────────────────┐
│ │
│~ 例 ~ .│
│ │
│・お前が銃を手放すのならば、人質は解放する。 .│
│ │
└───────────────────────┘
328 : ◆GI8xWOz4Ko:2010/04/27(火) 07:06:37 ID:PHcH89ao
俺が悪役で
⊂ニニ⊃
____ ____
/ \ / \
|\/ ノ' ヾ\ /| / ⌒ \ 自分がヒーロー役だお
|/ ≪?> \| / (○) \ 見た目通りってことね
| (__人__)| |(__人__) |
\、 ` ^^^/ \ ⌒ ´ /
. /⌒ヾ `ー‐" " ヽ γ⌒⌒/ ⌒\⌒⌒ヽ
::::::;; ::::::: ::::: : ::::::; ; (_ノノ| | |_しし_)
:::::: ::::::: :::::;; ::::::::;; ::::::: ::::: :::::;;
::::::::: :::::;;; :::::::::: :::;
長門有希
「あえて説明するほどのことではないが、物語で、
人質を取っている悪役が、ヒーローにたいしてよく言うセリフ」
329 : ◆GI8xWOz4Ko:2010/04/27(火) 07:06:53 ID:PHcH89ao
(?)前件が真、後件も真の場合は、真
.
330 : ◆GI8xWOz4Ko:2010/04/27(火) 07:07:09 ID:PHcH89ao
,..-''"´ ̄`¨゙'_‐-.、
. / `゙ヽ `ヽ、
/ __,.二ニ====、_ ヽ〔 ヘ
/,ィ''7´l | | | | l.\ \l、
| | |、 L| L|.,.ィ'l´ | lト、ヽ Y
| | |->' '" ̄ `゙l‐'、ノ| `ヽ|
.└l´ | ≡≡ , ≡≡| .├─‐{
. | | | |) l .|
. | | 、-‐─┐ | | | |
. .| .ゝ,、.,_ ヽ-‐'"__,..ィ | | |
. || | ,lィ'7二´-/´7| |l | |
|.| |' / ゙''''''''''" | | | | | |
| | |' ( ) ト|_,...イ | | |
l└‐イ |/ ./ | | |
| | ___,ト、/ | | | |
朝倉涼子
「ではとりかかりましょう」
331 : ◆GI8xWOz4Ko:2010/04/27(火) 07:07:24 ID:PHcH89ao
⊂ニニ⊃
____ ____
/ \ / \ しゃーねえ。ほれ、銃は手放すお
|\/ ノ' ヾ \/| / へ \
|/ ≪?> \| / (ー) \
| (__人__) | ε= |(__人__) |
/ ∩ノ ⊃ / \ ⌒ ´ /
. ( \ / _ノ | | γ⌒/ ⌒\⌒⌒ヽ
.\ “ /__| |; (_ノノ| | |_しし_)
. \ /___ / :::::;; ::::::: ::::: :::::;:::::;; ::::::: ::
::::::;; :::::::じゃ俺も人質を解放するぜ。約束だ。
朝倉涼子
「前件が真で後件も真の場合、
つまりヒーローが銃を手放したときに本当に悪役が人質を解放するなら、
この複合命題は真です」
332 : ◆GI8xWOz4Ko:2010/04/27(火) 07:07:37 ID:PHcH89ao
____
/⌒ ⌒\
/( ―) (―)\
/::::::⌒(__人__)⌒:::::\
| |
\ /
美筆やる夫
「うん。約束は守ってるお。
文句なく真と言えるお」
333 : ◆GI8xWOz4Ko:2010/04/27(火) 07:08:21 ID:PHcH89ao
(?)前件が真、後件が偽の場合は、偽
.
334 : ◆GI8xWOz4Ko:2010/04/27(火) 07:08:33 ID:PHcH89ao
馬鹿め、引っかかったな!
____
/ ⊂ニニ⊃
|\/ ノ' ヾ \/|
|/ ≪?> / ̄ ̄ ̄\ ウソついたお!?
| (__/( ○) (○)\
\、 / ⌒(n_人__)⌒ \
/⌒ヾ ( ヨ |
/ `ー─- 厂 /
| r-、、 _ __,,/, \⌒⌒ヽ
| (_ノノ/  ̄ i;;三三ラ´ | しし_)
| | | ・i;j: | |
朝倉涼子
「次に、前件が真で、後件が偽、つまりヒーローが銃を手放したにも関わらず、
悪役が人質は解放しなかったなら、この複合命題は偽です」
335 : ◆GI8xWOz4Ko:2010/04/27(火) 07:08:47 ID:PHcH89ao
____
/ノ ヽ、_\
/( ○)}liil{(○)\
/ (__人__) \
| ヽ |!!il|!|!l| / |
\ |ェェェェ| /
美筆やる夫
「思いっきり騙してるお。偽だお」
336 : ◆GI8xWOz4Ko:2010/04/27(火) 07:09:02 ID:PHcH89ao
(?)前件が偽、後件が真の場合は、真
.
337 : ◆GI8xWOz4Ko:2010/04/27(火) 07:09:19 ID:PHcH89ao
./ | |. | ヤ.| |/ | |
| .| .ヽ. | | ? / | .| |
| | ヽl | ヘ,イ、ー.、-、 _ .|l ./
| .|,..../ ハト "/|,_ノ_::::ハ ヾ゙T l、/ ヽ
`'7 ̄ヘ{ |"r、ハ .|:::f. .ハ:::::l リ.|
./ ベ ヤl:ハ:l ヤ弋_ノ o:l |
| |ヘ. マz'リ ゝ=ニ::::ソ ∨
| ヘ l `´ ,..-‐-、 ∨
\ ヘl. l´ ヽ ,ィ゙ヽ
\ 、-ゝ、.__ \ ),、--'"-、| \
<´ ̄ | ̄|、 ̄ ̄´ノ > .ヽ \
`l >-、 .| |  ̄ <´ ヘ
∨ > |  ̄ 。 ̄ > ヘ
< | ゚γ'ヽ゚ ,>'" ヘ
朝倉涼子
「問題はここからです。気合い入れてかかってください」
338 : ◆GI8xWOz4Ko:2010/04/27(火) 07:09:38 ID:PHcH89ao
⊂ニニ⊃
____ ____ 銃を手放せるわけねーお!
/ \ / \
|\/U ノ' ヾ\ /| / ⌒ \
|/ ≪?> \| / (○) \
| (__人__)| |(__人__) |
\、 ` ^^^/ \ ⌒ ´ /
. /⌒ヾ `ー‐" " ヽ γ⌒⌒/ ⌒\⌒⌒ヽ
::::::;; ::::::: ::::: : ::::::; ; (_ノノ| | |_しし_)
しゃーねーな。でも人質は解放するわ。
銃を手放さなかったときに人質殺すとは言ってないし。嘘じゃないだろ。
朝倉涼子
「前件が偽なのに、後件は真の場合。
つまりヒーローが銃を手放さなかったにも関わらず、
悪役は人質を解放した場合も、
この複合命題は真です」
339 : ◆GI8xWOz4Ko:2010/04/27(火) 07:09:54 ID:PHcH89ao
___ ━┓
/ ―\ ┏┛
/ノ (●)\ ・
. | (●) ⌒)\
. | (__ノ ̄ |
\ /
\ _ノ
/´ `\
| |
| |
美筆やる夫
「えーと? どういうことだお?」
340 : ◆GI8xWOz4Ko:2010/04/27(火) 07:10:11 ID:PHcH89ao
/´ `ヽ、
レ ハヽ ヘ
/,.ィ┬'Tオ¬Tl‐-,じ_ ヾヘ
Y | |T´_リ 「゙'ト-リ | `k'ノ
. |LY'=== , === }r、' ノ |
| ,l /,レ'ヘ| |
| ゝ、.__⊂つ_,.ソ l.| |
|l | オ'Lニ-| | /l l |
|l レ/ |  ̄´ | /|_ノ .| |
|´/ |___|' l | |
| ト ,ィ'¬¬¬T. | | |
/ `|_| |l ハ |_| |
/ | |_ _|r' "´ レ'
ノ ヾT'''''''ヾ |
朝倉涼子
「悪役はヒーローが銃を手放さなかった場合のことは何も言ってませんよね?
意味のない約束になってしまっていますが、先の約束は守られてはいるんです」
341 : ◆GI8xWOz4Ko:2010/04/27(火) 07:10:27 ID:PHcH89ao
____
/ \
/ ─ ─\
/ ⌒ ⌒ \
| ,ノ(、_, )ヽ |
\ トェェェイ /
/ _ ヽニソ, く
美筆やる夫
「あー……。
はいはい。たしかに手放さなかったときに人質は解放しないとは言ってねーお。
状況を考えれば人質は解放しなさそうなもんだけど、すくなくとも嘘ではないお」
342 : ◆GI8xWOz4Ko:2010/04/27(火) 07:10:44 ID:PHcH89ao
(?)前件が偽、後件が偽の場合は、真
.
343 : ◆GI8xWOz4Ko:2010/04/27(火) 07:10:58 ID:PHcH89ao
⊂ニニ⊃ 銃を手放せるわけねーお!
____ ____
/ι \ / \
|\/ ノ' ヾ \/| /─ ─ \
|/ ≪?> \| / (●) (●) U \
| (__人__) U| |J (__人__) ι|
/ し ∩ノ ⊃ / \ ⊂ ヽ∩ u <
. ( \ / _ノ | | | | '、_ \ / )
.\ “ /__| |; ⌒^ ヾ _\ “ /
. \ /___ / (,,"⌒ ''..ヾ)__\_/
じゃ俺も人質は解放しねーぞ
朝倉涼子
「最後に、前件が偽で、後件も偽の場合。
つまりヒーローは銃を手放さなかったし、悪役は人質は解放しない場合も、
この複合命題は真です」
344 : ◆GI8xWOz4Ko:2010/04/27(火) 07:11:23 ID:PHcH89ao
____
/_ノ ヽ_\
/( ●) ( ●)\
/ ::::::⌒(__人__)⌒::::\
|  ̄ |
\ /
美筆やる夫
「……これもさっきと同じかお。
ヒーローが銃を手放さなかったんだから、
悪役だって人質を解放しなくても約束は破ってねーお」
.
345 : ◆GI8xWOz4Ko:2010/04/27(火) 07:11:36 ID:PHcH89ao
, " ̄ ̄ 丶、
/ \
ノ゙! / , { / { / } ヽヽハ/^ーァ
r=' \j |イ/⌒Vヽハ⌒lヽ} j} /´
 ̄\ イ j :|fト fハ/ノリ/
7レヘ { ゞ'' _ `‐' {/ベ
く/ /V> __ イ∧ヽ/
\{ { l::lVミVl::l / ∨
Y\ヾ ∀ シ/ r'´
| ≧f}≦ |
`ァー∨=∨‐く
長門有希
「以上が含意の全4パターン。
まとめると、判定のルールは『前件が偽、または、後件が真のときに真と判定する』となる」
346 : ◆GI8xWOz4Ko:2010/04/27(火) 07:11:59 ID:PHcH89ao
____
/_ノ ヽ\
/ ( ●) (●)、
/::::::::⌒(__人__)⌒\
| |r┬-| |
\ `ー'´ /
⊂⌒ヽ 〉 <´/⌒つ
\ ヽ / ヽ /
\_,,ノ |、_ノ
美筆やる夫
「前件が真の場合はわかりやすいんだけど、
後件が偽の場合ってなんか屁理屈くさいですお……」
347 : ◆GI8xWOz4Ko:2010/04/27(火) 07:12:39 ID:PHcH89ao
/ :. ィ.;:.:.:.:.:.:.:ヽ
イ:.:.:.:/-|/|∧:;、:.:.〈
リ:.:./ ● く!:,:.:..、
l:.:.l ●/:./ ̄
vヘ - ノ:./
_,-+ 匸ヘ/V
,《 ヒ⌒j 》、
l::\ l /∥::l
|:::::::ト,Vイ:::::|
|:::::::l介l:::::::|
l::::::|人|:::::::l
長門有希
「そう、日常用語の『ならば』の感覚とズレるので、
屁理屈くさく感じる。
>>1もそうだったが、多くの人がここで困るらしい。
だが論理学では正しい解釈。
常用語の『ならば』と論理学の『ならば』は別物。
釈然としないなら、論理学ではそう判定する、と覚えておくのも一つの手。
というか>>1はそうしている」
348 : ◆GI8xWOz4Ko:2010/04/27(火) 07:12:52 ID:PHcH89ao
,.-‐' ´フ^ヽ,`イ´ヽ,.-ヘ、 />
/ / , , ` ヾヽ`'´ / /\
/ / / / ,' ', ∧l ` ヘ ' / /
/ / ,' l l l゙‐-‐'| l ', ヽ/
,' ,' , l ,斗ト,| ト-、l , ハ
{`ーー '| l | ハ ハ| リ |. l | l|
ト- 、_ |l l | | '-' ' '└r',' ハ
,l、ヽ `ハ ___,|r´ ┃ ┃r‐l‐'''´
,' `ヽ、γ| ̄ | | ┃ ┃l |
,' ,' /ヽ.| ', .| ', |
,' ,' / ハ. ', | _ _,ノ |
. ,' ,' / ,' ', |`ニ、r‐、‐ T´ |
.,' ,' / レヾ, |',=ニ| /ス| |
,' ,' / / ` '、 ',.', | // ハ |
l / ,' ',`ヽ、ト', レ'/. | |
朝倉涼子
「といっても、『前件が偽・後件が真』のパターンは
論理学的なお遊びではないんですよ。
実際の社会においてもこの含意の解釈を悪用して
落とし穴をしかけてくるえげつない契約があったりします」
349 : ◆GI8xWOz4Ko:2010/04/27(火) 07:13:08 ID:PHcH89ao
┌─────────────────────────────────┐
│ │
│~ えげつない契約の例 ~ ......│
│ │
│・当社が美筆町に直営店を出したならば、当社は御社に違約金を支払う。 ..│
│ │
└─────────────────────────────────┘
.
350 : ◆GI8xWOz4Ko:2010/04/27(火) 07:13:21 ID:PHcH89ao
_____ ━┓
/ ― \ ┏┛
/ノ ( ●) \ ・
. | ( ●) ⌒) |
. | (__ノ ̄ /
. | /
\_ ⊂ヽ∩\
/´ (,_ \.\
. | / \_ノ
美筆やる夫
「市場を荒らさないと約束するための契約かお。
『当社が美筆町に直営店を出した』が前件、
『違約金を支払う』が後件だお。
これ、えげつないかお?」
351 : ◆GI8xWOz4Ko:2010/04/27(火) 07:13:54 ID:PHcH89ao
__ __
..ィ.:´:.:.:.:.:.:.:.:.:.:.:.:.`:.:...、
,..イ:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.`:ヽ:.:.:.:ヽ、
/:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:\.:.:.:ヽ
. ,. イ:.:.:.:.:.:.:.:.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::::::::::::::::::::/ :/ヽ
長門有希
「えげつない。
この複合、命題を真であらしめるためには、なにも違約金を支払わずとも、
直営店を出さなければよいわけなので、代理店を出せる。
つまりこの条項だと違約金を免れながらさらに
代理店を通じて市場を食い荒らすことが可能」
352 : ◆GI8xWOz4Ko:2010/04/27(火) 07:14:07 ID:PHcH89ao
____
/⌒ ⌒\ ━━┓┃┃
/(  ̄) (_)\ ┃ ━━━━━━━━
/::::::⌒(__人__)⌒:::: \ ┃ ┃┃┃
| ゝ'゚ ≦ 三 ゚。 ゚ ┛
\ 。≧ 三 ==-
-ァ, ≧=- 。
イレ,、 >三 。゚ ・ ゚
≦`Vヾ ヾ ≧
。゚ /。・イハ 、、 `ミ 。 ゚ 。 ・
美筆やる夫
「はいい!?」
353 : ◆GI8xWOz4Ko:2010/04/27(火) 07:14:25 ID:PHcH89ao
____
/ ノ ヽ\
/ (○)}liil{(○)
/ (__人__) ヽ
| |!!il|l| |
\ lェェェl /
/ ヽ
しヽ ト、ノ
| __ |
!___ノ´ ヽ__丿
美筆やる夫
「そんなんアリかお!? 騙し討ちもいいとこだお!」
354 : ◆GI8xWOz4Ko:2010/04/27(火) 07:14:38 ID:PHcH89ao
_ ____
,. :´:.:.`´:.:.:.:.:.:.:.`ゝ.、
,.:´: : : : : : : : : : : : : : : :.ヽ.
,.': : : : : : : : : : : :',: : : : : : : :ヽ
,':.:.;':.:.:.:.:.;'.:.:.;'.:.: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
`ー'′ `ー''′
長門有希
「アリ。
主旨を考えれば不適切な行為だが、
少なくとも条項は守られている」
355 : ◆GI8xWOz4Ko:2010/04/27(火) 07:14:52 ID:PHcH89ao
___
/ \
/ 一' `ー\
/ ( ○) (○)\
i (__人__) i
ヽ、 |r┬-| /
/ `ー'´ く
i 丶 ヽ ヽ
美筆やる夫
「おっかねーお……。皆が皆論理学をやってるわけでもないだろうに、
他の人がこういう罠にはまらないのは不思議だお……」
356 : ◆GI8xWOz4Ko:2010/04/27(火) 07:15:09 ID:PHcH89ao
_,.-‐' ´___ ̄ ̄ `゙ ''‐-、
,.‐-, '´ `ヽ/ `ヽ'`'ヽ、__ \
/ ,、 ` ´ ヘ ヽ
/ / / /` '-| l l ', .ハ
/ l l l |l | | l l l
| | | | |l | __ l l |_, -彡
| l `l'‐ト、 ,リィヒT´_| l |_,/ }
`‐r-゙-r-ィヾ、 ィヽハヽL_l__| | ,.<|
| | '{うハl ら'::ハ' | 'Tヽ´/ .l|
| ,| | マ:リ 辷'ソ | | l l l|
| |. l ' u| l イ l l|
| | ヽ、 - __,l | .| l |
| | | `゙フ、'''"´ ,' l、| l |
| | l / , リ __,. -イ ,' ヘ l |
朝倉涼子
「いえ、やっぱり嵌るそうですよ。
所謂『契約の不備で痛い目を見る』ってやつです。
だからこそ契約の際には面倒でも高くついても法務の人や
弁護士さんに契約書を精査してもらうべきなわけで」
357 : ◆GI8xWOz4Ko:2010/04/27(火) 07:15:20 ID:PHcH89ao
_ -‐ ´ `丶_
// ヽ \
/ / | l ハ
. // / ∧ lヽ \ ! ! ハ
/イ ! lL⊥_ヽ \⊥≦-l l lヾ
. /ハ.l .lヽl_ \__ュ l l/ / l
′ ゙lヽトrテ心 'チ::尤l /、/ __ ト
//lハ.ヒ_:ノ ヒ_:クl /゙ソ _、!`
lハ //´/l/
l/ >- ` -:イ今/
∧l./\´ |_/`i
r┤V \ | / |
V / Y / /
長門有希
「話がそれかけているのでそこまで。
話を戻すが、含意には先に挙げた例文のような条件式と、
もうひとつ、包含の関係がある。これもかなり重要な考え方」
358 : ◆GI8xWOz4Ko:2010/04/27(火) 07:15:33 ID:PHcH89ao
┌────────────────────┐
│ ....│
│~ 例 ~ ...│
│ ....│
│・犬は哺乳類だ .│
│(論理記号では 犬 → 哺乳類 と表わす) ....│
│ ....│
└────────────────────┘
.
359 : ◆GI8xWOz4Ko:2010/04/27(火) 07:15:46 ID:PHcH89ao
____ _
, . : :´: : : : :.: : : : : : : `<
,. :': : : : : : : : : : : :: : : : : : : : : :`ヽ
/: : : : : : : : : : : : : :: : : : : : : : : : : : ` 、
/: : : : : : : : : : : : : : : :,: : : : : : : : : : : : : : \
. / : : : : : : : : : : : : : : : : : : : : : : : : : : : : : `
,': : . . . . : : 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:::://:::/ヽ
//: : : ` 、::\\::::', !://:::/: : : \
/: : : : : : : : :\::\\', ;〃/: : : : :: ::ヽ
長門有希
「含意に含まれる条件式と包含の考え方は、それぞれ
次回やる物事の関係の『原因と結果』あるいは『手段と目的』、
『抽象的概念と実体』あるいは『全体と部分』に対応している」
360 : ◆GI8xWOz4Ko:2010/04/27(火) 07:16:06 ID:PHcH89ao
┌────────────────────────────────────┐
│ .....│
│~ 含意と、関連する物事の関係 ~ .│
│ .....│
│・条件式と、それを使う際の物事の関係 …… 『原因と結果』、『手段と目的』 ...│
│ .....│
│・包含と、それを使う際の物事の関係 …… 『抽象的概念と実体』、『全体と部分』 │
│ .....│
└────────────────────────────────────┘
.
361 : ◆GI8xWOz4Ko:2010/04/27(火) 07:16:25 ID:PHcH89ao
_______
,.:-::‐':´:: :: :: :: :: :: :: :: ̄::`:ー::-:.、_
/:: :: : ;':: :: :: :: :: :: :: :: ::、:: :: :: :: :: :: `ヽ、
/:: :: :: ::/:: :: :: :;':: :: :: :: :: :: ヽ:: :: : 、:: :: :: ::.\
/:: :: :: :: ::/:: :: :: : |:: :: ::|:: :: :: :: :|、:: :: :|:: :: :、:: :、::\
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´ ヘ-─‐-| \|::/
/:\\ \ | ./∧
/::::::::::\\ \,| //::::ハ
長門有希
「物事の関係の考察は厳密に言えば命題論理の範囲からは外れるのだが、
これをやらなかったら実用性が落ちる。よってやる」
362 : ◆GI8xWOz4Ko:2010/04/27(火) 07:16:40 ID:PHcH89ao
3.4 同値(論理記号:⇔、または≡。意味が近い日本語は、含意と同じで『ならば』)
.
363 : ◆GI8xWOz4Ko:2010/04/27(火) 07:16:55 ID:PHcH89ao
_______ /:|
_,..-─'":: : : : : : : : : ̄`ー'´: :/
/: : : : : ,:: : : : :: : : : : : : : : : : : ̄: ̄:゛ー-.、__
/: : : : : .::/: : : : : ; : : : : : : : : : : : :、:: : : : :ヘ-一"
/: : : : : .::/: : : : ::/: : :;|:: : : : : : : : : :ハ::. : :、: :`ヽ、
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'´,}:::} |
長門有希
「次に行こう。さきほどの含意とも関わるのだが、
前件→後件が真であり、かつ、逆に後件→前件も真となるパターンを同値と呼んでいる」
364 : ◆GI8xWOz4Ko:2010/04/27(火) 07:17:07 ID:PHcH89ao
┌───────────────────────────────────────────────────┐
│ .│
│~ 例 ~ │
│ .│
│『やらない夫が18歳以上ならばAVの閲覧を許可される』⇔『AVの閲覧を許可されるならばやらない夫は18歳以上だ』 .│
│ .│
└───────────────────────────────────────────────────┘
.
365 : ◆GI8xWOz4Ko:2010/04/27(火) 07:17:17 ID:PHcH89ao
, - '´`ヾ ''ヽー-ッ、
/ , / ,、ヽ' ヾ-.、、
/ / / /_ ヽ^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./ / / ヘ ',
朝倉涼子
「前件をP、後件をQとして論理記号で表すと、(P→Q)∧(Q→P)です。
どんな場合に真偽判定がなされるか、ここから導出できますよ。
やる夫さん、やってみてください」
366 : ◆GI8xWOz4Ko:2010/04/27(火) 07:17:36 ID:PHcH89ao
___
/ ヽ、_ \
/(● ) (● ) \
/:::⌒(__人__)⌒::::: \
| l^l^lnー'´ |
\ヽ L /
ゝ ノ
/ /
美筆やる夫
「え? えっと……まずP→Qがこうで」
(P→Q)
Pが真でQも真のとき 真
Pが真でQが偽のとき . 偽
Pが偽でQが真のとき . 真
Pが偽でQも偽のとき 真
367 : ◆GI8xWOz4Ko:2010/04/27(火) 07:17:51 ID:PHcH89ao
___
/ ヽ、_ \
/(● ) (● ) \
/:::⌒(__人__)⌒::::: \
| l^l^lnー'´ |
\ヽ L /
ゝ ノ
/ /
美筆やる夫
「次にQ→Pはこうなって」
(Q→P)
Pが真でQも真のとき 真
Pが真でQが偽のとき 真
Pが偽でQが真のとき 偽
Pが偽でQも偽のとき 真
368 : ◆GI8xWOz4Ko:2010/04/27(火) 07:18:03 ID:PHcH89ao
___
/)/ノ ' ヽ、\
/ .イ '(●) .(●)\
. /,'才.ミ). (__人__) \
. | ≧シ' ´ ⌒` |
. \ ヽ /
美筆やる夫
「連言だから(前件→後件)と(後件→前件)が同じ値を取ればいいんだお。
ということは……」
(P→Q) (Q→P) (P→Q)∧(Q→P)
Pが真でQも真のとき 真 真 真
Pが真でQが偽のとき 偽 真 偽
Pが偽でQが真のとき 真 偽 偽
Pが偽でQも偽のとき 真 真 真
369 : ◆GI8xWOz4Ko:2010/04/27(火) 07:18:13 ID:PHcH89ao
____
/ \
/ ─ ─\
/ (●) (●) \
| (__人__) |
./ ∩ノ ⊃ /
( \ / _ノ | |
.\ “ /__| |
\ /___ /
美筆やる夫
「……両方真または両方偽の場合に真だお」
370 : ◆GI8xWOz4Ko:2010/04/27(火) 07:18:28 ID:PHcH89ao
___
゛ |::" ゛:::| " |_ o
" |::::.. ...::| ゛ |___
_,.-‐'":: ̄ ̄ ̄゛:`ー-.、_
/´:: : : : : : : : : : : : : : : : : :`ヽ、 `ヽ /
,ノ: : : /:.:/: : : : : : : : : : : : : :ヽ、:.: :ヘ /
∠;; : : :/:.:/: : : :/: :.;|: : : :λ:: : : :ヘ:: :.:ハ
j: : :.:l: ::j:: : :;ー|-:/|: : : ::| |:ト、:: : :|: :|: :| ‐┼ o
|: ::|: :|:.::|: : /__|:/_、ヽ、::リ_|j__ ∨:;|: :l:i::| / | ヽ
j,ィ:.:|:.:|:.:j:.:/〒弐オ ∨オ弐テ∨j;/::ト、|
'´|(´|::|/:∨ !ト'::ィ:;| ト'::ィ:;|!|: : : :j |
|:.:`|:: :: :| `ー" `ー" l:: : :/ |
∨:.:|::.: :|、: : : : : :,ノ:: :/
∨:;ハ、::|::>..、__‐ __,,..イ:|:.:/ `ヽ /
∨:::ヽ:|'´__,.r‐'} {`ーュ、_レ|:/ /
/:::∨ |'ニニ} /::ヽ、
/:.:.:::,'.:∨ | | /::i:.:.:ハ
/:.:.:.:.:{:.:.:∨ | | /:.:.|:.::.:.:}
j:.:.:.:__;|.:.:.:.|ヽ、| .| ,/ |::.{:.:.:.:.:|
長門有希
「正解。定義からなんとなく想像がついたかもしれないが、そうなる」
371 : ◆GI8xWOz4Ko:2010/04/27(火) 07:18:48 ID:PHcH89ao
____ _
, . : :´: : : : :.: : : : : : : `<
,. :': : : : : : : : : : : :: : : : : : : : : :`ヽ
/: : : : : : : : : : : : : :: : : : : : : : : : : : ` 、
/: : : : : : : : : : : : : : : :,: : : : : : : : : : : : : : \
. / : : : : : : : : : : : : : : : : : : : : : : : : : : : : : `
,': : . . . . : : 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:::://:::/ヽ
//: : : ` 、::\\::::', !://:::/: : : \
/: : : : : : : : :\::\\', ;〃/: : : : :: ::ヽ
長門有希
「なお今やる夫が使った真偽の判定表は真理値表という。実際にはもっとシンプルに」
372 : ◆GI8xWOz4Ko:2010/04/27(火) 07:19:03 ID:PHcH89ao
┌─────────────────────┐
│ ..│
│~ 真理値表 ~ │
│ ..│
│命題 P 命題 Q (P→Q)∧(Q→P) ...│
│真 真 真 .│
│真 偽 偽 .│
│偽 真 偽 .│
│偽 偽 真 .│
│ ..│
└─────────────────────┘
.
長門有希
「このような書かれ方をする。
真を1やT、偽を0やFで表わして書くこともあるが、
意味は変わらない。
書き方を知っておくと迷った時に便利」
373 : ◆GI8xWOz4Ko:2010/04/27(火) 07:19:33 ID:PHcH89ao
____
/ \
/ \ ,_\.
/ (●)゛ (●) \
| ∪ (__人__) |
/ ∩ノ ⊃ /
( \ / _ノ | |
.\ “ /__| |
\ /___ /
美筆やる夫
「なるほど。
しかしこれ、いちいち計算していたら面倒ですお……」
374 : ◆GI8xWOz4Ko:2010/04/27(火) 07:19:45 ID:PHcH89ao
( / ____ ヽ __ ) |
. ヽ| ,. ,-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 /::::::::; ' ´ ハ::::|:::::::::::|::::::|::::|
|:::::::ハ::::::::::| /´ノ |/::::::::/ }::|::::::::::::|::::::|::::|
朝倉涼子
「>>1もそうなんですが、単純な関係のものは
真理値表ごと覚えちゃってるみたいですね。
同値のときはこうで含意のときはこうで、みたいに」
375 : ◆GI8xWOz4Ko:2010/04/27(火) 07:20:02 ID:PHcH89ao
_______ /:|
_,..-─'":: : : : : : : : : ̄`ー'´: :/
/: : : : : ,:: : : : :: : : : : : : : : : : : ̄: ̄:゛ー-.、__
/: : : : : .::/: : : : : ; : : : : : : : : : : : :、:: : : : :ヘ-一"
/: : : : : .::/: : : : ::/: : :;|:: : : : : : : : : :ハ::. : :、: :`ヽ、
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'´,}:::} |
長門有希
「ちなみに連言と選言の真理値表はそれぞれ次のようになる」
376 : ◆GI8xWOz4Ko:2010/04/27(火) 07:20:25 ID:PHcH89ao
連言(AND条件)
命題 P 命題 Q P ∧ Q
真 真 真
真 偽 偽
偽 真 偽
偽 偽 偽
選言(OR条件)
命題 P 命題 Q P ∨ Q
真 真 真
真 偽 真
偽 真 真
偽 偽 偽
377 : ◆GI8xWOz4Ko:2010/04/27(火) 07:20:49 ID:PHcH89ao
◆◇◆◇◆◇ 4.否定 ◇◆◇◆◇◆
.
378 : ◆GI8xWOz4Ko:2010/04/27(火) 07:21:03 ID:PHcH89ao
_,..-‐::─:.─::─-:.、_
,.イ´: : : : : : : : : : : : : : : : `:ー-.、__
/: : : ;: : : : : ; : : : : : : 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'ヽ、 |'ニニ} / /::ヽ、,,ノ:::::::::::/
/:::\\ |゛ ̄| / /:::::::::::::::::::::::;/
{:::::::::::\\ | | / /:::::/:::::::::::::/
長門有希
「次に『否定』という概念をやる。
否定は「~ではない」と言われる物で、真偽の反転を意味している。論理記号は¬で表わす。
379 : ◆GI8xWOz4Ko:2010/04/27(火) 07:21:18 ID:PHcH89ao
┌───────────────────────┐
│ │
│~ 例 ~ .│
│ │
│・ポチは犬ではない(これは『¬ポチは犬』と同じ) │
│ │
└───────────────────────┘
.
380 : ◆GI8xWOz4Ko:2010/04/27(火) 07:21:30 ID:PHcH89ao
__,.-‐'" ̄ ̄`ー-.、_
,.-‐'´ `ヽ、
/ \
/ ヽ、 〉ハ
{ ヘ/ |
j λ ヘ. |
〈____________(,j_____,〉,j
`|:.:|.:i.|:.:|.:|ー|:‐|-v' |:;ィ:-:‐:、:|:.:.|:.:.l::|
|:_;L::|:_|;;|;;」;;;」 L;|;;」;;;|;;,|:.:.|:.:.|::|
|::|:|:」_;|〒弐オ 〒弐テ |:_:」:_」::|
|:ハ|:.:ハ ト'::ィ;リ ト'::ィ;リ, |:.:.:.:.:|i::{
|;|:..|:.:.:} `ー' ' `ー' |::|.:.:.|:|::|
|:|:.::|.:.:.j、 xxx r‐-、 xxx,|::|.:.:.|:.:|:|
||:.:.:.|:.:.||::>┬r┴-┴r┬<:|::|:.::|::.:|:|
|i:.:.::|:.:|:|:;/:/'} ヽ__",/ |ヽ::L:|:..:|:::.:|:|
||:.:.:.:. ̄::::/ :| ё | ∧:.: ̄::.:.:.|:|
||:.:.:.:.:.:.:.:/ :j ,| ∧::.:.:i:.:.:.:|:|
朝倉涼子
「命題論理は真か偽のいずれかのみで判定するため、
¬偽とは真であり、¬真とは偽を意味します」
381 : ◆GI8xWOz4Ko:2010/04/27(火) 07:21:52 ID:PHcH89ao
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 / /: |/ : :ヽ
長門有希
「よってもし命題Pが真であるなら、¬Pは必ず偽となる。」
382 : ◆GI8xWOz4Ko:2010/04/27(火) 07:22:30 ID:PHcH89ao
真じゃなきゃ必ず偽
⊂ニニ⊃
____ ____
/ノ'偽 ヾ \ /― 真 ―\
|\/《?> |/ (__人__) \| / (__人__) \
| ` ^^^´ | | ` ⌒´ |
\ / \ / 中間なんてねーお
/ \ γ⌒⌒/ \⌒⌒ヽ
| ・ ・ ). (_ノノ| ・ ・ )しし_)
. | | / / .| | / /
| | / / | | | / / |
| | / / | | | / / |
(YYYヾ Y (YYYヽ | (YYYヾ Y (YYYヽ |
(___ノ-'-('___)_ノ (___ノ-'-('___)_ノ
長門有希
「ここは地味に重要。
命題論理においては、真ではないなら必ず偽であるし、
偽でないなら必ず真」
383 : ◆GI8xWOz4Ko:2010/04/27(火) 07:22:44 ID:PHcH89ao
_,..-‐::─:.─::─-:.、_
,.イ´: : : : : : : : : : : : : : : : `:ー-.、__
/: : : ;: : : : : ; : : : : : : 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'ヽ、 |'ニニ} / /::ヽ、,,ノ:::::::::::/
/:::\\ |゛ ̄| / /:::::::::::::::::::::::;/
{:::::::::::\\ | | / /:::::/:::::::::::::/
長門有希
「ここに疎漏は発生しない。
命題は必ず真偽の判定が出来るためだ。
……真偽の判定が出来ないものは命題と見なさないのだから当然だが」
384 : ◆GI8xWOz4Ko:2010/04/27(火) 07:22:57 ID:PHcH89ao
◆◇◆◇◆◇ 5.含意についての追加説明:逆、裏、対偶 ◇◆◇◆◇◆
.
385 : ◆GI8xWOz4Ko:2010/04/27(火) 07:23:16 ID:PHcH89ao
/:::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:::::::゙'''::.、
長門有希
「さて先ほどやった含意についてさらに詳しく考えていこう。
含意は推移律(三段論法)に用いることもあってとてもよく使う。よく知っておくべき」
386 : ◆GI8xWOz4Ko:2010/04/27(火) 07:23:34 ID:PHcH89ao
( / ____ ヽ __ ) |
. ヽ| ,. ,-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 /::::::::; ' ´ ハ::::|:::::::::::|::::::|::::|
朝倉涼子
「例文は次の物を使います。
日常用語と論理学の『ならば』の用法の差を気にせずにすむよう、
あえて論理記号『→』を使いますね」
387 : ◆GI8xWOz4Ko:2010/04/27(火) 07:23:48 ID:PHcH89ao
┌────────────────────────────────────┐
│ .....│
│~ 例文 ~ ......│
│ .....│
│・やる夫は100円硬貨を持っている → やる夫は50円のアイスを買うお金がある ..│
│ P Q │
│ .....│
└────────────────────────────────────┘
.
388 : ◆GI8xWOz4Ko:2010/04/27(火) 07:24:00 ID:PHcH89ao
5.1 逆
.
389 : ◆GI8xWOz4Ko:2010/04/27(火) 07:24:15 ID:PHcH89ao
.. - ─……‐-. .、
,. '"´ . : : : : : : : : : : : : : :`ヽ、
,.'´. : : : : : : ,.: : : : : : : : : : : :ヽ
/. :./: : :/:/: : /: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 / |. |
長門有希
「まず、ある複合命題Aの要素命題Pと要素命題Qの関係が
P→Qで表わせるとき、前件と後件を入れ替えた
Q→P を複合命題Aの『逆』という。」
390 : ◆GI8xWOz4Ko:2010/04/27(火) 07:24:29 ID:PHcH89ao
┌────────────────────────────────────┐
│ .....│
│やる夫は50円のアイスを買うお金がある → やる夫は100円硬貨を持っている .│
│ Q P │
│ .....│
└────────────────────────────────────┘
.
391 : ◆GI8xWOz4Ko:2010/04/27(火) 07:24:41 ID:PHcH89ao
____ _
, . : :´: : : : :.: : : : : : : `<
,. :': : : : : : : : : : : :: : : : : : : : : :`ヽ
/: : : : : : : : : : : : : :: : : : : : : : : : : : ` 、
/: : : : : : : : : : : : : : : :,: : : : : : : : : : : : : : \
. / : : : : : : : : : : : : : : : : : : : : : : : : : : : : : `
,': : . . . . : : 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:::://:::/ヽ
//: : : ` 、::\\::::', !://:::/: : : \
/: : : : : : : : :\::\\', ;〃/: : : : :: ::ヽ
長門有希
「推論風に言うと、『やる夫は50円のアイスを買うお金があったのだから、
100円硬貨を持っていたのだろう』といったところか」
392 : ◆GI8xWOz4Ko:2010/04/27(火) 07:24:56 ID:PHcH89ao
____ ━┓
/ \ ┏┛
/ \ ,_\. ・
/ (●)゛ (●) \
| ∪ (__人__) |
/ ∩ノ ⊃ /
( \ / _ノ | |
.\ “ /__| |
\ /___ /
美筆やる夫
「おや?
これ、確かに持っているかもしれないけど、
絶対そうとは言えなくないですかお?
1000円札で買ったのかもしれませんお」
403 : ◆GI8xWOz4Ko:2010/04/27(火) 20:12:54 ID:PHcH89ao
// ヽヽ
| | | |
| | | |
|_| f「l 「| | |
{三}」 L,, 」 L{三}
___ У `ヽ /⌒゚¨゚⌒ヽ x===、
/ ̄ヽ∠ィ∨∨∨V l/l/\l\ト仆、_n ム
レク) /二二二二二} ,'二二二ニニム_ `V
ゝ/二二二二二二} lニ>' ´ ̄ ̄ ̄`ヽく
//二! /\二二} l二l ∧ハ \
/7/Yfテ l / `ヽ\二l lニl /⌒Vl /fテハニ ヽ
/二レ' じ゚ ∨ `fテ l ムニ| |ニ| |Yfテ V じ゚ ヘ!ニニム
/二二八 じ゚/ / 二| |ニl | じ゚ 丿 二二ム
/二二二 >、^____/ / 二| lニヘ 之__, ^ <二二二二ム
/二二二二二二二二 ノイ 二二| lニニトイ二二二二二二二二二 ム
{二二二二二二二二二二二二| ; ; l二二二二二二二二二二二二}
{二二二二二二二二二二二ニ/ ' 'V二二二二二二二二二二二 }
{二二二二二二二二二二二/ ,' ' ',V二二二二二二二二二二ニ'
V二二二二二二二二二二' ,' ,' ,\二二二二二二二二二ニ'
`マニニニニニニニニ / // ヽ \ 三三三三三三三У
` <二二二二>' _ / \ ` =ニ二三三三>'
長門有希
「そう。貴方の言う通り、たまたま成り立つこともあるが、
必ず成り立つと考えるのは間違い」
404 : ◆GI8xWOz4Ko:2010/04/27(火) 20:13:37 ID:PHcH89ao
5.2 裏
.
405 : ◆GI8xWOz4Ko:2010/04/27(火) 20:13:52 ID:PHcH89ao
.. - ─……‐-. .、
,. '"´ . : : : : : : : : : : : : : :`ヽ、
,.'´. : : : : : : ,.: : : : : : : : : : : :ヽ
/. :./: : :/:/: : /: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 / |. |
長門有希
「次、前件と後件の両方に否定をかけた ¬P→¬Q を複合命題Aの『裏』という。」
406 : ◆GI8xWOz4Ko:2010/04/27(火) 20:14:16 ID:PHcH89ao
┌──────────────────────────────────────┐
│ .│
│・やる夫は100円硬貨を持っていない → やる夫は50円のアイスを買うお金がない ....│
│ ¬P ¬Q │
│ .│
└──────────────────────────────────────┘
.
407 : ◆GI8xWOz4Ko:2010/04/27(火) 20:14:33 ID:PHcH89ao
__
/´ ̄  ̄`丶、
/ \
. / / ` 、
/ 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 /
ヽ..工_ー''′ ̄ }}/
長門有希
「推論風に言うと、『やる夫は100円硬貨を持っていないのだから、
やる夫は50円のアイスを買えないに違いない』といったところ」
408 : ◆GI8xWOz4Ko:2010/04/27(火) 20:14:55 ID:PHcH89ao
____ ━┓
/ \ ┏┛
/ \ ,_\. ・
/ (●)゛ (●) \
| ∪ (__人__) |
/ ∩ノ ⊃ /
( \ / _ノ | |
.\ “ /__| |
\ /___ /
美筆やる夫
「これも必ずしも成り立たないような……。千円札をもっていたらそれまでですお」
409 : ◆GI8xWOz4Ko:2010/04/27(火) 20:15:33 ID:PHcH89ao
// ヽヽ
| | | |
| | | |
|_| f「l 「| | |
{三}」 L,, 」 L{三}
___ У `ヽ /⌒゚¨゚⌒ヽ x===、
/ ̄ヽ∠ィ∨∨∨V l/l/\l\ト仆、_n ム
レク) /二二二二二} ,'二二二ニニム_ `V
ゝ/二二二二二二} lニ>' ´ ̄ ̄ ̄`ヽく
//二! /\二二} l二l ∧ハ \
/7/Yfテ l / `ヽ\二l lニl /⌒Vl /fテハニ ヽ
/二レ' じ゚ ∨ `fテ l ムニ| |ニ| |Yfテ V じ゚ ヘ!ニニム
/二二八 じ゚/ / 二| |ニl | じ゚ 丿 二二ム
/二二二 >、^____/ / 二| lニヘ 之__, ^ <二二二二ム
/二二二二二二二二 ノイ 二二| lニニトイ二二二二二二二二二 ム
{二二二二二二二二二二二二| ; ; l二二二二二二二二二二二二}
{二二二二二二二二二二二ニ/ ' 'V二二二二二二二二二二二 }
{二二二二二二二二二二二/ ,' ' ',V二二二二二二二二二二ニ'
V二二二二二二二二二二' ,' ,' ,\二二二二二二二二二ニ'
`マニニニニニニニニ / // ヽ \ 三三三三三三三У
` <二二二二>' _ / \ ` =ニ二三三三>'
長門有希
「そう。そのように、逆と裏は正しくないことがありえる。
『逆と裏は必ずしも真ならず』と言われるのがまさにこれ」
410 : ◆GI8xWOz4Ko:2010/04/27(火) 20:15:56 ID:PHcH89ao
/ /´ `´ `‐´ `ヽ、 \'"´ ヾ、
/ / / ,、 ,.、 \ ヽ _,.-‐'
/ ' / 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''"`ヽ、_,.ィ'´`゙'¬-、ン'ー'´
朝倉涼子
「ところが人は逆と裏を真だとつい考えてしまう癖があります。
パッと見ではわかりづらいこともあるので、うっかり見落としてしまって推論に失敗し、
反証による突っ込みを受けることがありますね」
411 : ◆GI8xWOz4Ko:2010/04/27(火) 20:16:14 ID:PHcH89ao
5.3 対偶
.
412 : ◆GI8xWOz4Ko:2010/04/27(火) 20:16:35 ID:PHcH89ao
,.. --- ..
,..-.:. ̄.:..:..:.. : : : : `丶、
/:..:..:. ..: : : : : : : : : : : : :\
/:ヘ=、、:._: : : : __:ヽ:_: -^,.ト、
ノ:..:..:./:..  ̄: :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 _ .. -―
長門有希
「最後に、裏かつ逆の ¬Q→¬P を複合命題Aの『対偶』という。」
413 : ◆GI8xWOz4Ko:2010/04/27(火) 20:16:56 ID:PHcH89ao
┌─────────────────────────────────────┐
│ ...│
│・やる夫は50円のアイスを買うお金がない → やる夫は100円硬貨を持っていない ......│
│ ¬Q ¬P │
│ ...│
└─────────────────────────────────────┘
.
414 : ◆GI8xWOz4Ko:2010/04/27(火) 20:17:15 ID:PHcH89ao
,, r一-- 、 ,,
/´ ``ヽ、
/' \
,;' ヽ
. ノ , i / ,, / |ヽ ゙ヽ
イ i | i ,'`メ // /i .ト ヽ ヽ
レ| { i |//'´ `メ / / /| } ト 1
',イ i r+テ=ミメイ //'"|´/ / ハ|
`、ヽ r'メ, {。;;;;'ソ ` ' ,rz;,y'ノi〃イ .'
`ハヾ ヘ i'ー''- /。シ゚ク /'"
レ',`''; i , `'' / /
' i∧ト i, - ,イ{ ./
. ,y}`ヽ |ゝ, _, r '´ リ |/
,ノ.:.:.ヽ `', {;;ヽ、. |i
,;<、.:.:.:.:.:.:.`v'" ^,ヽミ、,
. /,ニヾ`ヽ.:.:.:.:.:.`彡=ヾ}:||i、
.. // ` `\\.:.:.:.ヘ i|:||i丶
,' f ヽ \\:.:.:i i|.||i ',
長門有希
「推論風に言うと、『やる夫は50円のアイスを買うお金がなかったのだから、
100円硬貨を持っていなかったのだろう』といったところ」
415 : ◆GI8xWOz4Ko:2010/04/27(火) 20:17:59 ID:PHcH89ao
____ ヽ v /
/─ ─\ -(m)-
/( ●) (●)\. ≡
/ (__人__) \
| |
/ ∩ノ ⊃ /
( \ / _ノ | |
.\ “ /__| |
\ /___ /
美筆やる夫
「えーと……あ、これは正しいお。
50円のアイスを買うお金がないなら、100円硬貨を持っていないのは確実だお。
逆や裏のように、1000円札を持っている可能性も無いお」
416 : ◆GI8xWOz4Ko:2010/04/27(火) 20:18:16 ID:PHcH89ao
_,..-‐::─:.─::─-:.、_
,.イ´: : : : : : : : : : : : : : : : `:ー-.、__
/: : : ;: : : : : ; : : : : : : 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'ヽ、 |'ニニ} / /::ヽ、,,ノ:::::::::::/
/:::\\ |゛ ̄| / /:::::::::::::::::::::::;/
{:::::::::::\\ | | / /:::::/:::::::::::::/
長門有希
「そう、対偶は必ず成り立つ。
そのため対偶だけは推論にも安心して使うことができる。
もっともこれは危険な点でもあり、もし反証によって対偶が
否定された場合、全自動でもとの命題も否定されることになるのだが」
417 : ◆GI8xWOz4Ko:2010/04/27(火) 20:18:35 ID:PHcH89ao
,.. 、 ,. 、
,γ⌒ーイ ヾ _ ゙ヾヽ、
, './ / //`ヽ.' ヘ ハ ヽヽ
./ / / ,' l |` `゙´´ l | ', ', ',
/ ,',' ,斗キト ,ニ|、', ',. ',
/| l l | _| リ ノL_l l l',
´ ,リ. ',',_,..- ' ´ T‐┘リ
彡|,.ヘ〉.| ===≡ ≡== | |`
_| | ', |
‐'´' |. | XXX XX, |
ヘ| | `(_`チ ノ. |
| | , ィ' |
| |` ´ | |
朝倉涼子
「ただし逆と裏が必ずしも真と言えないのは含意のときであって、
同値であるなら間違いなく正しいんですよ。
逆が正しいのは同値の定義から確実。
そして裏は逆の対偶なのでこれも正しいんです」
418 : ◆GI8xWOz4Ko:2010/04/27(火) 20:19:13 ID:PHcH89ao
◆◇◆◇◆◇ 6.必ず同値となる関係と言い換え ◇◆◇◆◇◆
.
419 : ◆GI8xWOz4Ko:2010/04/27(火) 20:20:19 ID:PHcH89ao
_______ /:|
_,..-─'":: : : : : : : : : ̄`ー'´: :/
/: : : : : ,:: : : : :: : : : : : : : : : : : ̄: ̄:゛ー-.、__
/: : : : : .::/: : : : : ; : : : : : : : : : : : :、:: : : : :ヘ-一"
/: : : : : .::/: : : : ::/: : :;|:: : : : : : : : : :ハ::. : :、: :`ヽ、
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'´,}:::} |
長門有希
「さてここまで連言、選言、含意、同値、否定を解説したわけだが、
実はいくつかの組み合わせはどのような命題を当てはめても必ず同値の関係になる。
この関係は言い換えに利用することが出来る(あまり実用的でないものもあるが)」
420 : ◆GI8xWOz4Ko:2010/04/27(火) 20:20:39 ID:PHcH89ao
6.1 ド・モルガンの法則
.
421 : ◆GI8xWOz4Ko:2010/04/27(火) 20:21:01 ID:PHcH89ao
_,..-‐::─:.─::─-:.、_
,.イ´: : : : : : : : : : : : : : : : `:ー-.、__
/: : : ;: : : : : ; : : : : : : 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)で表わしたとすると」
422 : ◆GI8xWOz4Ko:2010/04/27(火) 20:21:15 ID:PHcH89ao
┌────────────┐
│ │
│¬(P∨Q)⇔¬P∧¬Q │
│ │
└────────────┘
長門有希
「この関係が成り立つ」
423 : ◆GI8xWOz4Ko:2010/04/27(火) 20:21:35 ID:PHcH89ao
____
/─ ─\
/( ●) (●)\.
/ (__人__) \
| |
/ ∩ノ ⊃ /
( \ / _ノ | |
.\ “ /__| |
\ /___ /
美筆やる夫
「どれ? 真理値表で確認してみるお。
まず¬(P∨Q)は選言の結果を否定で反転させるわけだから……こうだお」
P Q ¬(P∨Q)
真 真 偽
真 偽 偽
偽 真 偽
偽 偽 真
424 : ◆GI8xWOz4Ko:2010/04/27(火) 20:21:50 ID:PHcH89ao
____
/─ ─\
/( ●) (●)\.
/ (__人__) \
| |
/ ∩ノ ⊃ /
( \ / _ノ | |
.\ “ /__| |
\ /___ /
美筆やる夫
「次に¬P∧¬Qは条件の真偽を
反転しながら考えればいいわけだから
……こうだお」
P Q ¬P ¬Q ¬P∧¬Q
真 真 偽 偽 偽
真 偽 偽 真 偽
偽 真 真 偽 偽
偽 偽 真 真 真
425 : ◆GI8xWOz4Ko:2010/04/27(火) 20:22:13 ID:PHcH89ao
____
/⌒ ⌒\
/( ●) (●)\
/ ::::⌒(__人__)⌒:::: \
| |r┬-| |
\ `ー'´ /
> <
( | / )
`| /'
美筆やる夫
「あ、本当だお。同じになるお」
.
426 : ◆GI8xWOz4Ko:2010/04/27(火) 20:22:30 ID:PHcH89ao
,...,.-‐'"´`ヽ,..-、
,ィ',.イ ヘ-‐、
//, / / _ ゙'''ヽ
/ 'ィ'´ / / / /,ハ.,ィヘ .ヘ
}‐/ ,/ /ヽ、// "''┤ l.∧
|_ .゙7''"'¬イ└/l゙メ.、 .リl | | |
/ヘ/ `/ / ヾミョ、 ` 、≦斗.| | |
.l,..-''"∨ / xxxx .ミk、,゙L/ .ハ .|
,.< / /. γ'ー、_, `゙"/-、 / .レ'
,.ィ'" ( | .ト'、.. l / xxx/ 「′
,.イ ,..-'| | | |゙ヽ、 ゙ー''" ノ |
'´ ,.-‐'" ヘ リ | ヘ ヾ=-..r-=ニ'"| |__
,.イ ヽ ゝ、 | 、  ̄ノ .| | ヤ¬ッ
/ > `'' ゙'¬" .| | | .レ'"
/ / / | / リTー'
/ / '--ッ __./ |'"´〈、_/ |
`ヽ、 , , / / /`ヽ | | |
朝倉涼子
「試しに日本語にしてみましょうか。
閲覧不可を決定する複合命題に含まれている命題Pを『18歳未満の方』、命題Qを『グロテスクな表現が苦手な方』とし、
¬Pは『18歳以上の方』¬Qは『グロテスクな表現が苦手でない方』として考えてみますね」
427 : ◆GI8xWOz4Ko:2010/04/27(火) 20:22:50 ID:PHcH89ao
┌──────────────────────────────────────────┐
│ ....│
│~ 例 ~ ...│
│ ....│
│・選言で表現¬(P∨Q) : 18歳未満の方、または、グロテスクな表現が苦手な方は閲覧不可 │
│ ....│
│・連言で表現¬P∧¬Q : 18歳以上でかつグロテスクな表現が苦手でない方のみ閲覧可 .│
│ ....│
└──────────────────────────────────────────┘
.
428 : ◆GI8xWOz4Ko:2010/04/27(火) 20:23:25 ID:PHcH89ao
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
|::ヽ.゛|/´/,イ´::::::::::::::::::}
長門有希
「例文を読んで、意味がいっしょになることを確認してほしい」
429 : ◆GI8xWOz4Ko:2010/04/27(火) 20:23:49 ID:PHcH89ao
____
/⌒ ⌒\
(ヽ /( ●) (●)\ /)
(((i ):::::: ⌒(__人__)⌒::::\ ( i)))
/∠ | |r┬-| |_ゝ\
(___ `ー'´ ____ )
| /
| /
| r /
美筆やる夫
「あ、本当だお。同じことになるお。こりゃ面白いお」
.
430 : ◆GI8xWOz4Ko:2010/04/27(火) 20:24:14 ID:PHcH89ao
,.. 、 ,. 、
,γ⌒ーイ ヾ _ ゙ヾヽ、
, './ / //`ヽ.' ヘ ハ ヽヽ
./ / / ,' l |` `゙´´ l | ', ', ',
/ ,',' ,斗キト ,ニ|、', ',. ',
/| l l | _| リ ノL_l l l',
´ ,リ. ',',_,..- ' ´ T‐┘リ
彡|,.ヘ〉.| ===≡ ≡== | |`
_| | ', |
‐'´' |. | XXX XX, |
ヘ| | `(_`チ ノ. |
| | , ィ' |
| |` ´ | |
朝倉涼子
「ちなみにこの関係(¬(P∨Q) ⇔ ¬P∧¬Q)には名前がついていて、
ド・モルガンの法則と呼ばれています。
また、このド・モルガンの法則のように、
どのような命題を当てはめても同値となる関係を同値定理と呼んだりしますね」
431 : ◆GI8xWOz4Ko:2010/04/27(火) 20:24:35 ID:PHcH89ao
6.2 二重否定律
.
432 : ◆GI8xWOz4Ko:2010/04/27(火) 20:24:50 ID:PHcH89ao
_,..-‐::─:.─::─-:.、_
,.イ´: : : : : : : : : : : : : : : : `:ー-.、__
/: : : ;: : : : : ; : : : : : : 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'ヽ、 |'ニニ} / /::ヽ、,,ノ:::::::::::/
/:::\\ |゛ ̄| / /:::::::::::::::::::::::;/
{:::::::::::\\ | | / /:::::/:::::::::::::/
長門有希
「こんなものもある。二重否定律と言われるもの」
433 : ◆GI8xWOz4Ko:2010/04/27(火) 20:25:06 ID:PHcH89ao
┌───────┐
│ .│
│P ⇔ ¬¬P ....│
│ .│
└───────┘
美筆やる夫
「……なんですかお、これは。
あったり前じゃないですかお」
434 : ◆GI8xWOz4Ko:2010/04/27(火) 20:25:26 ID:PHcH89ao
_____
__,.-‐'": ̄: : : : : : ̄:.:`:ヽ、
,.イ´: : : : : :; : : : : : : : : : : : : : : :\
/: : : : : : : :/:: : : : : : : : : 、:: : : :: : : : ヘ
/: : ::/: : : : : :|: : : : : : : : : : : |:: : :: : : : : : :ヘ
//: : : :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:::::::::::::::::::|:::::::|ヽ|,//|:::::::::::}::::::::|
 ̄ ̄ ̄゛|:::::::|/∧ヽ. |::::::::::|::::::::|
長門有希
「その通り、当たり前。でも割とよくある日本語」
435 : ◆GI8xWOz4Ko:2010/04/27(火) 20:25:45 ID:PHcH89ao
┌───────────────────┐
│ ......│
│~ 二重否定律による言い換えの例 ~ .│
│ ......│
│・ボクは18歳未満ではありません .│
│ ......│
│・ボクは18歳以上です │
│ ......│
└───────────────────┘
.
436 : ◆GI8xWOz4Ko:2010/04/27(火) 20:26:06 ID:PHcH89ao
____
/⌒ ⌒\
/( ●) (●)\
/ ::::⌒(__人__)⌒:::: \
| |r┬-| |
\ `ー'´ /
> <
( | / )
`| /'
| r /
美筆やる夫
「ああ、確かによく見ますお」
437 : ◆GI8xWOz4Ko:2010/04/27(火) 20:27:03 ID:PHcH89ao
, __ 、 、
〈 ,-‐'"´ ̄  ̄`゙ヽ、 ヽ
Y _,....====.、..__ バ-=r‐ 〉
kr'T「トl、,_| |リ_,.斗 |`,'. ',、ヾ ノ
| | lγ''ヾ γ''ヽ._| l | `l' .l
゙Trl 弋..ノ 弋__ノ├゙、_ノニ} l
| リ "" ""| リ´|ト'`ヽ
| ゝ.、,、 --{ | | |l l
| ∧スフ¬¬'''ス,| l |l |l、__,.ノ
| l | `l|/´ヽ./ | | |l |
| |.| '´ ,..、 l .| リ_lイ| |
 ̄l`゙l ゝ' | '´| l| |
朝倉涼子
「ですが、実際の文章作成では、二重否定文は肯定文よりも理解しづらくなる傾向があります。
そのためこの二重否定律は必要なときだけ使うようにしたほうが良いでしょうね」
438 : ◆GI8xWOz4Ko:2010/04/27(火) 20:27:32 ID:PHcH89ao
┌───────────────────────────────────────────────┐
│ .....│
│~ 二重否定律使い過ぎの例 ~ ...│
│ .....│
│・特に問題のある歩き方をしていなかったやらない夫が自動車事故を避けられなかった。 │
│もう若くない人が時に行う安全でない運転に注意しないのはいいことではない。 ....│
│ .....│
│ .....│
│ .....│
│~ 二重否定文を肯定文に言い換えると ~ .....│
│ .....│
│・ごく普通に歩道を歩いていたやらない夫が自動車事故にあった。高齢者が時に行う危険運転には要注意。 │
│ .....│
└───────────────────────────────────────────────┘
.
439 : ◆GI8xWOz4Ko:2010/04/27(火) 20:28:30 ID:PHcH89ao
(ヽ三/) ))
__ ( i)))
/⌒ ⌒\ \
/( ●) (●)\ )
./:::::: ⌒(__人__)⌒::::\
| (⌒)|r┬-| |
,┌、-、!.~〈`ー´/ _/
| | | | __ヽ、 /
レレ'、ノ‐´  ̄〉 |
`ー---‐一' ̄
美筆やる夫
「あ、本当だお。二重否定つかまくった文は意味がわかりにくいですお。
でもけっこう二重否定をよく使う人がいますお?」
440 : ◆GI8xWOz4Ko:2010/04/27(火) 20:31:11 ID:PHcH89ao
__,
__,..-:‐::───:‐-.、__,ノ:;/
,.イ´:;: : : : : : : : : : : : : : : : :<、
/: : :.:/: : : /: : : : : : : : :|:: : : : : :`ヽ、
/: : : :.:/: : :.:/: : :/: : : : : : |:.: : : :ハ: : : :\
/: : : : : :/: ::、:/:: : ;イ:: : : : : : :|: :|: : : :|: : : :、::\
,ノ: : : : ::|: :.:|: : : :|\:/ |:: : : : : : :|: :|: :.;_:.:|: : : :ヘ ̄`
 ̄|: : : : |: : :|: : :/|:.:/`ー|: :.;: : : : :j斗:'´:.: :|: : : : ハ
|: : : :.:|: : :{: :;マチ弐ヤ ∨|: : : :/_∨ヘ::.: :|:: : : : : }
|: : ::l'´|: : :∨ V::tィ::} ∨::/テ弐ア∨::l:: : : : : :|
|/|: ::ゝ|:: : : :|⊂ゞ-" ∨ん':;リ,' /∨、: :/\:|
∨|: :V::. : :| ` `ーc" {::: : :∨ `
∨:.:\::.:| /´ ̄| }::: : :|
`ヽ:/ヽ:|、 /___,j ,人::.: :|
/ ,r===-.、-r-、-‐<_ \:|
/ /:::::::::::::::::::`ヽニニ7 //::ヽ、__
\,/::::::ゝ、::::::::::::::::\///:::::::::´:::::::;}フ
_,ノ::::::::::ノ:`ヽ::::::::::::::::\::::::::;/_:;/
<´:::::::::::::/:::::::/ \::::::::::/`ー=っ
長門有希
「これは>>1の私見だが、二重否定は反証による突っ込みを比較的受けにくいため、
防衛的な表現を好む人が多用しがちな気がする。
……もっとも、内容が反証を誘うようなものだと二重否定文だろうと
容赦なく突っ込まれるものだが」
441 : ◆GI8xWOz4Ko:2010/04/27(火) 20:31:39 ID:PHcH89ao
6.3 対偶律
.
442 : ◆GI8xWOz4Ko:2010/04/27(火) 20:32:19 ID:PHcH89ao
_,..-‐::─:.─::─-:.、_
,.イ´: : : : : : : : : : : : : : : : `:ー-.、__
/: : : ;: : : : : ; : : : : : : 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'ヽ、 |'ニニ} / /::ヽ、,,ノ:::::::::::/
/:::\\ |゛ ̄| / /:::::::::::::::::::::::;/
{:::::::::::\\ | | / /:::::/:::::::::::::/
長門有希
「次に行こう。さきほどやったばかりの対偶律」
443 : ◆GI8xWOz4Ko:2010/04/27(火) 20:32:37 ID:PHcH89ao
┌────────────────┐
│ .│
│対偶律 (P→Q) ⇔ (¬Q→¬P) ....│
│ .│
└────────────────┘
.
444 : ◆GI8xWOz4Ko:2010/04/27(火) 20:33:07 ID:PHcH89ao
┌──────────────────────────────────────┐
│ .│
│~ 例 ~ │
│ .│
│命題は必ず真偽の判定が出来る。 ⇔ 真偽の判定が出来ないものは命題ではない │
│ .│
└──────────────────────────────────────┘
.
445 : ◆GI8xWOz4Ko:2010/04/27(火) 20:33:24 ID:PHcH89ao
∩_
〈〈〈 ヽ
____ 〈⊃ }
/⌒ ⌒\ | |
/( ●) (●)\ ! !
/ :::::⌒(__人__)⌒:::::\| l
| |r┬-| | /
\ ` ー'´ //
/ __ /
(___) /
美筆やる夫
「おや、さっき使った説明文ですお」
446 : ◆GI8xWOz4Ko:2010/04/27(火) 20:33:40 ID:PHcH89ao
: : : : : : : : : : : :|: : ::|: : : :;|:.:. : : : : :/:: : : : : : : : : :ハ
: : : : : : : : : : :.:|ヽ: :|: : ::/|:: : : : : :/ヽ/: : :.: : : : : :|
: : : : : : : : : : : |:.: :\;:/ |: :: : : :/∠∨:.: : :|: : : ト、:|
: : : : : : : : : : ::|: :/'|::/\,|: :|: : /ィチヤ∧::.: :|: : : | `
: : :: ::|: : : : : : |:/zテ弐チ |:/|: :/'|f::j:} ハ::',:: :|:: : :j
: : :i::_|:: : : : : :|' {f´:::j:| j:;/ V:;リ ハ:.: : :|: : :/
: : :{´ |: : : : : :| 、弋z::リ ´ 、 " {:: : : :l::/
: : :ヽ、|: : : : : |  ̄ }:: : :/´
: : : : :.:|: : : : ::| ,.イ: : :/
\:.:|、:.∨: : : :|‐r- __ヘ_ ,.-‐<::::::|:: :/
{` ヽ、:.: :| \ゝ-‐'ノ \:|::/
長門有希
「そう。論理記号を使って表記するとこうなる」
447 : ◆GI8xWOz4Ko:2010/04/27(火) 20:34:05 ID:PHcH89ao
┌──────────────────────────────────────┐
│ .│
│~ 例 ~ │
│ .│
│・(命題である → 真偽の判定が出来る) ⇔ (真偽の判定が出来ない → 命題ではない) .....│
│ .│
└──────────────────────────────────────┘
.
448 : ◆GI8xWOz4Ko:2010/04/27(火) 20:34:19 ID:PHcH89ao
____
/⌒ ⌒\
/( ●) (●)\
/::::::⌒(__人__)⌒::::: \
| |r┬-| |
\ `ー'´ /
美筆やる夫
「へー。こういう言い換えは知ってると便利ですお」
449 : ◆GI8xWOz4Ko:2010/04/27(火) 20:34:35 ID:PHcH89ao
6.4 移出律
.
450 : ◆GI8xWOz4Ko:2010/04/27(火) 20:34:52 ID:PHcH89ao
_____
__,.-‐'": ̄: : : : : : ̄:.:`:ヽ、
,.イ´: : : : : :; : : : : : : : : : : : : : : :\
/: : : : : : : :/:: : : : : : : : : 、:: : : :: : : : ヘ
/: : ::/: : : : : :|: : : : : : : : : : : |:: : :: : : : : : :ヘ
//: : : :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:::::::::::::::::::|:::::::|ヽ|,//|:::::::::::}::::::::|
 ̄ ̄ ̄゛|:::::::|/∧ヽ. |::::::::::|::::::::|
長門有希
「それから移出律。ちょっとややこしい」
451 : ◆GI8xWOz4Ko:2010/04/27(火) 20:35:23 ID:PHcH89ao
┌────────────────┐
│ .│
│移出律:(A∧B)→C⇔A→(B→C) │
│ .│
└────────────────┘
.
452 : ◆GI8xWOz4Ko:2010/04/27(火) 20:36:02 ID:PHcH89ao
┌───────────────────────────────┐
│ ....│
│~ 例 ~ ...│
│ ....│
│・やらない夫が『18歳以上かつグロOK』ならば、閲覧していい人だ。 .│
│ ....│
│・やらない夫が18歳以上ならば、『グロOKに限るが閲覧していい人』だ。 │
│ ....│
└───────────────────────────────┘
.
453 : ◆GI8xWOz4Ko:2010/04/27(火) 20:36:19 ID:PHcH89ao
( / ____ ヽ __ ) |
. ヽ| ,. ,-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 /::::::::; ' ´ ハ::::|:::::::::::|::::::|::::|
|:::::::ハ::::::::::| /´ノ |/::::::::/ }::|::::::::::::|::::::|::::|
朝倉涼子
「一気に条件を狭めるか、順に条件を狭めていくかの違いはあっても
結果は一緒ってことです」
454 : ◆GI8xWOz4Ko:2010/04/27(火) 20:36:39 ID:PHcH89ao
____
/^ ⌒ \
(●) (● ) \
/⌒(__人_)⌒:::::: \
| |-┬r| |
\ `'ー` /
美筆やる夫
「プログラミングでいうと、AND演算子を使って条件文を1行で書いても、
条件文を入れ子にして書いても、結果は同じ、というところかお」
455 : ◆GI8xWOz4Ko:2010/04/27(火) 20:37:07 ID:PHcH89ao
6.5 実質条件法律
.
457 : ◆GI8xWOz4Ko:2010/04/27(火) 20:38:16 ID:PHcH89ao
. __ ___
|ヽ >‐:::´:::::::::::::::::::::::`::-..、
|. ´::::::::::::::::::::::::::::::::::::::::::::、__ヽ---ュ
/::::::/:::::::::/:::::::::::::::ヽ::ヽ:::::::ヽ ,.∠ /
_,._'´_/:::/::::::/::::/::::::/::::!:::::::'::::::'.::::::::', ;.∧
/::::::/::::::/:::::;|::::::∧:::|';::::::|::::::!:::::::::l '/::::i
|:::::::!::::_/」_::ハ::::! ';::! ';::::|';::::!:::::::::| /:::::::!
|::::/|:::/ ';:l. ';::| ヾ¨ヾ:|`';:|:::::::::j::::::::::::',
|:::l. l:::| z=t=ミ、 ヾ ,.z:=t、.'|::::::::;'::::::::::トヘ
ヽl. Ⅳ', |:::::」 |:::::」 |::::::/::::::;l:::l
. /:|:::l 弋tソ 弋tソ |::::/:/l:/ V
'´ l:::ト、 ''' |::/:/ ′
ヾ! lン 、_ -__ ィ/:/|/
. r'ヘ., ‐ 、. _ ,r‐/__ /ヽハ/ シ
長門有希
「最後に実質条件法律。これはかなりわかりづらい」
490 : ◆GI8xWOz4Ko:2010/04/28(水) 06:05:39 ID:yg7EH6hU
【関係性の記述が漏れていたので追加】
>>457 のあとにこれを追加してください
┌──────────┐
│ ..│
│実質条件法律 ...│
│ ..│
│(P→Q)⇔(¬P∨Q) ....│
│ ..│
└──────────┘
458 : ◆GI8xWOz4Ko:2010/04/27(火) 20:38:42 ID:PHcH89ao
_,..-‐::─:.─::─-:.、_
,.イ´: : : : : : : : : : : : : : : : `:ー-.、__
/: : : ;: : : : : ; : : : : : : 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 ¬P Q ¬P∨Q P→Q
真 偽 真 真 真
真 偽 偽 偽 偽
偽 真 真 真 真
偽 真 偽 真 真
.
459 : ◆GI8xWOz4Ko:2010/04/27(火) 20:39:11 ID:PHcH89ao
_,.-‐' ´___ ̄ ̄ `゙ ''‐-、
,.‐-, '´ `ヽ/ `ヽ'`'ヽ、__ \
/ ,、 ` ´ ヘ ヽ
/ / / /` '-| l l ', .ハ
/ l l l |l | | l l l
| | | | |l | __ l l |_, -彡
| l `l'‐ト、 ,リィヒT´_| l |_,/ }
`‐r-゙-r-ィヾ、 ィヽハヽL_l__| | ,.<|
| | '{うハl ら'::ハ' | 'Tヽ´/ .l|
| ,| | マ:リ 辷'ソ | | l l l|
| |. l ' u| l イ l l|
| | ヽ、 - __,l | .| l |
| | | `゙フ、'''"´ ,' l、| l |
| | l / , リ __,. -イ ,' ヘ l |
朝倉涼子
「例の日常言語と論理学の差が影響し、ややおかしな日本語になるのですが、
これはこう言い換えられます」
460 : ◆GI8xWOz4Ko:2010/04/27(火) 20:39:34 ID:PHcH89ao
┌────────────────────────────────────────┐
│ .│
│~ 例 ~ │
│ .│
│・『当社が美筆町に直営店を出したならば、当社は御社に違約金を支払う』こととする .│
│ .│
│・『当社は美筆町に直営店を出さない』か、または『当社は御社に違約金を支払う』こととする │
│ .│
└────────────────────────────────────────┘
.
461 : ◆GI8xWOz4Ko:2010/04/27(火) 20:40:36 ID:PHcH89ao
____
/ヽ /\
/(●) (●)丶
/::⌒(__人__)⌒:::uヽ
l |r┬-| l
\ `ー'´ /
/ ヽ
し、 ト、ノ
| _ l
!___/´ ヽ___l
美筆やる夫
「あー……まあ確かにこうなるかお……。
違約金を支払うんだったら直営店も出せるお。
上の約束は下の表現の仕方もできるお。なんか日本語としては変だし
関係性がよくわからなくなってるけど」
.
462 : ◆GI8xWOz4Ko:2010/04/27(火) 20:41:26 ID:PHcH89ao
_______ /:|
_,..-─'":: : : : : : : : : ̄`ー'´: :/
/: : : : : ,:: : : : :: : : : : : : : : : : : ̄: ̄:゛ー-.、__
/: : : : : .::/: : : : : ; : : : : : : : : : : : :、:: : : : :ヘ-一"
/: : : : : .::/: : : : ::/: : :;|:: : : : : : : : : :ハ::. : :、: :`ヽ、
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'´,}:::} |
長門有希
「まだまだあるのだがキリがないのでこの辺で止める。
最後に代表的な同値定理を列挙して今回の締めにする」
463 : ◆GI8xWOz4Ko:2010/04/27(火) 20:41:51 ID:PHcH89ao
┌───────────────────────────────────────┐
│ .│
│~ 代表的な同値定理(P、Q、Rはすべて命題) ~ .│
│ .│
│)ド・モルガンの法則 …… ¬(P∧Q)⇔(¬P∨¬Q) , ¬(P∨)⇔(¬P∧¬Q) │
│ .│
│)二重否定律 …… P⇔¬¬P .│
│ .│
│)対偶律 …… (P→Q) ⇔ (¬Q→¬P) │
│ .│
│)分配律 …… P∧(Q∨R)⇔(P∧Q)∨(P∧R) , P∨(Q∧R)⇔(P∨Q)∧(P∨R) .│
│ .│
│)交換律 …… (P∧Q)⇔(Q∧P) , (P∨Q)⇔(Q∨P) │
│ .│
│)結合律 …… (P∧Q)∧R⇔P∧(Q∧R) , (P∨Q)∨R⇔P∨(Q∨R) ..│
│ .│
│)移出律 …… ((A∧B)→C)⇔(A→(B→C)) .│
│ .│
│)実質条件法律 …… (P→Q)⇔(¬P∨Q) │
│ .│
│)同文反復律 …… P⇔(P∧P) , P⇔(P∨P) │
│ .│
└───────────────────────────────────────┘
.
464 : ◆GI8xWOz4Ko:2010/04/27(火) 20:42:06 ID:PHcH89ao
◆◇◆◇◆◇ 7.次回予告とティーブレイク ◇◆◇◆◇◆
.
465 : ◆GI8xWOz4Ko:2010/04/27(火) 20:42:32 ID:PHcH89ao
__ __
, ´ ` ´ `'' 、
/ / / ヽ 、 ヽ\ ヽ: 、 ふいー
. ,.:'/ / / / / /! / 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` ‐ 、..__......_ ' '_,.ィリ/ツ、::::::、:::::ト.⊥ -'
` `¨ ¨´ `ヽ、:ト、|
長門有希
「だいぶ長くなった。命題論理の話題はまだまだ続くのだが、いったん休憩をいれよう」
466 : ◆GI8xWOz4Ko:2010/04/27(火) 20:42:58 ID:PHcH89ao
_ ......... __
,.ィ"/,. ィ'":.:.:.:\:.:`丶、
/ / ,:":.:.:.:.:.:.:.:.:.:.:.:ヽ:.:.:.:.:.\
/ ./ /:.:./:.:.:.:.:.:.:.|:.:ト;.:.: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:.:.:.:.:.:.:.:.:./:/ /:.:.:.::|': :.ヽヽ/ヽ、
翠星石
「紅茶をいれてきたですよー。
淹れ方は真紅さん直伝ですぅ」
467 : ◆GI8xWOz4Ko:2010/04/27(火) 20:43:59 ID:PHcH89ao
/ ̄ ̄ ̄ \
/ . u
/ _ ノ ヽ、_ \
.| (ー) (ー) . |
\ (__人__) . /
/ `⌒´ ヽ
ヽ、二⌒) (⌒ニノ
美筆やる夫
「サンキュだお翠星石。
しかしかなり長かったわりに、命題の真偽判定と
同値定理による言い換えだけで終わりましたお……。
推論のすの字も出ませんでしたお。
ルールブック読むだけで終わってプレイできなかったTRPGって感じですお」
468 : ◆GI8xWOz4Ko:2010/04/27(火) 20:44:44 ID:PHcH89ao
,. :-:.' ー ' ¨ :.ゝ.、
,.:´: : : : : : : : : : : : : ヽ.
,.': : : : : : : : : : : ',: : : : : : ヽ、
,':.:;':.:.:;'.:.:.;'.:./.:;'.:.:|i:';:.:.:.:.:.:.::`、`ゝ
,':.:.i:.:.:.i:.:/i:.:/i:.:ハ:.:l:i:.:.i:.:i:.:.:.';.:.:',
/イハ:!:.:.:l:/ i/ ノノ ノリリハリ:!:i:.:.!:.l
i/!:.:!:.:.;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;l:.!:ハ!
∨|:.:.! ノ/i/ノ
ヘ!:| ノ!/′
ヾ!>ー- -- <イリ
(ヘ:::::\i=//:::::/)
{;;\::::::!n/:::::/;/
ト、;;\;;ii;;/;;;/′
/;;;;ゝ;;;;∨;;;;;;;入
(;;;;;(⌒)∨(⌒);;;;)
長門有希
「それは仕方ない。ゲームを遊ぶにはルールの理解が必要になるように、
推論を行うには今日やった命題の真偽判定の理解が必須」
469 : ◆GI8xWOz4Ko:2010/04/27(火) 20:45:24 ID:PHcH89ao
,ィ''‐/ヽ/ヽー:.、
/ /ヽヘ ヽ .ヽ.、
/ / ///`゙"´| l | | ヽ
. l | |_大ナ|' ナ大 | l | |ヘ
.|__ .|.==== l ==== ヽ__ノ |ミ|、
| .「XXX XXX | .|ミl.|
| ./ 、,、 , | |`l.|
|.l. ´ `´ | ├K
| ゝ、.___,.<ソ _| |.川
| | |./ ヾ)二オ''ハ´ .| |.川
朝倉涼子
「なお今回やったことのうち、選言・連言・同値ももちろん使うんですが、
とくに含意は頻繁に使いますよ。
推移律(三段論法)に使いますからね」
470 : ◆GI8xWOz4Ko:2010/04/27(火) 20:46:35 ID:PHcH89ao
_,..-‐::─:.─::─-:.、_
,.イ´: : : : : : : : : : : : : : : : `:ー-.、__
/: : : ;: : : : : ; : : : : : : 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'ヽ、 |'ニニ} / /::ヽ、,,ノ:::::::::::/
/:::\\ |゛ ̄| / /:::::::::::::::::::::::;/
{:::::::::::\\ | | / /:::::/:::::::::::::/
長門有希
「ところで、余談ながら、今回行ったような言語を抽象化して
パターン化した内容を研究する内容は、
論理学の中でも形式論理学と呼ばれる分野にあたる。
一方で、具体的な論証について検討するのは
非形式論理学と呼ばれる分野となる」
471 : ◆GI8xWOz4Ko:2010/04/27(火) 20:47:38 ID:PHcH89ao
┌───────────────────────────────────────────┐
│ ..│
│◆形式論理学 ...│
│ ..│
│言語の用い方のパターンの研究。 │
│抽象化された概念を用いて考える。その概念を記号で表現するので、論理記号が乱れ飛ぶ。 │
│ ..│
│こんな感じで考えていく:((A→B)∧(B→C))→(A→C) │
│ ..│
│ ..│
│ ..│
│◆非形式論理学 .....│
│具体的な論証の研究。日常言語を用いて考える。 │
│ ..│
│こんな感じで考えていく:人はいずれ必ず死ぬ。自分も人だ。よって、自分もいずれは死ぬだろう。 │
│ ..│
└───────────────────────────────────────────┘
.
472 : ◆GI8xWOz4Ko:2010/04/27(火) 20:48:00 ID:PHcH89ao
(( (ヽ三/) (ヽ三/) ))
(((i )__ ( i)))
/ /⌒ ⌒\ \
( /( ●) (●)\ )
/::::::⌒(__人__)⌒::::: \
| |
\ /
美筆やる夫
「どっちが重要なんですかお?」
.
473 : ◆GI8xWOz4Ko:2010/04/27(火) 20:48:34 ID:PHcH89ao
/: : : : : : |: : : : : : : :/: :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\
長門有希
「両者は補完的な関係なのでどちらも重要。
論理のパターンは具体的な論証に応用するためのものであり、
具体的な論証はパターンへの理解を深めたりパターン自体を
導出したりする元となるもの。
片方だけでは中途半端。
>>1は『どうせ実際に使うためには両方要るんだし、分ける意味あんまなくね?』と考えていて、
普段両者を含めた意味で論理学とだけ呼んでいる。
もっとも『この姿勢は他の人の混乱を招くかな』と気がついて
後から解説をこうして加えたわけだが」
474 : ◆GI8xWOz4Ko:2010/04/27(火) 20:49:49 ID:PHcH89ao
_,..-‐::─:.─::─-:.、_
,.イ´: : : : : : : : : : : : : : : : `:ー-.、__
/: : : ;: : : : : ; : : : : : : 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'ヽ、 |'ニニ} / /::ヽ、,,ノ:::::::::::/
/:::\\ |゛ ̄| / /:::::::::::::::::::::::;/
{:::::::::::\\ | | / /:::::/:::::::::::::/
長門有希
「それから次回だが、『抽象と実体』をはじめとする
物事の関係について解説したい。
どれもなんとはなしに知られている概念ではあるのだが、意識して
使いこなせている人は案外少ないと思う」
475 : ◆GI8xWOz4Ko:2010/04/27(火) 20:50:09 ID:PHcH89ao
┌────────────────────────────────────┐
│ .....│
│ ▲2ch Virtual .│
│ .....│
│ .....│
│ /. . . . . . : : : : : : : : 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!:.:/ {: :/:.:.:〃:/ .| ̄ ̄ ̄ ̄´| \\ .│
│ .....│
└────────────────────────────────────┘
助手:柊かがみ
「ってことは私の出番か。アップはじめときますね」
476 : ◆GI8xWOz4Ko:2010/04/27(火) 20:50:28 ID:PHcH89ao
┌────────────────────────────────────────────┐
│ │
│ │
│ 【論理学】やる夫が論理的な考え方を学ぶようです ......│
│ │
│ │
│ 第2回 論理学の基本 ~ 命題論理(1) ~ ....│
│ │
│ おわり │
└────────────────────────────────────────────┘
.