قانون وارون

قانون وارون ( Inverse Law ) در منطق گزاره ای دو قانون دارد:
1. **A ∧ �A ≡ False**
2. **A ∨ �A ≡ True**
این قوانین بیان می کنند که اشتراک یک گزاره با نقیض آن همیشه نادرست ( False ) است، و اجتماع یک گزاره با نقیض آن همیشه درست ( True ) است.