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

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

量词 2

以下性质是否为真 ?


量词 1

以下性质是否为真 ?


量词 2b

以下性质是否为真 ?


量词 3

以下性质是否为真 ?


由于 WIMS ?荒苁侗?您的浏览器, ???荒苷??O允?.
为了? WIMS ?务器, 您的浏览器必?胫? forms. 为?馐阅?在?用的浏览器, 请在此? wims: 再按回?.

请?⒁: WIMS 的网?是?换ナ?的: 它们?皇峭?5 HTML 文??. 只能在线?换サ ?用. 您用?远??蚴?耐?是?用的.