Nuprl Definition : atomic
atomic(a) == (¬(a = 0 ∈ ℤ)) ∧ (¬(a ~ 1)) ∧ (¬reducible(a))
Definitions occuring in Statement :
reducible: reducible(a),
assoced: a ~ b,
not: ¬A,
and: P ∧ Q,
natural_number: $n,
int: ℤ,
equal: s = t ∈ T
Definitions occuring in definition :
equal: s = t ∈ T,
int: ℤ,
and: P ∧ Q,
assoced: a ~ b,
natural_number: $n,
not: ¬A,
reducible: reducible(a)
FDL editor aliases :
atomic
Latex:
atomic(a) == (\mneg{}(a = 0)) \mwedge{} (\mneg{}(a \msim{} 1)) \mwedge{} (\mneg{}reducible(a))
Date html generated:
2016_05_14-PM-04_19_45
Last ObjectModification:
2015_09_22-PM-06_02_38
Theory : num_thy_1
Home
Index