Forum de Mathématiques: Maths-Forum

j'avoue que ca m'aide pas trop ta réponse, mais c'est sympa de tenter de m'aider, si quelqu'un d'autre sait comment faire, je suis preneur.

Bonjour à tous, j'ai un problème concernant la déduction naturelle : http://perso.orange.fr/seyia/MT42_0.jpg j'ai réussi à faire le b) : http://perso.orange.fr/seyia/MT42_1.jpg Mais je ne comprend pas comment faire le a), en effet la virgule de l'énoncé me bloque un peu je ne sais pas trop comment l...