1
vote
3answers
332 views

How do quantifiers limit scope?

I'm teaching a discrete math class at the high school level and realize that I'm fuzzier on a topic than I should be. In their last problem set, I asked my students to translate "There is a triangle ...
0
votes
2answers
434 views

A non-associative three-valued logic

There are three elements: x, y, z and a relation C: x C y, y C z, z C x, x C x, y C y, z C z. Let us introduce two binary operations with respect to the C: "the leftmost" (L) and "the rightmost" ...