Symbolic logic Soundness and completeness distinguish a proof-system property from a claim about one proof About 45 minutes7 activities Paper packet This lesson needs JavaScript to run its activities.