数学とか 割り算 その五
乗法の0元以外で0を作れないのか、と。すなわち、0以外の元同士を作用させてx･y=0の結論を得られないのかと。背理法を用います。x≠0∧y≠0⇔x･y=0x≠0∧y≠0⇒x･y=0(前提)x(仮定)x･1(乗法単位元)x･y･y⁻¹(乗法逆...
対偶
数学とか 数学とか 頭の体操 その三
対偶A={(x,y)∈ℝ²|y³+yx²≤x³+xy²}B={(x,y)∈ℝ²|y≤x}⊂集合を論理の包含関係→⇒と解釈します。y³+yx²≤x³+xy²(仮定)y(y²+x²)≤x(x²+y²)(分配法則)y(x²+y²)≤x(x²+y²...
技術 大腰筋と攻防一体
この場面は胸椎の側屈が分かりやすい。恐らくは大腰筋の作用です。マイク・タイソンの胴の分厚さ。腸腰筋がパンパンに詰まっていると想像できます。GGGもカネロもロイも胴がパンパン。彼らの胸椎の側屈回旋パンチは胴が太い→大腰筋が太い→胸椎側屈回旋と...
数学とか ∀除去練習問題
∀除去の理解が曖昧なので練習問題やります。やってれば何か掴んでくるだろうってことで。全称除去練習問題その1 P(d) , ∀x(P(x) → (P(x) → Q(x))) ⊢ Q(d)1.∀x(P(x)→(P(x)→Q(x))),P(d)(...
数学とか 対偶の証明
対偶について。対偶はA→B⇔¬B→¬A対偶の自然演繹定義【対偶】命題「AならばB」の対偶は「BでないならばAでない」である。 論理記号として「ならば (⇒\Rightarrow )」および否定 (¬\neg ) を用いると、命題$\disp...