Sentence (mathematical logic): Revision history

24 July 2024

• curprev 19:5219:52, 24 July 2024‎ Teintu talk contribs‎ m 3,594 bytes +1‎ changed "atomic formula" into "atomic sentences" in the second paragraph undo

19 June 2023

• curprev 11:4011:40, 19 June 2023‎ DavTap talk contribs‎ m 3,593 bytes −9‎ Spelling. undo Tag: Visual edit

3 June 2023

• curprev 16:0916:09, 3 June 2023‎ Shhhnotsoloud talk contribs‎ 3,602 bytes −191‎ Amend hatnote undo

8 May 2023

• curprev 20:4820:48, 8 May 2023‎ TMM53 talk contribs‎ m 3,793 bytes +52‎ I propose the following revisions of this section because Wikipedia mathematics guidelines state 1) "identify the nature of the entity being defined" for formulas, 2) "avoid contentless clichés" e.g. "In plain English" and "on the other hand." 3) avoid redundant and unnecessary symbols and words (Halmos, P.R. (1970), "How to Write Mathematics", Enseignements Mathématiques, 16: 123–152, doi:10.5169/seals-43857. Reprinted in ISBN 0821800558). Wikipedia:Manual of Style/Mathematics undo

3 March 2023

• curprev 04:3304:33, 3 March 2023‎ HeyElliott talk contribs‎ 3,741 bytes +18‎ Clean up/copyedit undo Tag: Visual edit

10 February 2022

• curprev 07:1007:10, 10 February 2022‎ Freeman1856 talk contribs‎ m 3,723 bytes +18‎ No edit summary undo

29 December 2021

• curprev 19:4519:45, 29 December 2021‎ 72.134.77.107 talk‎ 3,705 bytes +21‎ {{Mathematical logic}} undo

3 August 2020

• curprev 08:1808:18, 3 August 2020‎ Omnipaedista talk contribs‎ 3,684 bytes +16‎ No edit summary undo

31 July 2020

• curprev 18:2618:26, 31 July 2020‎ GünniX talk contribs‎ m 3,668 bytes +10‎ Reflist undo Tag: AWB

29 July 2020

• curprev 10:4710:47, 29 July 2020‎ Omnipaedista talk contribs‎ 3,658 bytes +149‎ add synonym undo

13 February 2020

• curprev 04:0004:00, 13 February 2020‎ GreenC bot talk contribs‎ 3,509 bytes −59‎ Move 1 url. Wayback Medic 2.5 undo

19 August 2019

• curprev 20:0020:00, 19 August 2019‎ 185.53.198.72 talk‎ 3,568 bytes +4‎ →‎Example: spacing undo

26 September 2018

• curprev 03:4903:49, 26 September 2018‎ Deacon Vorbis talk contribs‎ m 3,564 bytes +2‎ →‎Example: ce undo

11 July 2018

• curprev 04:1004:10, 11 July 2018‎ 177.17.149.187 talk‎ 3,562 bytes +53‎ No edit summary undo

7 July 2017

• curprev 18:5018:50, 7 July 2017‎ Alejandrocaro35 talk contribs‎ 3,509 bytes +15‎ No edit summary undo

22 May 2017

• curprev 16:2616:26, 22 May 2017‎ ClueBot NG talk contribs‎ m 3,494 bytes +34‎ Reverting possible vandalism by 170.235.221.41 to version by Georgydunaev. Report False Positive? Thanks, ClueBot NG. (3044323) (Bot) undo
• curprev 16:2616:26, 22 May 2017‎ 170.235.221.41 talk‎ 3,460 bytes −34‎ No edit summary undo

24 April 2017

• curprev 09:3009:30, 24 April 2017‎ Georgydunaev talk contribs‎ 3,494 bytes −1‎ Sentences are built out of formulas, NOT sentences cause the definining property of sentences is their closeness. You just can not normally use quantifiers without some open variables. undo

8 April 2017

• curprev 14:5414:54, 8 April 2017‎ 67.3.250.253 talk‎ 3,495 bytes +5‎ No edit summary undo

14 September 2016

• curprev 07:4307:43, 14 September 2016‎ Trovatore talk contribs‎ 3,490 bytes +1‎ dummy edit: Parenthetical in previous summary was backwards. Math logic is application of math to logic more than logic to math. undo
• curprev 07:4107:41, 14 September 2016‎ Trovatore talk contribs‎ m 3,489 bytes 0‎ Trovatore moved page Sentence (logic) to Sentence (mathematical logic) over redirect: It's "mathematical logic" as opposed to, say, traditional or informal logic. (BTW math logic is application of logic to math). undo
• curprev 00:1800:18, 14 September 2016‎ Toby Bartels talk contribs‎ 3,489 bytes +303‎ →‎Example: Clarify why the counterexample is not a sentence and explain what it is instead. undo Tags: Mobile edit Mobile web edit

7 July 2015

