今回は Boole 代数に関する大事な性質について見ていきます. Boole 代数は Heyting 代数である 補題 (証明) 定理 Boole 代数は Heyting 代数である.(証明) と補題により Boole 代数ではない Heyting 代数が存在する 補題 を Heyting 代数とする. もし に対し…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。