The abstraction you mentioned isn't really similar to what I mentioned in parent...

harekaze on June 14, 2019 | parent | context | favorite | on: Many-valued logic

The abstraction you mentioned isn't really similar to what I mentioned in parent. INVALID would be like X, I guess, but there is no counterpart of Z in the logic I used daily. Nonetheless it's interesting to learn about the abstraction :)