对于两个事物情况p和q，如果有p，就必定没有q；如果有p，就必定没有q，则称p是q的( )。