✨ ベストアンサー ✨
この変形の場合は、上から下へは大丈夫ですが、下から上に戻れなくなります。下から上に戻るためには、下の式にk≧xと追加しなければいけません。
なぜ下から上の式に戻れる必要があるのかという話ですが、同値性が失われるからです。同値性が失われている状態でこのまま進めて得られたナニかは、問いに対しての必要性しか満たせなくなります。つまり、あとからわざわざ十分性を確認する手間が出てきますね。
回答
回答
疑問は解決しましたか？
この質問を見ている人は
こちらの質問も見ています😉
