形式逻辑II

联言选言命题

支命题 能推出 干命题 干命题为真 时，支命题也为真 干命题为假 时，支命题至少一个为假的

相容命题

AVB[至少发生一个，也可以都选] 和A要么B[仅选一个]

已知AVB 为假， A和B都为假

已知 AVB，非A->B,非B->A

AV非A为永真，已知A->B = 非A V B

AV非A为永真，已知AVB = 非A ->B | 非B ->A

不相容选言命题

总结如下：