复合逻辑命题真假判定的一个问题。

fm1134

下面引用由luyuanhong在 2011/08/30 04:41pm 发表的内容：

    结合2楼帖子中一致连续的定义及其逆否命题的表述，该如何应用一阶逻辑理论来描述
和推理呢？具体地说，该用“非运算法则”中的哪几个？其中的A、B分别代表2楼帖子中的
什么？由于本人刚开始接触《数理逻辑》，很不熟练，望见谅。

luyuanhong

[这个贴子最后由luyuanhong在 2011/09/01 04:36pm 第 1 次编辑]

下面引用由fm1134在 2011/09/01 00:03pm 发表的内容：
    结合2楼帖子中一致连续的定义及其逆否命题的表述，该如何应用一阶逻辑理论来描述
和推理呢？具体地说，该用“非运算法则”中的哪几个？其中的A、B分别代表2楼帖子中的
什么？由于本人刚开始接触《数理逻辑》，很不熟练，望见谅。

w632158

解释的清楚明白，陆教授是一个不可多得的好老师。