【MoL】1 NEGATION, CONJUNCTION AND ALTERNATION

• negation, conjunction と alternationを導入。
  
• とても丁寧な導入。
  
• alternationはdisjunctionのこと。disjunctionと言い出したのはWhitehead&Russellらしい。
  
• 排他的orと非排他的orと、英文のorについての説明がわかりやすい。
  
• 記法が現代とは違う。ペアノの記法とパースの記法の流れをくんでいるらしい。
  negation:- または文字の上にバー
  conjunction: pq
  alternation: pVq
  

こつこつ。