OEF 对所有的
--- 介绍 ---
本模块目前包含 4 个关于逻辑量词 : 
, 
的练习.
量词 2
以下性质是否为真 ?
量词 1
以下性质是否为真 ?
量词 2b
以下性质是否为真 ?
量词 3
以下性质是否为真 ?
The most recent version
由于 WIMS 不能识别您的浏览器, 本页不能正常显示.
请注意: WIMS 的网页是交互式的: 它们不是通常的 HTML 文件. 只能在线交互地
使用. 您用自动化程序收集的网页是无用的.
- Description: 有关逻辑量词的练习. exercises interactifs, calcul et trac� de graphes en ligne
- Keywords: interactive mathematics, interactive math, server side interactivity, logic, forall, quantifier, logical, quantificator