谓词逻辑真值表中有:P为F,Q为T,P→Q为T.有人能举个例子开导下么,我怎么都没想明白.

问题描述:

谓词逻辑真值表中有:P为F,Q为T,P→Q为T.有人能举个例子开导下么,我怎么都没想明白.

  简单命题,就是用来对某种事项做判断的;而复合命题,则是用来对各个分命题的关系做判断的;从数理逻辑的角度看,复合命题也是对“各个分命题的赋值组合”做判断的.  条件复合命题:p→q;是从自然语言中的假设连...