Show more

小学生に論理学のならばを説明したんだけど日常生活で使うならばとの違いにも言及した。日常生活でのならばは裏も含んでいるが論理学のならばは裏は含まないと。

新型macbookairつよつよすぎんか…??Rosseta2噛ませてもつよつよやんけ

$\forall xP(x)$は「任意の$x$についてP(x)が成立する(真偽は中身見てみないとわからんけど)」とか、$P(x)$が複雑なら『任意の$x$について「P(x)がうんちゃらー」ということが成り立つ(真偽は中身ry)』とかがわかりやすい感ある...

「任意の$x$について」は「すべての$x$について」に比べて何を選んでもいいっていう具体的なイメージが湧きやすい文言なのでいいですね...。

$\forall xP(x)$は「すべてのxについてP(x)が真であるor成立する(本当の真偽はしらんけど)」くらいの意味合いでした。

$\forall x \in AP(x)$は$\forall x(x \in A \to P(x))$と書けて、「Aに属するすべての元xはP(x)である(本当の真偽は知らんけど)」と読めるので、$\forall x P(x)$は単に「すべてのxはP(x)である」とも読めるのかなと思いました。こちらはシンプルですがシンプルすぎてむしろわかりづらいと思いボツにしました。

(ぜひ教えていただきたいけども、)$\forall xP(x)$と$\exists x P(x)$が入れ子になっている論理式の日本語訳の文言がしっくりこなかったので一言一句考えていた。個人的には$\forall xP(x)$は「すべてのxについてP(x)ということが成立する」と$\exists x P(x)$は「P(x)を真とするxが存在する」っていう日本語訳がしっくりくるなあという結論になった。あと$\forall x \exists y (x < y)$みたいな入れ子になっているときはおとなしく、『すべてのxについて「x<yとなるyが存在する」ということが成立する』みたいにカッコで入れ子を表現したほうがわかりやすいっぽい。

「夕食を食べないならデザートは食べてはいけません」って命題は対空取って「デザートは食べていいなら夕食をたべる」、夕食を食べたとしても論理学的にはデザートを食べてもいいとは限らないということを学んだので積極的に使っていきたいと思いましたまる

# って要素の数なんね。数十分前に初めて知った。

数学クラスタの方たちが「ならば」を前提知識ない人にどう説明するのか非常に気になる

論理学の「ならば」って前提知識ない人に説明するの相当難しくない…???

久しぶりにプラベ参加したいけど諸々あり行けそうにない…。

starshipshellおしゃれだ。hyperみたいなかんじなのか。

線形代数の線形従属やってるんだけど
「すべてが$0$ではない係数$a_1, \ldots, a_n$を用いて、$a_1x_1 + \ldots + a_nx_n = 0$が成立することを言う。」ってのと「ベクトル$x_1, \ldots, x_n \in L$について、1つでも零ベクトルが存在する」ってことは「かつ」じゃないと線形従属は成立しないのか...??「または」でも成立するのか...??「かつ」っぽい気がするけどテキストがわかりづらく。偉いひと教えて下さい><

#### 線形従属

ベクトル$x_1, \ldots, x_n \in L$が線形従属であるとは、
すべてが$0$ではない係数$a_1, \ldots, a_n$を用いて、$a_1x_1 + \ldots + a_nx_n = 0$が成立することを言う。
「すべてが$0$ではない係数」という文言は言い換えると「$0$以外の係数$a$が少なくとも1つある」ということを意味する。

また、ベクトル$x_1, \ldots, x_n \in L$について、1つでも零ベクトルが存在するのであればそれは線形従属である。

overleafのvimキーバインド若干使いづらいからおとなしくPixel Slateに$\LaTeX$をインストールすることにした...

数学きちんと勉強するようになって思ったのはテキストの消化量じゃなくてテキストの内容をどれだけ自分で咀嚼して理解したかがめちゃくちゃ重要っぽいな。牛歩で進むしかない。

pythonのvirtualenvとdockerほんのりとしか使ったことないから真面目に使ってみたい

排他的論理和$A\ XOR\ B$って$(A \land \lnot B)\lor(\lnot A \land B)$なんだ。真理値表書いてみたけど確かにそうなるわ初めて知った。

筋トレ続けてると他の「うーわだるー」って思うことでも「まあ筋トレのしんどさと大して変わらんから耐えられるやろ」みたいに思うようになってて笑う

イプシロンデルタ論法ほぼ意味わからんけどベクトル空間はほんのりわかって面白い。寝よう。

Show more
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.