De Morgan's laws: 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 08:2908:29, 6 April 2024‎ Jef statml talk contribs‎ 22,883 bytes −1‎ corrected minor error in proof undo

curprev 00:2200:22, 6 February 2024‎ D.Coroian talk contribs‎ 22,884 bytes +11‎ →‎Formal proof: Fixed section link undo Tags: Mobile edit Mobile web edit
curprev 00:1700:17, 6 February 2024‎ D.Coroian talk contribs‎ 22,873 bytes −10‎ →‎Formal proof: Made notation more consistent and less confusing undo Tags: Mobile edit Mobile web edit

curprev 12:1112:11, 31 January 2024‎ Darcourse talk contribs‎ 22,883 bytes +12‎ →‎Formal notation: ytpos undo

curprev 04:3904:39, 21 January 2024‎ InternetArchiveBot talk contribs‎ 22,871 bytes +158‎ Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.5 undo

curprev 13:2213:22, 31 December 2023‎ Marc Schroeder talk contribs‎ m 22,713 bytes −173‎ →‎Formal notation: Removed a clumsy paraphrase. undo

curprev 16:0716:07, 30 December 2023‎ Marc Schroeder talk contribs‎ 22,886 bytes +805‎ →‎Formal notation: (1) added '''generalized De Morgan’s laws''' (like sub set theory: Unions and intersections of any number of sets) (2) layout improvements undo

curprev 13:0613:06, 9 November 2023‎ Andrei Stroe talk contribs‎ 22,081 bytes +8‎ →‎top: escape these undo

curprev 00:4400:44, 7 October 2023‎ 70.27.1.63 talk‎ 22,073 bytes −1,116‎ →‎Substitution form: This paragraph doesn't make mathematical sense, and its contents are nowhere in the cited article. undo Tags: Mobile edit Mobile web edit

curprev 09:3209:32, 20 September 2023‎ GMH Melbourne talk contribs‎ 23,189 bytes 0‎ Reverting edit(s) by Onlyrama (talk) to rev. 1175104273 by 216.165.95.140: Vandalism (RW 16.1) undo Tags: RW Undo
curprev 09:2609:26, 20 September 2023‎ Onlyrama talk contribs‎ m 23,189 bytes 0‎ No edit summary undo Tags: Reverted missing file added

curprev 20:3920:39, 12 September 2023‎ 216.165.95.140 talk‎ 23,189 bytes +1‎ Wrong nationality undo Tags: Manual revert Visual edit
curprev 13:3313:33, 12 September 2023‎ 87.224.100.100 talk‎ 23,188 bytes −1‎ No edit summary undo Tag: Reverted

curprev 19:1019:10, 22 August 2023‎ Saolof talk contribs‎ m 23,189 bytes +59‎ →‎In intuitionistic logic: made weak excluded middle an article link undo

curprev 02:2102:21, 10 August 2023‎ Citation bot talk contribs‎ 23,130 bytes +33‎ Add: isbn, date, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Abductive | Category:Rules of inference | #UCB_Category 35/44 undo

curprev 21:3821:38, 3 August 2023‎ 216.99.209.26 talk‎ 23,097 bytes −2‎ →‎Engineering: remove stray backslash in formula; caused extra space before B undo Tag: Manual revert
curprev 19:4519:45, 3 August 2023‎ Mgriessler talk contribs‎ m 23,099 bytes +10‎ →‎Formal notation: In the engineering section there was an error in the not (A and B) equivalency. undo Tag: Reverted

curprev 10:1410:14, 31 July 2023‎ 14.140.81.58 talk‎ 23,089 bytes −8‎ →‎Engineering undo Tag: Reverted

curprev 23:4323:43, 28 June 2023‎ Parekhnish talk contribs‎ 23,097 bytes −4‎ Undid revision 1162337664 by 102.218.13.136 (talk) undo Tag: Undo
curprev 13:0813:08, 28 June 2023‎ 102.218.13.136 talk‎ 23,101 bytes +4‎ Increased accuracy undo Tags: Reverted Mobile edit Mobile web edit

curprev 18:0818:08, 1 June 2023‎ IllusionTest talk contribs‎ 23,097 bytes +2‎ No edit summary undo Tag: 2017 wikitext editor

curprev 00:2600:26, 21 May 2023‎ Partofthemachine talk contribs‎ 23,095 bytes +6‎ The source does not spell his name correctly undo

curprev 04:5604:56, 29 April 2023‎ Goodphy talk contribs‎ 23,089 bytes +295‎ Added another form of De Morgan's law that uses set subtraction operation. undo Tag: Visual edit

