P∧Q⇒P∨Q