分别说明联结词Ø、∧、∨、→和«在自然语言中表示什么含义。

李老师

分别说明联结词Ø、∧、∨、→和«在自然语言中表示什么含义。分别列出PúQ、PùQ、P«Q、P®Q的真值表(填下表)。
P        Q        PúQ        PùQ        P«Q        P®Q
                                       
                                       
                                       
                                       

二. (10分)写出命题公式 (Q→Ø)→Q 的主合取范式。（要求有解题过程）


















三、(14分) 用谓词逻辑推理的方法证明下面推理的有效性。要求按照推理的格式书写推理过程。   
  xC(x), x(A(x)B(x)), x(B(x)C(x))  xA(x)