Benutzer:Bejahend/Konsequenzrelation

Eine Konsequenzrelation ist eine Relation zwischen Ausdrücken einer formalen Logik. Prämissen werden Konklusionen zugeordnet.

• Schreibweise ... en:Turnstile (symbol)
• logische Folgerung
• semantische Folgerung
• Konsequenz
• syntaktische Folgerung
• Implikation #Metasprachliche Implikation

Andere Sprachen:

• en:logical consequence