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
Definitions occuring in definition : apply: f a
FDL editor aliases : FOSatWith

Latex:
Dom,S,a |= fmla == fmla Dom S a Date html generated: 2016_07_08-PM-05_19_19 Last ObjectModification: 2015_09_23-AM-08_22_42 Theory : minimal-first-order-logic Home Index