Classical logic's permissiveness about irrelevant premises doesn't undermine its validity for deduct...
This proposition has not been edited since the history system was added.