### Nuprl Definition : step-function-example

`step-function-example(X) ==`
`  step-function({1..7-};λx,y. (((x = 1 ∈ ℤ) ∧ (y = 2 ∈ ℤ))`
`                             ∨ ((x = 2 ∈ ℤ) ∧ (y = 3 ∈ ℤ))`
`                             ∨ ((x = 2 ∈ ℤ) ∧ (y = 4 ∈ ℤ))`
`                             ∨ ((x = 3 ∈ ℤ) ∧ (y = 6 ∈ ℤ))`
`                             ∨ ((x = 4 ∈ ℤ) ∧ (y = 2 ∈ ℤ))`
`                             ∨ ((x = 5 ∈ ℤ) ∧ (y = 3 ∈ ℤ)));X)`

Definitions occuring in Statement :  step-function: `step-function(T;transition;X)` int_seg: `{i..j-}` or: `P ∨ Q` and: `P ∧ Q` lambda: `λx.A[x]` natural_number: `\$n` int: `ℤ` equal: `s = t ∈ T`
Definitions occuring in definition :  step-function: `step-function(T;transition;X)` int_seg: `{i..j-}` lambda: `λx.A[x]` or: `P ∨ Q` and: `P ∧ Q` equal: `s = t ∈ T` int: `ℤ` natural_number: `\$n`
FDL editor aliases :  step-function-example

Latex:
step-function-example(X)  ==
step-function(\{1..7\msupminus{}\};\mlambda{}x,y.  (((x  =  1)  \mwedge{}  (y  =  2))
\mvee{}  ((x  =  2)  \mwedge{}  (y  =  3))
\mvee{}  ((x  =  2)  \mwedge{}  (y  =  4))
\mvee{}  ((x  =  3)  \mwedge{}  (y  =  6))
\mvee{}  ((x  =  4)  \mwedge{}  (y  =  2))
\mvee{}  ((x  =  5)  \mwedge{}  (y  =  3)));X)

Date html generated: 2016_05_15-PM-10_11_40
Last ObjectModification: 2015_09_23-AM-08_22_37

Theory : eval!all

Home Index