If a structure $\mathcal{A}$ satisfies a set of formulas $\Phi$, then for $\phi\in \Phi$, does $\mathcal{A} \models \phi [\alpha]$ for all assignments $\alpha$?

I apologize if this question may be very vague. I'm just studying predicate logic right now.

  • 2
    $\begingroup$ Unless I'm missing something, that's exactly what "$\mathcal{A}\models\phi$" means in the first place when $\phi$ has free variables. $\endgroup$ – Noah Schweber Nov 15 '18 at 0:44

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.