Relationships Between Entailment and Inference

• soundness - all inferences correct? • completeness - all conclusions reachable?

complete

KB Ö f

KB | f

sound