قضایای محصوره (Categorial propositions) نوعی از قضایا هستند که در منطق صوری مورد بررسی قرار میگیرند. این قضایا معمولاً به شکل جملاتی هستند که صفت یا ویژگی خاصی را برای گروهی از اشیاء بیان میکنند.
یک قضیه محصوره به طور کلی به یکی از چهار شکل زیر است:
1. **قضیه afirmativa کلی (Universal Affirmative):** «همه Aها B هستند.» (مثلاً: همه انسانها فانی هستند.)
2. **قضیه سالبه کلی (Universal Negative):** «هیچ Aای B نیست.» (مثلاً: هیچ انسانی جاودانه نیست.)
3. **قضیه afirmativa جزئی (Particular Affirmative):** «برخی Aها B هستند.» (مثلاً: برخی انسانها دانشمند هستند.)
4. **قضیه سالبه جزئی (Particular Negative):** «برخی Aها B نیستند.» (مثلاً: برخی انسانها هنرمند نیستند.)
**مثال از قضیه محصوره:**
- **قضیه afirmativa کلی:** «همه دانشآموزان در کلاس حضور دارند.»
- **قضیه سالبه کلی:** «هیچ دانشآموزی در درس فراموش نمیکند.»
- **قضیه afirmativa جزئی:** «برخی دانشآموزان در امتحانات موفق بودند.»
- **قضیه سالبه جزئی:** «برخی دانشآموزان دیر آمدند.»
شما میتوانید با استفاده از این ساختارها، قضایای محصوره را شناسایی و ایجاد کنید.
