Material conditional: 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 22:5022:50, 30 March 2025 DuncanHill talk contribs 20,187 bytes 0 Fixing harv/sfn reference errors. Please install User:Trappist the monk/HarvErrors.js and watchlist Category:Harv and Sfn no-target errors to help you spot such errors when reading and editing. undo

curprev 22:3822:38, 24 March 2025 Citation bot talk contribs 20,187 bytes +2 Altered pages. Formatted dashes. | Use this bot. Report bugs. | Suggested by Ringo62 | Category:Logical connectives | #UCB_Category 10/21 undo

curprev 09:2609:26, 15 March 2025 Darcourse talk contribs 20,185 bytes −89 →A selection of theorems (classical logic) undo Tag: Manual revert
curprev 09:2509:25, 15 March 2025 Darcourse talk contribs 20,274 bytes +89 →A selection of theorems (classical logic) undo Tag: Reverted
curprev 09:1509:15, 15 March 2025 Darcourse talk contribs m 20,185 bytes −10 No edit summary undo
curprev 09:0609:06, 15 March 2025 Darcourse talk contribs 20,195 bytes +41 →A selection of theorems (classical logic): link focus undo

curprev 05:0205:02, 12 March 2025 Marc Schroeder talk contribs m 20,154 bytes +371 No edit summary undo
curprev 01:5801:58, 12 March 2025 Marc Schroeder talk contribs m 19,783 bytes 0 →Syntactical properties undo
curprev 01:5501:55, 12 March 2025 Marc Schroeder talk contribs 19,783 bytes +3,638 1/ I responded to the inline requests for clarification; 2/ I rolled back the two previous edits on transitivity, which were erroneous. undo Tag: harv-error

curprev 20:3120:31, 11 March 2025 Darcourse talk contribs 16,145 bytes 0 →Formal properties undo
curprev 20:2320:23, 11 March 2025 Darcourse talk contribs 16,145 bytes −2 →Formal properties: P false Q true R false fails it. This extends Import-Export and Or-and-if undo
curprev 08:2408:24, 11 March 2025 Jochen Burghardt talk contribs 16,147 bytes −9 Undid revision 1279786583 by Marc Schroeder (talk): the examples have been chosen deliberately to go on from non-mathematician's everyday experience undo Tag: Undo

curprev 15:4415:44, 10 March 2025 Marc Schroeder talk contribs m 16,156 bytes +9 →Truth table: Made unattractive the erroneous belief that the meanings of A and B are relevant. undo Tag: Reverted

curprev 10:5410:54, 25 January 2025 Eric Kvaalen talk contribs 16,147 bytes +123 →Discrepancies with natural language: The reference says that some counterfactual conditionals are false. undo

curprev 07:0607:06, 22 December 2024 WinstonWolfie talk contribs m 16,024 bytes −8 →Truth table: MOS:DUPLINK undo

curprev 14:3214:32, 14 November 2024 Parksfan1955 talk contribs m 16,032 bytes 0 Reverted 1 edit by 2409:4081:1001:EB6B:D915:EBE6:1A30:DB60 (talk) to last revision by Monkelogus undo Tags: Twinkle Undo Mobile edit Mobile web edit Advanced mobile edit
curprev 13:1413:14, 14 November 2024 2409:4081:1001:eb6b:d915:ebe6:1a30:db60 talk 16,032 bytes 0 No edit summary undo Tags: Reverted Mobile edit Mobile web edit

curprev 23:4923:49, 27 September 2024 Monkelogus talk contribs 16,032 bytes +24 add wikifunctions undo

curprev 01:4201:42, 20 May 2024 Mikhail Ryazanov talk contribs m 16,008 bytes +9 →History: fmt., punct. undo
curprev 01:4201:42, 20 May 2024 Mikhail Ryazanov talk contribs m 15,999 bytes +41 →History: punct., fmt. undo

curprev 22:3222:32, 26 April 2024 Editmakerer talk contribs 15,958 bytes +4 Made it so hyperlink links to directly related article undo Tags: Mobile edit Mobile web edit

