23

17

can anywhere be made or anywhere be destroyed.
This is called the rule of two cuts.
The third second rule is that any graph scribed
on any area can be iterated, that is,
scribed in a new replica, on
the same area or within any additional
cuts; and if a graph is already so
iterated, it can be deiterated by erasing
the inner replica. This is called the rule of iteration
and deiteration.
It follows by means of the principle of contraposition
from the fact that if
we have on the sheet of assertion

It rains

we can write

It rains
It rains.

The ordinary logics give a form of
inference called the modus ponens.
The premisses are: If A is true, B is true
and A is true. The conclusion is
that B is true. Our system analyzes
this into three inferential steps.