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