条件p:x>0.条件p:x∧2≥-x则p是q的