Rule of replacement: 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:1902:19, 10 August 2023 Citation bot talk contribs 4,231 bytes +22 Add: isbn, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Abductive | Category:Rules of inference | #UCB_Category 26/44 undo

curprev 02:3202:32, 9 July 2023 DanCherek talk contribs 4,209 bytes −1 attribution: text was copied from List of rules of inference on 8 July 2023; see that page's history for full attribution (see WP:RIA for more information) undo

curprev 04:4604:46, 8 July 2023 Systemal talk contribs 4,210 bytes +159 Added double negation elimination undo Tags: Visual edit Mobile edit Mobile web edit
curprev 04:0704:07, 8 July 2023 Systemal talk contribs 4,051 bytes +2,128 Added table with rules of replacement undo Tags: Visual edit Mobile edit Mobile web edit

curprev 20:0320:03, 8 June 2022 SamanthaNguyen talk contribs 1,923 bytes +103 Importing Wikidata short description: "Inference rule that may be applied to only a particular segment of an expression" undo Tag: Shortdesc helper

curprev 11:1111:11, 2 November 2021 Paradoctor talk contribs 1,820 bytes −76 Reverted good faith edits by 2601:CA:8000:5270:0:0:0:5A76 (talk): Notation is determined by the particular proof system used undo Tags: Twinkle Undo

curprev 18:0318:03, 28 October 2021 2601:ca:8000:5270::5a76 talk 1,896 bytes +76 No edit summary undo Tag: Reverted

curprev 13:1613:16, 21 June 2021 Paradoctor talk contribs 1,820 bytes +41 →top: +See also: Salva veritate undo

curprev 00:3900:39, 29 April 2021 Numen17 talk contribs 1,779 bytes −1 Substituted a name for another. undo

curprev 09:5609:56, 18 December 2020 Monkbot talk contribs m 1,780 bytes −22 Task 18 (cosmetic): eval 2 templates: del empty params (1×); del |ref=harv (1×); undo Tag: AWB

curprev 12:3112:31, 10 February 2020 Dhrm77 talk contribs m 1,802 bytes −6 Reverted 1 edit by 73.121.85.14 (talk) to last revision by Brantmeierz (TW) undo Tag: Undo

curprev 17:3817:38, 8 February 2020 73.121.85.14 talk 1,808 bytes +6 Shrek undo Tags: Mobile edit Mobile web edit

curprev 20:0620:06, 27 January 2020 Brantmeierz talk contribs 1,802 bytes +21 Converting ref to note undo

curprev 09:1009:10, 14 November 2019 InternetArchiveBot talk contribs 1,781 bytes +81 Bluelink 1 book for verifiability.) #IABot (v2.0) (GreenC bot undo

curprev 09:3009:30, 8 November 2015 BG19bot talk contribs m 1,671 bytes −21 WP:CHECKWIKI error fix for #64. Do general fixes if a problem exists. - using AWB (11700) undo

curprev 06:0006:00, 4 October 2015 70.65.141.162 talk 1,692 bytes +25 Add link to material equivalence undo

curprev 22:3122:31, 3 August 2015 Arthur Rubin talk contribs 1,667 bytes −18 Undid revision 674423624 by 200.2.54.98 (talk) per WP:NOTBROKEN undo
curprev 20:5420:54, 3 August 2015 200.2.54.98 talk 1,685 bytes +18 No edit summary undo

curprev 20:4220:42, 9 March 2015 Olexa Riznyk talk contribs m 1,667 bytes −198 "Tautology (logic)" -> "Tautology (rule of inference)" undo

curprev 16:1616:16, 26 January 2015 Cliff talk contribs m 1,865 bytes +38 parallel structure. undo

curprev 02:5902:59, 10 June 2014 IfYouDoIfYouDon't talk contribs m 1,827 bytes +23 First sentence: Added wikilink for (logical) "expression". undo

curprev 20:3920:39, 14 August 2013 BG19bot talk contribs m 1,804 bytes −10 WP:CHECKWIKI error fix for #61. Punctuation goes before References. Do general fixes if a problem exists. - using AWB (9421) undo

