Symbolic 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 02:3702:37, 19 January 2025 Tule-hog talk contribs 103 bytes +23 add rcat undo
curprev 02:3602:36, 19 January 2025 Tule-hog talk contribs 80 bytes −16 rm {w possibilities} per this ES undo

curprev 20:2020:20, 17 January 2025 Farkle Griffen talk contribs 96 bytes +6 Fixed double redirect undo Tags: Redirect target changed Visual edit

curprev 22:5022:50, 16 January 2025 Farkle Griffen talk contribs 90 bytes −21 Better redirect. Original redirect was unhelpful undo Tags: Redirect target changed Visual edit
curprev 18:4418:44, 16 January 2025 Tule-hog talk contribs 111 bytes +17 add rcat undo
curprev 18:4318:43, 16 January 2025 Tule-hog talk contribs 94 bytes +29 add rcat undo

curprev 20:1320:13, 8 March 2018 The Transhumanist talk contribs 65 bytes +18 Add template to categorize redirect using AWB undo

curprev 08:2508:25, 15 September 2016 Sophie means wisdom talk contribs 47 bytes +28 better target undo

curprev 14:2214:22, 16 April 2015 Qwertyus talk contribs 19 bytes −13 like "formal logic", "symbolic logic" is not a synonym of "mathematical logic" undo

curprev 23:5223:52, 16 August 2011 Gamewizard71 talk contribs m 32 bytes −328 ←Redirected page to Mathematical logic undo

curprev 17:2317:23, 13 May 2011 MerlIwBot talk contribs m 360 bytes +194 robot Adding: el:Συμβολική λογική, ka:სიმბოლური ლოგიკა, nl:Symbolische logica, ru:Символическая логика, fi:Symbolinen logiikka undo

curprev 05:3905:39, 17 November 2010 Seaphoto talk contribs m 166 bytes −27 Reverted edits by 24.235.159.73 to last revision by CBM (HG) undo
curprev 05:3905:39, 17 November 2010 24.235.159.73 talk 193 bytes +27 No edit summary undo

curprev 11:3211:32, 20 August 2010 CBM talk contribs 166 bytes +86 make into dab page? undo

curprev 13:1713:17, 25 March 2010 Hans Adler talk contribs 80 bytes −4,401 executing merge proposed 6 months ago, per talk page consensus; leaving redirect in Logic category so it's easier to find undo

curprev 16:5316:53, 22 March 2010 Darikka talk contribs m 4,481 bytes 0 →Propositional logic undo

curprev 16:3316:33, 4 March 2010 TheSix talk contribs 4,481 bytes −30 Revert -> VANDALISM undo
curprev 16:2016:20, 4 March 2010 110.55.245.149 talk 4,511 bytes +30 →Predicate logic undo

curprev 17:5217:52, 11 February 2010 RDBury talk contribs 4,481 bytes −208 Add ref, MathWorld, noref-> refimprove. Blank trivia section, distortion of the facts undo

curprev 21:3421:34, 27 January 2010 Moocha talk contribs m 4,689 bytes +19 →Propositional logic: Linkified Sheffer operator undo

curprev 00:5600:56, 16 January 2010 JDspeeder1 talk contribs m 4,670 bytes +4 →Trivia undo

curprev 06:2806:28, 18 December 2009 Rich Farmbrough talk contribs m 4,666 bytes −2 remove Erik9bot category,outdated, tag and general fixes, removed Stub tag using Project:AWB undo

curprev 02:3502:35, 4 December 2009 Max bedward talk contribs m 4,668 bytes −39 →Propositional logic undo
curprev 02:3402:34, 4 December 2009 Max bedward talk contribs 4,707 bytes +39 →Propositional logic undo

curprev 21:3821:38, 29 November 2009 76.4.189.174 talk 4,668 bytes +1 →Propositional logic: Silly mathematicians. Syntax + ic = Syntactic. undo

curprev 16:0316:03, 11 November 2009 Ccdesan talk contribs m 4,667 bytes −3 Spelling correction undo

curprev 11:3811:38, 10 November 2009 Maurice Carbonaro talk contribs m 4,670 bytes +1 →See also: Swapped "(...) *Substitution (logic) (...)" with "(...) *Table of logic symbols (...)" for the purpose of creating an alphabetical order. undo

