Existential quantification: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 08:2608:26, 6 August 2024‎ Newone talk contribs‎ 10,739 bytes +20‎ No edit summary undo

curprev 06:0906:09, 7 April 2024‎ 143.44.165.184 talk‎ 10,719 bytes −18,553‎ Undid revision 1217674925 by 143.44.165.184 (talk) test undo Tag: Undo
curprev 06:0706:07, 7 April 2024‎ 143.44.165.184 talk‎ 29,272 bytes +18,553‎ substitute templates undo Tag: Reverted

curprev 01:3501:35, 27 March 2024‎ David Eppstein talk contribs‎ 10,719 bytes −22‎ supply requested page numbers undo

curprev 21:5221:52, 22 March 2024‎ AnomieBOT talk contribs‎ m 10,741 bytes +16‎ Dating maintenance tags: {{Page number needed}} undo
curprev 21:3121:31, 22 March 2024‎ Quuxplusone talk contribs‎ 10,725 bytes −849‎ greatly tighten the wording of "Basics", and move discussion of notation/etymology to top, to match Universal quantification article's style undo

curprev 07:1907:19, 6 March 2024‎ Jlwoodwa talk contribs‎ m 11,574 bytes +24‎ →‎References: {{refbegin}} undo

curprev 21:0621:06, 28 November 2023‎ Taxurfer talk contribs‎ m 11,550 bytes +4‎ Made Bertrand Russell a hyperlink :p undo Tags: Mobile edit Mobile app edit iOS app edit

curprev 20:3420:34, 12 October 2023‎ Jochen Burghardt talk contribs‎ 11,546 bytes 0‎ Undid revision 1179797022 by Webclouddat (talk); X is introduced to denote the nat. numbers here, so better use it (this way, the example generalizes more obviously to other situations where no pre-defined name for the domain of discourse is available) undo Tag: Undo
curprev 14:0814:08, 12 October 2023‎ Webclouddat talk contribs‎ m 11,546 bytes 0‎ changed symbol in Properties > Negation from \mathbf{X} to \mathbb{N} for ones talking about natural numbers undo Tag: Reverted

curprev 18:5618:56, 4 June 2023‎ ChrisWx talk contribs‎ m 11,546 bytes +9,501‎ Reverted edits by 2601:40A:4200:2D2:AD49:C603:378D:43B6 (talk) (AV) undo Tags: AntiVandal Rollback
curprev 18:5618:56, 4 June 2023‎ 2601:40a:4200:2d2:ad49:c603:378d:43b6 talk‎ 2,045 bytes −9,501‎ debating undo Tags: Reverted blanking

curprev 14:4414:44, 28 March 2023‎ Erisagal talk contribs‎ 11,546 bytes +675‎ No edit summary undo Tag: Visual edit

curprev 08:3808:38, 25 February 2023‎ D.Lazard talk contribs‎ 10,871 bytes −12‎ Changing short description from "Use of "there exists" in logic and mathematics" to "Mathematical use of "there exists"" undo Tag: Shortdesc helper

curprev 22:3822:38, 24 February 2023‎ D.Lazard talk contribs‎ 10,883 bytes +16‎ Changing short description from "Concept in logic (mathematics)" to "Use of "there exists" in logic and mathematics" undo Tag: Shortdesc helper
curprev 19:2619:26, 24 February 2023‎ Donko XI talk contribs‎ 10,867 bytes −47‎ →‎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

curprev 20:2520:25, 6 January 2023‎ Smjg talk contribs‎ m 10,914 bytes 0‎ →‎Rules of Inference: caP undo

curprev 22:5122:51, 27 November 2022‎ MrOllie talk contribs‎ 10,914 bytes −117‎ Undid revision 1124213043 by 199.119.233.221 (talk) redundant undo Tag: Undo
curprev 21:5921:59, 27 November 2022‎ 199.119.233.221 talk‎ 11,031 bytes +171‎ Included possible notation for writing an existential quantifier with source. undo Tags: Mobile edit Mobile app edit iOS app edit
curprev 21:5021:50, 27 November 2022‎ 199.119.233.221 talk‎ 10,860 bytes +117‎ I added a reference for one of the acceptable ways one can write an existential quantifier. undo Tags: Reverted Mobile edit Mobile app edit iOS app edit

curprev 12:2812:28, 16 October 2022‎ Postovalov talk contribs‎ m 10,743 bytes +2‎ No edit summary undo
curprev 12:2812:28, 16 October 2022‎ Postovalov talk contribs‎ 10,741 bytes +2‎ →‎The empty set undo

curprev 16:2716:27, 20 June 2022‎ SamanthaNguyen talk contribs‎ 10,739 bytes +324‎ + Template:Infobox mathematical statement undo Tag: 2017 wikitext editor

