آشنایی با 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

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