05-01-2011, 02:12 PM | #1 |
(کاربر طلایی)
تاریخ عضویت: Jan 2011
نوشته ها: 972
|
حساب گزارهای و تاریخچه اش
حساب گزارهای حساب گزارهها یا حساب گزارهای (Propositional calculus) سامانهای است صوری (formal) که به نمایش مواد و اصول منطق گزارهای میپردازد. گزارهها و ترکیب آن با ادوات منطقی شکل میگیرد. گزارههای مورد توجه منطق گزارهها فقط گزارههای خبری ست. در منطق کلاسیک یا منطق دو ارزشی، گزارهها دارای ارزش درست یا غلط هستند. تذکر: بعضی منطقدانها منطق گزارهها را منطق جملهها خواندند، ولی، به نظر میرسد با توجه به تفاوت زبانی گزاره و جمله و اینکه گزاره، فقط به جمله خبری گفته میشود، عبارت منطق گزارهها صحیحتر است. تاریخچه به صورت سیستماتیک و سامانمند، حساب گزارهها بیش از ۲۳۰۰ سال قبل توسط فیلسوف یونانی ارسطو تنظیم یافت. گزارهها جملات خبری هستند که واقعیتی را اظهار مینمایند. واقعیت اعلان شده یا درست است، یا غلط، ولی نه هر دو. مثالها: ۰۱ تهران پایتخت کشور ایران است. ۰۲ ۳ = ۲ + ۲ در اینجا، گزارهٔ ۱ درست و گزارهٔ ۲ غلط است متغیرهای گزارهای درست همانند ورتنده های عددی، متغیرهای گزارهای را هم با حروف الفبا نمایش میدهیم. معمولاً شروع از حرف p در ابتدای کلمه proposition است و ادامه حروف: p, q, r, s |
برچسب ها |
فلسفه, منطق, حساب گزاره ها, حساب گزاره ای |
کاربران در حال دیدن موضوع: 1 نفر (0 عضو و 1 مهمان) | |
ابزارهای موضوع | |
نحوه نمایش | |
|
|
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