🌐EnglishEnglishBahasa IndonesiaDeutschEspañolFrançaisItalianoNederlandsPolskiPortuguêsSvenskaРусскийالعربيةفارسیहिन्दीไทย한국어中文日本語EntityQ374182· pop 30· linked from 707 articleslogical consequenceAlso known as entailment, asserted relation, implies, logically implies, logical implicationfundamental concept in logicAvailable in 30 languagesEspañolFrançaisDeutsch中文日本語РусскийPortuguêsالعربيةहिन्दीBahasa IndonesiaConnectionsBoolean algebraEntitysemantics of logicEntityCategoriesBinary operationsConcepts in logicDeductive reasoningLogical consequenceMetalogicPhilosophical logicPropositional calculusSemantic unitsSyntax (logic)