Next: , Previous: ug, Up: Predicate Rules


6.3.2 Universal Instantiation

Universal Generalization claims that if a property ‘P’ is true for all objects, then it must be true for an object ‘a’.