13/08/19 NY:AN:NY.AN
(4')→(4)なので(1),(2),(3),(4')をみたすΓは(4)も満たします。
(4'')についてはBasicの公理である9個の式のそれぞれが
そもそも恒真であるかどうか考えてみると良いでしょう。
(4''')については排中律がヒントになります。
いずれにせよ、Basic以外のΓを考える必要は出て来ない問題です。
13/08/19 NY:AN:NY.AN
(4')→(4)なので(1),(2),(3),(4')をみたすΓは(4)も満たします。
(4'')についてはBasicの公理である9個の式のそれぞれが
そもそも恒真であるかどうか考えてみると良いでしょう。
(4''')については排中律がヒントになります。
いずれにせよ、Basic以外のΓを考える必要は出て来ない問題です。