2015/10/08 理論から学ぶデータベース実践入門Night のLT登壇資料です。論理包含について少し語らせて頂きました。前回登壇予定だったものを少し修正してます。

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

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

3. いわゆるハウツー本じゃなく
What本?
リレーショナルデータベースの原理原則に踏み込む
理論から学ぶデータベース実践入門は難しい？

4. • RDBMSの基礎となるリレーショナル理論
• リレーショナル理論の基となる集合論
• および述語論理という数学理論に踏み込む
理論から学ぶデータベース実践入門は難しい？

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
おやじぎゃぐとゆる～いパンダのイラストが売りｗ