---
tag: Y7XM4K2QA3
kind: concept
name: o-proposition
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section O
    note: adopted
    mention: wikipedia://en/76765067#7Q6L
    sections: [Summary]
inventory: [AFAE5262BB]
---

## Summary

In traditional logic, a particular negative categorical proposition, stating that some members of the subject class are not members of the predicate class.