HHeLiBeXの日記 正道編

日々の記憶の記録とメモ‥

2010-04-30から1日間の記事一覧

全称(普遍)量化子と存在量化子

SQL

SQLに関する記事を読み漁っていて、全称(普遍)量化子と存在量化子の話: SQLの中の述語論理 を読んでいたときに、片方が定義されていればもう片方は論理的に導出できるというのを見て、導出しようとしたら一瞬考え込んでしまったので、ちゃんと裏を取ってみ…