「論理的帰結」の版間の差分

これまで述べた記述は全て[[単調関数|単調な]]帰結関係を前提とする。すなわち、''A'' が Γ の帰結であるとき、''A'' は Γ の任意の上位集合の帰結である。非単調な帰結関係がどのようなものかを示す。「<u>トゥイーティ⁽</u>{{疑問点|date=2021年4月}}<!-- これは何ですかu>^{？ --)}</u>は飛べる」は、以下の前提の論理的帰結である。