It is not the case that The Pigeonhole Principle formula PHP_n is a tautology for each n and is provable in any complete proof system for propositional logic
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.