Universal quantification: Revision history

21 March 2023

• curprev 17:0617:06, 21 March 2023‎ Fgnievinski talk contribs‎ 15,295 bytes +30‎ No edit summary undo Tag: 2017 wikitext editor

25 February 2023

• curprev 08:3608:36, 25 February 2023‎ D.Lazard talk contribs‎ 15,265 bytes −12‎ Changing short description from "Use of "for all" in logic and mathematics" to "Mathematical use of "for all"" undo Tag: Shortdesc helper

24 February 2023

• curprev 22:3022:30, 24 February 2023‎ D.Lazard talk contribs‎ 15,277 bytes +11‎ Changing short description from "Concept in logic (mathematics)" to "Use of "for all" in logic and mathematics" undo Tag: Shortdesc helper
• curprev 19:2519:25, 24 February 2023‎ Donko XI talk contribs‎ 15,266 bytes −39‎ →‎top: Adjusted short description as per WP:SHORTDESC. The purpose of the short description is not to define the subject or summarize the lead WP:SDNOTDEF, but to briefly indicate the field and disambiguate search results. undo Tags: Mobile edit Mobile app edit Android app edit

20 June 2022

• curprev 16:2516:25, 20 June 2022‎ SamanthaNguyen talk contribs‎ 15,305 bytes +314‎ + Template:Infobox mathematical statement undo Tag: 2017 wikitext editor

8 February 2022

• curprev 09:3709:37, 8 February 2022‎ Felix QW talk contribs‎ 14,991 bytes −6‎ removed Category:Quantification (science); added Category:Quantifier (logic) using HotCat undo

29 December 2021

• curprev 21:3721:37, 29 December 2021‎ Mgkrupa talk contribs‎ m 14,997 bytes +23‎ Added {{Mathematical logic}} undo

22 November 2021

• curprev 01:3801:38, 22 November 2021‎ 112.201.109.119 talk‎ 14,974 bytes 0‎ No edit summary undo

25 June 2021

• curprev 14:4714:47, 25 June 2021‎ D.Lazard talk contribs‎ 14,974 bytes 0‎ →‎Negation: + paragraph change undo
• curprev 12:3312:33, 25 June 2021‎ Jochen Burghardt talk contribs‎ 14,974 bytes −497‎ →‎Negation: a quantified propositional function may still have free variables left; notational variants of negation needn't be discussed here; existence of unmarried people can't be mathematically proved, and might even be wrong near the end of humanity; don't confuse 'statement' and 'prop. fct.'; De-Morgan law holds also for empty X; rm repetition undo
• curprev 11:1111:11, 25 June 2021‎ D.Lazard talk contribs‎ 15,471 bytes +181‎ →‎Negation: MOS:NOTE, rm pedantry (use of "universe of discourse"), fixing latex syntax, stating at the beginning the property that is detailed in the section undo
• curprev 10:3310:33, 25 June 2021‎ D.Lazard talk contribs‎ m 15,290 bytes +4‎ Reverted 1 edit by 113.199.137.79 (talk) to last revision by Jochen Burghardt undo Tags: Twinkle Undo
• curprev 10:1710:17, 25 June 2021‎ 113.199.137.79 talk‎ 15,286 bytes −4‎ →‎Properties undo Tags: Reverted wikilinks removed Visual edit

15 April 2021

• curprev 09:2409:24, 15 April 2021‎ Jochen Burghardt talk contribs‎ 15,290 bytes −35‎ Undid revision 1017900671 by 2A00:23C5:C391:DD01:2875:FB1F:8D8C:CD4A: contradicting the given citation; feel free to redo the edit with an appropriate citation about Peirce undo Tag: Undo
• curprev 06:3906:39, 15 April 2021‎ 2a00:23c5:c391:dd01:2875:fb1f:8d8c:cd4a talk‎ 15,325 bytes +35‎ →‎Notation undo Tag: Reverted

3 March 2021

