Related changes

5 April 2025

• diffhist m Raymond Smullyan 09:21 +102 Marc Schroeder talk contribs (→Bibliography)

4 April 2025

• diffhist m Raymond Smullyan 23:07 +223 Marc Schroeder talk contribs
• diffhist False (logic) 20:38 −8 Averytiredturkey3 talk contribs (Undid revision 1283975210 by 2600:1700:E8E0:1CD0:95C7:295F:253:AF08 (talk)) Tag: Undo
• diffhist False (logic) 20:38 +8 2600:1700:e8e0:1cd0:95c7:295f:253:af08 talk (→Negation (¬):) Tag: Reverted
• diffhist Semantics 14:17 +258 AnExtraEditor talk contribs (→See also) Tag: Visual edit
• diffhist Raymond Smullyan 13:11 −1,202 Marc Schroeder talk contribs
• diffhist m Raymond Smullyan 11:44 +2,396 Marc Schroeder talk contribs (→Bibliography: brought the references into template:cite... format, and expanded the reference of ''First-Order Logic''; no references added)

3 April 2025

• diffhist m Raymond Smullyan 22:42 +35 Marc Schroeder talk contribs (→External links)
• diffhist m Raymond Smullyan 22:22 −11 Marc Schroeder talk contribs (→External links)
• diffhist Rule of inference 11:54 +1 Phlsph7 talk contribs (adjust lead image: less height)
• diffhist Rule of inference 11:46 +287 Phlsph7 talk contribs (→Propositional logic: expand table per GA suggestion)
• diffhist Rule of inference 11:32 +93 Phlsph7 talk contribs (→Propositional logic: expand list per GA suggestion)
• diffhist European Mathematical Society 07:59 +4 Enricoschlitzer talk contribs (→Prizes)
• diffhist European Mathematical Society 07:58 +880 Enricoschlitzer talk contribs (→Prizes)
• diffhist European Mathematical Society 07:49 −18 Enricoschlitzer talk contribs
• diffhist European Mathematical Society 07:48 +4 Enricoschlitzer talk contribs

1 April 2025

• diffhist Set (mathematics) 17:55 +914 D.Lazard talk contribs (→Cardinality of the real numbers: section rewritten)
• diffhist Set (mathematics) 16:54 +383 D.Lazard talk contribs (→Internal disjoint union: completing the section)
• diffhist Rule of inference 14:13 +6 92.37.110.201 talk (→Definition: if we are talking about rules of inference as syntactic objects, then they can be made up and wrong)
• diffhist Set (mathematics) 10:53 +501 D.Lazard talk contribs (→Internal disjoint union: new section, still to be completed)
• diffhist m Rule of inference 09:39 0 Phlsph7 talk contribs (→In various fields: more common terms)
• diffhist m Rule of inference 09:38 0 Phlsph7 talk contribs (more common term)
• diffhist m Rule of inference 08:11 −3 Phlsph7 talk contribs (→Basic concepts: ce)
• diffhist Rule of inference 08:09 0 Phlsph7 talk contribs (I think the earlier fix was accurate: the article Premises is about real estate while the article Premise is about logic)
• diffhist m Rule of inference 06:31 −8 Talib1101 talk contribs (Undid revision 1283318361 by Math.Mil (talk) WP:NOTBROKEN) Tag: Undo

31 March 2025

• diffhist Rule of inference 19:23 +8 Math.Mil talk contribs (Fixed link) Tags: Reverted Mobile edit Mobile web edit
• diffhist m Rule of inference 17:18 +1 Phlsph7 talk contribs (ce)
• diffhist Rule of inference 17:03 −24 Phlsph7 talk contribs (fix parameters)
• diffhist Rule of inference 17:00 −91 Phlsph7 talk contribs (Filled in 0 bare reference(s) with reFill 2)
• diffhist m Rule of inference 17:00 +31 Phlsph7 talk contribs (Cleaned up 8 ISBNs using toolforge:anticompositetools/hyphenator #hyphenator)
• diffhist m Rule of inference 16:53 +3 Phlsph7 talk contribs (ce)
• diffhist m Rule of inference 16:48 +11 Phlsph7 talk contribs (ce)
• diffhist Rule of inference 16:48 +120 Phlsph7 talk contribs (add image)
• diffhist m Rule of inference 16:40 +4 Zinnober9 talk contribs (Fixed Lint errors on this page (invalid WP:EIS parameters))
• diffhist Rule of inference 16:40 −1 Anomalocaris talk contribs (Undid revision 1283295690 by 64.98.215.205 (talk)) Tag: Undo
• diffhist Rule of inference 16:38 +1 64.98.215.205 talk (It went to the article about building premises. I think I made it go to the right one but I’m not 100% sure.) Tags: Reverted Mobile edit Mobile app edit iOS app edit App section source
• diffhist Rule of inference 16:14 +519 Phlsph7 talk contribs (→Sources: add sources)
• diffhist Rule of inference 16:13 +244 Phlsph7 talk contribs (→Others: add image)
• diffhist m Rule of inference 16:12 +11 Phlsph7 talk contribs (→First-order logic: ce)
• diffhist Rule of inference 16:12 +367 Phlsph7 talk contribs (→First-order logic: add image)
• diffhist Rule of inference 16:12 +390 Phlsph7 talk contribs (→Definition: add image) Tag: harv-error
• diffhist Rule of inference 15:58 −4 Phlsph7 talk contribs (→Definition: ce)
• diffhist Rule of inference 12:48 −25 Phlsph7 talk contribs (remove template "Transformation rules": sidebars in the lead are generally discouraged per MOS:LEADELEMENTS; the article already has a Mathematical logic navbox at the bottom)
• diffhist Rule of inference 12:43 −175 Phlsph7 talk contribs (→References: remove categories that already apply to the main category or are too specific)
• diffhist Rule of inference 12:40 −43 Phlsph7 talk contribs (→See also: remove links that are already present in the article)
• diffhist m Rule of inference 12:36 0 Phlsph7 talk contribs (→Definition: consistency)
• diffhist Rule of inference 12:30 −45 Phlsph7 talk contribs (shorter short description per WP:SD40)
• diffhist Rule of inference 12:26 +445 Phlsph7 talk contribs (lead rewritten to reflect recent changes to the body of the article, providing a balanced summary per MOS:LEAD; for previous drafts, see User:Phlsph7/Rule of inference - Lead)
• diffhist Help:Maintenance template removal 04:13 +40 Nikkimaria talk contribs (see #Overview) Tag: Manual revert
• diffhist Help:Maintenance template removal 02:37 −40 Hawkeye7 talk contribs (→When not to remove: rm - this has been used by editors to express personal opinions) Tag: Reverted