Tautology (rule of inference): 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 23:0823:08, 20 June 2024‎ Smjg talk contribs‎ m 2,720 bytes 0‎ MOS:LQ undo

curprev 02:1502:15, 10 August 2023‎ Citation bot talk contribs‎ 2,720 bytes +20‎ Add: isbn. | Use this bot. Report bugs. | Suggested by Abductive | Category:Rules of inference | #UCB_Category 2/44 undo

curprev 18:3118:31, 27 April 2023‎ GB fan talk contribs‎ 2,700 bytes −807‎ remove PROD, once a PROD is removed for any or no stated reason it can not be restored. Must go to WP:AFD undo Tag: Undo
curprev 17:1117:11, 27 April 2023‎ Crisperdue talk contribs‎ 3,507 bytes +807‎ Proposing article for deletion per WP:PROD. undo Tags: Twinkle Reverted
curprev 16:3516:35, 27 April 2023‎ TartarTorte talk contribs‎ 2,700 bytes −708‎ Procedurally remove WP:PROD as it was contested previously the page is no longer eligible for proposed deletion. The page can be nominated for deletion at Wikipedia:Articles for deletion undo Tag: Manual revert

curprev 23:0723:07, 26 April 2023‎ Crisperdue talk contribs‎ 3,408 bytes +708‎ Undid revision 1151860182 by Christian75 (talk) and added more extended explanation undo Tag: Reverted
curprev 18:0918:09, 26 April 2023‎ Christian75 talk contribs‎ 2,700 bytes −326‎ Undid revision 1151727066 by Crisperdue (talk) The concern sounds like the claim should be removed or the article should be reverted to an earlier version. undo Tag: Undo

curprev 21:3821:38, 25 April 2023‎ Crisperdue talk contribs‎ 3,026 bytes +326‎ Proposed deletion. undo Tag: Reverted

curprev 03:4903:49, 11 January 2022‎ Hulmem talk contribs‎ 2,700 bytes +80‎ Adding local short description: "Commonly used rules of replacement in propositional logic", overriding Wikidata description "common rule of replacement in propositional logic" (Shortdesc helper) undo

curprev 02:1802:18, 18 December 2020‎ Monkbot talk contribs‎ m 2,620 bytes −62‎ Task 18 (cosmetic): eval 1 template: del empty params (6×); undo Tag: AWB

curprev 18:5018:50, 3 March 2020‎ Paradoctor talk contribs‎ m 2,682 bytes +3‎ →‎top: copyedit undo

curprev 10:3410:34, 15 November 2019‎ InternetArchiveBot talk contribs‎ 2,679 bytes +74‎ Bluelink 1 book for verifiability.) #IABot (v2.0) (GreenC bot undo

curprev 14:4714:47, 11 May 2019‎ Texvc2LaTeXBot talk contribs‎ m 2,605 bytes +12‎ Replacing deprecated latex syntax mw:Extension:Math/Roadmap undo

curprev 18:2118:21, 28 April 2018‎ Omnipaedista talk contribs‎ 2,593 bytes −1‎ No edit summary undo

curprev 08:1208:12, 1 April 2018‎ Galobtter talk contribs‎ 2,594 bytes −22‎ use {{about}} undo

curprev 04:5204:52, 8 November 2017‎ Darthkenobi0 talk contribs‎ 2,616 bytes +140‎ hatnote undo

curprev 00:3700:37, 16 July 2017‎ Deacon Vorbis talk contribs‎ m 2,476 bytes −12‎ →‎Formal notation: LaTeX spacing clean up, replaced: \, </math> → </math> (4) using AWB undo

curprev 13:1313:13, 24 February 2017‎ GDW13 talk contribs‎ 2,488 bytes +16‎ Added wiki link undo

curprev 16:5816:58, 22 March 2016‎ 64.61.71.210 talk‎ 2,472 bytes −463‎ →‎Relation to tautology undo Tag: section blanking

curprev 08:1208:12, 30 March 2015‎ John of Reading talk contribs‎ m 2,935 bytes 0‎ →‎Relation to tautology: Typo fixing, replaced: vice-versa → vice versa using AWB undo

curprev 01:3701:37, 6 February 2015‎ 98.236.69.21 talk‎ 2,935 bytes 0‎ No edit summary undo
curprev 01:3601:36, 6 February 2015‎ 98.236.69.21 talk‎ 2,935 bytes −31‎ No edit summary undo
curprev 01:3501:35, 6 February 2015‎ 98.236.69.21 talk‎ 2,966 bytes +31‎ No edit summary undo

