, 
的练习.
请注意: WIMS 的网页是交互式的: 它们不是通常的 HTML 文件. 只能在线交互地 使用. 您用自动化程序收集的网页是无用的.
Description: 有关逻辑量词的练习. interactive exercises, online calculators and plotters, mathematical recreation and games
Keywords: interactive mathematics, interactive math, server side interactivity, logic, forall, quantifier, logical, quantificator