关于逻辑连词的符号化的一些总结

前件，后件：通常是 前件推出后件，默认前件是后件的充分条件

1.P当Q：即当Q（成立时），P（成立）。Q->P 分析略

2.P仅当Q：即调转语序为 仅当Q（成立时），P（成立）。与1不同，强调“仅”字。我认为“仅”译为“只有”最恰当。全句翻译为只有Q成立时，P才成立。所以Q的范围比P要小（只有勤奋努力，才会成功，但影响成功的因素还有很多：信仰意志，掌握的资源和睡觉的时间等等，所以一定要早睡！！）那么只有Q是不足以推出P的，但有P一定能推出Q。So Q是P的必要条件，P->Q。

3.P当且仅当Q： “当”并且“仅当”，就是【P（成立），当Q（成立时）】并且【P（成立），仅当Q（成立）】融合以上1、2，即为P<->Q。