First-order 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 16:1216:12, 7 May 2025 BardRapt talk contribs m 94,314 bytes −3 J. P. E. Hodgson, Professor Emeritus undo
curprev 10:5610:56, 7 May 2025 145.137.163.43 talk 94,317 bytes −6 →Logical symbols: Removed Polish notation of "V" and "O" undo
curprev 10:5110:51, 7 May 2025 145.137.163.43 talk 94,323 bytes −749 Unnecessary mention of Polish notation in multiple parts of the entry. undo

curprev 15:3315:33, 5 May 2025 BardRapt talk contribs m 95,072 bytes −44 tidying E. Mendelson undo
curprev 13:2013:20, 5 May 2025 Nyngwang talk contribs 95,116 bytes +28 →First-order theories, models, and elementary classes: help: make the internal link work. undo
curprev 13:0913:09, 5 May 2025 JRSpriggs talk contribs 95,088 bytes −28 →First-order theories, models, and elementary classes: use "(see below)" because internal link did not work undo
curprev 11:2011:20, 5 May 2025 2600:4041:4ac:6a00:3a1d:b362:8ad1:92f2 talk 95,116 bytes +68 Explain that proof requires an implicit deductive system undo Tags: Visual edit Mobile edit Mobile web edit

curprev 10:4310:43, 4 May 2025 BardRapt talk contribs 95,048 bytes +77 →Introduction: H. Friedman undo
curprev 09:3409:34, 4 May 2025 Jochen Burghardt talk contribs 94,971 bytes −76 Undid revision 1288578396 by JRSpriggs (talk): imo, this is required in both infix and Polish notation, and thus irrelevant to their comparison (w.r.t. "advantage") undo Tag: Undo

curprev 18:1718:17, 3 May 2025 BardRapt talk contribs 95,047 bytes +106 →Free and bound variables: W. V. O. Quine undo
curprev 15:3315:33, 3 May 2025 JRSpriggs talk contribs 94,941 bytes +76 →Notational conventions: known arity undo Tag: Reverted
curprev 09:5009:50, 3 May 2025 BardRapt talk contribs 94,865 bytes +25 →Limitations: I. R. Horrocks undo

curprev 10:5410:54, 2 May 2025 Nyngwang talk contribs m 94,840 bytes +68 →Notational conventions: use <math> tag for the sake of our eyes and readability. undo
curprev 10:4210:42, 2 May 2025 BardRapt talk contribs m 94,772 bytes +1 →Sequent calculus: PVS undo
curprev 10:2210:22, 2 May 2025 Nyngwang talk contribs m 94,771 bytes −116 →Notational conventions: delete personal opinions on "Polish notation". undo
curprev 10:1010:10, 2 May 2025 Nyngwang talk contribs 94,887 bytes −434 →Notational conventions: Delete the part that failed to recognize {infix,prefix} notations. undo

curprev 16:2816:28, 7 April 2025 BardRapt talk contribs m 95,321 bytes −8 →Algebraizations: mce undo

curprev 15:1215:12, 3 April 2025 Remsense talk contribs 95,329 bytes −9 idiomatic undo
curprev 15:1215:12, 3 April 2025 Remsense talk contribs 95,338 bytes +10 No edit summary undo

curprev 15:5915:59, 3 March 2025 BardRapt talk contribs 95,328 bytes +46 →Equality and its axioms: M. C. Fitting dl undo

curprev 17:5617:56, 24 February 2025 Citation bot talk contribs 95,282 bytes −45 Altered url. URLs might have been anonymized. | Use this bot. Report bugs. | Suggested by Dominic3203 | Linked from User:Mathbot/Most_linked_math_articles | #UCB_webform_linked 184/1913 undo

curprev 18:5018:50, 7 February 2025 BardRapt talk contribs 95,327 bytes +83 →Logical symbols: H. Hermes undo

curprev 09:0109:01, 4 February 2025 Jochen Burghardt talk contribs 95,244 bytes −44 rm repeated links undo
curprev 06:4806:48, 4 February 2025 Max Integer talk contribs m 95,288 bytes +4 added link to set theory undo Tag: Visual edit

curprev 15:3915:39, 31 December 2024 BardRapt talk contribs 95,284 bytes +33 →Non-logical symbols: E. Bergmann & H. Noll undo

