Jump to content

Related changes

← Category:Logical consequence

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.

Recent changes options Show last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide registered users | Hide unregistered users | Hide my edits | Show bots | Hide minor edits | Show page categorization | Show Wikidata | Hide probably good edits
Show new changes starting from 13:21, 23 April 2025

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

23 April 2025

diffhist m Material conditional 07:30 −1 Anomalocaris talk contribs ({{2-ary truth table}} unindented to avoid multiline table in list lint error)
diffhist m Material conditional 02:45 −470 Marc Schroeder talk contribs (→Analytic tableaux: better strategy, first apply alpha rules)
diffhist m Material conditional 01:44 +18 Marc Schroeder talk contribs (→Semantics)
diffhist m Material conditional 01:42 −9 Marc Schroeder talk contribs
diffhist Material conditional 01:32 +3,313 Marc Schroeder talk contribs (Added semantical proof of validity by method of analytic tableaux)

19 April 2025

diffhist m Deductive closure 15:09 0 Bkell talk contribs (fix punctuation)

18 April 2025

diffhist m Material conditional 23:03 −6 Oneequalsequalsone talk contribs (→Discrepancies with natural language)

17 April 2025

diffhist Therefore sign 10:06 +137 MacTemporal talk contribs (Adding the LaTeX command) Tag: Visual edit: Switched

Retrieved from "https://en.wikipedia.org/wiki/Special:RecentChangesLinked/Category:Logical_consequence"