Herbrand's Theorem

There are two important theorems known as Herbrand's theorem.

The first arises in ring theory. Let an ideal class be in  if it contains an ideal whose th power is principal. Let  be an odd integer  and define  by . Then . If  and , then .

The Herbrand theorem in logic states that a formula  is unsatisfiable iff there is a finite set of ground clauses of  that is unsatisfiable in propositional calculus. It is assumed that elements of the Herbrand base are treated as propositional variables. Since unsatisfiability is dual to validity ( is unsatisfiable iff the negation  is valid), the Herbrand theorem establishes that the Herbrand universe alone is sufficient for interpretation of first-order logic. This theorem also reduces the question of unsatisfiability in first-order logic to the question of unsatisfiability in propositional calculus.

---

REFERENCES

Ireland, K. and Rosen, M. "Herbrand's Theorem." §15.3 in A Classical Introduction to Modern Number Theory, 2nd ed. New York: Springer-Verlag, pp. 241-248, 1990.

اخر الاخبار

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

قسم صناعة الشبابيك يشرع بإدامة شباكين قديمين لمرقد الإمامين العسكريين (عليهما السلام)

فرقة العباس (عليه السلام) تختتم خدماتها المقدمة للزائرين في سامراء

موكب العتبتين المقدستين يحيي ذكرى استشهاد الإمام الهادي (عليه السلام) في سامراء

العتبة العسكرية المقدسة تكرّم وفد العتبة العباسية المقدسة لمشاركته في تقديم الخدمات للزائرين

المزيد

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

كنز غذائي على طبقك.. ماذا تفعل السبانخ بجسمك؟

ما لا يتوقعه أحد.. "سر غذائي" في الجبن الدسم

لتحسين الهضم والنوم.. هذا أفضل وقت لتناول العشاء

10 طرق بسيطة وغير مألوفة لحرق المزيد من السعرات يوميا

المزيد

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

سابقة بعالم الطيران.. طائرة تقرر الهبوط بنفسها بعد ظرف طارئ

"الإنفلونزا الخارقة" تكتسح دول العالم.. وتثير قلقا كبيرا

مرحلة ما قبل الأعراض.. دواء جديد يستهدف "شرارة" الزهايمر

إزالة ثاني أكسيد الكربون من الغلاف الجوي.. ما دور المحيطات والبحار؟

المزيد

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

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