数理論理学

まず、通常の文章を述語論理で表してみようというもの。例えば、「Ｘは数学が好きだが、彼の友達はみんな数学が嫌いだ」という文章について、M(x)はxが数学が好きなこと、F(x,y)はxはyの友達であるということを示した場合に、どのように表せるだろうか？
次に、記号について。定数と関数記号、述語記号についての定義があり、さらにそれらをつかった概念である、項と論理式についての説明。
最後に量化記号と変数の関係として、束縛変数と自由変数の説明があった。