---
tag: A647T0TT83
kind: concept
name: Pseudo modus ponens
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section P
    note: adopted
    mention: wikipedia://en/76765067#FZQZ
    sections: [Summary]
inventory: [HXT3SKXVM3]
---

## Summary

Synonym for assertion, the axiom that (A ∧ (A → B)) → B.