Satisfaction

Let  be a relational system, and let  be a language which is appropriate for . Let  be a well-formed formula of , and let  be a valuation in . Then  is written provided that one of the following holds:

1.  is of the form , for some variables  and  of , and  maps  and  to the same element of the structure .

2.  is of the form , for some -ary predicate symbol  of the language , and some variables  of , and {s(x_1),...,s(x_n)}" src="https://mathworld.wolfram.com/images/equations/Satisfaction/Inline25.svg" style="height:22px; width:134px" /> is a member of .

3.  is of the form , for some formulas  and  of  such that  and .

4.  is of the form , and there is an element  of  such that .

In this case,  is said to satisfy  with the valuation .

---

REFERENCES

Bell, J. L. and Slomson, A. B. Models and Ultraproducts: an Introduction. Amsterdam, Netherlands: North-Holland, 1969.

Enderton, H. E. A Mathematical Introduction to Logic. Boston, MA: Academic Press, 1972.

اخر الاخبار

اخبار العتبة العباسية المقدسة

قسم الشؤون الفكرية يطلق باقة من النشاطات الرقمية الخاصة بشهر المحرم

العتبة العباسية المقدسة تختتم السلسلة الأولى لمشروع المحاضرات القرآنية العاشورائية في بابل

العتبة العباسية المقدسة تسلّم راية العزاء إلى تجمّع مواكب محافظة الديوانية

قسم الشؤون الفكرية يواصل إقامة المجالس الحسينية ضمن سلسلة (بيوت النعيم)

المزيد

الآخبار الصحية

تناول الجبن.. مفيد للجسم أم خطر يهدد صحتك؟

طبيبة أسنان تحذر.. لا تتجاهل هذه العلامة بعد التنظيف

يجب أن تأكل المزيد من الشمام هذا الصيف.. إليك السبب ؟

تأثير صحي كبير.. كم بيضة يجب أن تتناول يوميا؟

المزيد

الآخبار التكنلوجية

أداء خلايا البيروفسكايت الشمسية تحت الماء قد يزيد كفاءة تحويل الكهرباء

مسافة الأمان: أساس القيادة الآمنة وتجنب الحوادث

هل القيادة السريعة تعني استهلاك اكثر للوقود؟

لماذا يعتبر كوكب المريخ غير صالح للحياة؟

المزيد

مواضيع ذات صلة

Lemma

Proof

Zeno,s Paradoxes

Unexpected Hanging Paradox

Strange Loop

Sorites Paradox

Simpson,s Paradox

Russell,s Antinomy

Paradox

Newcomb,s Paradox

Missing Dollar Paradox

Line Point Picking