1. Let p and q be propositions and let this arrow mean "impli...