Modus ponens: Revision history

27 February 2026

• curprev 10:1310:13, 27 February 2026 Zzxt000000001 talk contribs m 18,112 bytes +9 No edit summary undo Tags: Visual edit Newcomer task Newcomer task: references

28 June 2025

• curprev 23:0523:05, 28 June 2025 Loverthehater talk contribs m 18,103 bytes −74 replace SEP reference with Template:Cite_SEP undo
• curprev 22:5422:54, 28 June 2025 Loverthehater talk contribs 18,177 bytes +22 →Formal notation: Rewrote paragraph on implication, given a citation. undo
• curprev 21:4121:41, 28 June 2025 Loverthehater talk contribs 18,155 bytes −145 Undid revision 1297841949 by 68.13.173.214 (talk) undo Tag: Undo
• curprev 21:2621:26, 28 June 2025 68.13.173.214 talk 18,300 bytes +145 →Formal notation: Adding conceptual source, uncited and marked as needed. Reworded to be more succinct. undo Tags: Reverted Visual edit
• curprev 17:5617:56, 28 June 2025 Mllhnkz talk contribs 18,155 bytes +618 Added some more sources undo Tag: Visual edit

5 May 2025

• curprev 04:5204:52, 5 May 2025 Loverthehater talk contribs 17,537 bytes +37 →Explanation: unsourced section header undo
• curprev 04:4804:48, 5 May 2025 Loverthehater talk contribs 17,500 bytes +2 →Formal notation: changed citation needed tags to unsourced section header undo
• curprev 04:4604:46, 5 May 2025 Loverthehater talk contribs m 17,498 bytes +38 →Formal notation: added citation needed tags undo

25 April 2025

• curprev 19:0519:05, 25 April 2025 Loverthehater talk contribs 17,460 bytes +432 →Formal notation: hopefully more readable, extended the paragraph undo

24 April 2025

• curprev 21:0121:01, 24 April 2025 Loverthehater talk contribs 17,028 bytes +117 →Formal notation undo
• curprev 19:4019:40, 24 April 2025 Loverthehater talk contribs 16,911 bytes −116 →Formal notation: simplified undo
• curprev 19:3619:36, 24 April 2025 Loverthehater talk contribs 17,027 bytes −22 Combined truth table representation and formal notation sections under formal notation. undo
• curprev 19:2419:24, 24 April 2025 Loverthehater talk contribs 17,049 bytes −184 →Truth table representation: reworked this section to more accurately speak on the relation between modus ponens and implication undo

6 April 2025

• curprev 22:4922:49, 6 April 2025 Loverthehater talk contribs 17,233 bytes +54 →Justification via truth table: renamed header, added some links. see talk page. undo

14 March 2025

• curprev 00:0800:08, 14 March 2025 Remsense talk contribs 17,179 bytes +9 No edit summary undo

13 February 2025

• curprev 22:5022:50, 13 February 2025 TrippingTroubadour talk contribs m 17,170 bytes +1 →Status undo

22 January 2025

• curprev 02:5202:52, 22 January 2025 Mscdancer talk contribs m 17,169 bytes +2 Manually undo the edit by Mechachleopteryx undo

7 July 2024

• curprev 05:0405:04, 7 July 2024 Ornithikos talk contribs 17,167 bytes +1 Reflect that the noun is possessive. #article-select-source-editor undo Tags: Mobile edit Mobile app edit iOS app edit

26 March 2024

• curprev 00:0900:09, 26 March 2024 Alisperic talk contribs m 17,166 bytes 0 →See also undo

25 February 2024

• curprev 01:0701:07, 25 February 2024 (Username or IP removed) 17,166 bytes +14 (edit summary removed) undo Tag: Undo
• curprev 01:0501:05, 25 February 2024 (Username or IP removed) 17,152 bytes −14 an error undo Tags: Reverted Visual edit

14 February 2024

• curprev 07:0907:09, 14 February 2024 David Eppstein talk contribs 17,166 bytes −37 →Status: link not needed undo

10 February 2024

• curprev 22:0722:07, 10 February 2024 Scholar596440 talk contribs m 17,203 bytes 0 Fixed typo undo Tags: Mobile edit Mobile app edit iOS app edit

9 January 2024

• curprev 22:4222:42, 9 January 2024 Gymate talk contribs m 17,203 bytes +6 Added missing commas, corrected formatting undo Tag: Visual edit
• curprev 22:3822:38, 9 January 2024 Gymate talk contribs m 17,197 bytes −30 Undid revision 1183644780 (vandalism) by 2402:8100:26E6:31B4:2BF8:DEED:4094:78D4 (talk) undo Tag: Undo

