从数理逻辑的角度看形式逻辑的充分条件和必要条件假言判断的定义

<正> 什么是假言判断?由于客观事物是普遍联系的,这种联系是有条件的。如果某一事物情况的存在是另一事物情况存在的条件,那么,这就是假言判断。假言判断主要包括充分条件,必要条件和充分必要条件假言判断三种类型。充分条件和必要条件假言判断的定义是逻辑学界长期争论的问题,现对此问题略陈浅见,以求行家赐教。