Benutzer:Bejahend/Konsequenzrelation
aus Wikipedia, der freien Enzyklopädie
< Benutzer:Bejahend
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 6. Juni 2019 um 21:50 Uhr durch imported>Bejahend(2348298) (AZ: Die Seite wurde neu angelegt: Eine '''Konsequenzrelation''' ist eine Relation zwischen Ausdrücken einer…).
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:
