形式逻辑(普通逻辑)6:复合判断

编程基础 • 2024-12-26 14:40 • 阅读 8

直言判断是简单判断。复合判断是简单判断的组合。

基本的复合判断包括假言判断、联言判断、选言判断和负判断。

假言判断：对条件关系的判断。条件关系分为三种：充分条件、必要条件和充分必要条件。

充分条件假言判断(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

今天的文章形式逻辑(普通逻辑)6:复合判断分享到此就结束了，感谢您的阅读。