20/06/08 22:08:01.27 idFZ52DT.net
>>57
＞>∀x∃y(P→Q)の否定
＞(1)￢(∀x∃y(P→Q))
＞(2) (∀x)(∃y)P
＞(3) ￢(∀x)(∃y)￢Q
＞
＞これであってる
＞100%だ
∀x∃y(x=0→xy≠0) ・・・①という命題がある
①→∃y(0=0→0y≠0)↔∃y(0≠0∨0y≠0)↔∃y(0y≠0)より①は偽
20/06/08 22:08:01.27 idFZ52DT.net
>>57
＞>∀x∃y(P→Q)の否定
＞(1)￢(∀x∃y(P→Q))
＞(2) (∀x)(∃y)P
＞(3) ￢(∀x)(∃y)￢Q
＞
＞これであってる
＞100%だ
∀x∃y(x=0→xy≠0) ・・・①という命題がある
①→∃y(0=0→0y≠0)↔∃y(0≠0∨0y≠0)↔∃y(0y≠0)より①は偽