Directory
References
weak completeness
logic
Learn about this topic in these articles:
formal systems
- In formal logic: Axiomatization of PC
…is complete (or, more specifically, weakly complete) if every valid wff is a theorem. The axiomatic system PM can be shown to be both sound and complete relative to the criterion of validity already given (see above Validity in PC).
Read More