Demonstration par la deduction naturelle

Fermé
Evra - 8 nov. 2013 à 12:39
cs_Julien39 Messages postés 6414 Date d'inscription mardi 8 mars 2005 Statut Modérateur Dernière intervention 29 juillet 2020 - 8 nov. 2013 à 13:55
Bonjour, je suis étudiant en troisième année d'informatique à l'université de yaoundé1.Je viens par le présente occasion solliciter un coup demain pour réalisation de mon devoir.Il s'agit de coder la démonstration par déduction naturelle et par résolution définie en logique.Merci d'avance!

2 réponses

jordane45 Messages postés 38145 Date d'inscription mercredi 22 octobre 2003 Statut Modérateur Dernière intervention 25 avril 2024 344
8 nov. 2013 à 12:44
0
cs_Julien39 Messages postés 6414 Date d'inscription mardi 8 mars 2005 Statut Modérateur Dernière intervention 29 juillet 2020 371
8 nov. 2013 à 13:55
Bonjour,

Je ferme le sujet pour les raisons évoquées par jordane45
0
Rejoignez-nous