Lazi

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