---
tag: 5F4CJCMN9J
kind: concept
name: Assertion
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section A
    note: adopted
    mention: wikipedia://en/76765067#Y0IQ
    sections: [Summary]
inventory: [K2KBTP7AAE]
---

## Summary

The principle, or axiom, that (A ∧ (A → B)) → B. Also called pseudo modus ponens.