All public logs

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

Logs
  • 21:10, 3 November 2021 Laqme talk contribs created page Predicate logic (Created page with "'''Predicate logic''' is formal logic where the alphabet includes quantifiers (<math>\forall</math>, <math>\exists</math>…), variables (''x'', ''y'', ''z''…), and '''predi...")