Is this a counterexample to the theorem that every admissible rule in classical propositional logic is derivable? – math.stackexchange.com

Unsupported Format

This article uses a formatting structure that our native reader doesn't support yet. We've logged this format so we can add support for it soon!

Read on Original Site