قدیمی 05-01-2011, 02:34 PM   #1
roya
(کاربر طلایی)
 
roya آواتار ها
 
تاریخ عضویت: Jan 2011
نوشته ها: 972
Angel منطق امری




منطق امری


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


کلیات


اگر معنی A این باشد که « تو سیب می‌خوری»، آن‌گاه معنی A چنین خواهد بود: «سیب بخور»اگر معنیSاین باشد که « هوا آفتابی‌است»، آن‌گاه معنی S چنین خواهد بود: «هوا آفتابی باشد.» اگر معنی H این باشد که « تو تکالیفت را انجام می‌دهی»، آن‌گاه معنی ⌐H چنین خواهد بود «تکالیفت را انجام نده» ؛ اگر معنیT این باشد که «تو به تفریح می‌روی»، آن‌گاه معنی ⌐T چنین خواهد بود: «به تفریح نرو». اگر بگوییم H→ T به این معنی‌است که « به تفریح برو، به شرطی که تکالیفت را انجام بدهی.»؛ این جمله از نظر مفهوم برابر با این جمله‌است: ⌐ T→ ⌐H یعنی «اگر تکالیفت را انجام ندهی، نباید به تفریح بروی.»

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 . کلیه حقوق برای وبگاه حرف روز محفوظ است