3 述語

この節はさまざまな事実が真か偽かをテストするための関数を記述する。