KnowraFormal proofLinked fromLinked fromThe 25 pages that link to Formal proof, each with the reason it gives.All 25Broader topic 3Related 14Narrower topic 6Compared with 2Interpretation (logic)Compared with: Interpretation is semantic; proof is syntactic, though soundness links the two.Logical validityCompared with: Proof is a syntactic derivation; validity concerns truth preservation across interpretations.