If-a-model-for-a-language-moreover-satisfies-a-par -- Multiple sentences match

+ −

If a model for a language moreover satisfies a particular sentence or theory ( set of sentences satisfying special conditions ), it is called a model of the sentence or theory.

Promote Demote Fragment Fix

+ −

If a model for a language moreover satisfies a particular sentence or theory ( set of sentences ), it is called a model of the sentence or theory.

Promote Demote Fragment Fix

« More previous Okay Cancel More next »

0.043 seconds.

Most text is available under the Creative Commons Attribution-ShareAlike License; additional terms may apply.