If we know that p → q is true and p is true, what do we know about q? q is true q is false q must be negated q could be either true or false