Negation: 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 02:3102:31, 5 January 2025 Fgnievinski talk contribs 19,689 bytes −118 No edit summary undo Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
curprev 02:1502:15, 5 January 2025 Fgnievinski talk contribs 19,807 bytes −20 No edit summary undo Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
curprev 02:0902:09, 5 January 2025 Fgnievinski talk contribs 19,827 bytes −4 No edit summary undo Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit

curprev 04:0804:08, 16 December 2024 Citation bot talk contribs 19,831 bytes −19 Removed parameters. | Use this bot. Report bugs. | Suggested by Dominic3203 | Linked from User:Mathbot/Most_linked_math_articles | #UCB_webform_linked 819/1913 undo

curprev 17:3017:30, 4 December 2024 AnomieBOT talk contribs m 19,850 bytes +19 Dating maintenance tags: {{Cn}} undo
curprev 17:0917:09, 4 December 2024 Jochen Burghardt talk contribs 19,831 bytes +71 →top undo

curprev 15:3915:39, 3 December 2024 Hellomtfk talk contribs 19,760 bytes +191 added p' undo Tag: 2017 wikitext editor

curprev 18:1518:15, 17 November 2024 User693147 talk contribs 19,569 bytes −79 The paragraph begins by saying that negation can be defined in terms of other operators, but the last example was the other way around: it was about defining another operator by using negation. So the last example has been changed to defining negation in terms of NAND or defining it in terms of NOR. undo Tag: Visual edit

curprev 17:1217:12, 16 November 2024 Jochen Burghardt talk contribs 19,648 bytes +23 →top: postpone example after general explanation undo
curprev 16:5816:58, 16 November 2024 Jochen Burghardt talk contribs 19,625 bytes −15 →Definition: "vice versa" doesn't make sense unless the operators are specified exactly undo
curprev 11:2211:22, 16 November 2024 User693147 talk contribs 19,640 bytes +19 "vice versa" has been inserted to indicate that inter-definability is being exemplified in this paragraph, and the last example has been modified to make it clearer that defining consequence with the help of negation is meant. undo Tag: Visual edit
curprev 11:0511:05, 16 November 2024 User693147 talk contribs 19,621 bytes +13 Since the first sentence already mentions negation as an operation on propositions, "furthermore" has been inserted in the third sentence which says that that there are also other semantic entities which negation can be applied to. This makes it clearer that propositional negation is one kind among others. undo Tag: Visual edit

curprev 07:0507:05, 15 November 2024 User693147 talk contribs 19,608 bytes +27 "P is not true" is a statement about P, whereas the negation of P is any statement the truth value of which is related to the truth value of P by negation, so an example of P and "not P" has been inserted. undo Tag: Visual edit

curprev 02:2402:24, 1 October 2024 Chalst talk contribs 19,581 bytes −7 Undid revision 1248710960 by Xhalterr (talk) Lead should not be a title #diff-undo undo Tags: Undo Mobile edit Mobile app edit iOS app edit
curprev 01:4201:42, 1 October 2024 Xhalterr talk contribs 19,588 bytes +7 just the text into sub-misson1 undo Tags: Reverted Visual edit

curprev 23:5123:51, 27 September 2024 Monkelogus talk contribs 19,581 bytes +24 add wikifunctions undo

curprev 04:1004:10, 27 August 2024 Kvng talk contribs m 19,557 bytes −145 unpiped links using script. WP:ADOPTYPO. undo

curprev 14:5214:52, 3 July 2024 RastaKins talk contribs 19,702 bytes −42 Removed (more footnotes needed|date=March 2013) as nine inlines have been added since 2013 undo

curprev 16:5116:51, 30 May 2024 Mathrick talk contribs m 19,744 bytes +719 Fix up my previous edit undo
curprev 16:4816:48, 30 May 2024 Mathrick talk contribs 19,025 bytes −715 Revert to the revision prior to revision 1226430792 dated 2024-05-30 16:02:27 by Mathrick using popups undo Tag: Manual revert
curprev 16:0216:02, 30 May 2024 Mathrick talk contribs 19,740 bytes +715 →Programming language and ordinary language: Add !!x C idiom undo Tag: Reverted

