| Natural Semantics vs RML |
|
|
|
|
|
|
|
|
|
|
| § | rules and propositions are grouped into |
||||||||
| relations |
|||||||||
| relation negate: bool => bool = |
|||||||||
| axiom negate true =>
false |
|||||||||
| axiom negate false =>
true |
|||||||||
| end |
|||||||||
| § | axioms are rules with no premises |
||||||||
| axiom negate true => false |
|||||||||
| rule |
|||||||||
| --------------------- |
|||||||||
| negate true =>
false |
|||||||||
| 7 |