离散数学与证明 I · 命题逻辑

语言到逻辑式翻译练习

先圈出关键词，再判断两个命题之间的连接方式。尤其留意“只有……才……”的箭头方向，以及“除非”改写成“如果不……那么……”。