Universal quantification: Revision history

18 February 2025

• curprev 09:4409:44, 18 February 2025 D.Lazard talk contribs 15,590 bytes −3 tweaks undo
• curprev 08:5508:55, 18 February 2025 Brittletheories talk contribs 15,593 bytes +66 No edit summary undo

10 December 2024

• curprev 21:3921:39, 10 December 2024 Jochen Burghardt talk contribs 15,527 bytes −444 →Basics: the "etc" requires the reader to guess which sequence the author had in mind, and therefore is not formalizable; any possible formalization requires a language element similar to a univarsal quantifier undo
• curprev 16:5116:51, 10 December 2024 195.134.180.18 talk 15,971 bytes +496 →Basics undo Tag: Visual edit: Switched

24 November 2024

• curprev 17:4017:40, 24 November 2024 Jochen Burghardt talk contribs 15,475 bytes −72 Restored revision 1237769273 by Jochen Burghardt (talk): Complete reversion of subsequent test edits undo Tags: Twinkle Undo

23 November 2024

• curprev 22:2622:26, 23 November 2024 173.94.42.96 talk 15,547 bytes −198 Reverted nonsense edits undo Tag: Reverted

18 November 2024

• curprev 17:1517:15, 18 November 2024 ShoulderCramp talk contribs m 15,745 bytes −418 reverted edit undo Tag: Reverted
• curprev 16:5716:57, 18 November 2024 178.168.35.252 talk 16,163 bytes +493 No edit summary undo Tags: Reverted Visual edit
• curprev 16:1516:15, 18 November 2024 178.168.35.252 talk 15,670 bytes +48 No edit summary undo Tags: Reverted Visual edit
• curprev 16:1116:11, 18 November 2024 178.168.35.252 talk 15,622 bytes +147 No edit summary undo Tags: Reverted Visual edit

31 July 2024

• curprev 11:2511:25, 31 July 2024 Jochen Burghardt talk contribs 15,475 bytes +129 →Other connectives: footnote to clarify "affected" undo

30 July 2024

• curprev 22:2322:23, 30 July 2024 Beland talk contribs 15,346 bytes +51 {{for|"for every" in computer logic|Foreach loop}} undo

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