句子“如果明天天气晴朗且我们有时间，则我们去郊游”可以用一阶谓词形式表示为：fine(明天) ∧ free(我们) → outing(我们)。
举一反三
- “如果明天下雨，我们就不去郊游”，如果这个命题为真，则以下（）命题为假。 A: 明天不下雨，但是我们却没有去郊游 B: 明天下雨，并且我们没有去郊游 C: 明天不下雨，我们去郊游了 D: 明天下雨，但是我们仍然去郊游了
- 如果天气好，我们明天去郊外吧。
- 【单选题】明天我们要考试中国历史。[Delete one character.]该句子应调整为()。 A. 明天我们要考试历史。 B. 明天我们要考中国历史
- 如果A明天下雨B，我们C不去D爬山了。（就） A: 如果（就）明天下雨，我们不去爬山了。 B: 如果明天下雨（就），我们不去爬山了。 C: 如果明天下雨，我们（就）不去爬山了。 D: 如果明天下雨，我们不去（就）爬山了。
- 如果天气允许， 我们明天将外出。（独立主格结构）