l
logical consequence
Fundamental concept in logic
Also known as entailment · asserted relation · implies · logically implies · logical implication · =>
- Instance of
- Subclass of
- Part of
Overview
All data
27 statements · 15% with external sources · numbers in brackets are citations
- Unicode character
- ⇒ tex string: \Rightarrow · html entity: ⇒
- Defining formula
(T\models\langle\phi\rangle)\iff(\forall M\models T\colon M\models\langle\phi\rangle)
- In defining formula
T\models\langle\phi\ranglesymbol represents: logical consequenceM\models Tsymbol represents: model
On other databases
14 identifiers linking logical consequence across the web's reference databases
- Australian Educational Vocabulary IDscot/15501
- Elhuyar ZTH ID139751
- Encyclopædia Britannica Online IDtopic/logic-of-consequences
- Freebase ID/m/0c6np
- GND ID4161414-8
- Great Russian Encyclopedia portal IDumozakliuchenie-c6fdc4
- Internet Encyclopedia of Philosophy IDlogcon
- KBpedia IDLogicalConsequence
- Krugosvet article (archived)gumanitarnye_nauki/filosofiya/UMOZAKLYUCHENIE.html
- Microsoft Academic ID (discontinued)134752490
- National Library of Poland MMS ID9810693501105606
- New Encyclopedic Dictionary of Czech IDIMPLIKACE
- OpenAlex IDC134752490
- Stanford Encyclopedia of Philosophy IDlogical-consequence