--  作者：crystalno_1
--  发布时间：2005-1-26 22:01:00

--  费费笔记中的充分必要条件

请教大家有关狒狒逻辑讲义中的问题：

讲义中有如下讲述

II. unless := if not 即  not A unless B表达为：A→B

                           A unless B表达为：非A→B

可我怎么也想不通？我觉得not A unless B表达应该为：B→A .

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

正好与讲义的相反呢。另外还有如下：

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

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

A is necessary to B：B→A

我也看不懂，为什么呢？所以想向各位请假，谢谢。。。。。。。。

--------------------------------------
 
--  作者：携隐
--  发布时间：2005-1-27 21:21:00

-- 

A-->B：A为充分条件，B为必要条件。充分条件的意思是，只有A能推出B，只要有A，就一定有B。必要条件的意思是，没有B就没有A。虽然有了B未必会有A，但没有B是一定没有A的。

not A unless B，意思就是除非有B，否则没有A，也就是说，没有B一定没有A。所以B是A的必要条件，A-->B。

A only if B，意思就是只有当B存在的时候，才会有A，没有B就一定不会有A，所以B是A的必要条件，A-->B。

A if only B，意思是当B单独存在的时候，就有A了。只要有B存在，就一定有A，所以B是A的充分条件，B-->A。

A is necessary to B，意思是A对B来说是必要的，A是B的必要条件，所以B-->A。

你只要记住，谁是必要的，谁就在箭头的后面。