问题
问答题 简答题
设A表示命题“所有精通逻辑的都精通英语”,B表示“所有精通英语的不精通数学”,C表示“有些精通数学的精通逻辑”。证明:若A与B均真,则C假。
答案
参考答案:
以命题B和A分别为大小前提得:所有精通逻辑的不精通数学。
换质得:所有精通逻辑的都不是精通数学的。
换位得:所有精通数学的都不是精通逻辑的。
该命题与C相矛盾。
所以,如果A和B均真,那么C为假。
设A表示命题“所有精通逻辑的都精通英语”,B表示“所有精通英语的不精通数学”,C表示“有些精通数学的精通逻辑”。证明:若A与B均真,则C假。
参考答案:
以命题B和A分别为大小前提得:所有精通逻辑的不精通数学。
换质得:所有精通逻辑的都不是精通数学的。
换位得:所有精通数学的都不是精通逻辑的。
该命题与C相矛盾。
所以,如果A和B均真,那么C为假。