Last Updated：2025/11/28
In a Heyting algebra, the relative pseudo-complement of a with respect to b is the largest element z such that z ∧ a ≤ b.
See correct answer
In a Heyting algebra, the relative pseudo-complement of a with respect to b is the largest element z such that z ∧ a ≤ b.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories（0）
