What is Transposition rule?
a) From P → Q, infer ~Q → P
b) From P → Q, infer Q → ~P
c) From P → Q, infer Q → P
d) From P → Q, infer ~Q → ~P
a) From P → Q, infer ~Q → P
b) From P → Q, infer Q → ~P
c) From P → Q, infer Q → P
d) From P → Q, infer ~Q → ~P