Rule identifiers
This makes it unnatural or impossible to express the derivation of rules:
id388: Valid(id423) ? Valid(id761) ?Valid(id923)
This could express the rule warranting an argument such as
p ? q, q ? r ? p ? r
Previous slide
Next slide
Back to first slide
View graphic version