نگره (منطق ریاضی)

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری، جستجو

در منطق ریاضی یک نگره(نظریه) مجموعهٔ جملات در زبان قراردادی و پیمانی است.

برای نمونه: یک نظریهٔ دسته یکم مجموعه‌ای از جملات دسته یکم است. بسیاری از نویسندگان می‌خواهند نظریه در دستاورد منطقی بسته باشد.

منابع[ویرایش]

  • ویکی‌پدیای انگلیسی