逻辑推理

翻译规则一：前→后

1、如果......那么......

2、一定、就、都

翻译规则二：后→前

1、只有......才......

2、不......，不......

3、除非......，否则不......

除非A，否则不B：B→A

除非A，否则B：-B→A

4、......是......的基础/假设/前提/关键

5、......是......的必要/必不可少条件

谁必不可少，谁在箭头后