【LPL】9章 限量入門 (3)

FOLの勉強を再開できるぐらいに復活してきた。あせらず刻んでいこう。

• 9.5　4つのアリストテレス文型
  
  
  
  • 4つのアリストテレス文型はFOLで表現できる。
    
    
    
    • All P's are Q's.
      ∀x(P(x) → Q(x))
      
    • Some P's are Q's.
      ∃x(P(x) ∧ Q(x))
      
    • No P's are Q's.
      ∀x(P(x) → ¬Q(x))
      
    • Some P's are not Q's.
      ∃x(P(x) ∧ ¬Q(x))
      
    
    
  
  

10月体調を崩したのは、どうも夏場に論理に根を詰めすぎたのも原因な気がする。で、一カ月休んだのですが、一カ月休むと、論理について以前にやったものをほとんど忘れている自分がいたり。論理の勉強は、他の勉強とくらべて特にむずかしい気がする。。。

ちょっとスタンスを変えて、まずは「ことば」としてのFOLを使いこなすことに重点を置いてみることにする。「言語」としてのFOLの詳細を理解する、というのは、根を詰めないとできないし、根を詰めてやってもすぐに忘れる。。。「ことば」としての使いこなしの方が忘れにくい気がするし、それがあれば言語としての詳細の探求のスタートポイントをいつも持っていることになる気がする。気がするだけかも。

こつこつ。