19 Summary (Ad)
Peirce's rules of inference form a system of logic that is equivalent to First Order Predicate Logic. They can be used to reason using conceptual graphs.
A context is negative if it has the "not" symbol () in front of it.
Evenly enclosed, oddly enclosed
A graph is said to be evenly enclosed if, going from the graph outwards to the outermost level, we encounter an even number of negative contexts. The term "oddly enclosed" is defined analogously.
A context x is said to dominate a context y if y is nested somewhere inside x.
The five rules
The five rules are:
Prev: 18 Another example of usage (Ad)
Up: Part IV: Peirce's rules (Ad)
Next: 20 The end