jesusman 发表于 2021-9-6 12:57
只要证明了“有a则无b”为假，就必然可以推出“有a则有b”为真，原命题就得到了证明。
================ ...

wzwswswz 发表于 2021-9-6 13:44
请你再好好学一学充分条件假言判断的真值表，只有在p（有猫）为真，但q（有狗）为假的情况下，“有猫则有 ...

jesusman 发表于 2021-9-6 13:50
寸草不生的水泥地上，“有花则无草“为假，”有花则有草“也是假
懂不？

wzwswswz 发表于 2021-9-6 14:07
你这里不是充要条件判断的真假关系，而是“有花”、“有草”与水泥地的关系。
在水泥地上，有花为假，有 ...

wzwswswz 发表于 2021-9-6 14:07
你这里不是充要条件判断的真假关系，而是“有花”、“有草”与水泥地的关系。
在水泥地上，有花为假，有 ...

jesusman 发表于 2021-9-6 14:55
你要用归谬法证明“P（所有方法是能使那些人满意）--> Q（所有方法是非人力所及）”成立  
现在你要是把 ...

jesusman 发表于 2021-9-6 14:55
你要用归谬法证明“P（所有方法是能使那些人满意）--> Q（所有方法是非人力所及）”成立  
现在你要是把 ...

wzwswswz 发表于 2021-9-7 09:54
那是你在说你使用了归谬法，我只是告诉你到底什么才是归谬法。

如果你说你的归谬法是要证明“P（所有方 ...

wzwswswz 发表于 2021-9-7 09:45
凡是可以用事实检验的命题，其真假最终都要以事实为标准来证明，而包括归谬法在内的逻辑证明方法，都不过 ...

jesusman 发表于 2021-9-7 10:04
关于归谬法相反命题，我已经复制了不止两次，你自己去看
证明相反命题涉及真值表对应问题，你可以自己去 ...

jesusman 发表于 2021-9-7 10:04
关于归谬法相反命题，我已经复制了不止两次，你自己去看
证明相反命题涉及真值表对应问题，你可以用我 ...

wzwswswz 发表于 2021-9-7 10:44
“所有方法”不是“有方法”，前者是“方法”的全称，即包括了“能使那些人满意”的方法，也包括了“不能 ...

jesusman 发表于 2021-9-7 10:50
p->q
p：所有方法能让那些人满意  q:都是非人力所及的
前面用全称量词没毛病

wzwswswz 发表于 2021-9-7 10:57
你说的是“所有方法是能使那些人满意”，“方法”是这里的主项，“所有”是方法的全称，“能使那些人满意 ...

jesusman 发表于 2021-9-7 10:59
对啊，有问题？

wzwswswz 发表于 2021-9-7 10:31
因为，A则B只有在A真B假的情况下才为假，因此，用A却非B作为相反的命题更合适（说A则非B是A则B相反的命题 ...

wzwswswz 发表于 2021-9-7 11:09
你想表达的是不是任何一种方法能使那些人满意？因为“任何一种方法能使那些人满意”为假就排除了“有方法 ...

jesusman 发表于 2021-9-7 11:13
但A却非B绝不是你说的有三种情况为假。
-----------------------------------
101

jesusman 发表于 2021-9-7 11:39
任何一种方法能使那些人满意
所有方法能使那些人满意

wzwswswz 发表于 2021-9-7 11:39
我说的A却非B，而不是A且B。
因为我们这里是为了证明A则B为真，既证明A则B不为假。因此，采用归谬法所提 ...

wzwswswz 发表于 2021-9-7 11:50
“任何一种方法能使那些人满意”漏了一个“有”字，应为“有任何一种方法能使那些人满意”。

那么你的 ...

回复主题

jesusman 发表于 2021-9-7 11:56
前一句 P->Q
后一句：P且非Q

jesusman 发表于 2021-9-7 11:53
A则非B为假时有一种情况，否定“A则非B”实际还是四种情况
无论如何，为假和否定，根本是两个概念

wzwswswz 发表于 2021-9-7 13:21
你后一句就不对了，因为你用了表示条件关系的“要是”，因此后一句只能是：非Q->p。

wzwswswz 发表于 2021-9-7 13:21
你后一句就不对了，因为你用了表示条件关系的“要是”，因此后一句只能是：非Q->p。

wzwswswz 发表于 2021-9-7 13:27
作为归谬法是一种证明方法，因此，归谬法中的否定是通过证明为假来进行的否定，即是与证明为假相联系的否 ...