2 ms·
Small clarification (I wrote my parent post super late last night). Via the Deduction Theorem, we have: ⊢ A -> B => A ⊢ B That's what I mean by "A proves
by dvt 9y ago
Small clarification (I wrote my parent post super late last night). Via the Deduction Theorem, we have:
⊢ A -> B => A ⊢ B
That's what I mean by "A proves B"