Open formula: 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 18:1918:19, 24 November 2024 Assem Khidhr talk contribs 2,821 bytes +71 Importing Wikidata short description: "Formula that contains at least one free variable" undo Tag: Shortdesc helper

curprev 20:3020:30, 10 July 2024 Jochen Burghardt talk contribs 2,750 bytes −41 →See also: linked above undo

curprev 19:2419:24, 9 July 2024 Thiagovscoelho talk contribs 2,791 bytes +85 →See also: More related pages undo Tags: Mobile edit Mobile web edit

curprev 09:2809:28, 29 June 2024 Int-y1 talk contribs m 2,706 bytes 0 No edit summary undo

curprev 22:3722:37, 23 December 2023 Beland talk contribs m 2,706 bytes +20 MOS:BBB / convert special characters found by Wikipedia:Typo Team/moss (via WP:JWB) undo

curprev 15:2915:29, 21 October 2023 Jochen Burghardt talk contribs 2,686 bytes +6 →top: typo; have sorted quantification in both exm.s undo
curprev 15:2815:28, 21 October 2023 Jochen Burghardt talk contribs 2,680 bytes +558 →top: use of open formulas in definitions undo

curprev 20:0320:03, 28 September 2023 Jochen Burghardt talk contribs 2,122 bytes −14 →top: capture needs a choice ∀ vs. ∃ for each free variable, cf. example, just giving a domain isn't sufficient; variables needn't be named x,y,z,x1,x2,x3; constants are elements of the language, not of the domain, usually, most domain elements are not denotable by a constant; fix unconfirmed claim "\forall n \geq 5: \lnot P(F_n)" from Fermat number undo
curprev 14:2214:22, 28 September 2023 2600:4041:667b:fa00:e1b5:9910:8384:1315 talk 2,136 bytes −3 No edit summary undo

curprev 19:3419:34, 22 May 2022 Jochen Burghardt talk contribs 2,139 bytes +211 Undid revision 1089191876 by Phrygas (talk): the sentence is supported by textbooks (e.g. Bergmann.Noll.1977, p.55, relating to the de:Koinzidenzlemma), so don't delete it before you expand on it and justify your deletion undo Tag: Undo
curprev 11:3411:34, 22 May 2022 Phrygas talk contribs 1,928 bytes −211 The statement that an open formula is not truth-apt is wrong; I shall expand on this. undo Tag: Reverted

curprev 21:2921:29, 29 December 2021 Mgkrupa talk contribs m 2,139 bytes +23 Added {{Mathematical logic}} undo

curprev 20:0420:04, 15 October 2021 力 talk contribs 2,116 bytes −35 removed Category:Mathematics education using HotCat - category error undo

curprev 07:5807:58, 12 June 2021 Jochen Burghardt talk contribs 2,151 bytes −23 Undid revision 1028159061 by 178.138.194.110 (talk): predicate variable says no specific meaning is assigned; here we have more likely a predicate constant undo Tag: Undo
curprev 07:1807:18, 12 June 2021 178.138.194.110 talk 2,174 bytes +23 predicate variable undo Tag: Reverted

curprev 10:3810:38, 29 July 2020 Omnipaedista talk contribs 2,151 bytes −328 WP:RS undo

curprev 02:3602:36, 20 May 2020 Citation bot talk contribs 2,479 bytes −18 Add: location. Removed parameters. Some additions/deletions were actually parameter name changes. | You can use this bot yourself. Report bugs here. | Activated by Amigao | Category:Mathematics education | via #UCB_Category undo

curprev 08:4108:41, 16 December 2019 Jochen Burghardt talk contribs 2,497 bytes +4 →top: quantification is over variables, not expressions; italicize undo

curprev 22:3422:34, 15 December 2019 British Potato talk contribs m 2,493 bytes −1 Spelling error correction. undo

curprev 21:3821:38, 30 October 2019 1234qwer1234qwer4 talk contribs m 2,494 bytes −3 removed one of a double comma undo Tags: Mobile edit Mobile app edit iOS app edit

curprev 18:3618:36, 9 September 2019 109.166.129.57 talk 1,412 bytes +183 transformation undo

curprev 15:3915:39, 8 September 2019 Jochen Burghardt talk contribs 1,229 bytes −225 Undid revision 914377550 by 109.166.128.100 (talk): unsourced ("the term ... comes from") and confusing (it is not a matter of consideration whther "x" occurs in a sentence; "x associated to the predicate letter") undo Tag: Undo

curprev 03:0203:02, 7 September 2019 109.166.128.100 talk 1,454 bytes +225 details about an echivalent name to open sentence : sentence with (at least) a variable x with unspecified values undo

curprev 10:5110:51, 15 August 2019 Jochen Burghardt talk contribs 1,229 bytes +323 →top: one *could* assign e.g. the truth value of its universal closure; typo; wikilinks; example undo

curprev 23:5423:54, 14 August 2019 109.166.130.48 talk 906 bytes +184 open vs closed formula undo

curprev 12:2012:20, 1 April 2019 Jochen Burghardt talk contribs 722 bytes −36 removed Category:Propositional calculus using HotCat: propositional calculus doesn't consider variables in the sense used here undo

curprev 01:4301:43, 23 July 2017 David Eppstein talk contribs 758 bytes −10 {{mathlogic-stub}} undo

curprev 23:3923:39, 21 July 2017 Fadesga talk contribs 768 bytes −20 →References and notes undo

curprev 15:0215:02, 4 June 2017 MagneticInk talk contribs 788 bytes +127 Added some "see also" links to the "open formula" page to provide related information. Perhaps doing so will also make users more likely to flesh out the page. Not sure the topic deserves its own page though. undo Tag: Visual edit

curprev 03:4303:43, 19 October 2016 AnomieBOT talk contribs m 661 bytes +18 Dating maintenance tags: {{Unreliable source}} undo
curprev 03:2203:22, 19 October 2016 Jochen Burghardt talk contribs 643 bytes +21 No edit summary undo

curprev 06:0006:00, 14 September 2016 Yobot talk contribs m 622 bytes +13 WP:CHECKWIKI error fixes using AWB undo

curprev 16:4516:45, 13 September 2016 AnomieBOT talk contribs m 609 bytes +20 Dating maintenance tags: {{Cn}} undo
curprev 16:2416:24, 13 September 2016 Paradoctor talk contribs 589 bytes −4,387 complete reboot, article was unsalvageable undo
curprev 15:1015:10, 13 September 2016 Paradoctor talk contribs 4,976 bytes −1 →References: adapt defaultsort to title change undo
curprev 15:0915:09, 13 September 2016 Paradoctor talk contribs m 4,977 bytes 0 Paradoctor moved page Open sentence to Open formula: WP:PRIMARYTOPIC undo

curprev 12:1812:18, 21 June 2016 67.198.37.16 talk 4,977 bytes +43 See also Propositional function undo
curprev 12:1712:17, 21 June 2016 67.198.37.16 talk 4,934 bytes −168 remove merge tag, per talk page at Talk:propositional function undo

24 November 2024

10 July 2024

9 July 2024

29 June 2024

23 December 2023

21 October 2023

28 September 2023

22 May 2022

29 December 2021

15 October 2021

12 June 2021

29 July 2020

20 May 2020

16 December 2019

15 December 2019

30 October 2019

10 September 2019

9 September 2019

8 September 2019

7 September 2019

15 August 2019

14 August 2019

1 April 2019

23 July 2017

21 July 2017

4 June 2017

19 October 2016

14 September 2016

13 September 2016

21 June 2016