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