已知条件p:x>0,条件q:1x<0,则q是¬p成立的(  )