Modals

There are just two keywords in the modal category:

Table 7 modal keywords

let

suppose

and they must be used immediately before the first mention of any modal node, i.e. any node of type intr or supp. They must not be used with subsequent mentions of the same node.

Let I. Then A.

Suppose S. Then B.

Try it

So far in this tutorial, we have only seen ways of creating deduction arrows. In the next section you will learn how to create flow arrows.