联言、选言、假言三大复言命题:真值规则 + 有效式 + 矛盾命题
翻译 → 套式 → 出结论,不靠语感,每一步都可形式化检验
复言题不靠语感:题干给出的每个条件都先符号化,再按规则机械推演。问「可以推出/一定为真」找有效式后承;问「可能/不可能」用矛盾命题排除;多条件方案题从确定信息切入。
注意:「但是」在逻辑上也是「且」(转折不改变联言性质);「A 或 B」在行测中默认相容,题干强调二选一时才是不相容选言。
记忆口诀:充分条件「肯前肯后」,必要条件先改写成 B→A 再套同一规则;逆否命题 ¬B→¬A 与原命题完全等价,是翻不过箭头时的标配武器。
两支都真才真;一支为假,整个联言为假。
相容:至少一支真即可,可同真。
仅「前真后假」一种情况为假。
矛盾命题必一真一假,用于「确定为假/不可能」题型;否定联言得选言、否定选言得联言(德摩根):¬(A∧B)=¬A∨¬B,¬(A∨B)=¬A∧¬B。
连接词「如果…就…」=充分条件;后件是选言命题,整体翻译后再套逆否。
检验标准:有效式=前提真则结论必真;凡是「肯后、否前」的选项,语气再肯定也直接排除。
「满足全部要求才录用」=必要条件合取。
若干假言约束一个方案,问哪种组合可行。
给出几句复言命题及真假数量。
「至多一个」=¬A∨¬B;「恰好一个」=不相容选言;「A、B 至少一个」=A∨B——量词约束先翻译成命题,再谈推理。