term (Calculemus)

term Type

Namespace: Calculemus
Assembly: Calculemus.dll
Parent Module: Fol
Base Type: obj
All Interfaces: IStructuralEquatable , IComparable<term> , IComparable , IStructuralComparable

Type of first order terms.

Example

A formalization of the expression \(\sqrt{1- cos^2(x+y)}\):

 Fn("sqrt",[Fn("-",[Fn("1",[]);
                    Fn("power",[Fn("cos",[Fn("+",[Var "x"; Var "y"]);
                                         Fn("2",[])])])])])

Union cases

Union case	Description
`Fn(string, term list)` Full Usage: `Fn(string, term list)` Parameters: Item1 : `string` - The function name. Item2 : `term list` - The function arguments.	Function. Item1 : `string` The function name. Item2 : `term list` The function arguments.
`Var string` Full Usage: `Var string` Parameters: Item : `string` - The variable name.	Variable. Item : `string` The variable name.