---
tag: MQ4FVM9E0Y
kind: concept
name: E-proposition
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section E
    note: adopted
    mention: wikipedia://en/76765067#GMTP
    sections: [Summary]
inventory: [ZQ63TBQ3ED]
---

## Summary

In traditional logic, a universal negative categorical proposition, stating that no members of one class are members of another class.