Lecture
What is a Formal Proof?
Description
This lecture introduces the concept of a formal proof system, defining it as a set of logical formulas with inference steps. It explains the structure of a proof in a proof system and how proofs can be viewed as directed acyclic graphs. An example system for propositional logic is presented, along with exercises to draw DAGs representing proofs. The lecture covers the soundness of a proof system, derivations from assumptions, semantic consequences, and the importance of sound inference rules in ensuring the validity of formulas.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.