Nuprl Definition : FOSatWith

An abstract formula is a function that assigns a meaning (a proposition)
to a given Dom, structure S, and assignment a. So, this definition is mainly
for notation.⋅
Dom,S,a |= fmla ==  fmla Dom S a


Definitions occuring in Statement :  apply: f a
FDL editor aliases :  FOSatWith
Dom,S,a  |=  fmla  ==    fmla  Dom  S  a


Date html generated: 2015_07_17-AM-07_53_11
Last ObjectModification: 2012_09_11-PM-05_38_34

Home Index