指出下列符合命题的类型,并且用符号表示.

题目

指出下列符合命题的类型,并且用符号表示.
如果明天天晴,那么我们去打网球,否则,我们去图书馆.
这是假言命题我知道,但具体一点是不是假言联言命题?
我的答案是：令P表示明天天晴,令Q表示我们去打网球,令R表示我们去图书馆,则该命题符号化为：
（P→Q）∧（﹁P→R）
为假言联言命题.
我想知道中间到底是合取符号还是析取符号才正确.

答案

应该使用合取符号.类似于自然语言中的“虽然……但是”翻译后也是采用合取.你可以采用析取符号连接,然后采用等价公式转化,结果为重言式,显然不符合实际.