Implicational propositional calculus: 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 03:3703:37, 22 April 2025 JRSpriggs talk contribs 21,845 bytes −1,879 Undid revision 1286802720 by Marc Schroeder (talk) You are missing the whole point which is to avoid using falsum in the formulas undo Tag: Undo
curprev 02:1902:19, 22 April 2025 Marc Schroeder talk contribs 23,724 bytes +1,879 No edit summary undo Tag: Reverted

curprev 06:4506:45, 18 September 2024 David Eppstein talk contribs 21,845 bytes −11 User:Khang200923, are you really incapable of following the link to the bottom of the page and seeing the reference there, but capable of following it when it is formatted as a footnote, or are you just stubbornly refusing to make easy fixes yourself and making work for other editors instead? undo

curprev 08:2308:23, 15 September 2024 AnomieBOT talk contribs m 21,856 bytes +20 Dating maintenance tags: {{Citation needed}} undo
curprev 06:2306:23, 15 September 2024 Khang200923 talk contribs m 21,836 bytes +20 citation needed undo

curprev 16:2716:27, 12 November 2023 2a02:1812:110c:dc00:74df:ba46:c9cd:45e4 talk 21,816 bytes +34 No edit summary undo

curprev 03:2503:25, 22 September 2023 Sdkb talk contribs m 21,782 bytes +13 →See also: Correcting section link formatting, general fixes undo Tag: AWB

curprev 07:4507:45, 16 December 2021 Cedar101 talk contribs m 21,769 bytes −112 →Functional (in)completeness: replace <math>\bot</math> with ⊥ undo

curprev 22:2422:24, 15 December 2021 JRSpriggs talk contribs 21,881 bytes −16 Undid revision 1060433624 by 185.122.225.105 (talk) not a helpful change undo Tag: Undo
curprev 13:4413:44, 15 December 2021 185.122.225.105 talk 21,897 bytes +16 →Functional (in)completeness undo Tag: Reverted
curprev 07:0107:01, 15 December 2021 Usernamekiran talk contribs m 21,881 bytes +15 aded {reflist}, clean up undo Tag: AWB

curprev 01:1801:18, 10 November 2021 Tim Smith talk contribs 21,866 bytes +257 →Functional (in)completeness: reworked section and added reference undo

curprev 02:2102:21, 9 November 2021 Tim Smith talk contribs 21,609 bytes +499 →Testing whether a formula of the implicational propositional calculus is a tautology: computational complexity undo

curprev 04:0804:08, 10 February 2021 JRSpriggs talk contribs 21,110 bytes +29 Undid revision 1005934007 by Hellacioussatyr (talk) not a duplicate, a different font undo Tag: Undo
curprev 04:0204:02, 10 February 2021 Hellacioussatyr talk contribs 21,081 bytes −29 Removed duplicate undo Tags: Reverted Mobile edit Mobile web edit Advanced mobile edit

curprev 04:0904:09, 7 May 2019 BD2412 talk contribs m 21,110 bytes −7 →Proof: Replace "let us consider" statements per MOS:NOTED and consensus at Wikipedia talk:Manual of Style#"Let us consider" statements, replaced: Let us consider → Consider undo Tag: AWB

curprev 01:0801:08, 12 September 2018 JRSpriggs talk contribs 21,117 bytes −149 →Proof: simplify the second half of the completeness proof undo

curprev 02:2702:27, 1 September 2017 KolbertBot talk contribs m 21,266 bytes +1 Bot: HTTP→HTTPS undo

curprev 15:5515:55, 15 July 2017 Deacon Vorbis talk contribs m 21,265 bytes −2 →top: LaTeX spacing clean up, replaced: \!</math> → </math> using AWB undo

curprev 01:3001:30, 13 July 2017 Cedar101 talk contribs m 21,267 bytes +229 →Completeness: {{EquationRef}} undo

curprev 05:5605:56, 9 May 2016 BG19bot talk contribs m 21,038 bytes +4 WP:CHECKWIKI error fix. Broken bracket. Do general fixes if a problem exists. -, replaced: → using AWB undo

curprev 14:2614:26, 8 May 2016 SloppyG talk contribs 21,034 bytes +126 →Axiom system: Added introduction, to explicitly state that the axiomatic statements are all considered true by definition. undo Tag: Visual edit

curprev 16:4416:44, 23 April 2016 SloppyG talk contribs 20,908 bytes −1 →The Bernays–Tarski axiom system: There was an erroneous parenthesis in the 3rd statement of the proof. undo Tag: Visual edit

curprev 14:2614:26, 7 January 2016 Qwertyus talk contribs 20,909 bytes −18 Unlinked: Case analysis undo

curprev 12:1412:14, 29 September 2014 JRSpriggs talk contribs 20,927 bytes +455 →An alternative axiomatization: comment on effort required undo

