Translate the following inference to logic notation: It is cold or James is not a carpenter. James is a carpenter or it is not cold. Therefore if James were a carpenter, then it is cold.
p or ~q. q or ~p. Therefore q -> p.