07/01/19 17:37:05
>>886乙
でも大小の定義多分間違ってる
0≦0⇔(φ,φ)≦(φ,φ)⇔￢(φ≧(φ,φ))∧￢((φ,φ)≧φ)⇔￢(x∈φ⇒x≧(φ,φ))∧￢((φ,φ)≧φ)
x∈φ⇒x≧(φ,φ)は真だから0≦0が偽になる？（？）
07/01/19 17:37:05
>>886乙
でも大小の定義多分間違ってる
0≦0⇔(φ,φ)≦(φ,φ)⇔￢(φ≧(φ,φ))∧￢((φ,φ)≧φ)⇔￢(x∈φ⇒x≧(φ,φ))∧￢((φ,φ)≧φ)
x∈φ⇒x≧(φ,φ)は真だから0≦0が偽になる？（？）