منطق مرتبه اول
Sign in to saveAlso known as first-order predicate calculus, predicate logic, quantified logic, predicate calculus, quantificational logic, FOL
در منطق مرتبه اول جملاتی وجود دارد که از «متغیرهای سور داده شده» روی اشیای غیر منطقی استفاده میکند.
Wikidata facts
- Subclass of
- predicate logic
Show 2 more facts
- Stack Exchange tag
- cs.stackexchange.com/tags/first-order-logic
- studied by
- mathematical logic
via Wikidata · CC0