Prenex normal form: Revision history

15 April 2024

• curprev 17:3517:35, 15 April 2024 Thiagovscoelho talk contribs 13,278 bytes +26 No edit summary undo

18 February 2023

• curprev 18:0718:07, 18 February 2023 BrandonRozek talk contribs 13,252 bytes +13 →Implication: Clarified another rule needed to show implication rule. undo Tag: 2017 wikitext editor

30 December 2022

• curprev 21:5921:59, 30 December 2022 81.110.184.237 talk 13,239 bytes +47 No edit summary undo

3 October 2022

• curprev 06:0006:00, 3 October 2022 The-erinaceous-one talk contribs m 13,192 bytes −2 A formula is in PNF regardless of whether it was rewritten from another form. undo

9 June 2022

• curprev 14:4414:44, 9 June 2022 Horcrux talk contribs m 13,194 bytes −16 fixing wikilink undo

2 March 2022

• curprev 16:1016:10, 2 March 2022 Xinxtang talk contribs 13,210 bytes +20 →Implication undo Tag: Visual edit
• curprev 15:0415:04, 2 March 2022 Xinxtang talk contribs 13,190 bytes +18 →Implication undo Tag: Visual edit
• curprev 06:5606:56, 2 March 2022 Xinxtang talk contribs 13,172 bytes +2 →Implication undo Tag: Visual edit
• curprev 06:5506:55, 2 March 2022 Xinxtang talk contribs 13,170 bytes +226 →Implication undo Tag: Visual edit
• curprev 06:5106:51, 2 March 2022 Xinxtang talk contribs 12,944 bytes +26 →Implication undo Tag: Visual edit
• curprev 06:5006:50, 2 March 2022 Xinxtang talk contribs 12,918 bytes +207 →Implication undo Tag: Visual edit
• curprev 06:3706:37, 2 March 2022 Xinxtang talk contribs 12,711 bytes +176 →Example undo Tag: Visual edit
• curprev 06:2106:21, 2 March 2022 Xinxtang talk contribs 12,535 bytes +258 No edit summary undo Tag: Visual edit
• curprev 06:0606:06, 2 March 2022 Xinxtang talk contribs 12,277 bytes −2 →Implication undo Tag: Visual edit
• curprev 06:0406:04, 2 March 2022 Xinxtang talk contribs 12,279 bytes +660 →Implication undo Tag: Visual edit
• curprev 05:5305:53, 2 March 2022 Xinxtang talk contribs 11,619 bytes +579 →Implication undo Tag: Visual edit

8 February 2022

• curprev 01:2901:29, 8 February 2022 SpiralSource talk contribs 11,040 bytes +53 Adding short description: "Formalism of first-order logic" (Shortdesc helper) undo

17 February 2021

• curprev 00:3400:34, 17 February 2021 BrandonRozek talk contribs m 10,987 bytes +148 Undid previous edit as it removed part of a sentence and filled it with random words undo Tag: Undo

15 February 2021

• curprev 07:0207:02, 15 February 2021 2601:589:4880:2090:295d:aaf1:defc:542f talk 10,839 bytes −148 →Conversion to prenex form undo Tags: Reverted references removed Mobile edit Mobile web edit

8 January 2021

• curprev 12:5212:52, 8 January 2021 188.167.60.72 talk 10,987 bytes −44 The queivalence in the first paragraph holds even for empty domains. undo Tag: Manual revert
• curprev 12:5012:50, 8 January 2021 188.167.60.72 talk 11,031 bytes +44 Fix error in the first paragraph. (Vx a(x)) -> b is equisatisfiable with 3x (a(x)->b), the quantifier has to change undo Tag: Reverted

15 December 2020

• curprev 10:0610:06, 15 December 2020 Tm.witcher talk contribs 10,987 bytes 0 No edit summary undo Tag: Reverted

30 November 2020

• curprev 00:1500:15, 30 November 2020 86.127.33.116 talk 10,987 bytes +25 →Implication: conditional undo

19 October 2020

• curprev 22:3222:32, 19 October 2020 Citation bot talk contribs 10,962 bytes −317 Alter: url, isbn. URLs might have been internationalized/anonymized. Correct ISBN10 to ISBN13. | You can use this bot yourself. Report bugs here. | Suggested by AManWithNoPlan | All pages linked from cached copy of User:AManWithNoPlan/sandbox2 | via #UCB_webform_linked 1643/5333 undo

11 July 2020

