Up 6.5.0　イントロ  

　この節では，述語論理に関係/関数記号を付加して拡張する方法を示す。