最小命題論理
命題論理
の
最小論理
.