• curprev 16:5516:55, 11 July 2020 Dejan Budimir talk contribs 11,279 bytes +54 →Intuitionistic logic: fix to avoid rendering difference (between literal greek letter versus math symbol) undo Tags: Mobile edit Mobile web edit

15 March 2020

• curprev 07:4107:41, 15 March 2020 Lycurgus talk contribs 11,225 bytes 0 →See also undo

5 February 2020

• curprev 10:5610:56, 5 February 2020 Dionyziz talk contribs 11,225 bytes +112 Implication transformation requires non-empty universe for existential quantifiers undo

18 June 2019

• curprev 20:5220:52, 18 June 2019 Jarble talk contribs 11,113 bytes +365 →References: adding a reference undo
• curprev 00:5300:53, 18 June 2019 Jarble talk contribs 10,748 bytes +417 →References: adding a reference undo

17 June 2019

• curprev 23:0623:06, 17 June 2019 Jarble talk contribs 10,331 bytes +397 →References: adding a reference undo

3 May 2019

• curprev 19:4119:41, 3 May 2019 Leschnei talk contribs 9,934 bytes +12 →top: added acronym undo

2 August 2018

• curprev 17:1717:17, 2 August 2018 AnomieBOT talk contribs m 9,922 bytes +17 Dating maintenance tags: {{Refimprove section}} undo
• curprev 16:5416:54, 2 August 2018 Yahya Abdal-Aziz talk contribs 9,905 bytes +58 →Conversion to prenex form: - cite Hinman (2005) undo
• curprev 16:4816:48, 2 August 2018 Yahya Abdal-Aziz talk contribs 9,847 bytes +58 →top: - add "… and bound variables …" where necessary; add citation of Hinman (2005) undo
• curprev 16:1416:14, 2 August 2018 Yahya Abdal-Aziz talk contribs 9,789 bytes +703 →Use of prenex form: - in Tarski's axioms for geometry undo

28 June 2018

• curprev 22:3622:36, 28 June 2018 Jarble talk contribs m 9,086 bytes +48 linking undo

17 June 2018

• curprev 07:0907:09, 17 June 2018 87.73.127.11 talk 9,038 bytes +33 →Implication undo

15 May 2018

• curprev 18:2018:20, 15 May 2018 Alexey Muranov talk contribs 9,005 bytes +215 →Conjunction and disjunction: add a missing condition to make equivalences valid undo

14 December 2017

• curprev 16:3416:34, 14 December 2017 KolbertBot talk contribs m 8,790 bytes +1 Bot: HTTP→HTTPS (v478) undo

5 June 2017

• curprev 18:5418:54, 5 June 2017 Jimw338 talk contribs 8,789 bytes +134 archive url undo

22 January 2017

• curprev 18:2118:21, 22 January 2017 Fuxx talk contribs 8,655 bytes −38 Undid revision 761245153 by 82.37.34.117 (talk) undo

21 January 2017

• curprev 21:3521:35, 21 January 2017 82.37.34.117 talk 8,693 bytes +38 No edit summary undo Tags: Mobile edit Mobile web edit

26 November 2015

• curprev 09:3409:34, 26 November 2015 PhS talk contribs m 8,655 bytes +351 →Conversion to prenex form: clarification in the handling of free variables that clash with quantified variables undo

20 August 2014

• curprev 21:5021:50, 20 August 2014 BD2412 talk contribs m 8,304 bytes +19 minor fixes, mostly disambig links using AWB undo

31 July 2014

• curprev 09:3809:38, 31 July 2014 4pq1injbok talk contribs m 8,285 bytes +1 dab undo

22 June 2014

• curprev 09:0509:05, 22 June 2014 80.98.130.83 talk 8,284 bytes +12 →Intuitionistic logic undo

27 December 2013

• curprev 23:1323:13, 27 December 2013 AnomieBOT talk contribs m 8,272 bytes +19 Dating maintenance tags: {{Dn}} undo
• curprev 22:5222:52, 27 December 2013 BD2412 talk contribs m 8,253 bytes +6 Fixing links to disambiguation pages using AWB undo

9 June 2013

• curprev 17:1717:17, 9 June 2013 31.55.7.245 talk 8,247 bytes +279 →Example: more elaboration undo

26 February 2013

• curprev 16:3916:39, 26 February 2013 Addbot talk contribs m 7,968 bytes −227 Bot: Migrating 10 interwiki links, now provided by Wikidata on d:q281854 (Report Errors) undo