Jump to content

Disjunction introduction: Revision history

View logs for this page (view filter log)

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:4316:43, 13 June 2022 SamanthaNguyen talk contribs 3,428 bytes +297 + Template:Infobox mathematical statement undo Tag: 2017 wikitext editor

curprev 19:0419:04, 10 April 2022 Umimmak talk contribs 3,131 bytes +336 full citation undo

curprev 18:4418:44, 15 April 2021 AltoStev talk contribs 2,795 bytes +76 Adding short description: "Inference introducing a disjunction in logical proofs" (Shortdesc helper) undo

curprev 22:4222:42, 22 July 2020 Umimmak talk contribs 2,719 bytes +314 ref expand undo

curprev 09:3209:32, 26 March 2020 Paradoctor talk contribs m 2,405 bytes +1 →top: fix link undo

curprev 21:2421:24, 14 January 2019 Guy Macon talk contribs 2,404 bytes −19 Spamming templates into dozens of articles. Undid revision 877940541 by MisterCake (talk) undo Tag: Undo

curprev 21:5721:57, 11 January 2019 MisterCake talk contribs 2,423 bytes +19 →References undo

curprev 22:3722:37, 31 December 2018 Paradoctor talk contribs 2,404 bytes −28 →top: use slink undo

curprev 12:1512:15, 30 August 2018 RussBot talk contribs m 2,432 bytes +8 Robot: fix links to disambiguation page Validity undo

curprev 20:5220:52, 30 June 2018 Texvc2LaTeXBot talk contribs m 2,424 bytes +5 replacing deprecate latex math syntax, operated by User:Salix alba undo

curprev 21:2321:23, 28 April 2018 Omnipaedista talk contribs 2,419 bytes +44 clarification undo

curprev 14:0714:07, 10 March 2017 Pbruins84 talk contribs 2,375 bytes −7 'either' removed, because it is not an exclusive or. It is possible that both statements are true. undo

curprev 04:2204:22, 9 November 2016 65.3.144.103 talk 2,382 bytes +1 No edit summary undo

curprev 11:2711:27, 27 October 2016 2001:630:e4:4220:b8ef:e16a:98f2:d9b6 talk 2,381 bytes 0 fixed broken link undo

curprev 07:1807:18, 4 October 2016 18.189.124.64 talk 2,381 bytes +5 Fixed a missing verb. undo Tags: Mobile edit Mobile web edit

curprev 17:4717:47, 27 September 2016 TomT0m talk contribs 2,376 bytes +387 some extensions undo

curprev 19:3819:38, 13 April 2016 GSS talk contribs 1,989 bytes 0 Reverted edits by 132.170.15.255 (talk) (HG) (3.1.19) undo Tag: Huggle
curprev 19:3519:35, 13 April 2016 132.170.15.255 talk 1,989 bytes 0 No edit summary undo

curprev 22:3922:39, 10 January 2015 Download talk contribs m 1,989 bytes +54 cleanup and gen fixes using AWB undo

curprev 18:0618:06, 13 December 2014 Alejandrocaro35 talk contribs 1,935 bytes +4 →Formal notation undo

curprev 12:4412:44, 11 November 2014 101.167.18.166 talk 1,931 bytes +36 No edit summary undo
curprev 12:4312:43, 11 November 2014 101.167.18.166 talk 1,895 bytes −36 No edit summary undo
curprev 12:4312:43, 11 November 2014 101.167.18.166 talk 1,931 bytes +36 No edit summary undo

curprev 12:2112:21, 20 May 2014 195.29.221.170 talk 1,895 bytes +24 {{full}} undo

curprev 13:0913:09, 23 February 2014 Alejandrocaro35 talk contribs 1,871 bytes +5 No edit summary undo
curprev 12:4912:49, 23 February 2014 Alejandrocaro35 talk contribs 1,866 bytes +13 No edit summary undo

curprev 11:0611:06, 6 July 2013 Graham87 talk contribs m 1,853 bytes 0 1 revision from nost:Disjunction introduction: import old edit from the Nostalgia Wikipedia, see User:Graham87/Import undo

curprev 00:1400:14, 25 February 2013 Legobot talk contribs m 1,853 bytes −63 Bot: Migrating langlinks to WP:Wikidata - d:q5282267 undo

curprev 21:4821:48, 10 March 2012 Gregbard talk contribs m 1,916 bytes −48 clean up using AWB undo

curprev 23:5623:56, 5 March 2012 Gregbard talk contribs 1,964 bytes +99 ref undo
curprev 23:5223:52, 5 March 2012 Gregbard talk contribs 1,865 bytes +534 form undo

curprev 02:0702:07, 4 March 2012 Gregbard talk contribs 1,331 bytes +45 added Category:Theorems in propositional logic using HotCat undo

curprev 05:1805:18, 21 February 2012 Gregbard talk contribs 1,286 bytes −19 removed Category:Logic using HotCat undo

curprev 11:2811:28, 18 February 2012 Gregbard talk contribs 1,305 bytes +206 Template:Transformation rules using AWB undo

curprev 20:3320:33, 3 April 2011 Voomoo talk contribs 1,099 bytes −40 these few words are not needed and make the wording bulky undo

curprev 18:1418:14, 14 November 2010 Jim.belk talk contribs 1,139 bytes +23 Added rules of inference navbox undo

curprev 02:3702:37, 20 February 2010 Luckas-bot talk contribs m 1,116 bytes +35 robot Adding: pt:Introdução da disjunção undo

curprev 01:2601:26, 17 December 2009 SmackBot talk contribs m 1,081 bytes +27 remove Erik9bot category,outdated, tag and general fixes undo

curprev 17:3317:33, 28 June 2009 Erik9bot talk contribs 1,054 bytes +49 add Category:Articles lacking sources (Erik9bot) undo

curprev 17:5017:50, 17 April 2009 Calle talk contribs m 1,005 bytes +28 →See also: iw:sv undo

curprev 11:2111:21, 3 March 2008 Gregbard talk contribs m 977 bytes +4 argument using AWB undo

curprev 01:3501:35, 21 February 2008 67.169.9.177 talk 973 bytes +27 Principle of explosion undo
curprev 01:3001:30, 21 February 2008 67.169.9.177 talk 946 bytes +246 Disjunction introduction is controversial in paraconsistent logic. undo

curprev 22:3022:30, 27 October 2007 80.229.229.117 talk 700 bytes −15 →See also undo

curprev 06:3506:35, 11 July 2007 Gregbard talk contribs m 715 bytes +34 No edit summary undo

curprev 12:3612:36, 23 June 2007 Gregbard talk contribs m 681 bytes −8 →See also undo
curprev 12:3512:35, 23 June 2007 Gregbard talk contribs m 689 bytes +41 No edit summary undo

curprev 08:1108:11, 23 October 2006 66.91.55.70 talk 648 bytes +59 No edit summary undo

curprev 03:3003:30, 5 August 2006 Rctay talk contribs m 589 bytes 0 changed position of comma undo

curprev 21:2121:21, 2 August 2006 128.171.103.5 talk 589 bytes −5 No edit summary undo

Retrieved from "https://en.wikipedia.org/wiki/Disjunction_introduction"