10/03/23 18:25:11 e7awnp400
>>927
pが「x=0」のとき
「x≠0」は￢pであって￢p∨qではない。
それはともかく、
p→q と ￢p∨q が同値ってのは形式的に証明（論理関係についてのメタ定理として）出来る話なので
（あるいは流儀によっては→の定義がそもそもこうなっていることもあるが）、疑う余地はないのだけれど、
形式論理に慣れてないうちはこれを気にしないほうが良いかもしれない。酷い混乱の元になる場合がある。
10/03/23 18:25:11 e7awnp400
>>927
pが「x=0」のとき
「x≠0」は￢pであって￢p∨qではない。
それはともかく、
p→q と ￢p∨q が同値ってのは形式的に証明（論理関係についてのメタ定理として）出来る話なので
（あるいは流儀によっては→の定義がそもそもこうなっていることもあるが）、疑う余地はないのだけれど、
形式論理に慣れてないうちはこれを気にしないほうが良いかもしれない。酷い混乱の元になる場合がある。