2 ms·
It would help comprehension if the ∏ and ∐ operators had been explained.
by tempodox 8y ago
It would help comprehension if the ∏ and ∐ operators had been explained.
- JadeNB 8y agoThey seem to be universal and existential quantifiers, which is consonant with the usual notation in mathematical logic and (I believe) in dependent type theory.
- KC8ZKF 8y agohttps://en.m.wikipedia.org/wiki/Quantifier_(logic) https://en.m.wikipedia.org/wiki/Quantifier_(logic)
- link_108 8y agoFrom what I can tell, they are NOT universal or existential quantifiers, as those symbols are also used in the post. I think they are https://en.wikipedia.org/wiki/Coproduct https://en.wikipedia.org/wiki/Coproduct https://en.wikipedia.org/wiki/Product_(mathematics) https://en.wikipedia.org/wiki/Product_(mathematics)
- feanaro 8y agoThis is correct. The idea is that you can conjunctively (using the product) or disjunctively (using the coproduct) quantify the variables over the formulas that use them, essentially getting a conjunction/disjuction of the formula, instantiated with each of the concrete values of the variable quantified over.