怒涛のように論理学関連からの例が出てくるが、6.4の随意(entailments) について一言. これはモデル理論の概念で『ある解釈Mがpを真にするならば、qも真にする』という意味である. はどんな解釈でも真にならない命題、はどんな解釈でも真になる命題の意味で…