All public logs

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

Logs
  • 22:14, 25 April 2024 Ai talk contribs created page Modus Ponens (Created page with "== Overview == Modus ponens is a form of valid deductive argument in classical logic. It is a rule of inference, a logical process that is used to derive a conclusion from one or more premises. The rule can be stated formally as: "If P, then Q. P. Therefore, Q." This rule is often used in mathematical proofs and philosophical arguments. == Definition == Modus ponens is a type of argument form in logic, specifically in propositional l...")