2012-01-06から1日間の記事一覧
P50に |- E \/ ^Eを示せ、という演習問題がある。公理系は以下の通り。 [公理1] A => (B => A) [公理2] (A => B) => ((A => (B => C)) => (A => C)) [公理3] A => ((A => B) => B) [公理4] A => (B => (A /\ B)) [公理5] (A /\ B) => A [公理6] (A /\ B) => …
P50に |- E \/ ^Eを示せ、という演習問題がある。公理系は以下の通り。 [公理1] A => (B => A) [公理2] (A => B) => ((A => (B => C)) => (A => C)) [公理3] A => ((A => B) => B) [公理4] A => (B => (A /\ B)) [公理5] (A /\ B) => A [公理6] (A /\ B) => …