curprev 17:1917:19, 21 October 2009 167.206.248.10 talk 4,669 bytes 0 →Propositional logic: - fixed typo "not" to "nor" line 4 of paragraph starting "The Sheffer operator" undo

curprev 05:1805:18, 6 October 2009 71.199.121.179 talk 4,669 bytes +20 No edit summary undo

curprev 06:0806:08, 21 September 2009 Curtdbz talk contribs 4,649 bytes −2 →Trivia undo
curprev 06:0806:08, 21 September 2009 Curtdbz talk contribs 4,651 bytes +277 No edit summary undo

curprev 04:2404:24, 20 September 2009 SmackBot talk contribs m 4,374 bytes +21 Date maintenance tags and general fixes undo

curprev 08:3708:37, 19 September 2009 Pcap talk contribs 4,353 bytes +31 {{mergeto|Mathematical logic}} undo

curprev 02:3202:32, 26 August 2009 70.81.72.147 talk 4,322 bytes +1,793 Added data and precisions on metalinguistic variables, complex and fundamental connectors. undo

curprev 13:2713:27, 19 August 2009 Chalst talk contribs 2,529 bytes +26 →See also: +ln undo

curprev 06:2106:21, 4 July 2009 Erik9bot talk contribs 2,503 bytes +49 add Category:Articles lacking sources (Erik9bot) undo

curprev 15:5215:52, 17 June 2009 TXiKiBoT talk contribs m 2,454 bytes +54 robot Adding: ka:სიმბოლური ლოგიკა undo

curprev 12:3512:35, 16 May 2009 82.204.105.103 talk 2,400 bytes +26 No edit summary undo

curprev 01:1401:14, 21 April 2009 Cybercobra talk contribs m 2,374 bytes +16 →Predicate logic: bypass disambig undo

curprev 22:1122:11, 3 April 2009 216.240.58.226 talk 2,358 bytes +10 →Propositional logic: I changed "IMPLIES" TO "IF...THEN" since "IMPLIES" is not a material conditional, and propositional logic uses the material conditional. "Equals" is way off. undo

curprev 00:5400:54, 27 January 2009 Martin451 talk contribs m 2,348 bytes −46 Reverted edits by 203.213.201.18 to last version by ClueBot (HG) undo
curprev 00:5200:52, 27 January 2009 203.213.201.18 talk 2,394 bytes +46 →See also undo

curprev 06:3206:32, 1 December 2008 ClueBot talk contribs m 2,348 bytes +2,348 Reverting possible vandalism by 121.1.26.30 to version by Tomisti. False positive? Report it. Thanks, ClueBot. (497941) (Bot) undo
curprev 06:3206:32, 1 December 2008 121.1.26.30 talk empty −2,348 ←Blanked the page undo

curprev 13:1813:18, 24 November 2008 Tomisti talk contribs m 2,348 bytes +26 fi:Symbolinen logiikka undo

curprev 02:0602:06, 3 November 2008 152.19.194.179 talk 2,322 bytes +7 No edit summary undo

curprev 13:0713:07, 25 October 2008 The Anome talk contribs 2,315 bytes +2 →Predicate logic: variables undo

curprev 08:3708:37, 24 September 2008 Malcolma talk contribs m 2,313 bytes −22 cat undo

curprev 09:0509:05, 9 September 2008 Pinkadelica talk contribs m 2,335 bytes +608 Revert unexplained removal of content (HG) undo
curprev 09:0409:04, 9 September 2008 59.94.137.18 talk 1,727 bytes −461 →Predicate logic undo

19 January 2025

17 January 2025

16 January 2025

8 March 2018

15 September 2016

16 April 2015

16 August 2011

13 May 2011

17 November 2010

20 August 2010

25 March 2010

22 March 2010

4 March 2010

11 February 2010

27 January 2010

16 January 2010

18 December 2009

4 December 2009

29 November 2009

11 November 2009

10 November 2009

21 October 2009

6 October 2009

21 September 2009

20 September 2009

19 September 2009

26 August 2009

19 August 2009

4 July 2009

17 June 2009

16 May 2009

21 April 2009

3 April 2009

27 January 2009

1 December 2008

24 November 2008

3 November 2008

25 October 2008

24 September 2008

9 September 2008