curprev 00:3000:30, 19 December 2014‎ Alejandrocaro35 talk contribs‎ 2,935 bytes −1‎ →‎Formal notation undo
curprev 00:3000:30, 19 December 2014‎ Alejandrocaro35 talk contribs‎ 2,936 bytes +4‎ →‎Formal notation undo

curprev 22:4422:44, 18 December 2014‎ Alejandrocaro35 talk contribs‎ 2,932 bytes −39‎ No edit summary undo
curprev 22:4222:42, 18 December 2014‎ Alejandrocaro35 talk contribs‎ 2,971 bytes +39‎ No edit summary undo

curprev 14:4814:48, 16 December 2014‎ Alejandrocaro35 talk contribs‎ 2,932 bytes −35‎ No edit summary undo

curprev 20:3020:30, 23 November 2014‎ 70.53.62.72 talk‎ 2,967 bytes +6‎ Link to Whitehead was incorrect. undo

curprev 23:4723:47, 5 June 2013‎ ENeville talk contribs‎ 2,961 bytes −23‎ MOS:CONTEXTLINK. undo
curprev 23:1723:17, 5 June 2013‎ ENeville talk contribs‎ 2,984 bytes −5‎ WP:REFERS. undo

curprev 07:3307:33, 15 November 2012‎ Gregbard talk contribs‎ m 2,989 bytes +16‎ Undid good faith effort -not an improvement undo
curprev 03:0603:06, 15 November 2012‎ 109.239.92.195 talk‎ 2,973 bytes −16‎ →‎Relation to tautology: cleared up the language a little undo

curprev 17:4417:44, 11 November 2012‎ Tbhotch talk contribs‎ 2,989 bytes −86‎ WP:NAMB undo

curprev 03:2703:27, 30 May 2012‎ 184.33.59.143 talk‎ 3,075 bytes −1‎ →‎Relation to tautology undo

curprev 09:0509:05, 11 April 2012‎ RjwilmsiBot talk contribs‎ m 3,076 bytes +2‎ fixing page range dashes using AWB (8010) undo

curprev 09:2809:28, 11 March 2012‎ Gregbard talk contribs‎ 3,074 bytes +175‎ theorem in PM undo

curprev 23:0423:04, 10 March 2012‎ Gregbard talk contribs‎ m 2,899 bytes −38‎ clean up using AWB undo

curprev 01:1101:11, 6 March 2012‎ Gregbard talk contribs‎ 2,937 bytes +52‎ ref undo

curprev 05:0805:08, 5 March 2012‎ Gregbard talk contribs‎ 2,885 bytes +132‎ distinction undo

curprev 01:4001:40, 4 March 2012‎ Gregbard talk contribs‎ 2,753 bytes +45‎ added Category:Theorems in propositional logic using HotCat undo

curprev 00:1300:13, 1 March 2012‎ Michael Hardy talk contribs‎ 2,708 bytes +35‎ No edit summary undo

curprev 19:2219:22, 28 February 2012‎ Gregbard talk contribs‎ m 2,673 bytes −20‎ fx undo
curprev 19:2119:21, 28 February 2012‎ Gregbard talk contribs‎ 2,693 bytes +558‎ expand undo

curprev 18:4618:46, 27 February 2012‎ BiT talk contribs‎ 2,135 bytes +266‎ →‎Formal notation undo
curprev 08:5708:57, 27 February 2012‎ Gregbard talk contribs‎ 1,869 bytes +75‎ symbol undo
curprev 08:4408:44, 27 February 2012‎ Gregbard talk contribs‎ 1,794 bytes +408‎ notation undo

curprev 22:3222:32, 26 February 2012‎ Tinton5 talk contribs‎ m 1,386 bytes +16‎ No edit summary undo
curprev 22:0022:00, 26 February 2012‎ Gregbard talk contribs‎ 1,370 bytes +18‎ hat undo
curprev 21:5621:56, 26 February 2012‎ Gregbard talk contribs‎ 1,352 bytes −1‎ fx undo

20 June 2024

10 August 2023

27 April 2023

26 April 2023

25 April 2023

11 January 2022

18 December 2020

3 March 2020

15 November 2019

11 May 2019

28 April 2018

1 April 2018

8 November 2017

16 July 2017

24 February 2017

22 March 2016

30 March 2015

6 February 2015

19 December 2014

18 December 2014

16 December 2014

23 November 2014

5 June 2013

15 November 2012

11 November 2012

30 May 2012

11 April 2012

11 March 2012

10 March 2012

6 March 2012

5 March 2012

4 March 2012

1 March 2012

28 February 2012

27 February 2012

26 February 2012