Kategorie:Deduktionstheorem für aussagenlogische Formeln

Deduktionstheorem für aussagenlogische Formeln[Bearbeiten | Quelltext bearbeiten]

${\displaystyle F_{1},...,F_{n}\models G\,}$ gilt genau dann, wenn ${\displaystyle F_{1},...,F_{n-1}\models (F_{n}\rightarrow G)\,}$ eine gültige Formel ist.

für n = 0 ist ${\displaystyle \models G\,}$ gleichbedeutend mit "${\displaystyle G\,}$ ist gültig".

Folgerung: ... gilt genau dann, wenn ${\displaystyle (F_{1}\land ...\land F_{n})\rightarrow G\,}$ eine gültige Formel ist.