Sentence (mathematical logic): 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 10:0110:01, 16 September 2024 AlphaLemur talk contribs 3,684 bytes +90 Importing Wikidata short description: "In mathematical logic, a well-formed formula with no free variables" undo Tag: Shortdesc helper

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

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

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

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

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

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

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