| Information | |
|---|---|
| has gloss | (noun) something that is inferred (deduced or entailed or implied); "his resignation had political implications" implication, entailment, deduction |
| has gloss | eng: In linguistics, entailment is the relationship between two sentences where the truth of one (A) requires the truth of the other (B). This relationship is generalized below. |
| lexicalization | eng: deduction |
| lexicalization | eng: entailment |
| lexicalization | eng: implication |
| subclass of | (noun) the reasoning involved in drawing a conclusion or making a logical judgment on the basis of circumstantial evidence and prior conclusions rather than on the basis of direct observation illation, inference |
| Meaning | |
|---|---|
| Bengali | |
| lexicalization | ben: অনুমান |
| Mandarin Chinese | |
| lexicalization | cmn: yùn han |
| lexicalization | cmn: 蕴涵 |
| lexicalization | cmn: 蘊涵 |
| Show unreliable ▼ | |
| lexicalization | cmn: 含意 |
| German | |
| lexicalization | deu: Erforderung |
| Show unreliable ▼ | |
| lexicalization | deu: Implikation |
| Basque | |
| lexicalization | eus: kenkari |
| Galician | |
| lexicalization | glg: dedución |
| Italian | |
| lexicalization | ita: implicazione |
| Occitan (post 1500) | |
| Show unreliable ▼ | |
| lexicalization | oci: implicacion |
| Portuguese | |
| has gloss | por: Em lógica, o acarretamento (ou implicação lógica ou consequência semântica) é uma relação entre sentenças de uma linguagem formal de tal forma que se \boldsymbol\Gamma} é um conjunto de sentenças e se \boldsymbol\alpha} é uma sentença, então podemos concluir que a sentença \boldsymbol\alpha} é verdadeira desde que todas as sentenças em \boldsymbol\Gamma} o sejam. |
| lexicalization | por: dedução |
| lexicalization | por: acarretamento |
| Moldavian | |
| Show unreliable ▼ | |
| lexicalization | ron: implicație |
| Swedish | |
| has gloss | swe: I logik är begreppet medför (en. ) en relation mellan två uppsättningar formler i ett formellt språk. Om A och B är två uppsättning formler i det formella språket, så följer B av A, dvs A medför B, om en interpretering som gör alla formler i A sanna gör formlerna/formeln i B sanna/sann. Symboliskt skrivs detta som |
| lexicalization | swe: medför |
| Thai | |
| Show unreliable ▼ | |
| lexicalization | tha: การทำให้เกี่ยวข้อง |
| lexicalization | tha: สิ่งที่เกี่ยวข้อง |
| Chinese | |
| has gloss | zho: 蕴涵(implication 或 entailment)在命题逻辑和谓词逻辑中用来描述在两个句子或句子的集合之间的联系。 |
| lexicalization | zho: 蕴涵 |
| Links | |
|---|---|
| Show unreliable ▼ | |
| similar | e/Entailment |
| Media | |
|---|---|
| media:img | Relation1011.svg |
| media:img | Venn A subset B.png |
| media:img | Venn1011.svg |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint
