Related changes

Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are shown in bold with a green bullet. See more at Help:Related changes.

Namespace:	Invert selection Associated namespace
Tag filter:	Invert selection
Page name:	Show changes to pages linked to the given page instead

List of abbreviations (help):

D: Edit made at Wikidata
r: Edit flagged by ORES
N: New page
m: Minor edit
b: Bot edit
(±123): Page byte size change
: Temporarily watched page

2 August 2025

diffhist Propositional calculus 19:47 +47 Christian75 talk contribs ({{R from move}})
diffhist Contradiction 13:14 +90 Lentower talk contribs (→See also: add item; columnize on wider windows)
diffhist Minimal axioms for Boolean algebra 09:40 +227 Mateusz Pyzik talk contribs (Mention redundancy of the idempotence assumption, with citation.)
diffhist Minimal axioms for Boolean algebra 09:19 +42 Mateusz Pyzik talk contribs (Idempotence assumption was missing. See p. 486, Example 4.5, in the cited Huntington's article where idempotence of logical OR is shown te be independent of the other axioms.)

1 August 2025

diffhist m Inductive reasoning 11:48 +12 Dominic Mayers talk contribs (→Inductive generalization: ce) Tag: Visual edit
diffhist Inductive reasoning 09:45 +241 Dominic Mayers talk contribs (→Inductive generalization) Tag: Visual edit
diffhist Disjunctive normal form 09:42 +16 Jochen Burghardt talk contribs (Undid revision 1303558032 by 129.210.115.104: example has been chosen deliberately; it satisfies the grammar for DNF, and won't be processed any further by syntactic conversion to DNF) Tag: Undo
diffhist Inductive reasoning 08:58 +8 Dominic Mayers talk contribs (Consistent with what the remainder says, which is correct, because of the "at best" and is most likely verifiable in many reliable sources.) Tag: Visual edit
diffhist Inductive reasoning 08:56 −205 Dominic Mayers talk contribs (→top: Russell 1948 is a primary source in that context. It could be used to give Russell's view, but not as a general reference.)
diffhist Inductive reasoning 08:50 −199 Dominic Mayers talk contribs (Removed a reference to Bayesian logic to verify a general statement regarding any inductive logic. Inductive Bayesian logic is a very special kind of inductive logic. Besides, the unverified statement itself is dubious: an inductive logic is characterized by its use of assumptions, that is, by its reliance on background knowledge, not by probabilistic conclusions.)

31 July 2025

diffhist Disjunctive normal form 18:09 −16 129.210.115.104 talk (→Definition: Corrected the first formula from not normal to normal form.) Tag: Reverted
diffhist Conjunctive normal form 18:09 −14 129.210.115.104 talk (→Definition: Corrected the first formula from not normal to normal form.)
diffhist m Truth 12:49 −19 Frost talk contribs (Reverted edits by 115.98.251.138 (talk) (HG) (3.4.12)) Tags: Huggle Rollback
diffhist Truth 12:48 +19 115.98.251.138 talk Tags: Reverted Mobile edit Mobile web edit
diffhist m Truth 12:46 −17 Frost talk contribs (Reverted edits by 115.98.251.138 (talk) (HG) (3.4.12)) Tags: Huggle Rollback
diffhist Truth 12:46 +17 115.98.251.138 talk Tags: Reverted Mobile edit Mobile web edit
diffhist Antisymmetric relation 07:11 −3 Jochen Burghardt talk contribs (→top: antisym rel.s needn't be transitive)
diffhist Antisymmetric relation 00:10 −72 LucasBrown talk contribs (Changing short description from "Binary relation such that if A is related to B and is different from it then B is not related to A" to "Transitive binary relation") Tag: Shortdesc helper

30 July 2025

diffhist William Stanley Jevons 15:24 +267 Srich32977 talk contribs (Cleaned up using AutoEd Adding/improving reference(s))
diffhist List of paradoxes 10:19 −447 Paradoctor talk contribs (Undid revision 1303328408 by Anastasis Theodoridis Argyropoulos (talk): unsourced) Tag: Undo
diffhist List of paradoxes 09:49 +447 Anastasis Theodoridis Argyropoulos talk contribs () Tags: Reverted Visual edit: Switched
diffhist m Validity (logic) 09:00 +2 EvanBaldonado talk contribs (Replace hyphen with en-dash.)
diffhist m Deductive reasoning 08:59 −4 EvanBaldonado talk contribs (Replace curly quotes with straight quotes (see MOS:CURLY).)
diffhist m Deductive reasoning 08:59 −16 EvanBaldonado talk contribs (Replace curly quotes with straight quotes (see MOS:CURLY).)
diffhist m Abductive reasoning 08:58 +2 EvanBaldonado talk contribs (Replace hyphen with en-dash.)
diffhist m Abductive reasoning 08:58 +2 EvanBaldonado talk contribs (Replace hyphen with en-dash.)
diffhist m Deductive reasoning 08:58 −4 EvanBaldonado talk contribs (Replace curly quotes with straight quotes (see MOS:CURLY).)

29 July 2025

diffhist William Stanley Jevons 10:19 −6 Motekov talk contribs
diffhist William Stanley Jevons 10:05 +60 Motekov talk contribs Tag: Disambiguation links added
diffhist Net (mathematics) 08:45 +48 Aliu Salau talk contribs (Link suggestions feature: 3 links added.) Tags: Visual edit Mobile edit Mobile web edit Newcomer task Suggested: add links
diffhist William Stanley Jevons 08:21 +9 Motekov talk contribs (→Works)
diffhist William Stanley Jevons 08:20 +270 Motekov talk contribs (→Works)
diffhist Talk:Propositional calculus 04:46 −13 Pppery talk contribs (←Changed redirect target from Talk:Propositional calculus to Talk:Propositional logic) Tag: Redirect target changed
diffhist Talk:Propositional calculus 01:29 +10 202.67.47.23 talk Tags: Mobile edit Mobile web edit

28 July 2025

diffhist Material conditional 19:26 −279 KenyonP talk contribs (Should not be citing stack exchange)
diffhist Template:Main other 14:53 +182 Pppery talk contribs (Make substable per request)
diffhist Module:Disambiguation/templates 14:49 +41 Pppery talk contribs (Update list)
diffhist Truth 10:23 +4 124.168.8.148 talk (Missing link)
diffhist Directed set 09:53 +15 Jochen Burghardt talk contribs (→top: better be explicit on which set is nonempty (A itself vs. some considered subset))
diffhist Formal system 00:38 −39 Yesterday, all my dreams... talk contribs (→Proof system: axioms are not theorems, given that they involve no proof as such)
diffhist Formal system 00:37 −85 Yesterday, all my dreams... talk contribs (→Proof system: not every proof leads to a theorem)

27 July 2025

diffhist m List of mathematical logic topics 21:35 −243 Pppery (alt) talk contribs (→top: Removing self-referential hatnotes for minor internal pages not likely to be looked for by readers or new editors unfamiliar with Wikipedia's namespaces) Tag: AWB
diffhist Filter (mathematics) 21:20 +30 Jean Abou Samra talk contribs (A directed set is non-empty by definition, see the corresponding article, so the non-triviality condition is redundant)