【形式逻辑求高手】什么是负判断?什么是等值判断?