Rule notations
If P, then Q
There is a rule with antecedens P and consequens Q.
There is a defeasible rule with antecedens P and consequens Q.
The rule with antecedens P and consequens Q is valid.
Er is een regel met antecedens P en consequens Q.
Valid(rule(p, q))
{{P}} ? Q
Abc P xyz Q.
Abc Q xyz P.
Previous slide
Next slide
Back to first slide
View graphic version