quiz:测验生成器+一些测验（逻辑上）

测验 测验生成器+一些测验（逻辑上） 这是如何写一个问题和一些答案： <question> Est-ce que la formule \(\exists x, \forall y, x = y\) est satisfiable ? <answer>Oui</answer> <answer>Non</answer> <explanation> Être satisfiable c'est admettre au moins un modèle. Là, cette formule est vraie dans un modèle où le domaine n'a qu'un seul élément. </explanation> </question>