Hypothetical syllogism: Revision history

2 July 2024

• curprev 06:3906:39, 2 July 2024‎ Cewbot talk contribs‎ m 10,246 bytes +194‎ Fixing broken anchor: Reminder of an inactive anchor: one of the popular systems undo

28 April 2024

• curprev 20:2120:21, 28 April 2024‎ Psychastes talk contribs‎ 10,052 bytes +33‎ added Category:Ancient Greek logic using HotCat undo

26 March 2024

• curprev 00:0000:00, 26 March 2024‎ Alisperic talk contribs‎ m 10,019 bytes −1‎ →‎References: paragraph space undo

24 March 2024

• curprev 21:1721:17, 24 March 2024‎ Cewbot talk contribs‎ m 10,020 bytes −23‎ Fixing broken anchor: #Example_1._Simple_axiom_system→most alike anchor Propositional calculus#Example undo

30 December 2023

• curprev 14:4714:47, 30 December 2023‎ ShelfSkewed talk contribs‎ 10,043 bytes +18‎ Dab link undo

24 December 2023

• curprev 17:0417:04, 24 December 2023‎ Cewbot talk contribs‎ m 10,025 bytes −13‎ Fixing broken anchor: #Other types of syllogism→most alike anchor Syllogism#Other types undo

15 December 2023

• curprev 02:2502:25, 15 December 2023‎ 76.112.35.87 talk‎ 10,038 bytes −174‎ Extremely strange and unnecessary wording. undo Tag: Visual edit

3 November 2023

• curprev 08:1308:13, 3 November 2023‎ Aris Makridis talk contribs‎ 10,212 bytes +42‎ No edit summary undo

2 November 2023

• curprev 10:4610:46, 2 November 2023‎ Aris Makridis talk contribs‎ 10,170 bytes +205‎ No edit summary undo Tag: Disambiguation links added

22 September 2023

• curprev 15:4815:48, 22 September 2023‎ Prototime talk contribs‎ m 9,965 bytes +41‎ wikilink undo Tag: Visual edit
• curprev 15:4615:46, 22 September 2023‎ Prototime talk contribs‎ m 9,924 bytes −28‎ No edit summary undo Tag: Visual edit

17 September 2023

• curprev 20:0320:03, 17 September 2023‎ Prototime talk contribs‎ 9,952 bytes −19‎ formatting, slight wording undo Tag: Visual edit
• curprev 20:0120:01, 17 September 2023‎ Prototime talk contribs‎ 9,971 bytes +539‎ clarifications, formatting, wikilinking undo Tag: Visual edit

12 July 2023

• curprev 23:5723:57, 12 July 2023‎ Quercus solaris talk contribs‎ 9,432 bytes +133‎ coordinate terms undo
• curprev 23:5223:52, 12 July 2023‎ Quercus solaris talk contribs‎ 9,299 bytes +39‎ WP:MOS and logical links undo

1 June 2023

• curprev 18:0618:06, 1 June 2023‎ IllusionTest talk contribs‎ 9,260 bytes +2‎ No edit summary undo Tag: 2017 wikitext editor

28 January 2023

• curprev 17:5517:55, 28 January 2023‎ 188.27.164.206 talk‎ 9,258 bytes +3‎ added spaces for readability undo

22 January 2023

• curprev 23:3923:39, 22 January 2023‎ Citation bot talk contribs‎ 9,255 bytes −68‎ Alter: url, template type. URLs might have been anonymized. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

11 January 2023

• curprev 18:5218:52, 11 January 2023‎ IllusionTest talk contribs‎ 9,323 bytes +526‎ No edit summary undo
• curprev 18:2318:23, 11 January 2023‎ IllusionTest talk contribs‎ 8,797 bytes +1,182‎ No edit summary undo

6 December 2022

