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

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

量词 2

以下性质是否为真 ?


量词 1

以下性质是否为真 ?


量词 2b

以下性质是否为真 ?


量词 3

以下性质是否为真 ?

The most recent version

由于 WIMS 不能识别您的浏览器, 本页不能正常显示.
为了进入 WIMS 服务器, 您的浏览器必须支持 forms. 为测试您正在使用的浏览器, 请在此键入 wims: 再按回车.

请注意: WIMS 的网页是交互式的: 它们不是通常的 HTML 文件. 只能在线交互地 使用. 您用自动化程序收集的网页是无用的.