De Morgan's laws: Revision history

17 July 2024

• curprev 19:1719:17, 17 July 2024‎ Mmalchuk talk contribs‎ m 23,319 bytes +180‎ →‎In computer engineering undo Tag: Visual edit

11 July 2024

• curprev 21:2321:23, 11 July 2024‎ Botterweg14 talk contribs‎ 23,139 bytes −42‎ →‎See also: Alphabetizing + adding Homogeneity (linguistics) which is relevant in that it involves failures of DeMorgan's Laws in natural language undo

2 July 2024

• curprev 00:5000:50, 2 July 2024‎ Mindmatrix talk contribs‎ m 23,181 bytes +10‎ Reverted edit by 113.190.226.16 (talk) to last version by Thiagovscoelho undo Tag: Rollback

1 July 2024

• curprev 23:4923:49, 1 July 2024‎ 113.190.226.16 talk‎ 23,171 bytes −10‎ →‎Unions and intersections of any number of sets undo Tag: Reverted

10 June 2024

• curprev 22:5022:50, 10 June 2024‎ Thiagovscoelho talk contribs‎ 23,181 bytes +38‎ →‎See also undo

7 June 2024

• curprev 14:2614:26, 7 June 2024‎ FBP talk contribs‎ m 23,143 bytes −14‎ Simplified the plain English expression undo

3 June 2024

• curprev 05:2205:22, 3 June 2024‎ David Eppstein talk contribs‎ 23,157 bytes +241‎ →‎In computer engineering: supply requested citation undo

13 May 2024

• curprev 14:5014:50, 13 May 2024‎ OwenBlacker talk contribs‎ m 22,916 bytes +163‎ →‎History: Refs; Language tagging undo

11 May 2024

• curprev 15:0615:06, 11 May 2024‎ Kaiphom talk contribs‎ 22,753 bytes +1‎ →‎Part 2: Though 'or' provides a correct implication, using this argument cannot conclusively claim that <math>x \not\in \overline{A} \cup \overline{B}</math>. 'and' is correct and gives a much stricter condition, allowing <math>x \not\in \overline{A} \cup \overline{B}</math> to be guaranteed. <math>x \in A</math> and <math>x \in B</math>, and thus <math>x \not\in \overline{A}</math> or <math>x \not\in \overline{B}</math>. However, that means <math>x \not\in \overline{A} \cup \overline{B... undo Tags: Mobile edit Mobile web edit

7 May 2024

• curprev 14:1414:14, 7 May 2024‎ DaxServer talk contribs‎ 22,752 bytes −131‎ rm spam, tag undo Tag: Visual edit

6 April 2024

• curprev 08:2908:29, 6 April 2024‎ Jef statml talk contribs‎ 22,883 bytes −1‎ corrected minor error in proof undo

6 February 2024

• 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

31 January 2024

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

21 January 2024

• 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

31 December 2023

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

30 December 2023

• 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

9 November 2023

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

7 October 2023

• 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

20 September 2023

• 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

12 September 2023

• 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

22 August 2023

• 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

10 August 2023

• 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

3 August 2023

• 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

31 July 2023

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

28 June 2023

• 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

1 June 2023

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

21 May 2023

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

29 April 2023

• 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

12 April 2023

• 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

2 April 2023

• 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

1 April 2023

• curprev 13:5013:50, 1 April 2023‎ 83.64.100.29 talk‎ 22,482 bytes −28‎ →‎In intuitionistic logic undo
• curprev 13:3113:31, 1 April 2023‎ 83.64.100.29 talk‎ 22,510 bytes +245‎ →‎In intuitionistic logic undo
• curprev 13:2713:27, 1 April 2023‎ 83.64.100.29 talk‎ 22,265 bytes +79‎ →‎In intuitionistic logic undo
• curprev 13:2113:21, 1 April 2023‎ 83.64.100.29 talk‎ 22,186 bytes −34‎ →‎In intuitionistic logic: Tex cleanup undo
• curprev 13:1513:15, 1 April 2023‎ 83.64.100.29 talk‎ 22,220 bytes +364‎ →‎In intuitionistic logic: Link to LLPO undo

14 March 2023

• 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

21 February 2023

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

20 February 2023

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

14 February 2023

• 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

11 February 2023

• 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

6 February 2023

• 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

1 February 2023

• 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

22 January 2023

• 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

13 January 2023

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