Timeline for Is there formal definition of universal quantification?
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 22, 2010 at 23:58 | vote | accept | kakaz | ||
| Feb 22, 2010 at 23:00 | comment | added | Harry Gindi | Yes, this is what was meant by "taken as primitive". | |
| Feb 22, 2010 at 22:55 | comment | added | kakaz | I am not interested in relations between both quantifiers, I know that only one is enough to define another. But is it interesting, that every time You state that Your theory has universal quantifier, then implicit You also state that You may say something about all elements od Domain of Discourse at once. So it is not very strictly way. It is additional axiom though;-) Thanks! | |
| Feb 22, 2010 at 22:45 | history | answered | Harry Gindi | CC BY-SA 2.5 |