Forum de Mathématiques: Maths-Forum

Mais souvent me manque quelques petits détails comme ici et maintenant j'ai compris une bonne partie du cours, sans quoi j'ai passé des heures et ne rien avoir compris...

D'accord donc maintenant je comprend déjà nettement mieux.

Je suppose donc que savoir si une de ses structures est un model, veut dire savoir si ils remplissent toutes les conditions.

D'autres part, que veulent dire les (il existe du début), z y x?

Robot a écrit:Je note d'ailleurs une maladresse du corrigé : il y est écrit "il faut prendre", alors qu'il conviendrait écrire "il suffit de prendre".

Ah oui, là c'est plutôt ma traduction de l'anglais qui pose problème...

Lire le cours, je l'ai fait déjà quelques fois, mais j'ai un peu de mal. D'ailleurs j'ai lus également un certain nombre d'autres cours sur le net, mais...

Procédons par étapes. Je ne comprends déjà pas ce que m et n viennent faire ici. Ca commence mal je sais bien...

Bonjour, Merci pour la réponse. Après quelques recherches j'ai trouvé la réponse au problème dans mes notes, mais je ne les comprend pas vraiment. Est-ce que quelqu'un comprend et peut me donner quelques explications? Solution: Pour prouver qu'une structure est un model pour F, nous devons trouver x...

Bonjour, Je suis en train de préparer des examens, et il y a une partie du cours de logique combinatoire que je n'ai pas compris. Un exemple de question dit: Quel des structures suivantes UA = (UA, IA) sont des models pour la formule: F = ;)z ;)y ;)x (P(x, y) ;) P(z, y) ;) P(x, z) ;) ¬P(z, x))? a) U...