ثابت های منطق مسندی

برگردان شین میم شین

·        ثابت های متعلق به منطق مسندی عنوان قدیمی «کوانتیفیکاسیون» و یا «کوانتور» است.

·        مراجعه کنید به فونکتور در تارنمای دایرة المعارف روشنگری

1

·        در مغایرت با ثابت های منطق حکمی که به کمک آنها از احکام معینی، احکام دیگری ساخته می شود، به کمک ثابت های متعلق به منطق مسندی می توان از فونکسیون های حکمی  (تبیین های مبتنی بر منطق مسندی با حداقل یک متغیر آزاد)  به تشکیل احکامی نایل آمد.

 

·        برای آشنائی با مفهوم «ثابت های منطق حکمی» مراجعه کنید به فونکتور مبتنی بر منطق حکمی و ثابت های منطقی در تارنمای دایرة المعارف روشنگری .

2

·        ثابت های متعلق به منطق مسندی ـ به این معنا ـ به شرح زیرند:

الف

·        اوپراتورهای کلی  

ب

·        اوپراتورهای حیاتی.

پایان