Home›Binary operations›قضية شرطية🌐العربيةEnglishBahasa IndonesiaDeutschEspañolFrançaisItalianoNederlandsPolskiPortuguêsSvenskaРусскийالعربيةفارسیहिन्दीไทย한국어中文日本語EntityQ374182· pop 30· linked from 707 articlesقضية شرطيةAlso known as entailment, asserted relation, implies, logically implies, logical implicationمفهوم أساسي في المنطقAvailable in 30 languagesEspañolFrançaisDeutsch中文日本語РусскийPortuguêsالعربيةहिन्दीBahasa IndonesiaConnectionsBoolean algebraEntitysemantics of logicEntityCategoriesBinary operationsConcepts in logicDeductive reasoningLogical consequenceMetalogicPhilosophical logicPropositional calculusSemantic unitsSyntax (logic)