1 Mots clés forAll, exists, and, or, imply

Description

Nous verrons que tous les mots clés forAll, exists, and, or, imply doivent être traduits en même temps, c'est pourquoi ils se trouve dans la même extension.

Sous-tâches

• Les points communs aux extensions d'ajout de mot clés (forAll, exists, imply) | en cours | 2018
• Traduction sans hypothèse | fait | 2019
• Retrouver la déduction d'ajout | en cours | 2019
• Les mots clés | en cours | 2019
• Définir and, or, neg | fait | 2019
• preuve de validité | à finir | 2019