第一个是命题"p--q "and "p"为真,刚q为真.这是假言推理,即永真式[p^(p--q)]--q.
第二个命题用逆否,第一句等价于,如果你不能行驶到地球边缘,刚地球不是平的,后面又说了,"你不能行驶到地球边缘",然后按照假言推理,得出地球不是平的.
第一个是命题"p--q "and "p"为真,刚q为真.这是假言推理,即永真式[p^(p--q)]--q.
第二个命题用逆否,第一句等价于,如果你不能行驶到地球边缘,刚地球不是平的,后面又说了,"你不能行驶到地球边缘",然后按照假言推理,得出地球不是平的.