Negation introduction: 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 04:0004:00, 29 October 2023‎ 61.99.5.49 talk‎ 2,576 bytes −7‎ →‎Proof undo

curprev 04:3504:35, 5 July 2023‎ Fgnievinski talk contribs‎ 2,583 bytes +40‎ →‎References undo Tag: 2017 wikitext editor

curprev 03:3503:35, 24 January 2023‎ NicolinoChess31415926 talk contribs‎ m 2,543 bytes −57‎ No edit summary undo

curprev 18:1518:15, 12 January 2023‎ Perey talk contribs‎ 2,600 bytes +48‎ Adding local short description: "Logical rule of inference", overriding Wikidata description "introduction to the negation" undo Tag: Shortdesc helper

curprev 16:5216:52, 13 June 2022‎ SamanthaNguyen talk contribs‎ 2,552 bytes +362‎ + Template:Infobox mathematical statement undo Tag: 2017 wikitext editor

curprev 18:1718:17, 8 June 2022‎ SamanthaNguyen talk contribs‎ 2,190 bytes −223‎ →‎Proof: change to use default table styling for accessibility (WP:DTABTUT) undo Tag: 2017 wikitext editor

curprev 00:3400:34, 9 July 2021‎ Comp.arch talk contribs‎ m 2,413 bytes −1‎ No edit summary undo Tag: 2017 wikitext editor

curprev 18:1718:17, 21 June 2021‎ Jochen Burghardt talk contribs‎ 2,414 bytes +275‎ →‎Formal notation undo
curprev 18:1118:11, 21 June 2021‎ Jochen Burghardt talk contribs‎ 2,139 bytes −2‎ →‎Formal notation: tune the example so that it more looks like logical inference than like causality; make the used common-sense fact about happy/annoyed explicit; both statements are not contradictory undo
curprev 13:0513:05, 21 June 2021‎ Paradoctor talk contribs‎ 2,141 bytes −581‎ →‎Proof: step 9 was not what it said, conjunction elimination is not an equivalence; simplify proof undo

curprev 15:5715:57, 6 June 2021‎ 5.55.194.12 talk‎ 2,722 bytes −4‎ →‎Proof undo Tag: Visual edit

curprev 04:2404:24, 20 February 2021‎ Raycheng200 talk contribs‎ 2,726 bytes −97‎ →‎Proof undo

curprev 10:1310:13, 28 October 2020‎ Monsieur PhiSciPol talk contribs‎ m 2,823 bytes 0‎ →‎Proof: Conjunction elimination (9) and not (7) undo
curprev 10:1210:12, 28 October 2020‎ Monsieur PhiSciPol talk contribs‎ m 2,823 bytes 0‎ →‎Proof: Disjunctive syllogism with (6, 7) and not (5, 6) undo

curprev 01:5601:56, 26 September 2020‎ 1.43.166.236 talk‎ 2,823 bytes −6‎ →‎Formal notation undo Tag: Manual revert
curprev 01:5501:55, 26 September 2020‎ 1.43.166.236 talk‎ 2,829 bytes +6‎ →‎Formal notation undo Tag: Reverted
curprev 01:5501:55, 26 September 2020‎ 1.43.166.236 talk‎ 2,823 bytes −8‎ →‎Formal notation undo Tag: Manual revert
curprev 01:5401:54, 26 September 2020‎ 1.43.166.236 talk‎ 2,831 bytes +8‎ →‎Formal notation undo Tag: Reverted

curprev 02:5402:54, 18 November 2019‎ InternetArchiveBot talk contribs‎ 2,823 bytes +144‎ Bluelink 1 book for verifiability.) #IABot (v2.0) (GreenC bot undo

curprev 18:1018:10, 8 September 2019‎ 73.186.78.162 talk‎ 2,679 bytes +97‎ →‎Proof: more clear (steps were skipped) undo
curprev 18:0618:06, 8 September 2019‎ 73.186.78.162 talk‎ 2,582 bytes −4‎ →‎Proof: small edit undo

curprev 22:5922:59, 7 September 2019‎ 73.186.78.162 talk‎ 2,586 bytes 0‎ →‎Proof: added an extra step , which does not seem obvious. undo
curprev 22:2222:22, 7 September 2019‎ 73.186.78.162 talk‎ 2,586 bytes +155‎ →‎Proof undo

curprev 06:2306:23, 25 February 2019‎ Raycheng200 talk contribs‎ 2,431 bytes +17‎ →‎Proof undo

curprev 21:2321:23, 14 January 2019‎ Guy Macon talk contribs‎ 1,293 bytes −19‎ Spamming templates into dozens of articles. Undid revision 877940688 by MisterCake (talk) undo Tag: Undo

curprev 21:5821:58, 11 January 2019‎ MisterCake talk contribs‎ 1,312 bytes +19‎ →‎References undo

curprev 22:2122:21, 14 November 2018‎ Texvc2LaTeXBot talk contribs‎ m 1,293 bytes +1‎ Replacing deprecated latex syntax mw:Extension:Math/Roadmap undo

curprev 17:5817:58, 28 April 2018‎ Omnipaedista talk contribs‎ 1,292 bytes +10‎ markup fix undo

curprev 10:3610:36, 30 January 2018‎ Octavarium1999 talk contribs‎ 1,282 bytes −144‎ the external link (https://proofwiki.org/wiki/Category:Propositional_Calculus) leads to an empty page undo Tags: section blanking Visual edit

curprev 12:0412:04, 13 August 2015‎ Alejandrocaro35 talk contribs‎ 1,426 bytes −1‎ No edit summary undo

curprev 20:5020:50, 7 May 2015‎ Joejoebob talk contribs‎ m 1,427 bytes −3‎ Update ProofWiki URL undo

curprev 11:5911:59, 9 November 2014‎ JRSpriggs talk contribs‎ 1,430 bytes −2‎ →‎References: fix the default sort undo
curprev 11:5411:54, 9 November 2014‎ JRSpriggs talk contribs‎ 1,432 bytes −2‎ →‎References: This article is not the main article for the category "Propositional calculus" undo

curprev 12:1812:18, 17 March 2014‎ Jitse Niesen talk contribs‎ m 1,434 bytes −1‎ grammar undo
curprev 04:2904:29, 17 March 2014‎ Mcpheeandrew talk contribs‎ m 1,435 bytes +557‎ verifiable references added undo Tag: gettingstarted edit
curprev 04:0104:01, 17 March 2014‎ Mcpheeandrew talk contribs‎ 878 bytes −690‎ copy edited for style, cohesion, personal style or opinion elements removed undo Tag: gettingstarted edit

curprev 01:5001:50, 16 March 2014‎ Michael Hardy talk contribs‎ 1,568 bytes −44‎ No edit summary undo
curprev 01:1701:17, 16 March 2014‎ C1776M talk contribs‎ 1,612 bytes +81‎ Added tags to the page using Page Curation (copy edit, essay-like) undo

29 October 2023

5 July 2023

24 January 2023

12 January 2023

13 June 2022

8 June 2022

9 July 2021

21 June 2021

6 June 2021

20 February 2021

28 October 2020

26 September 2020

18 November 2019

8 September 2019

7 September 2019

25 February 2019

24 February 2019

14 January 2019

11 January 2019

14 November 2018

28 April 2018

30 January 2018

13 August 2015

7 May 2015

9 November 2014

17 March 2014

16 March 2014

15 March 2014