4 ms·
Propositional calculus is sound and complete, first order predicate logic isn't.
by varjag 9y ago
Propositional calculus is sound and complete, first order predicate logic isn't.
- jonnycomputer 9y agofol logic is sound and complete (and effective). second order logic is not.
- mcguire 9y agoFor reference: https://en.wikipedia.org/wiki/G%C3%B6del%27s_completeness_theorem https://en.wikipedia.org/wiki/G%C3%B6del%27s_completeness_th...