OEF 对所有的
--- 介绍 ---

本模块目前包含 4 个关于逻辑量词 : forall, exists 的练习.

量词 2

以下性质是否为真 ?


量词 1

以下性质是否为真 ?


量词 2b

以下性质是否为真 ?


量词 3

以下性质是否为真 ?

The most recent version


由于 WIMS 不能识别您的浏览器, 本页不能正常显示.

为了进入 WIMS 服务器, 您的浏览器必须支持 forms. 为测试您正在使用的浏览器, 请在此键入 wims: 再按回车.

请注意: 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