---
tag: P4T18C5736
kind: concept
name: Prelinearity axiom
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section P
    note: adopted
    mention: wikipedia://en/76765067#U22J
    sections: [Summary]
inventory: [S4HSQY4GEC]
---

## Summary

The formula (P → Q) ∨ (Q → P).