“只要”和“只有”

“除非p，否则q”的句型，可以转化为下面这两种句型：

1. 只要非p，则q，即 ¬p -> q
2. 只有p，才非q，即¬q -> p

由蕴含符->的性质可知，这两个是等价的。

举个例子：

除非明天下雨，否则我去逛街

可以转换为：

1. 只要明天不下雨，我就去逛街
2. 只有明天下雨，我才不去逛街

按说这两个句子是等价的，但是不知道为什么，读起来总觉得它们表达的意思有哪里不太一样。

最后试了一下，发现缺少了一些用于强调的词，让人感觉语义不那么绝对。加上就好了：

1. 只要明天不下雨，我就（一定）去逛街
2. 只有明天下雨，我才（可能）不去逛街

这样的话，感觉就好多了。总结起来就是，

1. 看到“只要”，就加上“一定”
2. 看到“只有”，就加上“可能”