假言判断:对条件关系的判断條件关系分为三种:充分条件、必要条件和充分必要条件。
联言判断:对同时存在的判断
选言判断:对至少存在其一情况的判断。分为楿容选言判断和不相容选言判断
相容选言判断:p 或者q。至少有一真也可以都真。逻辑式:C=p||q
不相容选言判断:要么p 要么q。只有一个是嫃的逻辑式:C=(p!=q)
负判断:否定一个判断。
并非p逻辑式:C=!p