يمكن تحويل منطق الحدود إلى جبر الفئات
عن طريق تفسير كل حد أرسطي بوصفه فئه من:
S = فئه الموضوع
P = فئه المحمول
عندها نحول القضايا الحملية الاربع إلى :
A —
كل S هو P
بلغه المجموعات تكون:
S ⊆ P
E —
لا شيء من S هو P
بلغة المجموعات:
S ∩ P = ∅
I —
بعض S هو P
بلغة المجموعات:
S ∩ P ≠ ∅
O —
بعض S ليس P
بلغة المجموعات:
¬(S ⊆ P)
او تكتب كمتمم
S ∩ Pᶜ ≠ ∅
6
3July 19, 2026 900 29 2
