12,089
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday September 09, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 19:41, 26 January 2009
, 19:41, 26 January 2009→Syntactic Transformations: mathematical markup
By way of convention, rules that are tailored to a particular application, case, or subject, and rules that are adapted to a particular goal, object, or purpose, I frequently refer to as ''Facts''.
By way of convention, rules that are tailored to a particular application, case, or subject, and rules that are adapted to a particular goal, object, or purpose, I frequently refer to as ''Facts''.
Besides linking rules together into extended sequences of equivalents, there is one other way that is commonly used to get new rules from old. Novel starting points for rules can be obtained by extracting pairs of equivalent expressions from a sequence that falls under an established rule and then stating their equality in the appropriate form of equation.
For example, extracting the expressions <math>\text{R3a}\!</math> and <math>\text{R3c}\!</math> that given as equivalents in Rule 3 and explictly stating their equivalence produces the equation recorded in Corollary 1.
<pre>
<pre>
Corollary 1
Corollary 1
