1


rules and substitutios: From the syntactic point of view, a rule is a list of objects of type x=>y or x:=>y. The variable or template is called x depending on whether it is a variable or not, respectively. The image is called y and a pair is of the form x=>y or x:=>y. A substitution is a rule defined for variables exclusively. If the user chooses =>, it uses the value of y to define the rule. On the other hand, if the user chooses :=>, it considers y as a variable for purposes of defining the rule.

The symbols => and :=> can be created with the icons and , respectively.

When applying a rule to an expression, all occurrences of each template (or variable) in the expression are replaced by the image of its template (or variable). The terms that do not match the template (or variable) do not change.





mathsformore.com powered by WIRIS

©2003 maths for more sl. All rights reserved. Legal notice