curprev 17:2017:20, 12 April 2023‎ TLop503 talk contribs‎ m 22,794 bytes +173‎ Elaborated on double-headed arrow meaning undo Tag: Visual edit

curprev 18:1918:19, 2 April 2023‎ 212.95.5.64 talk‎ 22,621 bytes +137‎ →‎In intuitionistic logic: Example undo Tags: Mobile edit Mobile web edit
curprev 10:4010:40, 2 April 2023‎ 91.141.41.194 talk‎ 22,484 bytes +2‎ →‎In intuitionistic logic: Typo undo

curprev 02:4602:46, 14 March 2023‎ 172.56.249.86 talk‎ 21,856 bytes 0‎ →‎Engineering: corrected expression to emplace overbars only over each of the substituent propositional components within the disjunction; not also over each or either of the left and right parenthesis marks demarcating the disjunction undo

curprev 02:2902:29, 21 February 2023‎ Partofthemachine talk contribs‎ 21,856 bytes −1‎ No edit summary undo

curprev 05:5805:58, 20 February 2023‎ Partofthemachine talk contribs‎ 21,857 bytes −62‎ MOS:YOU undo

curprev 07:1507:15, 14 February 2023‎ 92.35.57.35 talk‎ 21,919 bytes −19‎ →‎Text searching: "same set of documents" sounded like it referred to the text above undo

curprev 23:4523:45, 11 February 2023‎ Seberle talk contribs‎ 21,938 bytes +4‎ Undid revision 1137771571 by 217.165.145.85 (talk) undo Tag: Undo

curprev 10:0610:06, 6 February 2023‎ 217.165.145.85 talk‎ 21,934 bytes −4‎ →‎Formal proof: Here they are not proper subsets for they are equal. undo Tags: Reverted Mobile edit Mobile web edit

curprev 14:5414:54, 1 February 2023‎ SandroGarpella talk contribs‎ m 21,938 bytes +410‎ Add full citations that were missing undo Tag: Visual edit

curprev 20:0920:09, 22 January 2023‎ Citation bot talk contribs‎ 21,528 bytes −68‎ Alter: url, template type. URLs might have been anonymized. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

curprev 10:4010:40, 13 January 2023‎ IllusionTest talk contribs‎ 21,596 bytes −5‎ No edit summary undo

curprev 20:4420:44, 12 January 2023‎ IllusionTest talk contribs‎ 21,601 bytes 0‎ No edit summary undo
curprev 20:4420:44, 12 January 2023‎ IllusionTest talk contribs‎ 21,601 bytes +1‎ No edit summary undo
curprev 20:4320:43, 12 January 2023‎ IllusionTest talk contribs‎ 21,600 bytes +559‎ No edit summary undo

curprev 06:5006:50, 21 December 2022‎ Egeymi talk contribs‎ 21,041 bytes +43‎ Filled in 1 bare reference(s) with reFill 2 + 1 undo
curprev 05:0405:04, 21 December 2022‎ Mako001 talk contribs‎ m 20,998 bytes +38‎ Tagging pages with bare URLs for citation, prior to follow up with tools (via WP:JWB) undo

curprev 17:3017:30, 29 November 2022‎ Saolof talk contribs‎ 20,960 bytes 0‎ →‎In intuitionistic logic undo
curprev 01:4501:45, 29 November 2022‎ Saolof talk contribs‎ 20,960 bytes +199‎ →‎In intuitionistic logic undo

curprev 22:0722:07, 28 November 2022‎ Saolof talk contribs‎ 20,761 bytes +302‎ →‎In intuitionistic logic: Added the quantifier law equivalents. Doublechecked that they hold in Coq just to be extra sure. undo

curprev 16:0116:01, 16 November 2022‎ Worst Username talk contribs‎ 20,459 bytes +35‎ →‎Infinite unions and intersections: Changed section name and content as the formula applies for any number of sets, including finite. undo

curprev 13:4913:49, 13 November 2022‎ 197.221.245.50 talk‎ 20,424 bytes +4‎ →‎Engineering undo

6 April 2024

6 February 2024

31 January 2024

21 January 2024

31 December 2023

30 December 2023

9 November 2023

7 October 2023

20 September 2023

12 September 2023

22 August 2023

10 August 2023

3 August 2023

31 July 2023

28 June 2023

1 June 2023

21 May 2023

29 April 2023

12 April 2023

2 April 2023

1 April 2023

14 March 2023

21 February 2023

20 February 2023

14 February 2023

11 February 2023

6 February 2023

1 February 2023

22 January 2023

13 January 2023

12 January 2023

21 December 2022

29 November 2022

28 November 2022

16 November 2022

13 November 2022