The conditional exchange rule is a rule in logic which states that "if P then Q" implies and is implied by "not P or Q".
The rule may be expressed formally as:
α → β ¬α ∨ β
Philosophy Index, Copyright © 2002-2013 Colin Temple. All Rights Reserved. About | Contact | Network: Mythology