FGI- Folgerung und Äquivalenz
2007-05-03 19:55
Anonymer User
Eine Frage zur Folgerung:
Wenn ich Formeln F und G habe gilt ja:
F|=G gdw. (F => G) allgemeingültig ist
Kann ich auch dann, wenn z.B gilt: F = H, schreiben :
F|= G gdw. (F=> G) allgemeingültig ist
gdw. (H =>G) allgemeingültig ist
da man ja wegen des Ersetungstheorem F durch H ersetzen kann.
Wenn ich Formeln F und G habe gilt ja:
F|=G gdw. (F => G) allgemeingültig ist
Kann ich auch dann, wenn z.B gilt: F = H, schreiben :
F|= G gdw. (F=> G) allgemeingültig ist
gdw. (H =>G) allgemeingültig ist
da man ja wegen des Ersetungstheorem F durch H ersetzen kann.