p–u003eq的意思是若p是真那么q也是真,若p是假q未必是假。也就是说该语句为假的情况只有一种,即p是真而q为假。而¬p∨q为假的条件也只有p真q假这一个。所以两者是等价的。或者说,p–u003eq和¬p∨q都可以表述为:只要q是真的,无所谓p是真是假。而如果q是假的,那p也肯定是假的。
比如,我合法赚钱就会有钱。不过我有钱也未必是合法来的。如果我没钱,肯定没有合法赚过钱因为合法赚过钱我就会有钱。如果我合法赚钱而没有钱,说明合法赚钱就会有钱是骗人的。的概括语言解读相同,因此,p→q = 非p 或 q。三种情况分析分析可以看作是对p-》q的定义的一种解构分析。可以发现左边一列p一真两假,右边一列q两真一假,三种情况组合对应关系表示p是充分条件,q是必要条件。p在左边可以推出右边的q,q在右边推不出左边的p。但是右边的非p却可以推出左边的非p。同时可以看出,这三种情况之外还剩有一种情况,即 p真且q假;但因为p—》q的定义中没有这一种,因此,非(p-》q)就等于这种情况,即p且非q。若p则q,非p的话q不确定。那么真值表中,唯一不可能的情况就是p且非q。那么就是:非(p且非q)。括号打开:非p或q。改成 p→q ┐(p ∧ ┐q) 的话应该好理解一点。
欢迎分享,转载请注明来源:内存溢出
评论列表(0条)