Types of facts
In Reason-Based Logic, a number of dedicated function and predicate symbols are used to express specific types of facts concerning rules and reasons
Previous slide
Next slide
Back to first slide
View graphic version