sassa_nf ([personal profile] sassa_nf) wrote in [personal profile] juan_gandhi 2020-06-30 05:33 pm (UTC)

Hmmm.... I thought Ω was an object with just two points.

But then if Ω can have more than two points in some logic, then the definition of ∧ does not seem complete, because it doesn't explain how to choose mappings other than (true,true)→true.

If it's only two points in Ω, there is no choice; but if it's more points, then the specified definition doesn't seem to make ∧ a unique arrow.

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting