逻辑新引笔记-1

真假与对错

事物层面只有有无可言，而无真假可言；
语言层面才有真假可言
比如：一个茶杯在桌子上，这是一个现象，现象只有有无可言，无真假可言
而一个茶杯是在桌子上，这是一个语句，它就有真假了
推论的对错与语句的真假无关

推论是什么？

将一切推理中作为特殊前提的理抽掉后所剩下的推之程序，就是推论，有种把条件抽象出来的感觉。比如，凡M是G，A是M，故A是G，这个就是推论。它没有局限性，可在任何领域中适用

选取推论

形式如：X是y(A)或X是z(B)（前提） x是y，x不是z（推论）
若A、B相容且不穷尽，则无论肯定其一还是否定其一，都不能否定其余或肯定其余，即没有结论；
若A、B相容且穷尽，则无论肯定其一无法否定其一，但否定其一就能肯定其余；
例：X是y，则X可能是z也可能不是z；若x不是y，则x一定是z
若A、B不相容且不穷尽，则肯定其一即可否定其余，而否定其一不能肯定其余；
例：X是y，则X不是z；若x不是y，则x可能是z也可能不是z
若A、B不相容且穷尽，则肯定其一即可否定其余，而否定其一也能肯定其余；
例：X是y，则X不是z；若x不是y，则x是z

条件推论

形式如：如果（p）...那么...（q）
如果p是q的充分条件，则p真时q就为真；
如果p是q的必要条件，则q假时p必为假；
如果p是q的充要条件，则p真时q就为真，p假时q就为假；