Material implication (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 22:4822:48, 21 May 2024‎ ClueBot NG talk contribs‎ m 5,415 bytes −242,500‎ Reverting possible vandalism by 104.139.37.212 to version by Mikhail Ryazanov. Report False Positive? Thanks, ClueBot NG. (4325307) (Bot) undo Tags: Replaced Rollback Disambiguation links added
curprev 22:4822:48, 21 May 2024‎ 104.139.37.212 talk‎ 247,915 bytes +242,500‎ potato undo Tags: Reverted possible vandalism extraneous markup references removed Visual edit

curprev 02:1402:14, 20 May 2024‎ Mikhail Ryazanov talk contribs‎ m 5,415 bytes +133‎ →‎Partial proof: punct., fmt. undo
curprev 02:0802:08, 20 May 2024‎ Mikhail Ryazanov talk contribs‎ m 5,282 bytes −2‎ →‎top: "allow for" ≠ "allow", fmt., punct., MOS:LQ undo

curprev 00:4500:45, 16 March 2024‎ Eejit43 talk contribs‎ m 5,284 bytes −117‎ Remove invalid DISPLAYTITLE, make a move request if you want to change the page's name (via WP:JWB) undo

curprev 21:2221:22, 9 January 2024‎ Duncpro1 talk contribs‎ 5,401 bytes +118‎ Make title consistent with type of transformation rule undo Tag: Visual edit

curprev 10:5210:52, 7 October 2023‎ The Anome talk contribs‎ 5,283 bytes +8‎ fmt undo Tag: 2017 wikitext editor
curprev 10:5110:51, 7 October 2023‎ The Anome talk contribs‎ 5,275 bytes +66‎ reading of <math>\neg P \lor Q</math> undo Tag: 2017 wikitext editor

curprev 21:3421:34, 20 June 2022‎ AnomieBOT talk contribs‎ m 5,209 bytes +15‎ Dating maintenance tags: {{Clarify}} undo
curprev 21:1421:14, 20 June 2022‎ Jochen Burghardt talk contribs‎ 5,194 bytes +301‎ →‎Partial proof: law of excluded middle: clarify for intuitionistic logic undo

curprev 09:3209:32, 21 January 2022‎ AlexEng talk contribs‎ 4,526 bytes +752‎ illustrative example, less technical formulation of statement. Also convert colon indent to in5 template per WP:ACCESSIBILITY. undo

curprev 19:0519:05, 21 June 2021‎ 198.48.191.37 talk‎ 3,774 bytes −32‎ Remove vandalism undo
curprev 12:0012:00, 21 June 2021‎ 196.188.117.102 talk‎ 3,806 bytes −849‎ →‎Formal notation undo

curprev 14:3614:36, 14 April 2021‎ DeemDeem52 talk contribs‎ 4,655 bytes +416‎ Made more understandable, I think undo Tag: Visual edit

curprev 23:0323:03, 14 December 2020‎ Citation bot talk contribs‎ 4,239 bytes −36‎ Alter: url, isbn. URLs might have been internationalized/anonymized. Upgrade ISBN10 to ISBN13. | You can use this bot yourself. Report bugs here. | Suggested by AManWithNoPlan | All pages linked from cached copy of User:AManWithNoPlan/sandbox2 | via #UCB_webform_linked 856/1516 undo

curprev 13:3013:30, 12 December 2020‎ WikiCleanerBot talk contribs‎ m 4,275 bytes 0‎ v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 04:3104:31, 19 August 2020‎ Tystnaden talk contribs‎ 4,275 bytes −14‎ Undid revision 970295085 by 2001:EE0:54BD:FF00:ADE8:F0C8:73E1:B1A4 (talk) Bad edit undo Tag: Undo

curprev 13:2013:20, 30 July 2020‎ 2001:ee0:54bd:ff00:ade8:f0c8:73e1:b1a4 talk‎ 4,289 bytes +14‎ No edit summary undo Tags: Visual edit Mobile edit Mobile web edit

curprev 13:4413:44, 29 July 2020‎ Dhruvagarwal17 talk contribs‎ m 4,275 bytes +12‎ Added math tags to render symbols correctly undo Tag: Visual edit: Switched

curprev 08:4508:45, 19 July 2020‎ Josang talk contribs‎ 4,263 bytes +432‎ →‎Proof undo

curprev 01:0701:07, 15 June 2020‎ InternetArchiveBot talk contribs‎ 3,831 bytes +135‎ Bluelink 1 book for verifiability (refca)) #IABot (v2.0.1) (GreenC bot undo

