kevinsullivan / cs6501s23

Formal Mathematics for Software Design
6 stars 6 forks source link

2.8.2. Proofs - Typo #41

Open sm4sa opened 1 year ago

sm4sa commented 1 year ago

"In the style of the preceding examples, give formal proofs of that the remaining inference rules are valid in our own model of propositional logic."

I believe that the "of" after "formal proofs" can be eliminated.

"To get you started, the following proof shosws that the false elimination inference rule is valid in our logic. " "shosws" should be "shows"