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

【文件属性】：

文件名称：quiz:测验生成器+一些测验（逻辑上）

文件大小：19KB

文件格式：ZIP

更新时间：2024-05-24 15:20:51

logic quiz quiz-builder HTML

测验 测验生成器+一些测验（逻辑上） 这是如何写一个问题和一些答案： Est-ce que la formule \(\exists x, \forall y, x = y\) est satisfiable ? Oui Non Ê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.

【文件预览】：
quiz-main
----fo_herbrand.html(4KB)
----quiz.js(767B)
----LICENSE(34KB)
----fo.html(5KB)
----README.md(448B)
----fo_semantique.html(8KB)
----quiz.css(1KB)