如果以上命题为真，且要推出：小刘考上博士了，应该再加上什么前提