Forum de Mathématiques: Maths-Forum

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 commen...