curprev 16:5116:51, 6 April 2024 Jochen Burghardt talk contribs 15,954 bytes −471 →Semantics: truth tables are used only for classical logic; rm redundant (see lead) explanation and WP:POV part of recent addition undo
curprev 16:4316:43, 6 April 2024 Jochen Burghardt talk contribs 16,425 bytes −4 →Deductive definition: keep the stronger claim before 14.203.86.129's edit undo
curprev 07:2907:29, 6 April 2024 14.203.86.129 talk 16,429 bytes +587 →Definitions: Explanation of semantics of material implication using negation and conjunction undo

curprev 09:4009:40, 5 April 2024 Jochen Burghardt talk contribs 15,842 bytes +74 →Truth table: add complementing example, and simplify presentation undo
curprev 09:1809:18, 5 April 2024 Jochen Burghardt talk contribs 15,768 bytes +31 →Truth table: refering to row numbers doesn't make sense, since the table rows can be sorted (asc / desc) - I didn't notice the latter feature until now, sorry undo
curprev 00:3700:37, 5 April 2024 Anerdw talk contribs 15,737 bytes −1 →Truth table: Maintain consistency between the truth table and its description. undo

curprev 13:2213:22, 22 March 2024 Thiagovscoelho talk contribs 15,738 bytes +32 No edit summary undo

curprev 04:1804:18, 13 March 2024 Robertas.Vilkas talk contribs 15,706 bytes +286 →Notation: cited Mendelson undo

curprev 23:4123:41, 2 March 2024 Watchduck talk contribs 15,420 bytes −304 →Truth table: Use Template:2-ary truth table. Its colors match the Venn diagrams. undo

curprev 07:4607:46, 21 February 2024 2600:1700:100:c120:540e:2de6:c1de:db92 talk 15,724 bytes 0 →Discrepancies with natural language undo Tags: Mobile edit Mobile web edit

curprev 06:5206:52, 24 January 2024 Lawton992 talk contribs m 15,724 bytes +3 The word "if" was missing from the example undo

curprev 04:1904:19, 22 January 2024 OAbot talk contribs m 15,721 bytes +17 Open access bot: doi updated in citation with #oabot. undo

curprev 04:2104:21, 17 January 2024 Citation bot talk contribs 15,704 bytes +38 Altered template type. Add: type, s2cid. | Use this bot. Report bugs. | Suggested by Abductive | Category:Logical connectives | #UCB_Category 20/21 undo

curprev 20:2320:23, 14 January 2024 Jochen Burghardt talk contribs 15,666 bytes +142 →Truth table: give a quasi-tautological example for F->F being true, which is often hard to understand for beginners undo

curprev 19:5119:51, 10 January 2024 Paradoctor talk contribs m 15,524 bytes 0 →Formal properties: fix undo
curprev 19:5019:50, 10 January 2024 Paradoctor talk contribs 15,524 bytes +5 →Formal properties: is not right distributive undo

curprev 01:5801:58, 3 December 2023 Mindmatrix talk contribs m 15,519 bytes 0 Reverted edit by Dimaush16 (talk) to last version by Jochen Burghardt undo Tag: Rollback
curprev 00:5100:51, 3 December 2023 Dimaush16 talk contribs m 15,519 bytes 0 No edit summary undo Tags: Reverted Visual edit

curprev 21:4321:43, 5 November 2023 Jochen Burghardt talk contribs 15,519 bytes +3 →Discrepancies with natural language: trying to fix grammar undo
curprev 21:3421:34, 5 November 2023 Primergrey talk contribs m 15,516 bytes 0 No edit summary undo Tag: Manual revert
curprev 20:2920:29, 5 November 2023 Primergrey talk contribs m 15,516 bytes 0 No edit summary undo Tag: Reverted
curprev 19:5419:54, 5 November 2023 Primergrey talk contribs 15,516 bytes +9 ce undo

curprev 14:3014:30, 27 August 2023 Wint7 talk contribs m 15,507 bytes −15 →History: use HTML entity instead. [fmt] undo Tag: 2017 wikitext editor

30 March 2025

24 March 2025

15 March 2025

12 March 2025

11 March 2025

10 March 2025

25 January 2025

22 December 2024

14 November 2024

27 September 2024

20 May 2024

26 April 2024

6 April 2024

5 April 2024

22 March 2024

13 March 2024

2 March 2024

21 February 2024

24 January 2024

22 January 2024

17 January 2024

14 January 2024

10 January 2024

3 December 2023

5 November 2023

27 August 2023

24 June 2023