最終更新日：2025/11/28
In any Heyting algebra, the pseudo-complement of an element with respect to the least element (the algebra's zero) is the greatest element whose meet with that element equals the least element.
正解を見る
In any Heyting algebra, the pseudo-complement of an element with respect to the least element (the algebra's zero) is the greatest element whose meet with that element equals the least element.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
