順行、逆行リーズニング

命題が出現する文脈として、定理、予想、問題などがあるがハッキリと区別するために：

• assertion ： 「正しい」という判断を伴った主張。
• judgement ： assertion と同じ。
• demand ： 「正しい」ことが不明なので、証明の要求。
• enquiry ： demandと同じ。問いかけ。綴りは enquery じゃない。
• requirement ： ステートメントを伴った demand 。証明要求仕様。

主にアサーション〈主張〉とデマンド〈要求〉を使う。

1. アサーションに対して、順行リーズニングを適用してよい。
2. デマンドに対して、逆行リーズニングを適用してよい。
3. アサーションに対して、不可逆逆行リーズニングは適用できない。
4. デマンドに対して、不可逆順行リーズニングは適用できない。