curprev 18:4418:44, 26 March 2024 Jochen Burghardt talk contribs 19,025 bytes −11 Undid revision 1215649017 by 188.187.25.218 (talk) undo Tag: Undo
curprev 11:0211:02, 26 March 2024 188.187.25.218 talk 19,036 bytes +11 →Definition undo Tags: Reverted Visual edit
curprev 03:1303:13, 26 March 2024 Thiagovscoelho talk contribs 19,025 bytes −205 No edit summary undo Tag: Visual edit
curprev 03:1103:11, 26 March 2024 Thiagovscoelho talk contribs 19,230 bytes +508 No edit summary undo Tag: Visual edit

curprev 13:2113:21, 22 March 2024 Thiagovscoelho talk contribs 18,722 bytes +32 No edit summary undo

curprev 04:4204:42, 9 February 2024 HeyElliott talk contribs 18,690 bytes −10 MOS:NOTE undo Tag: 2017 wikitext editor

curprev 01:0801:08, 5 January 2024 Florian Blaschke talk contribs m 18,700 bytes 0 →Rules of inference: cap undo

curprev 18:4218:42, 20 November 2023 129.242.224.94 talk 18,700 bytes 0 direction of truth table is inconsistent with other articles on logical connectives. now the first operand is true undo

curprev 20:2720:27, 6 November 2023 Primergrey talk contribs 18,700 bytes −97 already linked undo
curprev 20:2520:25, 6 November 2023 Primergrey talk contribs m 18,797 bytes +4 →Rules of inference undo
curprev 20:2320:23, 6 November 2023 Primergrey talk contribs m 18,793 bytes 0 →Notation undo
curprev 20:2220:22, 6 November 2023 Primergrey talk contribs m 18,793 bytes −14 →Definition undo

curprev 22:5522:55, 31 October 2023 Tom.Reding talk contribs m 18,807 bytes +27 +{{Authority control}} (1 ID from Wikidata); WP:GenFixes & cleanup on undo Tag: AWB

curprev 23:2123:21, 16 August 2023 Fgnievinski talk contribs 18,780 bytes +19 →Definition undo

curprev 08:2808:28, 10 August 2023 Jochen Burghardt talk contribs 18,761 bytes +1 mv "Precedence" section up; it is not about a property of negation, but about conventions how to transform a string into an expression tree undo

curprev 22:2922:29, 9 August 2023 Selfworm talk contribs 18,760 bytes +965 Precedence was not mentioned so I copied information from Logical connective#Order of precedence into a new subsection. undo

curprev 04:0404:04, 27 July 2023 SeL talk contribs 17,795 bytes −12 Change overline to lnot (x̅ to ¬x) in infobox, this is more widely used (cf. the article itself, other articles on logic, and other langague versions of this article) undo

curprev 01:4501:45, 5 July 2023 TennisFans talk contribs 17,807 bytes +9 →Notation undo

curprev 15:3015:30, 19 June 2023 --WikiUser1234945-- talk contribs m 17,758 bytes −92 Reverted edits by 2600:6C60:50F0:9130:5933:E49:22F1:F09A (talk) (HG) (3.4.12) undo Tags: Huggle Rollback
curprev 15:2915:29, 19 June 2023 2600:6c60:50f0:9130:5933:e49:22f1:f09a talk 17,850 bytes +92 →Definition undo Tag: Reverted
curprev 15:2515:25, 19 June 2023 Discospinster talk contribs m 17,758 bytes −41 Reverted edits by 2600:6C60:50F0:9130:5933:E49:22F1:F09A (talk) (HG) (3.4.12) undo Tags: Huggle Rollback
curprev 15:2515:25, 19 June 2023 2600:6c60:50f0:9130:5933:e49:22f1:f09a talk 17,799 bytes +41 negate definition by noah worcester undo Tags: Reverted extraneous markup

curprev 01:4801:48, 18 June 2023 Partofthemachine talk contribs 17,758 bytes −6 →Notation: More common name undo

curprev 08:2608:26, 5 May 2023 Jochen Burghardt talk contribs 17,764 bytes +302 →Notation: suggest to mention "7p", seen in Ladner.1975 undo

5 January 2025

16 December 2024

4 December 2024

3 December 2024

17 November 2024

16 November 2024

15 November 2024

1 October 2024

27 September 2024

27 August 2024

3 July 2024

30 May 2024

26 March 2024

22 March 2024

9 February 2024

5 January 2024

20 November 2023

6 November 2023

31 October 2023

16 August 2023

10 August 2023

9 August 2023

27 July 2023

5 July 2023

24 June 2023

19 June 2023

18 June 2023

5 May 2023