Forum de Mathématiques: Maths-Forum

Merci pour la réponse,
Je ne comprends pas vraiment ce que tu veux dire, on a la transitivité de l'égalité et pas celle de E, donc je ne vois pas comment montrer cella si vous pouvez me détailler votre idée s'il vous plaît...

Bonjour, Merci pour votre réponse, Enfaite, on nous demande de montrer que cette formule appartient à la théorie de l'axiomatisation donnée.en terme de graphe la formule correspond à dire dans un graphe si on a une arête entre x et y et une arête entre y et z alors on n'a pas d'arête entre x et z (a...

Bonjour, J'ai une question sur la logique du premier ordre, je ne comprends pas trop comment dois je y procéder. Si quelqu'un peut m'aider s'il vous plaît, je vous remercie ! Voici l'énoncé et la question : On se place dans cet exercice sur la signature LG def = (∅, {E(2) , =(2)}) et on commence par...