• curprev 17:1017:10, 3 March 2021‎ D.Lazard talk contribs‎ 15,290 bytes +15‎ Reverted 1 edit by 2600:6C44:97F:EAD8:FC82:65CE:5D8:914A (talk): This is a convention that results ffom the definition of the material implication, which is itself a convention like every definition undo Tags: Twinkle Undo
• curprev 16:5816:58, 3 March 2021‎ 2600:6c44:97f:ead8:fc82:65ce:5d8:914a talk‎ 15,275 bytes −15‎ →‎The empty set: The words “by convention” were removed at the start of the first sentence. The only way this is “by convention” is the way the rest of the article is by convention. Once “for all” is defined as in the “definition” section, no additional convention must be chose for this to be true. undo Tags: Reverted Mobile edit Mobile web edit

11 February 2021

• curprev 17:2117:21, 11 February 2021‎ Hellacioussatyr talk contribs‎ 15,290 bytes 0‎ →‎As adjoint undo Tags: Mobile edit Mobile web edit Advanced mobile edit
• curprev 17:1617:16, 11 February 2021‎ Hellacioussatyr talk contribs‎ 15,290 bytes −1‎ No edit summary undo Tags: Mobile edit Mobile web edit Advanced mobile edit
• curprev 17:1417:14, 11 February 2021‎ Hellacioussatyr talk contribs‎ 15,291 bytes +11‎ →‎Notation undo Tags: Mobile edit Mobile web edit Advanced mobile edit
• curprev 17:1217:12, 11 February 2021‎ Hellacioussatyr talk contribs‎ 15,280 bytes +13‎ →‎Basics undo Tags: Mobile edit Mobile web edit Advanced mobile edit

7 February 2021

• curprev 17:5117:51, 7 February 2021‎ Hellacioussatyr talk contribs‎ m 15,267 bytes +3‎ Inline formatting simplification undo Tag: 2017 wikitext editor

6 January 2021

• curprev 03:0503:05, 6 January 2021‎ Francois-Pier talk contribs‎ 15,264 bytes +28‎ +template undo

4 January 2021

• curprev 09:0909:09, 4 January 2021‎ Jochen Burghardt talk contribs‎ 15,236 bytes −186‎ →‎Notation: no reason to mention just this notation here; the link to Quantifier (logic)#Notation (redirect shortcut) covers it, too undo

3 January 2021

• curprev 17:5617:56, 3 January 2021‎ D.Lazard talk contribs‎ 15,422 bytes +3‎ Reverted 1 edit by Jochen Burghardt (talk): The aimed audience of the article includes mathematicians without knowledge of predicate logic. So a more general categorization is needed. Moreover, quantifiers must be known by everybody studying math. logic, even if they study specific logics without quantifiers undo Tags: Twinkle Undo
• curprev 17:0617:06, 3 January 2021‎ Jochen Burghardt talk contribs‎ 15,419 bytes −3‎ →‎top: undid D.Lazard's change 'pred. logic' --> 'math. logic': e.g. propositional logic doesn't admit quantifiers; but all logics allowing predicate symbols (and variables) need to admit quantifiers, in order to obtain closed formulas, hence 'pred. logic' is perfectly adequate, imo undo Tag: Reverted
• curprev 13:2313:23, 3 January 2021‎ D.Lazard talk contribs‎ 15,422 bytes +79‎ →‎top: some fixes undo
• curprev 13:0113:01, 3 January 2021‎ D.Lazard talk contribs‎ 15,343 bytes +3‎ →‎top: too restricted introduction undo
• curprev 11:5811:58, 3 January 2021‎ AnomieBOT talk contribs‎ m 15,340 bytes +18‎ Dating maintenance tags: {{Cn}} undo
• curprev 11:3811:38, 3 January 2021‎ D.Lazard talk contribs‎ 15,322 bytes −17‎ →‎Notation: A rare notation must not be presented as common undo
• curprev 11:3311:33, 3 January 2021‎ D.Lazard talk contribs‎ 15,339 bytes −338‎ →‎Notation: <blocjquote> provides too large vertical spaces. Also rm a wrong assertion (–6 is composite and is not a natural number) undo
• curprev 11:2311:23, 3 January 2021‎ D.Lazard talk contribs‎ 15,677 bytes +2‎ MOS:WE undo
• curprev 10:5610:56, 3 January 2021‎ Sam nead talk contribs‎ 15,675 bytes +40‎ →‎Basics: separate maths by English. undo
• curprev 10:5110:51, 3 January 2021‎ Sam nead talk contribs‎ m 15,635 bytes +8‎ →‎Basics: separate maths by English. undo

