【MoL】2 TRUTH FUNCTIONS

• この段階で真理値が出てくることからも、入り方は、形式的な本ではない。自然言語から抽出してく過程にて説明する本。
  
• truth-functionというのを天下りに与えるのではなく、truth-functionalなものだけをlogicでは扱う理由を丁寧に説明。truth-functionalでないものは、まずそのtruth-valueを合意形成できないことが現実的に多いということ。
  

こつこつ。