2019-06-22から1日間の記事一覧
gihyo.jp まとめ 述語論理とリレーショナルモデル 命題 命題論理 トートロジーと定理 同一律 P⊃P 排中律 P∨¬P 二重否定律 ¬¬P≡P 矛盾律 ¬(P∧¬P) Principle of explosion (P∧¬P)⊃Q 対偶律 (P⊃Q)⊃(¬Q⊃¬P) 推移律 ((P⊃Q)∧(Q⊃R))⊃(P⊃R) 分配律1 P∧(Q∨R) ≡ (P∧Q)∨…
gihyo.jp まとめ 述語論理とリレーショナルモデル 命題 命題論理 トートロジーと定理 同一律 P⊃P 排中律 P∨¬P 二重否定律 ¬¬P≡P 矛盾律 ¬(P∧¬P) Principle of explosion (P∧¬P)⊃Q 対偶律 (P⊃Q)⊃(¬Q⊃¬P) 推移律 ((P⊃Q)∧(Q⊃R))⊃(P⊃R) 分配律1 P∧(Q∨R) ≡ (P∧Q)∨…