09/10 に開催予定の 「理論から学ぶデータベース実践入門Night 」 に用意したLT資料です。栃木を襲った大雨のため中止になりましたので、こちらで公開いたします。論理包含について、少し踏み込んで考えてみました。

1. な ら ば
ひらぽん (平本 智明)
Microsoft MVP .NET (2010～）
Twitter @hilapon

2. 巷でよく聞く意見・・・・
「理論から学ぶデータベース実践入門は難しい」
では、なにが難しいのか？？
理論から学ぶデータベース実践入門は難しい？

3. リレーショナルデータベース
リレーショナルモデルに基づくデータベースシステム
理論から学ぶデータベース実践入門は難しい？

4. リレーショナルモデル
テーブル同士の関連やER図
集合論と 述語論理 に基づくデータモデル
理論から学ぶデータベース実践入門は難しい？

5. 述語論理
命題論理の拡張バージョン。量化された命題を扱う
理論から学ぶデータベース実践入門は難しい？
人によっては、第二章で
いきなりラスボス！

6. 命題論理
命題を記号化し、複雑な命題の真偽を判定しやすく
したもの
理論から学ぶデータベース実践入門は難しい？

7. 結合子
ひとつまたは複数の命題から真偽値を導く記号
理論から学ぶデータベース実践入門は難しい？

8. 代表的な結合子の種類
記号１ 意味 日本語での表現
￢ 否定・NOT でない
∧ 論理積・連言・AND かつ
∨ 論理和・選言・OR あるいは
≣ 同値・EQ 等しい
⊃ 包含・IMP ならば
理論から学ぶデータベース実践入門は難しい？

9. NOT・AND・OR・EQ は判るが・・・
理論から学ぶデータベース実践入門は難しい？
包含(ならば) ってなに??

10. 包含（ならば）
P Q P ⊃ Q
真 真 真
真 偽 偽
偽 真 真
偽 偽 真
理論から学ぶデータベース実践入門は難しい？

11. 包含（ならば）
Pが真の場合のみ、Qの真偽を論じる
Pが偽の場合、Qの真偽はスルー
理論から学ぶデータベース実践入門は難しい？

12. 式で表現すると
if P then Q else true;
理論から学ぶデータベース実践入門は難しい？

13. 故障系で考えてみる・・・
故障（P） 修理（Q） 故障 (P) ⊃ 修理 (Q)
した する 動作する
した しない 動作しない
してない する 動作する
してない しない 動作する
理論から学ぶデータベース実践入門は難しい？
故障した場合以外、考慮しない！

14. 契約（P） 魔法少女（Q） 契約 (P) ⊃ 魔法少女 (Q)
した なる 願い叶う
した ならない 願い叶わない
しない なる 願い叶う
しない ならない 願い叶う
魔法少女系で考えてみる・・・
理論から学ぶデータベース実践入門は難しい？
契約した場合以外、考慮しない！
・・・・・あれ？

15. 包含（ならば）
• 論理学を知らない人にはなじみが薄い
• 包含の記号 「⊃」 が集合の記号に似て紛らわしい
• 日常会話の 「ならば」 と似て非なる性質を持つ
• 考えすぎると嵌るｗ
理論から学ぶデータベース実践入門は難しい？

16. 包含（ならば）
第二章では包含を使う式が頻出するが、特性を考慮して読み進め
れば、さほど混乱なく読み進められるのではないでしょうか
包含も論理学では必要不可欠な道具。慣れればどうってことない筈
（たぶん・・・）
理論から学ぶデータベース実践入門は難しい？

17. 本書では論理学の概要にしか触れられてないため、
論理学をしっかり学んでみたい人に、この本がお勧め
理論から学ぶデータベース実践入門は難しい？
ろんりと集合 中内 伸光 著
ISBN-13: 978-4535786417
おやじぎゃぐとゆる～いパンダのイラストが売りｗ