اصطلاح مرجح
جمله
نوع
-
http://www.irandoc.ac.ir/onto/irandoc-meta/Concept
مفهوم اعم
مفهومهای اخص
مفهومهای وابسته
- آزمون وات
- ادات منطقی
- استنتاج
- استنتاج طبیعی
- تصدیق
- تناقض
- حساب دنبالهها
- حکم باطل
- دستگاه اصل موضوعی
- رد
- زبان مرتبه اول
- زیرساخت بسته
- ساختار قویمینیمال
- عبارت
- عبارت) جمله)
- عملیات منطقی
- فرمول قویمینیمال
- قیاس
- مجموعه قویمینیمال
- مدل اتمی
- مدل تکمیلشده نظریه
- نادرست
- نظریه
- نظریه مدل کامل
- نقیض
- نمودار اتمی
- نمودار مقدماتی
در زبان های دیگر
sentence
English
URI
http://www.irandoc.acir/onto/irandoc/MAT0007265