predicate calculus

زبان مبدأ: انگلیسی

ترجمه به فارسی

  1. واژه‌نامه · Merriam-Webster Collegiate Dictionary predicate calculus Function:           noun Date:               1950 : the branch of symbolic logic that uses symbols for quantifiers and for arguments and predicates of propositions as well as for unanalyzed propositions and logical connectives ― called also functional calculus ― compare PROPOSITIONAL CALCULUS ]]>
فرهنگ‌نامه فرم نو
{{ err }}

{{ metaLine || "واژه‌نامه فارسی‌طور و دیکشنری اروپایی" }}

یک حرف از الفبا را بزنید یا واژه را جستجو کنید.

واژه‌ای در این بخش پیدا نشد.

ترجمه به انگلیسی از دیکشنری‌های بارگذاری‌شده

{{ entry.headword }}

/{{ entry.ipa }}/

{{ entryLat ? "ترجمه به فارسی" : "معنی فارسی" }}

  1. {{ sn.pos }}
    ویژه
    {{ sn.n }}.{{ sn.gloss }}

    {{ sn.example }}

{{ entry.etymology }}

{{ entry.related }}

ترجمه به انگلیسی

ترجمه به فرانسه

تعاریف ویکی‌واژه CC BY-SA است؛ موارد «واژه‌نامه» مال حساب شماست مگر عمومی منتشر شود.

کاربران

سطح عمومی، ویژه، ویرایشگر، مدیر. نقش ارشد عوض نمی‌شود.

  • {{ u.name || u.mobile }} {{ u.mobile }}
    ارشد

واژه‌نامه من

فهرست واژگان را به حساب خودتان بچسبانید. عضو عمومی فقط فهرست خصوصی دارد.

جداکننده: تب، = یا |. ستون سوم تب‌دار یادداشت است. خط‌هایی که با # شروع شوند نادیده گرفته می‌شوند.

{{ gMsg }}

  • {{ g.name }} {{ g.lang }} · {{ g.term_count }} واژه · {{ g.visibility }}