• curprev 01:3101:31, 7 July 2015‎ Rgdboer talk contribs‎ m 3,186 bytes +32‎ →‎Examples: lk Positive real numbers, symbols undo

1 May 2015

• curprev 21:1121:11, 1 May 2015‎ Qwertyus talk contribs‎ m 3,154 bytes 0‎ Qwertyus moved page Sentence (mathematical logic) to Sentence (logic): this isn't specifically about mathematical logic, but about logic in general (mathematical logic is the application of logic to mathematics) undo

20 August 2014

• curprev 22:0522:05, 20 August 2014‎ BD2412 talk contribs‎ m 3,154 bytes +19‎ minor fixes, mostly disambig links using AWB undo

3 April 2014

• curprev 18:4718:47, 3 April 2014‎ Masssly talk contribs‎ 3,135 bytes −2‎ clean up using AWB undo

31 August 2013

• curprev 17:0317:03, 31 August 2013‎ Ctxppc talk contribs‎ m 3,137 bytes +35‎ Removed link redirection. undo Tag: Visual edit

28 February 2013

• curprev 03:5403:54, 28 February 2013‎ Addbot talk contribs‎ m 3,102 bytes −142‎ Bot: Migrating 4 interwiki links, now provided by Wikidata on d:q2509500 (Report Errors) undo

19 November 2012

• curprev 16:4116:41, 19 November 2012‎ BD2412 talk contribs‎ 3,244 bytes +14‎ dab fix undo

18 May 2012

• curprev 14:3014:30, 18 May 2012‎ 160.45.152.6 talk‎ 3,230 bytes +31‎ →‎References: Linking to the author within a book citation. undo

6 May 2012

• curprev 07:5807:58, 6 May 2012‎ Helpful Pixie Bot talk contribs‎ m 3,199 bytes 0‎ ISBNs (Build KC) undo

15 February 2012

• curprev 15:4415:44, 15 February 2012‎ 160.45.152.6 talk‎ 3,199 bytes +314‎ No edit summary undo

25 January 2012

• curprev 07:1007:10, 25 January 2012‎ Gregbard talk contribs‎ 2,885 bytes +2‎ removed Category:Statements; added Category:Propositions using HotCat undo

14 June 2011

• curprev 17:3817:38, 14 June 2011‎ Linas talk contribs‎ 2,883 bytes +56‎ aomic if no quantifiers undo

13 June 2011

• curprev 21:4521:45, 13 June 2011‎ Linas talk contribs‎ 2,827 bytes 0‎ reorder paragraphs undo
• curprev 21:4321:43, 13 June 2011‎ Linas talk contribs‎ 2,827 bytes +178‎ mention SMT undo
• curprev 21:3321:33, 13 June 2011‎ Linas talk contribs‎ 2,649 bytes +63‎ mention satisfiability undo
• curprev 21:2921:29, 13 June 2011‎ Linas talk contribs‎ m 2,586 bytes +4‎ tyop undo
• curprev 21:2421:24, 13 June 2011‎ Linas talk contribs‎ 2,582 bytes −222‎ maybe more successful effort to clarify undo
• curprev 21:1821:18, 13 June 2011‎ Linas talk contribs‎ 2,804 bytes +339‎ save partial edit undo
• curprev 21:1121:11, 13 June 2011‎ Linas talk contribs‎ 2,465 bytes +47‎ failed attempt to make 'fixed truth value' and 'structure' easier to understand. undo
• curprev 20:4720:47, 13 June 2011‎ Linas talk contribs‎ 2,418 bytes +62‎ clarify just a tad undo
• curprev 20:4620:46, 13 June 2011‎ Linas talk contribs‎ 2,356 bytes +15‎ well, a term can't be a sentence, it must be booolean undo
• curprev 20:4020:40, 13 June 2011‎ Linas talk contribs‎ 2,341 bytes +159‎ mention atomic sentences undo
• curprev 20:2120:21, 13 June 2011‎ Linas talk contribs‎ 2,182 bytes +71‎ wikilink theory. undo

9 April 2011

• curprev 02:2002:20, 9 April 2011‎ MerlIwBot talk contribs‎ m 2,111 bytes −66‎ robot Removing: eo:Vikipedio:Projekto matematiko/Kondamno (matematika logiko) undo

3 November 2010

• curprev 11:0911:09, 3 November 2010‎ TaBOT-zerem talk contribs‎ m 2,177 bytes +44‎ robot Adding: he:פסוק (לוגיקה מתמטית) undo

25 July 2010

• curprev 07:4707:47, 25 July 2010‎ Anonymous Dissident talk contribs‎ m 2,133 bytes −4‎ No edit summary undo
• curprev 07:4607:46, 25 July 2010‎ Anonymous Dissident talk contribs‎ m 2,137 bytes +45‎ →‎Example undo

14 January 2010

• curprev 17:2517:25, 14 January 2010‎ MastiBot talk contribs‎ m 2,092 bytes −3‎ robot Modifying: ru:Предложение (логика) undo