重言专题

基础重言蕴含式

1… P ∧ Q ⇒ P P\wedge Q\Rightarrow P P∧Q⇒P 2. P ∧ Q ⇒ Q P\wedge Q\Rightarrow Q P∧Q⇒Q 3. P ⇒ P ∨ Q P\Rightarrow P\vee Q P⇒P∨Q 4. Q ⇒ P ∨ Q Q\Rightarrow P\vee Q Q⇒P∨Q 5. P , Q ⇒ P ∧ Q P,Q\Rightarrow