Comment Comment by mcaruso > Is a gymnasium a school in Europe? It's an exercise facility in the USA.https://en.wikipedia.org/wiki/Gymnasium_(school)> I've gone through high school and taken CS (and a bit of discrete math and logic) in college, and never seen the ⊢ symbol before.Interesting. I was taught ⊢ first semester in CS in Logic class. Along with most other common logic notation. parent mcaruso 6 years ago
https://en.wikipedia.org/wiki/Gymnasium_(school)
> I've gone through high school and taken CS (and a bit of discrete math and logic) in college, and never seen the ⊢ symbol before.
Interesting. I was taught ⊢ first semester in CS in Logic class. Along with most other common logic notation.