形式邏輯中的否定判斷是什麽？什麽是等價判斷？

比如壹個判決的否定判斷是O；I的否定判斷是e。

等價判斷是與這個判斷意義相同的判斷，即恒等關系。

其實不加a也可以等價於o。