Logical form and extension are distinct: a predicate's logical structure can be negated independentl...
This proposition has not been edited since the history system was added.