23 ms·
Prompted with: Given A, prove Z You'd append Assume G => H ...to the prompt, then you'd prove A=>G, and you'd prove H=>Z. You're essentially just u
by __MatrixMan__ 8y ago
Prompted with:
Given A, prove Z
You'd append
Assume G => H
...to the prompt, then you'd prove A=>G, and you'd prove H=>Z.
You're essentially just using one-too-many axioms to get the job done, which is less elegant, but correct.