原创力文档- 17
- 0
- 约1.93万字
- 约 9页
- 2022-06-08 发布于北京
- 举报
（ⅲ）L 的公理集包含以下三种形式的公式：
（L1） → （ → ）；
A B A
（L2）（ （ ）） （（ ） （ ））
A → B →C → A → B → A →C
（L3）（ ） （ → ）
A → B
文档评论（0）