Dadas as proposições p: “O contrato foi assinado” e q: “O pagamento foi efetuado”. A representação em linguagem simbólica da frase: “Se o contrato não foi assinado, então o pagamento não foi efetuado” é dada por: