¬¬(P∨Q)⇒¬¬P∨¬¬Q