Nuprl Definition : satisfies-integer-problem

satisfies-integer-problem(eqs;ineqs;xs) ==  (∀as∈eqs.xs ⋅ as =0) ∧ (∀bs∈ineqs.xs ⋅ bs ≥0)


Definitions occuring in Statement :  satisfies-integer-inequality: xs ⋅ as ≥0,  satisfies-integer-equality: xs ⋅ as =0,  l_all: (∀x∈L.P[x]),  and: P ∧ Q
Definitions occuring in definition :  and: P ∧ Q,  satisfies-integer-equality: xs ⋅ as =0,  l_all: (∀x∈L.P[x]),  satisfies-integer-inequality: xs ⋅ as ≥0
FDL editor aliases :  satisfies-integer-problem
Latex:
satisfies-integer-problem(eqs;ineqs;xs)  ==    (\mforall{}as\mmember{}eqs.xs  \mcdot{}  as  =0)  \mwedge{}  (\mforall{}bs\mmember{}ineqs.xs  \mcdot{}  bs  \mgeq{}0)


Date html generated: 2016_05_14-AM-07_11_33
Last ObjectModification: 2015_09_22-PM-05_53_13

Theory : omega


Home Index