20/06/08 22:54:59.86 0de7vhl2.net
>>93
お前はタブローをわかってないくせに
インチキタブローと言っている
お前は学問をやる資格がない
Z：整数全体の集合とし
x,yはZの元とする
>∀x∃y(x=0→xy≠0)
(1) ￢(∀x∃y(x=0→xy≠0))
(2) (∀x)x=0 (1)
(3) ￢((∀x)(∃y)xy≠0) (1)
(4) ￢(∃y)2y=0 (3)
(5) 0は自明な零因子であるから0=0 (2)
(6) 0は自明な零因子であるから2・0=0 (4)
ゆえに矛盾がないのでタブローは閉じない
それゆえ命題は偽である
お前が数学も論理学もわかっていないから
インチキに観えるだけだ
>(2)←→∀x(x=0)→1=0より矛盾が出る
因みに議論領域が実数Rの場合であっても
Rは整域であるから同じ議論ができる
つまり(2)において∀x(x=0)をみたすxは0に限られる
これがZ及び整域の性質である