直言判断是简单判断。复合判断是简单判断的组合。
基本的复合判断包括假言判断、联言判断、选言判断和负判断。
假言判断:对条件关系的判断。条件关系分为三种:充分条件、必要条件和充分必要条件。
充分条件假言判断(p=>q):如果p ,那么q;只要p ,就q;一旦p ,则q等。逻辑式:C=p||(q&&!p)
必要条件假言判断(q=>p):只有p ,才q;除非p ,否则不q等。逻辑式:C=p||(!p&&!q)
充分必要条件假言判断(p<=>q)。逻辑式:C=(p&&q)||(!p&&!q)
联言判断:对同时存在的判断。
p 并且q;不仅p ,而且q;虽然p ,但是q;既p ,又q等。逻辑式:C=p&&q
选言判断:对至少存在其一情况的判断。分为相容选言判断和不相容选言判断。
相容选言判断:p 或者q。至少有一真,也可以都真。逻辑式:C=p||q
不相容选言判断:要么p ,要么q。只有一个是真的。逻辑式:C=(p!=q)
负判断:否定一个判断。
并非p。逻辑式:C=!p
本人的最新博客迁移到http://thinkinside.tk,使用GitHub Pages建立。我会陆续将所写的文章迁移过去,并进行补充和修正,
欢迎过来围观。