It is not the case that Pigeonhole principle has short natural deduction proofs but long resolution proofs, showing complexity depends on formalism choice, not the principle itself.
?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.