1 January 2021

• curprev 07:4507:45, 1 January 2021‎ Jochen Burghardt talk contribs‎ 15,627 bytes −307‎ Undid revision 997558461 by PenYesBojNo2007 (talk) undo Tag: Undo
• curprev 03:2203:22, 1 January 2021‎ PenYesBojNo2007 talk contribs‎ 15,934 bytes +307‎ No edit summary undo Tags: Reverted Visual edit

15 November 2020

• curprev 18:4918:49, 15 November 2020‎ D.Lazard talk contribs‎ 15,627 bytes −42‎ →‎top: no more a redirect from ∀ undo

12 November 2020

• curprev 08:0908:09, 12 November 2020‎ Cedar101 talk contribs‎ m 15,669 bytes +25‎ →‎top: {{math}} undo
• curprev 05:3805:38, 12 November 2020‎ Cedar101 talk contribs‎ m 15,644 bytes +1‎ →‎Other connectives: : undo
• curprev 05:3705:37, 12 November 2020‎ Cedar101 talk contribs‎ m 15,643 bytes 0‎ →‎Other connectives: \text undo

21 September 2020

• curprev 15:3815:38, 21 September 2020‎ JayBeeEll talk contribs‎ 15,643 bytes −718‎ Undid revision 976736331 by Miaumee (talk) Per User talk:Miaumee, this is apparently the preferred response to poor editing undo Tag: Undo

4 September 2020

• curprev 17:5317:53, 4 September 2020‎ Miaumee talk contribs‎ 16,361 bytes +718‎ General revision throughout the page. Improved inline citations. Reformatted wikilink anchor text to replace "in the x article". Rephrased sentences to prevent flow disruption. Minor punctuation fixes. Broken down lengthy sentences. Added "uniqueness quantification" to See Also. undo Tags: Reverted Visual edit

26 June 2020

• curprev 10:4710:47, 26 June 2020‎ JJMC89 bot III talk contribs‎ m 15,643 bytes +10‎ Moving Category:Quantification to Category:Quantification (science) per Wikipedia:Categories for discussion/Speedy undo

25 May 2020

• curprev 07:4907:49, 25 May 2020‎ Jochen Burghardt talk contribs‎ 15,633 bytes 0‎ →‎Notation: suggest to unify "upside-down", "back-to-front", "inverted" to "turned", which comes closest to its origin in hot metal typesetting; suggest to show the ex. quantifier symbol undo

24 May 2020

• curprev 21:2221:22, 24 May 2020‎ 192.76.28.91 talk‎ 15,633 bytes +2‎ →‎Notation: An upside down E is just an E, should say "back-to-front" instead undo

23 December 2019

• curprev 19:5519:55, 23 December 2019‎ David Eppstein talk contribs‎ 15,631 bytes −16‎ →‎Notation: Replace off-topic footnote about another unimportant but similar-looking notation; add history undo

11 September 2019

• curprev 17:5417:54, 11 September 2019‎ UnitedStatesian talk contribs‎ 15,647 bytes +92‎ Importing Wikidata short description: "Logical quantification stating that a statement holds for all objects" (Shortdesc helper) undo

18 June 2019

• curprev 22:2222:22, 18 June 2019‎ Texvc2LaTeXBot talk contribs‎ m 15,555 bytes +1‎ Replacing deprecated latex syntax mw:Extension:Math/Roadmap undo

5 June 2019

• curprev 15:0115:01, 5 June 2019‎ Jarble talk contribs‎ m 15,554 bytes −21‎ editing a link undo

13 November 2018

• curprev 00:4500:45, 13 November 2018‎ 45.248.51.132 talk‎ 15,575 bytes −74‎ →‎Other connectives undo