| Afrikaans |
| lexicalization | afr: predikaatlogika |
| Catalan |
| has gloss | cat: La lògica de primer ordre, també anomenada lògica de predicats o càlcul de predicats, és un sistema formal dissenyat per estudiar la inferència en els llenguatges de primer ordre. Els llenguatges de primer ordre són, al seu torn, llenguatges amb quantificador (lògica) és que arriben només a variables dindividu, i amb funcions els arguments són només constants o variables dindividu. |
| lexicalization | cat: lògica de primer ordre |
| Czech |
| has gloss | ces: V matematice a logice se pojmem predikátová logika označuje formální odvozovací systém používaný k popisu matematických teorií a vět. |
| lexicalization | ces: Predikátová logika |
| Danish |
| has gloss | dan: Prædikatlogik eller Logik af første orden er en del af den matematiske logik. Mens man i sætningslogikken – udsagnslogik eller junktorlogik – blot kan sætte færdige sætninger sammen til mere komplicerede sætninger, eksempelvis danne A\land B, hvis A og B er sætninger, for at udtrykke A og B, kan man i prædikatlogikken anvende prædikater. Eksempelvis kan P repræsentere er ulige så at P(x) betyder x er ulige. |
| lexicalization | dan: Prædikat logik |
| lexicalization | dan: Prædikat-logik |
| lexicalization | dan: prædikatlogik |
| German |
| has gloss | deu: Prädikatenlogik oder Quantorenlogik ist eine Familie logischer Systeme, die es erlauben, einen weiten und in der Praxis vieler Wissenschaften und deren Anwendungen wichtigen Bereich von Argumenten zu formalisieren und auf ihre Gültigkeit zu überprüfen. Auf Grund dieser Eigenschaft spielt die Prädikatenlogik eine große Rolle in der formalen und nicht formalen Logik sowie in Mathematik, Informatik, Linguistik und Philosophie. |
| lexicalization | deu: Prädikatenlogik |
| Modern Greek (1453-) |
| has gloss | ell: :Για τη συγκεκριμένη έννοια, βλ. λογική πρώτου βαθμού. Στη μαθηματική λογική, κατηγορηματική λογική είναι ο γενικός όρος για τα συμβολικά τυπικά συστήματα όπως η λογική πρώτου βαθμού, η λογική δεύτερου βαθμού, η λογική πολλών ειδών (many-sorted logic), ή η infinitary λογική. Αυτό το τυπικό σύστημα διαφοροποιείται από άλλα τυπικά συστήματα στο ότι οι τύποι του περιέχουν μεταβλητές που μπορεί να είναι ποσοτικοποιημένες (quantified). Δύο συνηθισμένοι ποσοτικοί τελεστές είναι ο "υπάρχει" και ο "για κάθε". Οι μεταβλητές μπορούν να είναι στοιχεία σε κάποιο χώρο, ή πιθανώς σχέσεις ή συναρτήσεις πάνω στο χώρο. Για παράδειγμα, ο υπαρξιακός τελεστής σε ένα σύμβολο συνάρτησης ερμηνεύεται ως "υπάρχει κάποια συνάρτηση". |
| lexicalization | ell: κατηγορηματική λογική |
| Estonian |
| has gloss | est: Predikaatloogika ehk predikaatarvutus on lauseloogika laienduste klass, kus lisaks lausesümboltele ja konnektoritele on kasutusel vähemalt predikaadisümbolid, indiviidikonstandid, muutujad (indiviidimuutujad) ja kvantorid. Mõnikord nimetatakse predikaatarvutuseks aksiomatiseeritud predikaatloogikat. |
| lexicalization | est: predikaatloogika |
| Persian |
| has gloss | fas: منطق محمولات (Predicate logic) یا منطق مرتبهٔ اوّل (First-order logic - FOL) زبانیست فراگیر در علوم نمادی (symbolic)، که توسّط دانشمندان مختلف در علوم ریاضی، فلسفه، زبانشناسی، علوم رایانه، و به طور اخصّ، در هوش مصنوعی، و نمایش دانش مورد استفاده قرار میگیرد. |
| lexicalization | fas: منطق محمولات |
| Finnish |
| has gloss | fin: Predikaattilogiikka on symbolisen logiikan osa-alue, jolla tutkitaan tietynlaisia formaalikieliä. Predikaattilogiikka jakautuu ensimmäisen kertaluvun predikaattilogiikkaan ja korkeampien kertalukujen predikaattilogiikoihin. Jälkimmäisten kohdalta mielenkiinto kohdistuu yleensä vain toisen kertaluvun predikaattilogiikkaan. |
| lexicalization | fin: predikaattilogiikka |
| French |
| has gloss | fra: Le calcul des prédicats du premier ordre, ou calcul des relations, ou logique du premier ordre, ou tout simplement calcul des prédicats est une formalisation du langage des mathématiques proposée par les logiciens de la fin du et du début du . |
| lexicalization | fra: Calcul des predicats |
| lexicalization | fra: calcul des prédicats |
| Hebrew |
| has gloss | heb: בלוגיקה מתמטית, שפה מסדר ראשון (נקראת גם לוגיקה מסדר ראשון או תחשיב פרדיקטים, בסימון מקובל FOL) היא הכללה של תחשיב הפסוקים: מקום בו תחשיב הפסוקים מטפל במשתנים בוליאניים שיש להם רק ערכי אמת ושקר, בשפה מסדר ראשון מותר למשתנים לקבל כל ערך בקבוצה נתונה. |
| lexicalization | heb: שפה מסדר ראשון |
| Hungarian |
| has gloss | hun: Az elsőrendű logika a matematikai logikának az elsőrendű nyelvekkel foglalkozó ága. Az elsőrendű nyelvek olyan formális nyelvek, melyekben lehetőség van az individuumváltozók kvantifikálására, vagyis a „van olyan x amelyre A teljesül” és a „minden x-re A teljesül” típusú állítások megfogalmazására. |
| lexicalization | hun: elsőrendű logika |
| Japanese |
| has gloss | jpn: 一階述語論理（いっかいじゅつごろんり、first-order predicate logic）あるいは述語論理 (predicate logic) は、数理論理学の形式体系のひとつであり、命題論理を拡張したものである。述語 (predicate) が変項化されないものを一階述語論理と呼び、述語を変項化したものを二階述語論理（さらに一般化して高階述語論理）と呼ぶ。本項では主に一階述語論理までについて解説する。 |
| lexicalization | jpn: 一階述語論理 |
| Korean |
| has gloss | kor: 1차 논리(first-order logic), 1차 술어 논리는 수학, 철학, 언어학, 컴퓨터 과학 등에서 쓰이는 형식 언어로, 일반적으로 술어논리로 부르기도 한다. 명제 논리를 보다 강력하게 확장한 것이다. |
| lexicalization | kor: 1차 논리 |
| lexicalization | kor: 1차논리 |
| Macedonian |
| has gloss | mkd: Кај математичката логика, предикатната анализа, предикатната логика или анализа за исказни функции (исто) е формален систем кој се употребуа за опис на математички теории. |
| lexicalization | mkd: предикатна логика |
| Dutch |
| has gloss | nld: De predicatenlogica of eerste-ordelogica is een formele logica waarin eigenschappen van en relaties tussen objecten kunnen worden beschreven. |
| lexicalization | nld: predicatenlogica |
| Russian |
| lexicalization | rus: Исчисление предикатов |
| Slovak |
| has gloss | slk: Predikátová logika = predikátový počet = predikátový kalkul = logika kvantifikátorov = logika predikátov = logika funkcionálna, je časť logiky vyšetrujúca spôsoby, ktorými z formulí vznikajú výroky pomocou kvantifikátorov a logických spojok. Predikátová logika sa zaoberá tak otázkami dokázateľnosti, ako aj pravdivosti. Okrem bežného predikátového počtu existujú aj predikátové počty vyšších rádov, v ktorých je povolená nielen kvantifikácia objektových premenných, ale aj kvantifikácia predikátov. |
| lexicalization | slk: Predikátová logika |
| Swedish |
| has gloss | swe: Predikatlogik är en del av den matematiska logiken. Medan man i satslogiken bara kan sätta samman färdiga satser till mer komplicerade satser, exempelvis bilda A\land B, om A och B är satser, för att uttrycka A och B, kan man i predikatlogiken använda predikat. Exempelvis kan P representera är udda så att P(x) betyder x är udda. Man kan också bilda flerställiga relationer P(x,y), exempelvis för att representera relationen större än. I mängdteori kan hela matematiken formuleras med hjälp av predikatlogik med en enda relation \in, som uttrycker att en mängd är element i en annan. Samma logiska operationer som finns i satslogiken finns även i predikatlogiken. Dessutom finns all- och existens-kvantorer som uttrycker att något gäller för alla respektive för något objekt. |
| lexicalization | swe: predikatlogik |
| Ukrainian |
| has gloss | ukr: Логіка першого порядку (числення предикатів) — це формальна система в математичній логіці, в якій допускаються висловлення відносно змінних, фіксованих функцій, і предикатів. Є розширенням логіки висловлювань. В свою чергу є частковим випадком логіки вищого порядку. |
| lexicalization | ukr: Логіка першого порядку |
| Chinese |
| lexicalization | zho: 谓词逻辑 |