8
Hilbert systems
Logic and Functional Programming
Disclaimer
Course announcement
1
Well-formed formulas
2
Height and sub-formulas
3
Boolean values and pattern matching
4
A toy implementation of propositional formulas
5
Semantics of propositional logic
6
Semantic consequence and deductive reasoning
7
Interpretation of well-formed formulas in Rocq
8
Hilbert systems
9
Formal proofs of deduction and soundness
8
Hilbert systems
7
Interpretation of well-formed formulas in Rocq
9
Formal proofs of deduction and soundness