آشنایی با Kreisel–Putnam logic چیست؟معنی Kreisel–Putnam logic یعنی چه؟ آشنایی با منطق کرایزل-پاتنم چیست؟معنی منطق کرایزل-پاتنم یعنی چه؟ آشنایی با گویایی کرایزل-پاتنم چیست؟معنی گویایی کرایزل-پاتنم یعنی چه؟ برابر پارسی منطق کرایزل-پاتنم معادل فارسی منطق کرایزل-پاتنم

فرزانگی
درون‌شد هموندی
دانشنامه
فرزانگی گویایی انگارش رایانش
هستی‌شناسی پارسی‌گردان ویراستار آزمایشگاه گویایی تالار ناموران نبیگخانه واژه‌نامه درباره
در این تاربرگ:

زبان‌ها:
PA گویایی کرایزل-پاتنم

بازدید

۲۳۲

واپسین ویرایش

چهارشنبه، ۱ خرداد ۱۳۹۸

نگارنده‌ی این تاربرگ

افشین پوریا

گویایی درون‌یافت‌گروی

گویایی کرایزل-پاتنم

همچنین شناخته شده با: منطق کرایزل-پاتنم
برابر انگلیک (انگلیسی): Kreisel–Putnam logic

1.𝐴∨¬𝐴 A∨¬A A∨¬Aقانون میانی برون‌داشتهaxiom▲ Intuitionistic logic
2.¬¬𝐴⊃𝐴 ¬¬A⊃A ¬¬A→Aزدودن دوبار نی‌شدنaxiom▲ Intuitionistic logic

بازگشت به بالا فرزانگی© | ۱۴۰۴