Logique formelle

[clementg]

Bonjour,

Déjà, je tiens à préciser Je ne suis pas très à l'aise avec la logique formelle...
La question est la suivante :

Soit F(sylé)={F1,..Fn} un ensemble de formules et F une formule telle que F(stylé) |= F. Prouver que pour toute formule G :

F(stylé)U{G}|= F

Je ne vois pas du tout comment commencer, même si je suppose qu'il faut certainement partir de la définition de la conséquence logique :
F(stylé) = {F1,...,Fn}. Si F(stylé) |= F alors |= F1^...^F2 -> F.

Merci à tous

J'ai un partiel demain, et c'est tiré d'un partiel de l'année précédente...

[Ben314]

T'aurai pas un truc style axiome qui te dirait que |= A^B -> B ?
dans ce cas |= F1^F2^...^Fn^G -> F1^F2^...^Fn