قدیمی 05-01-2011, 02:12 PM   #1
roya
(کاربر طلایی)
 
roya آواتار ها
 
تاریخ عضویت: Jan 2011
نوشته ها: 972
Padded حساب گزاره‌ای و تاریخچه اش




حساب گزاره‌ای


حساب گزاره‌ها یا حساب گزاره‌ای (Propositional calculus) سامانه‌ای است صوری (formal) که به نمایش مواد و اصول منطق گزاره‌ای می‌پردازد. گزاره‌ها و ترکیب آن با ادوات منطقی شکل می‌گیرد. گزاره‌های مورد توجه منطق گزاره‌ها فقط گزاره‌های خبری ست. در منطق کلاسیک یا منطق دو ارزشی، گزاره‌ها دارای ارزش درست یا غلط هستند.





تذکر: بعضی منطق‌دان‌ها منطق گزاره‌ها را منطق جمله‌ها خواندند، ولی، به نظر می‌رسد با توجه به تفاوت زبانی گزاره و جمله و اینکه گزاره، فقط به جمله خبری گفته می‌شود، عبارت منطق گزاره‌ها صحیح‌تر است.



تاریخچه

به صورت سیستماتیک و سامان‌مند، حساب گزاره‌ها بیش از ۲۳۰۰ سال قبل توسط فیلسوف یونانی ارسطو تنظیم یافت.


گزاره‌ها

جملات خبری هستند که واقعیتی را اظهار می‌نمایند. واقعیت اعلان شده یا درست است، یا غلط، ولی نه هر دو.

مثال‌ها:

۰۱ تهران پایتخت کشور ایران است.

۰۲ ۳ = ۲ + ۲

در اینجا، گزارهٔ ۱ درست و گزارهٔ ۲ غلط است


متغیرهای گزاره‌ای


درست همانند ورتنده های عددی، متغیرهای گزاره‌ای را هم با حروف الفبا نمایش می‌دهیم. معمولاً شروع از حرف p در ابتدای کلمه proposition است و ادامه حروف: p, q, r, s

roya آنلاین نیست.   پاسخ با نقل قول
پاسخ

برچسب ها
فلسفه, منطق, حساب گزاره ها, حساب گزاره ای


کاربران در حال دیدن موضوع: 1 نفر (0 عضو و 1 مهمان)
 
ابزارهای موضوع
نحوه نمایش

مجوز های ارسال و ویرایش
شما نمیتوانید موضوع جدیدی ارسال کنید
شما امکان ارسال پاسخ را ندارید
شما نمیتوانید فایل پیوست در پست خود ضمیمه کنید
شما نمیتوانید پست های خود را ویرایش کنید

BB code هست فعال
شکلک ها فعال است
کد [IMG] فعال است
کد HTML غیر فعال است

انتخاب سریع یک انجمن

War Dreams    Super Perfect Body    Scary Nature    Lovers School    Winner Trick    Hi Psychology    Lose Addiction    Survival Acts    The East Travel    Near Future Tech    How Cook Food    Wonderful Search    Discommend

Book Forever    Electronic 1    Science Doors    The Perfect Offers    Trip Roads    Travel Trip Time    Best Games Of    Shop Instrument    Allowedly


All times are GMT. The time now is 12:55 PM.


کپی رایت © 1388 . کلیه حقوق برای وبگاه حرف روز محفوظ است