几个句式的逻辑[求助]

5or6

如果if a, then b 是 a-->b
那么 a must be b的逻辑是什么
另外 a until b
和    a in order to b的逻辑关系呢？
有点糊涂，有谁知道啊

ssss

if a, then b    a-->b     

a must be b   a-->b  

a until b      b-->a

a in order to b  b-->a


另：A unless B表达为非A→B

only if: A only if B表达为A→B

if only: A if only B表达为B→A

A is necessary to B: B→A

5or6

thanks a lot

fyhllj

以下是引用ssss在2003-11-11 21:11:00的发言：
a until b      b-->a

A unless B表达为非A→B

a until b   not b----> not a

A unless B表达为非A→not B

[此贴子已经被作者于2003-11-12 0:11:40编辑过]

ssss

以下是引用fyhllj在2003-11-12 0:11:00的发言：

a until b   not b----> not a

A unless B表达为非A→not B

[此贴子已经被作者于2003-11-12 0:11:40编辑过]

同意： a until b   not b----> not a
但是A unless B还是应该是非A-->B吧！
例： 我每天都去散步，除非下雨。

我没散步 可推出 天下雨

fyhllj

以下是引用ssss在2003-11-12 19:25:00的发言：

同意： a until b   not b----> not a
但是A unless B还是应该是非A-->B吧！
例： 我每天都去散步，除非下雨。

  我没散步 可推出 天下雨

yes, you are right.

A unless B还是应该是非A-->B吧