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.

اخر الاخبار

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

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

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

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

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

المزيد

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

لكبح الجوع وخسارة الوزن.. "سر بسيط" في نظام جوكوفيتش ؟

هل يساعد الرجيم في علاج الأمراض العقلية؟

لحماية أسنان طفلك.. هذا الفيتامين يقلل خطر التسوس

أكل الطعام بسرعة.. طريق سريع إلى أمراض خطيرة

المزيد

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

ما هي أفضل درجة حرارة لتكييف الهواء في السيارة؟

ذوبان الأنهار الجليدية يوقظ "عمالقة نائمة"!

9 يوليو يشهد أقصر يوم في التاريخ المسجل ؟!!

راتبه عشرات ملايين الدولارات.. زوكربرغ يخطف "عقل أبل"

المزيد

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

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