Main public logs

Combined display of all available logs of Slow Like Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 16:26, 10 July 2024 Rob talk contribs created page The Propositional Calculus (Created page with "* Propositional reasoning depends on the correct usage of the words "and", "if... then", "or", and "not". * The "fantasy rule" lets you write down any well-formed string and ask what if this were an axiom or a theorem * You can "push" into a fantasy, see its premise, a series of theorems and its outcome, and then "pop" back up to the previous level * You can carry over theorems from the level above into the fantasy, but you cannot export theorems out from the fantasy up...")