In this chapter, we will cover two of the most important branches of mathematical logic.
2.1 Propositional Logic
We’ve seen a very brief example of how Dafny incorporates some sort of logic within it. In this section, we’ll cover logic in more detail.
The most basic level of logic is propositional logic that deals with the study of statements, sentences that are either true (⊤) or false (⊥). More specifically, here’s the description of these statements (formulas):
- 1.
The logical constants ⊤ and ⊥ ...
