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