curprev 20:0020:00, 19 July 2013 Legobot talk contribs m 1,814 bytes +15 BOT: Dating templates: {{clarify}} (1). Errors? stop me undo
curprev 19:3119:31, 19 July 2013 Jochen Burghardt talk contribs 1,799 bytes +246 No edit summary undo
curprev 19:2319:23, 19 July 2013 Jochen Burghardt talk contribs 1,553 bytes −85 deleted particular page numbers in ref.s undo
curprev 19:2219:22, 19 July 2013 Jochen Burghardt talk contribs 1,638 bytes +356 fixed citations from "Material_implication_(rule_of_inference)" article undo

curprev 20:4120:41, 9 June 2013 Arthur Rubin talk contribs 1,282 bytes −1,745 Reverted good faith edits by 184.97.81.228 (talk): There are many tables of "rule(s) of replacement"; yours is arbitrary, as you don't have a published source. (TW) undo
curprev 20:3520:35, 9 June 2013 184.97.81.228 talk 3,027 bytes +1,745 added my table of the rules, described the logical operators, added my references undo Tag: Incorrectly formatted external link or image

curprev 23:1523:15, 5 June 2013 ENeville talk contribs 1,282 bytes +86 Edit per WP:BEGIN. undo

curprev 22:3722:37, 11 May 2013 76.78.3.61 talk 1,196 bytes +89 No edit summary undo

curprev 06:4006:40, 16 August 2012 Arthur Rubin talk contribs 1,107 bytes −34 Reverted to revision 481230511 by Gregbard: sorry, those were the incorrect links and rules. (TW) undo
curprev 06:3906:39, 16 August 2012 Arthur Rubin talk contribs 1,141 bytes +2 Undid revision 507647686 by Arthur Rubin (talk) oops undo
curprev 06:3906:39, 16 August 2012 Arthur Rubin talk contribs 1,139 bytes −2 Reverted good faith edits by FrescoBot (talk): Wrong links. (TW) undo

curprev 13:1913:19, 14 August 2012 FrescoBot talk contribs m 1,141 bytes +2 Bot: link syntax/spacing undo

curprev 14:5414:54, 30 July 2012 112.200.48.160 talk 1,139 bytes +32 No edit summary undo

curprev 22:5922:59, 10 March 2012 Gregbard talk contribs m 1,107 bytes −34 clean up/ref using AWB undo

curprev 21:4421:44, 26 February 2012 Arthur Rubin talk contribs 1,141 bytes +9 add failed=y to vc -- it's unvetted opinions of the author who is (according to the site) a philosophy teacher undo
curprev 21:4021:40, 26 February 2012 Helpful Pixie Bot talk contribs m 1,132 bytes +19 Dated {{Verify credibility}}. (Build p623) undo
curprev 21:2121:21, 26 February 2012 Arthur Rubin talk contribs 1,113 bytes +22 {{verify credibility}} undo
curprev 20:1420:14, 26 February 2012 Arthur Rubin talk contribs 1,091 bytes −52 remove two: material implication is not normally a rule under thant name, and material equivalence is not a rule; the real rule biconditional introduction and biconditional elimination are not rules of replacement undo

curprev 08:0708:07, 19 February 2012 Gregbard talk contribs 1,143 bytes +33 added Category:Logical expressions using HotCat undo

curprev 06:5206:52, 18 February 2012 Gregbard talk contribs m 1,110 bytes −1 fx undo
curprev 04:3004:30, 18 February 2012 Michael Hardy talk contribs 1,111 bytes 0 No edit summary undo
curprev 03:0503:05, 18 February 2012 Gregbard talk contribs 1,111 bytes 0 temp undo
curprev 01:0101:01, 18 February 2012 69.181.117.150 talk 1,111 bytes −1 No edit summary undo

10 August 2023

9 July 2023

8 July 2023

8 June 2022

2 November 2021

28 October 2021

21 June 2021

29 April 2021

18 December 2020

10 February 2020

8 February 2020

27 January 2020

14 November 2019

11 September 2019

8 November 2015

4 October 2015

3 August 2015

9 March 2015

26 January 2015

10 June 2014

14 August 2013

19 July 2013

9 June 2013

5 June 2013

11 May 2013

16 August 2012

14 August 2012

30 July 2012

10 March 2012

26 February 2012

19 February 2012

18 February 2012