法律逻辑德摩根靠前定律的推导过程
就是先P—>~Q等于~Por~Q然后用德摩根定律就等于PandQ。关于p->q等价于~pVq的问题。用真值表一下就出。或者可以这样想P为假P->Q一定真(善意推定)所以~Porq为真。P为真Q为真那么两者都为真。P为真Q为假两者都为假。所以等价。善意推定就是一个命题,如果前提条件不能满足,这个命题为真。
比如说:若实数X*XQ,如果他不能连任,就是P为假,那么他从不从伊拉克撤军都不会让民众失望。其实这个多少有点人为规定的意味,因为这类问题没有什么意义,就比如他没有当上总统,他已经没有权力撤军了,这个问题也就没有什么意义。
摩根定律:~(pVq)=~p^~q~(p^q)=~pV~q靠前个,是逻辑运算的分配率,DistributiveLaws.同样可以用真值表解。也可以这样想,P:学数学的人Q:学历史的人R:学历史以外人文学科的人。QandR可以理解为学人文的人。现在要找一个会数学,或者是学人文的人。就好理解了。上面两个肯定等价。证明的话用真值表好了。