Valid inferences in natural language depend on meaning: 'All bachelors are unmarried' is valid by se...
This proposition has not been edited since the history system was added.