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