逻辑判断本身明显的而且不依赖于其他所有命题和证据的命题被称作（A）命题