Nuprl Definition : FOL-evidence

FOL-evidence{i:l}(fmla) ==  FO-uniform-evidence(mFOL-freevars(fmla);FOL-abstract(fmla))


Definitions occuring in Statement :  FOL-abstract: FOL-abstract(fmla),  mFOL-freevars: mFOL-freevars(fmla),  FO-uniform-evidence: FO-uniform-evidence(vs;fmla)
Definitions occuring in definition :  FO-uniform-evidence: FO-uniform-evidence(vs;fmla),  mFOL-freevars: mFOL-freevars(fmla),  FOL-abstract: FOL-abstract(fmla)
FDL editor aliases :  FOL-evidence
Latex:
FOL-evidence\{i:l\}(fmla)  ==    FO-uniform-evidence(mFOL-freevars(fmla);FOL-abstract(fmla))


Date html generated: 2016_05_15-PM-10_18_50
Last ObjectModification: 2015_09_23-AM-08_23_24

Theory : minimal-first-order-logic


Home Index