Nuprl Definition : matomic
Atomic(a) == (¬(g-unit(a))) ∧ (¬Reducible(a))
Definitions occuring in Statement :
mreducible: Reducible(a),
munit: g-unit(u),
not: ¬A,
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
munit: g-unit(u),
not: ¬A,
mreducible: Reducible(a)
Latex:
Atomic(a) == (\mneg{}(g-unit(a))) \mwedge{} (\mneg{}Reducible(a))
Date html generated:
2016_05_16-AM-07_44_11
Last ObjectModification:
2015_09_23-AM-09_51_53
Theory : factor_1
Home
Index