Baustein:Deduktionstheorem für aussagenlogische Formeln

Aus VoWi
Wechseln zu: Navigation, Suche
Deduktionstheorem für aussagenlogische Formeln[Bearbeiten]

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

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

Folgerung: ... gilt genau dann, wenn (F_1 \and ... \and F_{n}) \rightarrow G \, eine gültige Formel ist.