Hilbert algebra の性質の証明
ちょっと気になってやってみたのをどこかにメモしたくなったので書いた。関数解析じゃなくて論理の方の Hilbert algebra です。
Hilbert algebra の公理
が Hilbert algebra とは
- if then
性質
- で順序が入り,1 が最大元
などが成り立つ。証明は下に書くけど自分で考えると楽しいかも。
ちょっと気になってやってみたのをどこかにメモしたくなったので書いた。関数解析じゃなくて論理の方の Hilbert algebra です。
が Hilbert algebra とは
などが成り立つ。証明は下に書くけど自分で考えると楽しいかも。