Appendix

定義

変数

論理式

派生形式

公理型と推論規則

真理値