2021-03-13から1日間の記事一覧
【課題】 ・定義7.2の公理(S)(K)は、これまで考えてきたような意味論上でも恒真式であることを確認してください。また、直感的に「当然成り立つ」と思えるような説明を考えてください。定義7.11の各定理についても、同様のことを試みてください。・ヒルベル…
【課題】 ・定義7.2の公理(S)(K)は、これまで考えてきたような意味論上でも恒真式であることを確認してください。また、直感的に「当然成り立つ」と思えるような説明を考えてください。定義7.11の各定理についても、同様のことを試みてください。・ヒルベル…