. For each of the following sequents, construct a derivation of its conclusion from its premises.1.S65: P->Q ├─Q->─P