論理学入門 第 2 回資料

大西琢朗 ∗

2015 年 4 月 17 日

1 帰結関係と命題
1.1 帰結関係

論理学は，わたしたちの思考や言語の基底にある普遍的な構造について研究する学問で
ある。その普遍的構造とは，次のような形式の帰結関係 (consequence) である。

A 1 , . . . , An ⊢ B
(仮定 A1 , . . . , An から結論 B が帰結する)

“⊢” は帰結関係を表す記号で，しばしば「ターンスタイル」と読まれる*1 。帰結関係は (原

則) 複数の仮定とひとつの結論のあいだの関係である。複数の仮定は X などとまとめて

X ⊢ B あるいは X, A ⊢ B

などと書くこともある。右の例は「仮定 X および A から結論 B が帰結する」などと読む。

「仮定 X から結論 A が帰結する」は，「前提 X から結論 A の推論が妥当である」「X を
根拠として A が主張できる」
「X という条件下で A が成り立つ」
「X から A が導き出され
る」などと言い換えることができる。(それぞれに微妙なちがいはあって専門家はそれを
気にするが，ここではさしあたり気にしない。)

∗ 資料はすべてウェブ上で見ることができる。ツイッターアカウント @takuro class から更新情報，リンク

などを入手できるので，週 1 回くらいはチェックすること (フォロー不要，またツイッターアカウントな
しでも閲覧可能)。個人的な連絡はメールアドレス takuro.onishi@gmail.com まで。
*1 駅の改札や遊園地の入場口にあって，切符を入れるとガッチャンと回って通過できる，あの金属棒である。

1
 第 2 回 4 月 17 日

1.2 命題

「仮定」や「結論」といったことばから想像されるとおり，帰結関係はふつう命題
(proposition) から構成される。上の記号のうち A1 , . . . , An および B は命題である。命題
とは，わたしたちが正しいとか間違っているとか考えることが意味をなすような事柄であ
り，何らかの言語の文によって表現される。

例 1. 次の文は命題を表現している：

1. わたしは東京に住んでいる。
2. コンピュータは知性をもつことができる。
3. 2 + 3 > 2 × 3.

