Professor, é possível haver uma proposição p -> q com valor lógico diferente do recíproco ~q -> ~p ?

Dentro da lógica dicotômica, não. Mas pode haver em lógicas policotômicas, difusas ou multidimensionais.