At least as far as first-order theories go, one could construe the (downward) Löwenheim–Skolem theorem as an incentive to invest more in discrete models rather than in continuous ones. This would ...
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 ...
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" ...