Can I read Well-Formed Formulae and Induction Proofs on EtoBox?

Well-Formed Formulae and Induction Proofs by theresa.painter is a document available to read on EtoBox.

What is Well-Formed Formulae and Induction Proofs about?

The document defines well-formed formulae recursively and introduces structural induction to prove properties about recursively defined sets. It provides an example proof using structural induction that every well-formed formula contains an equal number of left and right parentheses. The base case shows this is true for atomic formulae, and the inductive case assumes it is true for F1 and F2 and shows the new formulae created from them also have equal parentheses.

Author

theresa.painter

Language

EN