It is not the case that Vacuity requires the conditional to be true in all models; if BHP∈P genuinely implies P=NP in standard models, it's informative regardless of proof methods.
?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.