curprev 01:0701:07, 28 December 2024 Farkle Griffen talk contribs m 95,251 bytes 0 No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit App section source
curprev 01:0601:06, 28 December 2024 Farkle Griffen talk contribs m 95,251 bytes +45 Added link undo Tags: Mobile edit Mobile app edit iOS app edit App section source

curprev 04:0904:09, 14 December 2024 BardRapt talk contribs m 95,206 bytes +32 →Algebraizations: C. Brink, W. Kahl, & G. Schmidt undo
curprev 04:0504:05, 14 December 2024 BardRapt talk contribs 95,174 bytes +47 →Introduction: B. Goertzel, N. Geisweiller, L. Coelho, P. Janičić, & C. Pennachin undo
curprev 04:0004:00, 14 December 2024 BardRapt talk contribs m 95,127 bytes +71 E. Mendelson undo
curprev 03:5503:55, 14 December 2024 BardRapt talk contribs 95,056 bytes +42 G. E. Hughes & M. J. Cresswell undo

curprev 21:2121:21, 26 November 2024 Jochen Burghardt talk contribs 95,014 bytes −171 Undid revision 1259527077 by Hellomtfk (talk): if this is relevant at all, it needs a reliable source undo Tag: Undo

curprev 17:3517:35, 25 November 2024 Hellomtfk talk contribs 95,185 bytes +171 →Logical symbols: p' undo Tags: Reverted 2017 wikitext editor

curprev 06:2806:28, 11 October 2024 Farkle Griffen talk contribs 95,014 bytes −114 clarification undo Tags: Mobile edit Mobile app edit iOS app edit App section source

curprev 16:3516:35, 16 September 2024 173.13.91.9 talk 95,128 bytes +57 added an explanation of predicates undo Tag: Visual edit

curprev 05:4605:46, 7 September 2024 Dimimegesis talk contribs 95,071 bytes +60 best attempt at clarification undo Tags: Mobile edit Mobile app edit iOS app edit App section source
curprev 05:2205:22, 7 September 2024 Dimimegesis talk contribs m 95,011 bytes +13 clarity and flow undo Tags: Mobile edit Mobile app edit iOS app edit App section source

curprev 06:4706:47, 4 September 2024 Cedar101 talk contribs m 94,998 bytes +8 →Defining equality within a theory: {{and}} undo
curprev 06:4206:42, 4 September 2024 Cedar101 talk contribs m 94,990 bytes +4 →Additional quantifiers: {{and}} undo

curprev 16:4216:42, 3 September 2024 173.13.91.9 talk 94,986 bytes −1 I already explained in the talk section that "Socrates is a man" is not an existentially quantified (or any sort of quantified) formula in first-order logic. It's a simple predicate and should jsut be Ms (Mx = "x is a man" and s = Socrates... we don't need a variable since we know the term... SOCRATES IS THE MAN). Also, as I already mentioned, this is exactly what the source citing the improper formulation notes as well. So I changed the example to an actually quantified formula. undo Tag: Visual edit

curprev 23:4823:48, 26 August 2024 Citation bot talk contribs 94,987 bytes −5 Altered pages. Removed parameters. Formatted dashes. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 19:4419:44, 16 August 2024 Aaron Schulz talk contribs m 94,992 bytes 0 →Terms: bullets -> numbers undo

curprev 06:2506:25, 9 August 2024 Farkle Griffen talk contribs 94,992 bytes +255 Original was not a proof undo Tags: Mobile edit Mobile app edit iOS app edit App section source

curprev 16:0816:08, 30 July 2024 178.19.221.38 talk 94,737 bytes −1 →Introduction: Couched is a very rarely used verb. I'd say "framed" is a lot easier for most people. Even native speakers will find "couched" a lot harder to understand. undo

curprev 17:3317:33, 26 July 2024 Farkle Griffen talk contribs m 94,738 bytes +14 Use the same syntax to refer to the formula #article-section-source-editor undo Tags: Mobile edit Mobile app edit iOS app edit

7 May 2025

5 May 2025

4 May 2025

3 May 2025

2 May 2025

7 April 2025

3 April 2025

3 March 2025

24 February 2025

7 February 2025

4 February 2025

31 December 2024

28 December 2024

14 December 2024

26 November 2024

25 November 2024

11 October 2024

16 September 2024

7 September 2024

4 September 2024

3 September 2024

26 August 2024

16 August 2024

9 August 2024

30 July 2024

26 July 2024

23 July 2024