1.Previous
3.Next

that

This element is the relative pseudo-complement of a with respect to b, and is denoted a->b. We write 1 and 0 for the largest and the smallest element of H, respectively.

In any Heyting algebra, one defines the pseudo-complement ¬a of any element a by setting ¬a = (a->0). By definition, , and ¬a is the largest element having this property. However, it is not in general true that , thus ¬ is only a pseudo-complement, not a true complement,

1.Previous
3.Next