curprev 06:3106:31, 27 May 2022‎ Ketiltrout talk contribs‎ 10,415 bytes +36‎ hatnote undo

curprev 11:4811:48, 28 March 2022‎ Pechmann talk contribs‎ m 10,380 bytes +2‎ Format reference (redundancies, cosmetics). undo

curprev 10:0010:00, 24 February 2022‎ Jochen Burghardt talk contribs‎ 10,378 bytes −14‎ Undid revision 1073706936 by 205.129.164.35 (talk) undo Tag: Undo
curprev 04:2404:24, 24 February 2022‎ 205.129.164.35 talk‎ 10,392 bytes +14‎ No edit summary undo Tags: Reverted Visual edit

curprev 09:3309:33, 8 February 2022‎ Felix QW talk contribs‎ 10,378 bytes −6‎ removed Category:Quantification (science); added Category:Quantifier (logic) using HotCat undo

curprev 08:1008:10, 5 January 2022‎ Jochen Burghardt talk contribs‎ 10,384 bytes −10‎ →‎Basics: "..." requires human readers to imagine a continuation; in contrast, any formal logic would need a formal definition (e.g. an algorithm to generate the n.th equation) undo
curprev 03:2403:24, 5 January 2022‎ C7XWiki talk contribs‎ 10,394 bytes −11‎ →‎Basics undo
curprev 03:2403:24, 5 January 2022‎ C7XWiki talk contribs‎ 10,405 bytes +10‎ Infinitary logic may apply undo

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

curprev 20:1220:12, 26 November 2021‎ SmallJarsWithGreenLabels talk contribs‎ m 10,372 bytes +1‎ added space after full stop undo Tag: Visual edit: Switched

curprev 21:0921:09, 27 October 2021‎ MrOllie talk contribs‎ 10,371 bytes −464‎ See Wikipedia_talk:WikiProject_Spam#Mass_spam_of_mathvault.ca undo

curprev 04:3004:30, 3 August 2021‎ ClueBot NG talk contribs‎ m 10,835 bytes +2,301‎ Reverting possible vandalism by 219.78.164.213 to version by Jochen Burghardt. Report False Positive? Thanks, ClueBot NG. (4016719) (Bot) undo Tag: Rollback
curprev 04:3004:30, 3 August 2021‎ 219.78.164.213 talk‎ 8,534 bytes −2,301‎ No edit summary undo Tags: Reverted Mobile edit Mobile web edit

curprev 13:3713:37, 2 July 2021‎ Jochen Burghardt talk contribs‎ 10,835 bytes −14‎ →‎Basics: use description from Hot metal typesetting undo

curprev 15:4815:48, 3 March 2021‎ Hilgerdenaar talk contribs‎ 10,849 bytes +30‎ Link to page for Existential Instantiation undo

curprev 17:3517:35, 7 February 2021‎ Hellacioussatyr talk contribs‎ 10,819 bytes +5‎ Italics undo Tag: Visual edit

curprev 20:5620:56, 10 January 2021‎ Beland talk contribs‎ 10,814 bytes +41‎ →‎HTML encoding of existential quantifiers: retitle section "Encodings" and add TeX undo

curprev 03:0703:07, 6 January 2021‎ Francois-Pier talk contribs‎ 10,773 bytes +28‎ +template undo

curprev 18:5918:59, 8 December 2020‎ Monkbot talk contribs‎ m 10,745 bytes −123‎ Task 18 (cosmetic): eval 6 templates: del empty params (9×); del |url-status= (2×); cvt lang vals (1×); undo Tag: AWB

curprev 08:1008:10, 12 November 2020‎ Cedar101 talk contribs‎ m 10,868 bytes +26‎ →‎top: {{math}} undo

curprev 14:4014:40, 6 October 2020‎ Taumata994 talk contribs‎ 10,842 bytes +100‎ Importing Wikidata short description: "Logical quantification stating that a statement holds for at least one object" (Shortdesc helper) undo

curprev 04:2104:21, 15 September 2020‎ 2601:199:c201:fd70:59d8:9b17:225f:f404 talk‎ 10,742 bytes +22‎ →‎Basics: Fleshed out in less technical wording some non-specialist-unfriendly tech terms undo Tags: Mobile edit Mobile web edit

6 August 2024

7 April 2024

27 March 2024

22 March 2024

6 March 2024

28 November 2023

12 October 2023

4 June 2023

28 March 2023

25 February 2023

24 February 2023

6 January 2023

27 November 2022

16 October 2022

20 June 2022

27 May 2022

29 March 2022

28 March 2022

24 February 2022

8 February 2022

5 January 2022

29 December 2021

26 November 2021

27 October 2021

3 August 2021

2 July 2021

3 March 2021

7 February 2021

10 January 2021

6 January 2021

8 December 2020

12 November 2020

6 October 2020

15 September 2020