Imaginons que j'ai démontré
où ... sont des expressions.
Est-il équivalent de dire:
?
Car c'est cela que je veux démontrer...
Merci
Petite question de logique
3 messages
- Page 1 sur 1
Petite question de logique
par AMA112 » 05 Mar 2010, 15:31
Bonjour,
Imaginons que j'ai démontré
=\lambda x)\longleftrightarrow\hspace{5 mm}(x=...)\\et\hspace{5 mm}on\hspace{5 mm}a\hspace{5 mm}dans\hspace{5 mm}ce\hspace{5 mm}cas\hspace{5 mm}\lambda=...)
où ... sont des expressions.
Est-il équivalent de dire:
=\lambda x)\longleftrightarrow\hspace{5 mm}(\lambda=...)\\et\hspace{5 mm}on\hspace{5 mm}a\hspace{5 mm}dans\hspace{5 mm}ce\hspace{5 mm}cas\hspace{5 mm}x=...)
?
Car c'est cela que je veux démontrer...
Merci
Imaginons que j'ai démontré
où ... sont des expressions.
Est-il équivalent de dire:
?
Car c'est cela que je veux démontrer...
Merci
par Nightmare » 05 Mar 2010, 15:36
Salut,
j'ai pas vraiment compris... tu quantifies un lambda mais il n'apparait nulle part après? Et qui est a? Est-ce lambda? Quel est le réel but de l'exercice?
j'ai pas vraiment compris... tu quantifies un lambda mais il n'apparait nulle part après? Et qui est a? Est-ce lambda? Quel est le réel but de l'exercice?
3 messages
- Page 1 sur 1
Qui est en ligne
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 83 invités
Tu pars déja ?
Fais toi aider gratuitement sur Maths-forum !
Créé un compte en 1 minute et pose ta question dans le forum ;-)
Identification
Pas encore inscrit ?
Ou identifiez-vous :