Is a proof system with the single rule of inference {}⊢ φ for all φ sound, complete, both, or neither?
I think it is sound but I feel like there is a caveat, am I wrong?
2026-04-24 00:27:48.1776990468
Proof system soundness and completeness
54 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
It's complete if anyone interested...