اصطلاح مرجح
فرمول وجودی مثبت
نوع
-
http://www.irandoc.ac.ir/onto/irandoc-meta/Concept
مفهوم اعم
یادداشت دامنه
-
فرمول هایی که از فرمول های مثبت و "سور وجودی" ساخته شده باشد.
در زبان های دیگر
positive existential formula
English
URI
http://www.irandoc.acir/onto/irandoc/MAT0007273