2012-01-13から1日間の記事一覧
付録A続きます。 A.1.2 関係計算・述語論理式 単射的 (r.~r in iden) は以下の述語論理式で表現できる all x, y: univ | no z: univ | x -> y in r and x != z and z -> y in r 全域 (univ in r.univ) は以下の述語論理式で表現できる all x: univ | some y:…
付録A続きます。 A.1.2 関係計算・述語論理式 単射的 (r.~r in iden) は以下の述語論理式で表現できる all x, y: univ | no z: univ | x -> y in r and x != z and z -> y in r 全域 (univ in r.univ) は以下の述語論理式で表現できる all x: univ | some y:…