Modus ponens: 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 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

curprev 22:1222:12, 5 March 2023‎ Cessaune talk contribs‎ m 16,612 bytes −1‎ No edit summary undo

curprev 02:5902:59, 16 November 2022‎ Knorlin talk contribs‎ 16,613 bytes −33‎ →‎Algebraic semantics: Some rephrasing for better flow undo

curprev 02:0402:04, 14 October 2022‎ MaxEnt talk contribs‎ 15,996 bytes +1,078‎ except for the circular use of \rightarrow, I think I nailed Boolean algebra, many decades since my last math course undo

curprev 16:1716:17, 20 June 2022‎ SamanthaNguyen talk contribs‎ 14,918 bytes +4‎ →‎Explanation: numbered list undo Tag: 2017 wikitext editor

curprev 17:3617:36, 13 June 2022‎ SamanthaNguyen talk contribs‎ 14,914 bytes +429‎ + Template:Infobox mathematical statement undo Tag: 2017 wikitext editor

curprev 04:4704:47, 19 March 2022‎ Knorlin talk contribs‎ 14,485 bytes −8‎ →‎Alleged cases of failure: Corrected to avoid the (false) impression that the Shakespeare/Hobbes example comes from McGee himself. undo

curprev 02:0002:00, 18 August 2021‎ BarrelProof talk contribs‎ 14,493 bytes −2‎ →‎See also: The quote marks produce strange results from the annotation undo

curprev 00:2400:24, 17 August 2021‎ BarrelProof talk contribs‎ 14,495 bytes +8‎ →‎See also: title update undo

curprev 17:0917:09, 16 August 2021‎ Botterweg14 talk contribs‎ 14,487 bytes +35‎ →‎See also: adding Import-Export undo

curprev 19:3219:32, 15 July 2021‎ Mechachleopteryx talk contribs‎ 14,452 bytes +20‎ Linked to wiktionary and added "method of putting by placing" undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 15:0115:01, 13 May 2021‎ Horcrux talk contribs‎ 14,432 bytes +55‎ +redirects here undo

curprev 15:4415:44, 13 April 2021‎ TrippingTroubadour talk contribs‎ 14,377 bytes +6‎ →‎Alleged cases of failure undo

curprev 22:3922:39, 25 February 2021‎ Botterweg14 talk contribs‎ 14,371 bytes +4‎ →‎Alleged cases of failure: italics undo

7 July 2024

26 March 2024

25 February 2024

14 February 2024

10 February 2024

9 January 2024

9 December 2023

30 November 2023

29 November 2023

25 November 2023

20 November 2023

19 November 2023

5 November 2023

18 September 2023

17 September 2023

8 September 2023

26 June 2023

26 May 2023

24 May 2023

18 May 2023

25 March 2023

9 March 2023

5 March 2023

16 November 2022

5 November 2022

14 October 2022

20 June 2022

13 June 2022

19 March 2022

18 August 2021

17 August 2021

16 August 2021

15 July 2021

13 May 2021

13 April 2021

25 February 2021