16 Peirce's rules of inference (Ad)
Peirce's rules of inference can be used to reason with conceptual graphs. Here, we formulate the rules for conceptual graphs using the definitions we have just given.
An axiom: The empty graph
The only axiom for Peirce's rules of inference is the empty graph. The empty graph says nothing about anything, and by convention is assumed to be true.
Applying the rules
When one starts with a collection of conceptual graphs S and then applies the rules to form another collection of conceptual graphs V, we say that we have proved V from S.
If we start with the empty graph and prove a collection of conceptual graphs V, V is said to be a theorem.
Next, we give an example of how to use the rules.
Prev: 15 Definitions (Ad)
Up: Part IV: Peirce's rules (Ad)
Next: 17 Example of usage (Ad)