• curprev 01:2901:29, 6 December 2022‎ MrOllie talk contribs‎ 7,615 bytes −279‎ →‎Proof {{Cite web|url=https://math.stackexchange.com/questions/1135157/when-proving-the-hypothetical-syllogism-inference-rule-why-must-you-assume-that|title = Discrete mathematics - when proving the Hypothetical Syllogism inference rule, why must you assume that p is true?}} undo

8 June 2022

• curprev 19:0019:00, 8 June 2022‎ SamanthaNguyen talk contribs‎ 7,894 bytes −223‎ change to use default table styling for accessibility (WP:DTABTUT) undo Tag: 2017 wikitext editor
• curprev 18:5918:59, 8 June 2022‎ SamanthaNguyen talk contribs‎ 8,117 bytes +475‎ + Template:Infobox mathematical statement, remove link to Ernest W. Adams as it doesn't appear to link to the same person referenced undo Tag: 2017 wikitext editor

1 June 2022

• curprev 20:2720:27, 1 June 2022‎ SpiralSource talk contribs‎ 7,642 bytes +60‎ No edit summary undo Tags: Mobile edit Mobile app edit Android app edit

9 November 2021

• curprev 18:5018:50, 9 November 2021‎ Primium talk contribs‎ 7,582 bytes +4‎ →‎top: Added links undo Tags: Mobile edit Mobile app edit Android app edit
• curprev 13:5413:54, 9 November 2021‎ Serols talk contribs‎ m 7,578 bytes −11‎ Reverted edits by 2409:4050:2D8A:472A:1D57:7111:8D4B:6278 (talk) (HG) (3.4.10) undo Tag: Rollback
• curprev 13:5013:50, 9 November 2021‎ 2409:4050:2d8a:472a:1d57:7111:8d4b:6278 talk‎ 7,589 bytes +11‎ →‎Alternative forms undo Tag: Reverted

16 August 2021

• curprev 20:4020:40, 16 August 2021‎ Citation bot talk contribs‎ 7,578 bytes +140‎ Add: title. Changed bare reference to CS1/2. | Use this bot. Report bugs. | Suggested by BrownHairedGirl | Linked from User:BrownHairedGirl/Articles_with_bare_links | #UCB_webform_linked 537/1358 undo

15 July 2021

• curprev 00:4000:40, 15 July 2021‎ Mechachleopteryx talk contribs‎ 7,438 bytes −15‎ →‎Applicability: Fixed internal link. undo Tags: Mobile edit Mobile web edit Advanced mobile edit

30 June 2021

• curprev 14:3114:31, 30 June 2021‎ 2601:4a:c303:74f0:455a:5d89:8862:6072 talk‎ 7,453 bytes −85‎ The definition "In classical logic, a hypothetical syllogism is a valid argument form which is a syllogism having a conditional statement for one or both of its premises." is grammatically incorrect. The definition "In classical logic, a hypothetical syllogism is a valid argument form, a syllogism with a conditional statement for one or both of its premises." is grammatically correct. undo Tag: Visual edit

18 June 2021

• curprev 10:1510:15, 18 June 2021‎ AugPi talk contribs‎ m 7,538 bytes +2‎ →‎Propositional logic undo

28 February 2021

• curprev 13:5513:55, 28 February 2021‎ Raycheng200 talk contribs‎ m 7,536 bytes +140‎ →‎Proof undo
• curprev 03:5903:59, 28 February 2021‎ Raycheng200 talk contribs‎ 7,396 bytes −1‎ →‎Proof undo
• curprev 03:5803:58, 28 February 2021‎ Raycheng200 talk contribs‎ 7,397 bytes −444‎ →‎Proof undo

30 December 2020

• curprev 06:2906:29, 30 December 2020‎ Dezaxa talk contribs‎ 7,841 bytes +1,256‎ Replaced a sentence stating that HS does not always hold in non-classical logics with a new section - Applicability - giving more detail. undo

23 July 2020

• curprev 21:3221:32, 23 July 2020‎ Dan Gluck talk contribs‎ 6,585 bytes +204‎ →‎Alternative form: an additional alternative form undo
• curprev 10:5410:54, 23 July 2020‎ Dan Gluck talk contribs‎ 6,381 bytes +442‎ →‎Alternative form: describing the deduction system more precisely; "instance of" instead of "substitute to" undo

22 July 2020

• curprev 20:1820:18, 22 July 2020‎ Dan Gluck talk contribs‎ 5,939 bytes +524‎ →‎Alternative form: as a meta-theorem undo
• curprev 16:5916:59, 22 July 2020‎ Dan Gluck talk contribs‎ 5,415 bytes +1,167‎ section Alternative form: proof undo
• curprev 15:4315:43, 22 July 2020‎ Dan Gluck talk contribs‎ m 4,248 bytes +1‎ →‎Alternative form: broken link fixed undo
• curprev 15:4215:42, 22 July 2020‎ Dan Gluck talk contribs‎ 4,247 bytes +25‎ →‎Alternative form: used in Hilbert system undo
• curprev 15:4015:40, 22 July 2020‎ Dan Gluck talk contribs‎ 4,222 bytes +321‎ Alternative form - useful for logic without conjunction symbol undo

24 February 2019

• curprev 10:5410:54, 24 February 2019‎ Raycheng200 talk contribs‎ m 3,901 bytes −53‎ →‎Proof undo
• curprev 10:3910:39, 24 February 2019‎ Raycheng200 talk contribs‎ 3,954 bytes +2‎ →‎Proof undo
• curprev 08:5508:55, 24 February 2019‎ Raycheng200 talk contribs‎ m 3,952 bytes 0‎ →‎Proof undo
• curprev 08:5108:51, 24 February 2019‎ Raycheng200 talk contribs‎ 3,952 bytes +1,115‎ No edit summary undo
• curprev 07:0907:09, 24 February 2019‎ Raycheng200 talk contribs‎ m 2,837 bytes −2‎ No edit summary undo

14 January 2019

• curprev 21:2621:26, 14 January 2019‎ Guy Macon talk contribs‎ 2,839 bytes −19‎ Spamming templates into dozens of articles. Undid revision 877937107 by MisterCake (talk) undo Tag: Undo

11 January 2019

• curprev 21:2821:28, 11 January 2019‎ MisterCake talk contribs‎ 2,858 bytes +19‎ →‎External links undo

8 December 2018

• curprev 12:2012:20, 8 December 2018‎ AnomieBOT talk contribs‎ m 2,839 bytes +19‎ Dating maintenance tags: {{Example needed}} undo