(p∧q)⇒(p∨q) önermesinin denki nedir?