:
命題論理の公理系
:
記号/命題/述語論理
:
よく用いられる真理関数
命題論理の公理系
命題論理の公理系
公理系
推論規則と証明
演繹定理
無矛盾性
命題計算の完全性定理
Yasunari SHIDAMA