curprev 13:1013:10, 10 May 2020‎ 2a00:23c7:8586:5f00:4466:e8e3:daea:7d3f talk‎ 3,696 bytes +3‎ →‎Example undo
curprev 13:1013:10, 10 May 2020‎ 2a00:23c7:8586:5f00:4466:e8e3:daea:7d3f talk‎ 3,693 bytes +7‎ →‎Example undo

curprev 03:3503:35, 26 April 2020‎ Nihiltres talk contribs‎ m 3,686 bytes +20‎ →‎top: Replacing Distinguish-otheruses2 per its deletion discussion undo Tag: AWB

curprev 15:3515:35, 20 April 2020‎ Paper Luigi talk contribs‎ 3,666 bytes +65‎ Adding local short description: "Rule of replacement in propositional logic", overriding Wikidata description "rule of inference" (Shortdesc helper) undo

curprev 19:4719:47, 29 March 2020‎ Bender235 talk contribs‎ m 3,601 bytes −55‎ →‎Proof undo

curprev 04:0004:00, 23 February 2020‎ 74.77.147.212 talk‎ 3,656 bytes +270‎ →‎Example: The original only explained it to someone who already knew how to read logic. My explanation did not assume that. undo Tags: Mobile edit Mobile web edit

curprev 18:5518:55, 3 January 2020‎ Miracle Pen talk contribs‎ 3,386 bytes −46‎ combine hats undo

curprev 13:3413:34, 6 July 2019‎ Br3adina7or talk contribs‎ 3,432 bytes +242‎ Added a truth table. undo Tag: Visual edit

curprev 01:1101:11, 15 June 2019‎ Jarble talk contribs‎ 3,190 bytes +129‎ updating a reference, adding a link undo

curprev 09:2909:29, 24 February 2019‎ Raycheng200 talk contribs‎ 3,061 bytes +56‎ →‎Proof undo
curprev 09:1509:15, 24 February 2019‎ Raycheng200 talk contribs‎ m 3,005 bytes 0‎ →‎Proof undo
curprev 09:1409:14, 24 February 2019‎ Raycheng200 talk contribs‎ m 3,005 bytes +35‎ →‎Proof undo
curprev 09:0809:08, 24 February 2019‎ Raycheng200 talk contribs‎ 2,970 bytes +419‎ No edit summary undo

curprev 14:1614:16, 10 January 2019‎ MisterCake talk contribs‎ 2,551 bytes +19‎ →‎References undo

curprev 05:5405:54, 26 December 2018‎ AnomieBOT talk contribs‎ m 2,532 bytes +19‎ Dating maintenance tags: {{Technical}} undo
curprev 05:3405:34, 26 December 2018‎ Markworthen talk contribs‎ 2,513 bytes +14‎ add technical template tag undo Tag: 2017 wikitext editor

curprev 11:5311:53, 15 October 2018‎ 81.159.164.255 talk‎ 2,499 bytes +16‎ Replaced ungrammatical "and can replace each other" (e.g., missing subject) with "and that either form can replace the other" undo

curprev 12:1712:17, 30 August 2018‎ RussBot talk contribs‎ m 2,483 bytes +8‎ Robot: fix links to disambiguation page Validity undo

curprev 06:2406:24, 19 August 2018‎ Texvc2LaTeXBot talk contribs‎ m 2,475 bytes +7‎ Replacing deprecated latex syntax Wikipedia:Bots/Requests for approval/Texvc2LaTeXBot undo

curprev 18:0618:06, 28 April 2018‎ Omnipaedista talk contribs‎ 2,468 bytes −1‎ No edit summary undo

curprev 07:1007:10, 7 July 2017‎ Simplexity22 talk contribs‎ m 2,469 bytes 0‎ Reverted edits by 202.90.138.91 (talk) to last version by David9550 undo
curprev 07:1007:10, 7 July 2017‎ 202.90.138.91 talk‎ 2,469 bytes 0‎ No edit summary undo

curprev 13:1413:14, 27 August 2016‎ David9550 talk contribs‎ 2,469 bytes −10‎ No edit summary undo

21 May 2024

20 May 2024

16 March 2024

9 January 2024

7 October 2023

20 June 2022

8 June 2022

21 January 2022

21 June 2021

14 April 2021

14 December 2020

12 December 2020

19 August 2020

30 July 2020

29 July 2020

19 July 2020

15 June 2020

10 May 2020

26 April 2020

20 April 2020

29 March 2020

23 February 2020

3 January 2020

6 July 2019

15 June 2019

24 February 2019

10 January 2019

26 December 2018

15 October 2018

30 August 2018

19 August 2018

28 April 2018

7 July 2017

27 August 2016