logical consequence

Summary

logical consequence is a concept^[1]. It draws 307 Wikipedia views per month (concept category, ranking #159 of 912).^[2]

Key Facts

• logical consequence's instance of is recorded as concept^[3].
• logical consequence's GND ID is recorded as 4161414-8^[4].
• logical consequence's subclass of is recorded as consequence^[5].
• logical consequence's part of is recorded as inference^[6].
• logical consequence's Commons category is recorded as Logical consequence^[7].
• logical consequence's said to be the same as is recorded as conclusion^[8].
• logical consequence's said to be the same as is recorded as Q116159570^[9].
• logical consequence's Unicode character is recorded as ⇒^[10].
• logical consequence's Freebase ID is recorded as /m/0c6np^[11].
• logical consequence's topic's main category is recorded as Category:Logical consequence^[12].
• logical consequence's notation is recorded as implication arrow^[13].
• logical consequence's Encyclopædia Britannica Online ID is recorded as topic/logic-of-consequences^[14].
• logical consequence's different from is recorded as material implication^[15].
• logical consequence's different from is recorded as Q55644676^[16].
• logical consequence's defining formula is recorded as (T\models\langle\phi\rangle)\iff(\forall M\models T\colon M\models\langle\phi\rangle)^[17].
• logical consequence's studied by is recorded as logic^[18].
• logical consequence's Stanford Encyclopedia of Philosophy ID is recorded as logical-consequence^[19].
• logical consequence's Elhuyar ZTH ID is recorded as 139751^[20].
• logical consequence's Internet Encyclopedia of Philosophy ID is recorded as logcon^[21].
• logical consequence's maintained by WikiProject is recorded as WikiProject Mathematics^[22].
• logical consequence's Microsoft Academic ID is recorded as 134752490^[23].
• logical consequence's Krugosvet article is recorded as gumanitarnye_nauki/filosofiya/UMOZAKLYUCHENIE.html^[24].
• logical consequence's Australian Educational Vocabulary ID is recorded as scot/15501^[25].
• logical consequence's in defining formula is recorded as T\models\langle\phi\rangle^[26].
• logical consequence's in defining formula is recorded as M\models T^[27].

Why It Matters

logical consequence draws 307 Wikipedia views per month (concept category, ranking #159 of 912).^[2] It has Wikipedia articles in 21 language editions, a strong signal of global cultural recognition.^[28] It is known by 35 alternative names across languages and contexts.^[29]