`な
例 2. 次の文は命題を表現してい ` い：
`

1. わるいけど洗濯しといてくれる？
2. 景気をよくするためにはどのような政策をとるべきでしょうか？
3. こんにちは。

上でもすでに述べているように，命題 (を表現する文) とそうではないものを区別するに

は，次のように考えるとよい。

• それは正しいとか間違っているとか言えるものか？
• それに賛成 (肯定) したり反対 (否定) したりするということが意味をなすか？

たとえば，例 1.3 は明らかに間違っているが，だからこそ命題を表現しているといえる。

それに対して，例 2.1 は依頼 (あるいは命令)。命令は賛成したり反対したりするものでは
なく，従ったり従わなかったりするもの。2.2 は疑問，2.3 は挨拶。

1.3 帰結関係と命題の真偽

ある前提からある結論が帰結するとは，逆に帰結しないとは，どういうことだろうか。
次の 2 つを比べてみよう。

2
 (a) 図形 x は三角形である ⊢ x のすべての辺の長さは等しい
(b) 図形 x は三角形である ⊢ x の内角の和は 180◦ である

同じ前提「図形 x は三角形である」から，(a) の結論は帰結しないが (b) の結論は帰結す

る。そのちがいは次のように説明できる。

(a) 前提「図形 x は三角形である」が正しいのに，結論「図形 x のすべての辺の長さは等

しい」が正しくないケースが考えられる (正三角形でない三角形を考えればよい)。
(b) 前提が正しいときには結論「図形 x の内角の和は 180◦ である」は必ず正しい。言い
換えれば，結論が正しくないようなケースは考えられない。

論理学では，命題が正しいことを「真 (true)」，間違っていることを「偽 (false)」と言う。

真偽ということばを使って上の説明を述べなおそう。

定義 3. ある命題 (前提) からある命題 (結論) が帰結する (帰結関係が成り立つ) とは，

前提が真になる場合には結論もかならず真となる

ということである。言い換えれば，前提が真であるのに結論が偽となるようなケース
が存在するなら，その前提と結論のあいだには帰結関係は成り立たない。

注意. 上のような四角で囲まれているのは「定義」である。今後の講義で使われる用語
(概念) の意味を説明している箇所である。復習するときにはまずそこに注目するとよ
い。とはいえ，定義はふつう抽象的な言葉で述べられるので，それだけでは理解しにく
い場合もある。そのときには，上で挙げられているような例を通じて理解を深めよう。

帰結関係の成否と，個々の命題が現実に真か偽かということは別問題である。
現実には図形 x が正三角形であり，それゆえ x のすべての辺の長さが等しかったとして
も，(a) の帰結関係が成り立たないことには変わりない。前提が真なのに結論が偽である
ようなケースを (現実とは異なるものだとしても) 想定できるからである。
また，現実には x が三角形ではなく四角形であり，それゆえ x の内角の和が 360◦ だと
しても，上の例での (b) の帰結関係それ自体は成り立つ。(現実とは異なり) 前提が真であ
るときには，結論は必ず真になるからである。

3
 第 2 回 4 月 17 日

問題 1. 次の前提と結論のあいだに帰結関係が成り立つかどうか考えてみよう。

1. 大西は未成年である ⊢ 大西はお酒を飲んではいけない
2. a は b の左にある，b は c の左にある ⊢ a は c の左にある
3. 大西はビルの屋上から飛び降りる ⊢ 大西は大怪我をする。

2 結合子
帰結関係の成否は一般に，そこに含まれる命題やことばの意味 (未成年とか左右とか) に
依存する。しかし論理学は，そうした個々の帰結関係にはかかわらず，むしろそれらの組
み合わせ方を問題にする。

2.1 連言

100 円があればコーヒーが買える。200 円あればドーナツが買える。これらはある種の

帰結関係である。ここでは次のようにあらわすことにしよう。

X⊢A = 100 円もっている ⊢ コーヒーが買える

Y⊢B = 200 円もっている ⊢ ドーナツが買える

このとき次のことが言えるはずである。

100 円もっており，さらに 200 円もっているなら，コーヒーとドーナツの両方が

「100 円をもっている」および「200 円をもっている」という
買える。すなわち，
二つの仮定からは，「コーヒーもドーナツも買える」という命題が帰結する。

「コーヒーもドーナツも買える」＝「A と B の両方が成り立つ」ことを，論理学では

A ∧ B (A かつ B, A そして B, etc.)

とあらわす。∧ のような記号を一般に結合子 (connective) といい，そのなかでも ∧ は連

言結合子と呼ばれる。さてこのとき，二つの仮定 X, Y から「コーヒーもドーナツも買え
る」が帰結するということは，連言結合子を用いて次のように書ける。

X, Y ⊢ A ∧ B.

4
 いま見たのは，二つの帰結関係 X ⊢ A と Y ⊢ B から，別の新しい帰結関係 X, Y ⊢ A ∧ B
が導出できる，ということである。このことは次のような図であらわすことができる。

X⊢A Y⊢B
X, Y ⊢ A ∧ B
このことを「定義」としてまとめておこう。

定義 4 (連言). 命題 A, B に対して，その連言 (conjunction) を

A∧B

「A かつ B「A そして B」
と書き， 「A アンド B」などと発音する。また，このときの
A, B を連言肢と呼ぶ。
連言に特徴的な法則は
X⊢A Y⊢B
X, Y ⊢ A ∧ B
である。すなわち，X から A が帰結し，Y から B が帰結するなら，二つの仮定を合
わせた X, Y からは A ∧ B が帰結する。

結合子は，帰結関係のなかのある一部 (上の連言の場合は結論) に注目し，そこを操作し

て別の新しい帰結関係を生み出すという機能をもっている。わたしたちの学ぶ論理学は主
に，こうした結合子の機能にかかわる。

問題 2. 次の 2 つの帰結関係が成り立っているとする。

• 勉強をしない ⊢ 単位がとれない
• 勉強をしない ⊢ アタマが悪くなる

これらから連言を使って新しい帰結関係を導出し，上の買い物の例とどうちがうか考えて
みよう。

2.2 含意

連言を使うと，X, A ⊢ B といった，複数の仮定をもつ帰結関係 (X および A という仮定

から B という結論が帰結する) が導出される。こうした帰結関係のなかには，「階層化さ
れた帰結関係」を見出すことができる。

5
 第 2 回 4 月 17 日

X, A ⊢ B
⇔ X および A という仮定から B という結論が帰結する
⇔ X という仮定が成り立てば，あとは A が成り立てば B が成り立つ
⇔ X という仮定からは「A から B が帰結する」ということが帰結する

最後の行は X ⊢ (A ⊢ B) と表現したくなる。しかし，帰結関係 ⊢ は，複数の命題 (仮定)

とひとつの命題 (結論) のあいだの関係である。複数の命題 (仮定) とひとつの帰結関係の
あいだの関係ではない*2 。そこで，A ⊢ B という階層の帰結関係を，ひとつの命題として
あらわす記号 → を導入する。

定義 5 (含意). 命題 A, B に対して，A から B への含意 (implication)

A→B

はひとつの命題であり「A ならば B」「A は B を含意する」などと発音する。またこ

のとき，A は含意の前件，B は後件 (こうけん) と呼ばれる。
含意に特徴的な法則は，
X, A ⊢ B
X⊢A→B
である。X と A から B が帰結するとき，X という仮定からは「A ならば B」という
含意命題が帰結する。

問題 3. 次の二つは命題のあいだの帰結関係ではないが，それでもある種の帰結関係と見
なすことができる。これらのなかに，含意で表現されるような「階層化された帰結関係」
を見出せるだろうか。

1. 自販機に 100 円と 50 円を入れるとペットボトルが出てくる。

2. 名詞 (たとえば dog) のあとに自動詞 (たとえば run) を付けると，ひとつの文にな
る (人称とか単数・複数は適宜処理するとして)。

*2 こういうのを一般に「タイプがちがう，合っていない」と言ったりする。帰結関係 ⊢ に「入力」できるの
は命題であって，帰結関係自体を入力してはいけない。入力できるものの種類 (タイプ) がちがうのであ
る。このように，タイプが合っているかどうかを考える，という感覚は論理学をやるときに非常に重要。

6
2.3 矛盾と否定

たとえば A =「a は b の左にある」と B =「a は b の右にある」は矛盾している*3 。矛

盾を ⊥ という記号であらわすと，
A, B ⊢ ⊥

となる。つまり，A と B が両方とも成り立つと仮定すると矛盾が帰結する。ここで先ほ
どの含意の法則を用いると，

A⊢B→⊥ および B⊢A→⊥

が導出されるが，これらは何を意味しているだろうか。

• A ⊢ B → ⊥: A という仮定のもとでは，B は矛盾を含意する。それゆえ B が成
り立つことはない。つまり B ではない。a が b の左にあるなら，a が b の右に
あることはない。
• B ⊢ A → ⊥: B という仮定のもとでは，A は矛盾を含意するので A は成り立た
ない。つまり，B という仮定は，A ではないということを帰結する。

二つの命題が矛盾しているとき，その片方が正しいならもう片方は正しくない。つま
り，一方を仮定すれば他方の否定が帰結する。A → ⊥ は A の否定を意味している。

定義 6 (矛盾と否定). 矛盾 (contradiction) を記号 ⊥ であらわし，

「むじゅん」
「ボトム」
などと発音する。
A → ⊥ は A の否定 (negation) をあらわすので，とくに ¬A と書き「ノット A」
「A
ではない」などと発音する。否定に特徴的な法則は，

X, A ⊢ ⊥
X ⊢ ¬A
である。X, A という仮定から矛盾が帰結するなら，X という仮定のもとでは A の否
定が帰結する。

*3 厳密にはここでは「矛盾」というよりは「両立不可能」というほうが正しいが，煩雑になるのでさしあた
りは気にしない。

7
 第 2 回 4 月 17 日

問題 4. 次の二つの行動は (何らかの意味で) 矛盾しているだろうか。上の右／左の例と何

がちがうだろうか。

1. メールを送信して，パソコンの電源を切る
2. パソコンの電源を切って，メールを送信する

2.4 選言

A ⊢ C = バイトにいくとつらい，B ⊢ C = 大学にいくとつらい，とする。この二つか
ら自然といえるのは，バイトにいっても大学にいってもつらい，ということだろう。「…
も…も」という言い方から，連言のようにも見えるがそうではない。「バイトにいっても
大学にいっても」は「どちらでもよいが，少なくともどちらか一方が成り立てば」という
意味である。こうした結合は選言 (disjunction) と言われる。

定義 7 (選言). 命題 A, B に対して，それらからなる選言 (disjunction) を

A∨B

と書き，「A または B」「A あるいは B」などと発音する。

選言に特徴的な法則は，

X, A ⊢ C Y, B ⊢ C
X, Y, A ∨ B ⊢ C
である。(仮定 X のもとで) A から C が帰結し，他方 (仮定 Y のもとで) B からも同じ
C が帰結するとき，(仮定 X, Y のもとで) A または B の少なくとも一方が成り立つな
ら，C も成り立つ。

問題 5. 次の文に現れているのは連言だろうか選言だろうか。

1. 食事のあとにはコーヒーま `た
` は紅茶をご用意しております。
`
` 20 日に行う。詳細は後日知らせる。
2. 試験は 10 日か
` B 党もダメだ。おしまいだ。
3. A 党も `