无效认定用于阐述 认为某个命题无效 的理由。赞同一个无效认定即认为相应的被认定命题无效。
无法选择无效认定所属的 主题:无效认定只能属于被认定命题所属的主题。
由于 推导、无效认定#、逻辑表达式 这三种命题自身带有逻辑上的语义,可以进行一些自动的推导。
关联无法作为 无效认定# 的目标,也无法被显式地 认为无效。在认为至少一个被关联命题无效时会自动认为该关联本身也无效。