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.
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
4 April 2025
- diffhist m Theorem 00:49 −1 Steel1943 talk contribs (→Terminology: fix common MOS:REFSPACE spacing errors, replaced: {{efn → {{efn) Tag: AWB
3 April 2025
- diffhist First-order logic 15:12 −9 Remsense talk contribs (idiomatic)
- diffhist First-order logic 15:12 +10 Remsense talk contribs
- 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)
1 April 2025
- 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 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)
30 March 2025
- diffhist Material conditional 22:50 0 DuncanHill talk contribs (Fixing harv/sfn reference errors. Please install User:Trappist the monk/HarvErrors.js and watchlist Category:Harv and Sfn no-target errors to help you spot such errors when reading and editing.)
- diffhist Rule of inference 13:36 +1 Phlsph7 talk contribs (→Definition: ce for consistency)
- diffhist Rule of inference 13:32 +765 Phlsph7 talk contribs (→Sources: add sources)
- diffhist Rule of inference 13:31 +869 Phlsph7 talk contribs (add one paragraph on history) Tags: harv-error Disambiguation links added
- diffhist Rule of inference 12:27 −6,914 Phlsph7 talk contribs (remove sections "Example: Hilbert systems for two propositional logics" and "Admissibility and derivability": mostly unsourced & very lengthy examples; the key points of these topics are already discussed with sources in the sections "Formalisms" and "Basic concepts")
- diffhist m Rule of inference 09:01 +21 Phlsph7 talk contribs (fix wikilink)
- diffhist Tautology (logic) 06:31 −313 Farkle Griffen talk contribs (RM unsourced and incorrect addition. That formula is true in the Empty domain) Tags: Mobile edit Mobile app edit iOS app edit App section source
29 March 2025
- diffhist m Theorem 19:17 +2 A slice of 8.5397342 talk contribs ((Minor) Changed the link from Scientific law to Law (mathematics) as the Scientific law page states "Scientific laws or laws of science are statements, based on repeated experiments or observations, that describe or predict a range of natural phenomena." Whereas this page refers to mathematical laws) Tags: Visual edit Mobile edit Mobile web edit
- diffhist Rule of inference 18:23 −30 Phlsph7 talk contribs (→First-order logic: already covered in chapter structure)
- diffhist Rule of inference 18:22 +22 Phlsph7 talk contribs (→Systems of logic: subdivide)
- diffhist Rule of inference 18:18 +3 Phlsph7 talk contribs (→Basic concepts: ce)
- diffhist m Rule of inference 18:14 0 Phlsph7 talk contribs (→Basic concepts: fix wikilink)
- diffhist Rule of inference 18:14 +363 Phlsph7 talk contribs (→Basic concepts: mention truth tables and truth trees)
- diffhist Rule of inference 17:50 +260 Phlsph7 talk contribs (→Sources: add source)
- diffhist Rule of inference 17:49 +542 Phlsph7 talk contribs (→Definition: add passage on definitory and strategic rules) Tag: harv-error