curprev 19:3819:38, 27 September 2014 JRSpriggs talk contribs 20,472 bytes +2,368 →An alternative axiomatization: 2nd example -- Łukasiewicz' sole axiom undo
curprev 09:4609:46, 27 September 2014 JRSpriggs talk contribs 18,104 bytes +801 →An alternative axiomatization: add an example undo
curprev 09:1809:18, 27 September 2014 JRSpriggs talk contribs 17,303 bytes +49 →The Bernays–Tarski axiom system: link to "Hypothetical syllogism" undo

curprev 15:1615:16, 21 September 2014 JRSpriggs talk contribs 17,254 bytes −446 →The Bernays–Tarski axiom system: word choice; consolidate lemma into derivation to simplify undo
curprev 11:0411:04, 21 September 2014 JRSpriggs talk contribs 17,700 bytes +1,763 →The Bernays–Tarski axiom system: new section undo

curprev 04:1604:16, 17 September 2014 JRSpriggs talk contribs 15,937 bytes −1 →An alternative axiomatization: spelling undo
curprev 01:3801:38, 17 September 2014 JRSpriggs talk contribs 15,938 bytes +177 →An alternative axiomatization: insert a symbol "ꞈ" in each schema to indicate where the conclusion used in the completeness proof begins undo

curprev 05:2705:27, 16 September 2014 JRSpriggs talk contribs 15,761 bytes +1,045 →An alternative axiomatization: explain last axiom schema in more detail undo

curprev 02:5402:54, 15 September 2014 JRSpriggs talk contribs 14,716 bytes +1,852 →An alternative axiomatization: new section undo

curprev 05:3305:33, 13 September 2014 JRSpriggs talk contribs 12,864 bytes +30 →Adding an axiom schema: Nevertheless undo

curprev 11:4811:48, 12 September 2014 JRSpriggs talk contribs 12,834 bytes +609 →Adding an axiom schema: add example undo

curprev 06:2106:21, 11 September 2014 JRSpriggs talk contribs 12,225 bytes +848 →Adding an axiom schema: new section undo

curprev 14:5214:52, 26 August 2014 JRSpriggs talk contribs 11,377 bytes +82 →Testing whether a formula of the implicational propositional calculus is a tautology: link to a section in tautology article undo

curprev 09:1109:11, 23 August 2014 JRSpriggs talk contribs 11,295 bytes +1,790 →Testing whether a formula of the implicational propositional calculus is a tautology: new section undo

curprev 20:3320:33, 22 August 2014 JRSpriggs talk contribs 9,505 bytes +157 →Proof: link to "Boolean satisfiability problem#Algorithms for solving SAT" undo

curprev 09:2109:21, 5 May 2014 JRSpriggs talk contribs 9,348 bytes −11 not simplier undo
curprev 09:1609:16, 5 May 2014 JRSpriggs talk contribs 9,359 bytes +21 →Basis properties: change section title to "Basic properties of derivation" undo

curprev 23:0823:08, 3 May 2014 Michael Hardy talk contribs 9,338 bytes −13 No edit summary undo

curprev 04:5804:58, 19 March 2013 Byelf2007 talk contribs m 9,351 bytes 0 alphabetical undo

curprev 19:1019:10, 15 March 2013 Addbot talk contribs m 9,351 bytes −71 Bot: Migrating 2 interwiki links, now provided by Wikidata on d:q6007243 undo

curprev 15:5715:57, 17 January 2013 EmilJ talk contribs 9,422 bytes +200 →References: ref undo
curprev 15:5215:52, 17 January 2013 EmilJ talk contribs 9,222 bytes +275 →Axiom system: shorter axiom system undo
curprev 15:4015:40, 17 January 2013 R'n'B talk contribs m 8,947 bytes +14 Fix links to disambiguation page False undo

curprev 23:4323:43, 27 February 2012 Gregbard talk contribs 8,933 bytes +26 added Category:Conditionals using HotCat undo

curprev 13:0113:01, 1 April 2011 Hugo Herbelin talk contribs 8,907 bytes +12 →Completeness: Restored subsection for proof (after discussion with CBM) undo

22 April 2025

18 September 2024

15 September 2024

12 November 2023

22 September 2023

16 December 2021

15 December 2021

10 November 2021

9 November 2021

10 February 2021

7 May 2019

12 September 2018

1 September 2017

15 July 2017

13 July 2017

9 May 2016

8 May 2016

23 April 2016

7 January 2016

29 September 2014

27 September 2014

21 September 2014

17 September 2014

16 September 2014

15 September 2014

13 September 2014

12 September 2014

11 September 2014

26 August 2014

23 August 2014

22 August 2014

5 May 2014

3 May 2014

19 March 2013

15 March 2013

17 January 2013

27 February 2012

1 April 2011