| Belarusian |
| has gloss | bel: Імплікацыя ( — шчыльна зьвязваю) — лягічная апэрацыя, у выніку якой утвараецца складанае выказваньне з двух выказваньняў шляхам лягічнай зьвязкі. Працэс адпавядае злучніку «калі ..., тады (у такім выпадку) ...». У імплікацыйным выказваньні выдзяляюць антэцэдэнт (выказваньне, да якога далучаецца частка «калі...») і кансэквэнт (выказваньне, што адпавядае слову «тады (у такім выпадку) ...»). |
| lexicalization | bel: Імплікацыя |
| Bosnian |
| has gloss | bos: Implikacija odgovara na "ako ... onda ...". Označava se znakom "→" ili P"→Q. Tako se rečenica "P → Q" prevodi sa "Ako su prave a i b palelne i ako su prave b i c paralne, onda su prave a i c paralelne. Ona je neistina onda i samo onda ako je sud P istinit i sud Q neistinit. |
| lexicalization | bos: Implikacija sudova |
| Catalan |
| lexicalization | cat: implicació |
| Czech |
| has gloss | ces: Implikace (z lat. implicatio, propletení, zahrnutí) znamená vztah vyplývání nebo zahrnutí. Skutečnost nebo výpověď A implikuje nějaké B pokud z A nutně vyplývá B, případně pokud je B v A už zahrnuto čili implikováno. Příklad: „Nebude-li pršet, nezmoknem.“ |
| lexicalization | ces: implikace |
| German |
| has gloss | deu: Subjunktion (lat. subiungere ,unterordnen‘), Konditional (lat. condicio ,Beschaffenheit, Zustand, Bedingung, Verfassung‘) oder irreführend auch materiale Implikation (lat. materia ,das, woraus etwas besteht‘ und implicare ,umfassen‘) wird in der Logik eine Aussage genannt, die mit dem Junktor „Wenn-dann“ aus zwei anderen Aussagen zusammengesetzt ist, zum Beispiel die Aussage „Wenn ein elektrischer Strom fließt, dann erwärmt sich die Leitung“. |
| lexicalization | deu: Subjunktion |
| Esperanto |
| has gloss | epo: Implico estas kopulo, kiu ligas du logikan frazon p (antaŭulo de implico) kaj q (postanto de implico). il signifas : "el p rezultas/implicas q".(p \implies q). |
| lexicalization | epo: implico |
| Persian |
| has gloss | fas: در منطق و ریاضیات، شرطی منطقی یک عملگر منطقی دوتایی است، در صورتی که عملوند اول آن درست و عملوند دوم آن نادرست باشد، ارزش گزاره نادرست خواهد بود و در غیر این صورت ارزشی درست خواهد داشت. منابع * |
| lexicalization | fas: شرطی منطقی |
| Finnish |
| has gloss | fin: Implikaatio on kaksipaikkainen looginen konnektiivi, joka voidaan lukea "jos...niin". Implikaatio koostuu etujäsenestä ja takajäsenestä, joista edellinen implikoi eli "sisältää" tai "edellyttää" jälkimmäisen. |
| lexicalization | fin: implikaatio |
| French |
| has gloss | fra: En logique classique, lexpression « une proposition P implique logiquement une proposition Q » signifie « la proposition ¬P ∨ Q est vraie ». Formellement cela sécrit P ⇒ Q. |
| lexicalization | fra: Implication logique |
| lexicalization | fra: implication |
| Hebrew |
| has gloss | heb: בלוגיקה מתמטית, אם-אז הוא קשר לוגי, הנקרא גם קָשר הגרירה, שסימנו \ \rightarrow. הקשר יוצר משני פסוקים p ו- q פסוק חדש, \ p\rightarrow q, שמרכיבו הראשון, p, נקרא "תנאי", ומרכיבו השני, q, נקרא "תוצאה". |
| lexicalization | heb: אם אז |
| lexicalization | heb: אם-אז |
| Hungarian |
| has gloss | hun: Implikál: maga után von, következtet Implikáció: logikai művelet, használjuk a matematikai logikában, informatikában. Ha p és q ítéletek, melyek lehetséges értékei 0 (hamis) vagy 1 (igaz), akkor az implikáció műveletét, melynek jele a →, a következő művelettábla szerint értelmezzük: | ! p ! q ! p→q |- | 0 | 0 | 1 |- | 0 | 1 | 1 |- | 1 | 0 | 0 |- | 1 | 1 | 1 |} A fentiek szerint hamis állításból következhet hamis, hamisból következhet igaz (reductio ad absurdum módszere), igazból nem következhet hamis, igazból következhet igaz állítás. |
| lexicalization | hun: Implikáció |
| Italian |
| has gloss | ita: La implicazione logica è un connettivo logico attraverso il quale, a partire da due proposizioni A e B, si forma una nuova proposizione chiamata A implica B e scritta A \Rightarrow B la quale è vera se e solo se è verificata la seguente condizione: se è vero A allora è vero anche B. In particolare A implica B è vera se A è falso qualunque sia il valore di verità di B. |
| lexicalization | ita: implicazione logica |
| Japanese |
| has gloss | jpn: 論理包含（ろんりほうがん、含意（がんい）、内含、implication、IMP）は、第1命題が偽または第2命題が真のときに真となる論理演算である。条件文（じょうけんぶん、conditional）とほぼ同じものである。 |
| lexicalization | jpn: 論理包含演算 |
| lexicalization | jpn: 論理包含 |
| Kara-Kalpak |
| has gloss | kaa: İmplikatsiya - «eger… onda…» ma'nisin beriwshi binar logikalıq baylanıs. |
| lexicalization | kaa: İmplikatsiya |
| Macedonian |
| has gloss | mkd: Кај исказната анализа, или логичката анализа во математиката, материјалната импликација или материјалниот услов е бинарнен вистински функционен логички оператор во обликот: |
| lexicalization | mkd: Материјална импликација |
| Dutch |
| has gloss | nld: De logische implicatie is in de logica een bewering die stelt dat als P waar is, Q ook waar is. Deze bewering is alleen onwaar als het antecedent P waar is en het consequent Q onwaar is. Het wordt aangegeven met een pijl van P naar Q, zoals dit: P \rightarrow Q. De constructie P \rightarrow Q \rightarrow R dient gelezen te worden als P \rightarrow (Q \rightarrow R). |
| lexicalization | nld: logische implicatie |
| Norwegian |
| has gloss | nor: Subjunksjon (også implikasjon) er en viktig sannhetsfunksjon i setningslogikken (latin sub = «under», junctio = implicatio = «forbindelse»). Subjunksjonen av to utsagn er falsk hvis og bare hvis premissen er sann mens konklusjonen er falsk. Den symbolske skrivemåten for subjunksjonen av to utsagn A (premissen) og B (konklusjonen) er :\mathbf A \rightarrow \mathbf B og kan uttales som følger: * «hvis A, så B,» * «av A følger B,» * «A er tilstrekkelig for B.» |
| lexicalization | nor: subjunksjon |
| Piemontese |
| has gloss | pms: Lamplicassion a lé noperassion lògica, ëd sòlit denotà con ël sìmbol \Rightarrow o \rightarrow . A peul esse definìa an fonsion ëd negassion e disgionsion an considerand p \Rightarrow q tanme abreviassion ëd \neg p \vee q. Ël sust ëd costoperassion a lé che lamplicassion p \Rightarrow q a lé vera gavà cand p a lé vera e q a l'é fàussa. |
| lexicalization | pms: amplicassion |
| Polish |
| has gloss | pol: Implikacja logiczna (wynikanie) - relacja (lub w innym ujęciu symbol relacyjny) pomiędzy teoriami (zbiorami zdań logicznych) T i B spełniona, gdy każdy model teorii T jest także modelem teorii B. Często mylona z implikacją materialną, będącą szczególnym przypadkiem zdania. |
| lexicalization | pol: Implikacja logiczna |
| Portuguese |
| has gloss | por: Condição é quando um fator só pode ocorrer se um outro fator ocorrer também. São fatores lógicos que determinarão uma ação. |
| lexicalization | por: Condição lógica |
| Moldavian |
| has gloss | ron: Implicaţia logică este un concept matematic care stabileşte că dintr-o afirmaţie dată se poate obţine o altă afirmaţie. |
| lexicalization | ron: Implicaţie logică |
| lexicalization | ron: Implicație logică |
| Russian |
| has gloss | rus: Импликация — бинарная логическая связка, по своему применению приближенная к союзам «если… то…». |
| lexicalization | rus: импликация |
| Slovak |
| has gloss | slk: Implikácia (z lat. implicare - úzko spájať) je logická operácia tvoriaca zložený výrok z dvoch výrokov pomocou logickej spojky, ktorá zodpovedá spojke ak - tak. |
| lexicalization | slk: implikácia |
| Slovenian |
| has gloss | slv: V matematični logiki je implikacija dvočlena logična operacija med izjavami. Znak za implikacijo je \Rightarrow ali redkeje tudi \rightarrow. Implikacija A\Rightarrow B je pravilna, samo če je pravilen sklep, da iz A sledi B; torej če sta oba operanda pravilna ali pa če je prvi operand napačen (iz napačne predpostavke lahko sledi karkoli). |
| lexicalization | slv: Implikacija |
| Castilian |
| has gloss | spa: El condicional material, también conocido como implicación material, condicional funcional de verdad o simplemente condicional, es una constante lógica que conecta dos proposiciones. El condicional material intenta ser la versión formal del condicional en el lenguaje natural, el cual se expresa por medio de palabras como las siguientes: |
| lexicalization | spa: condicional material |
| Swedish |
| has gloss | swe: En logisk implikation förenar två påståenden till ett nytt påstående med betydelsen att om det ena påståendet gäller så gäller även det andra. Språkligt används konstruktioner som "om p så q", "såvida p så q", "q givet p" m.fl. |
| lexicalization | swe: Implikation |
| Thai |
| has gloss | tha: ในแคลคูลัสเชิงประพจน์ เงื่อนไขเชิงตรรกศาสตร์ คือตัวดำเนินการทางตรรกศาสตร์ แบบทวิภาค ที่เชื่อมสองประโยค p และ q ให้เป็น: "ถ้า p แล้ว q" เราเรียก p ว่าเป็น สมมติฐาน (หรือ เหตุ) และ q ว่าเป็น ข้อสรุป (หรือ ผล) ตัวดำเนินการนี้มักเขียนด้วยลูกศรไปทางขวา "→" สมมติฐานบางครั้งก็เรียกว่าเงื่อนไขพอเพียงสำหรับข้อสรุป ในขณะที่ข้อสรุปมักถูกเรียกว่าเงื่อนไขจำเป็นสำหรับสมมติฐาน |
| lexicalization | tha: เงื่อนไขเชิงตรรกศาสตร์ |
| Ukrainian |
| has gloss | ukr: Імплікація — логічний оператор «якщо …, то …», тобто оператор між множиною T формул та формулою B, що виконується, якщо кожна модель (або інерпретація) T також є моделлю B. В символьному вигляді: # T \models B, # T \Rightarrow B # T \therefore B |
| lexicalization | ukr: Логічна імплікація |
| Chinese |
| has gloss | zho: 在命题演算，或在数学的逻辑演算中，实质条件、實質蘊涵或蕴涵算子是一种二元的真值泛函的逻辑运算符，它有着如下形式 |
| lexicalization | zho: 实质条件 |