9 December 2023

• curprev 21:3821:38, 9 December 2023 Knorlin talk contribs m 17,227 bytes +26 →Probability calculus undo

30 November 2023

• curprev 04:1104:11, 30 November 2023 Knorlin talk contribs m 17,201 bytes +137 →Probability calculus undo

29 November 2023

• curprev 02:5802:58, 29 November 2023 Knorlin talk contribs m 17,064 bytes +216 →Correspondence to other mathematical frameworks undo
• curprev 02:4302:43, 29 November 2023 Knorlin talk contribs 16,848 bytes +17 No edit summary undo
• curprev 02:4102:41, 29 November 2023 Knorlin talk contribs 16,831 bytes +26 No edit summary undo
• curprev 02:3802:38, 29 November 2023 Knorlin talk contribs 16,805 bytes +170 →Correspondence to other mathematical frameworks: Adding an explanatory footnote and correcting errors undo

25 November 2023

• curprev 16:5016:50, 25 November 2023 Knorlin talk contribs 16,635 bytes +161 →Algebraic semantics undo
• curprev 16:3316:33, 25 November 2023 Rhosnes talk contribs 16,474 bytes +1 No edit summary undo Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit

20 November 2023

• curprev 20:2720:27, 20 November 2023 Knorlin talk contribs m 16,473 bytes −69 →Probability calculus undo
• curprev 07:3807:38, 20 November 2023 Knorlin talk contribs 16,542 bytes −946 →Probability calculus: 1st graf cut because law of total prob as given was undef. when Pr(~P) = 0. Pr(Q|P) chgd to Pr(P -> Q) in 2nd graf to match Hailperin page cited. undo

19 November 2023

• curprev 08:5908:59, 19 November 2023 Magd2884 talk contribs m 17,488 bytes −3 Fixed typo undo Tags: canned edit summary Mobile edit Mobile app edit iOS app edit

5 November 2023

• curprev 16:5716:57, 5 November 2023 2402:8100:26e6:31b4:2bf8:deed:4094:78d4 talk 17,491 bytes +30 No edit summary undo Tags: Reverted Mobile edit Mobile web edit
• curprev 13:1013:10, 5 November 2023 Thrakkx talk contribs 17,461 bytes −10 No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit
• curprev 04:2704:27, 5 November 2023 Billjones94 talk contribs 17,471 bytes −2 No edit summary undo Tags: Mobile edit Mobile web edit

18 September 2023

• curprev 12:2812:28, 18 September 2023 Andi Fugard talk contribs 17,473 bytes +738 →Probability calculus undo

17 September 2023

• curprev 20:4020:40, 17 September 2023 Prototime talk contribs 16,735 bytes −101 Small clarifications undo Tag: Visual edit

8 September 2023

• curprev 20:1920:19, 8 September 2023 HeyElliott talk contribs 16,836 bytes +2 WP:N'T undo Tag: Visual edit

26 June 2023

• curprev 08:4408:44, 26 June 2023 ClueBot NG talk contribs m 16,834 bytes −18 Reverting possible vandalism by 194.223.18.56 to version by Knorlin. Report False Positive? Thanks, ClueBot NG. (4250944) (Bot) undo Tag: Rollback
• curprev 08:4408:44, 26 June 2023 194.223.18.56 talk 16,852 bytes +18 →Explanation undo Tags: Reverted Mobile edit Mobile web edit

26 May 2023

• curprev 21:3721:37, 26 May 2023 Knorlin talk contribs m 16,834 bytes −3 →Alleged cases of failure: "May seem false" gives the impression of a mistake being made by someone who doesn't know logic. undo

24 May 2023

• curprev 19:0319:03, 24 May 2023 Knorlin talk contribs 16,837 bytes +204 →Alleged cases of failure: Added a sentence to respond to a Talk Page comment. undo

18 May 2023

• curprev 13:4513:45, 18 May 2023 Hellacioussatyr talk contribs 16,633 bytes +33 →Correspondence to other mathematical frameworks undo Tag: 2017 wikitext editor

25 March 2023

• curprev 23:4523:45, 25 March 2023 HeyElliott talk contribs m 16,600 bytes −12 →Algebraic semantics: MOS:CURLY undo Tag: Visual edit

9 March 2023

• curprev 07:1907:19, 9 March 2023 WikiCleanerBot talk contribs m 16,612 bytes 0 v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner