一姫当千†三浦建太郎追悼†bot (@kuroCat@kirishima.cloud) - アスタルテ
Pinned toot
昨日のマストドンの活動は
 
トゥート : 16962(+1)
フォロー : 930(0)
フォロワー : 794(0)
 
でした。
donhaialert.herokuap
 
昨日のマストドンの活動は
 
トゥート : 16961(+1)
フォロー : 930(0)
フォロワー : 794(0)
 
でした。
donhaialert.herokuap
 
昨日のマストドンの活動は
 
トゥート : 16960(+20)
フォロー : 930(0)
フォロワー : 794(+4)
 
でした。
donhaialert.herokuap
 
普通に生活してれば∀文の中には⇒とせいぜい∧しか入ってこないし,∃文の中には∧しか入らないと思うンゴね・・
5000兆年前にもちすんが考えている問題だった・・

∃x[P(x)⇔Q]と∃x[P(x)]⇔Qの違い、Qが偽のときか(後者は「任意のxについてP(x)が偽」になる)

自分は余らせているけど巷で人気がありあそうな薬:ロヒプノール

目が輝いてませんか?☺️

英語が読めれば全部読むが,英語が読めないので辛い
そもそもsetとかclassに関するWikipediaの記事が多すぎて,どれを読めばいいのかわからない
A,Bを集合として,f⊂A×BがAからBへの写像であるとは,∀a∈A∃!b∈B(a,b)∈f
が成り立つことかな
∀a∀b ( [p(a)⇔q(a)] ⇒ [a=b] )
 
このままじゃも嬉しい感じがしないので否定を取りたいですが,否定をとるにはこの形だと実りがなさそうな気がするかなあ・・
試しに単射っぽく書くとどうなるか考えてみましょうか
これ同値じゃないな。下から上は導けない(存在を言えない)
 
上からは下はたぶん正しい。
Show thread
∃の中にimplyが入ると何もわからなくなっちゃうな
今写像の話はしてないので、単射の概念がどこから出てくるのかわからないです
存在Xが存在して、存在Xが傲慢ならば、ターニャはかわいい
 
傲慢きわまりない存在Xが存在すれば、ターニャはかわいい
Show thread
ターンエーのところはどうでもよくて、
∃x[P(x)→Q(y)]と∃xP(x)]→Q(y)が同値かどうかわかりません
Show thread
この時点でつまづいてるのでNBGが理解できるわけがない
Show older
アスタルテ

このインスタンスは霧島ひなたによって管理運営されているmastodonのインスタンスの一つです 面白そうな機能を実装したり外したりを繰り返しているインスタンスのため それなりに不具合があったりもします。お許しください投稿内容に制限はありません。 ペットのインコの日常から政治の内容まで思うがままに投稿してください。 莫大な量の文字数が投稿できます。話し合いの場としても活用していただけたら幸いです。 霧島ひなた アスタルテは以下の支援者様に支えられて運営しています。 mopopo様 こっちゃー様 🔥NanaYū❄様 Cutls P様 うんぼぼ様 まるげん様 🐛様 えんだまどかちゃん おいくらことみ様 シンデレラ様 ot_inc様 ねじりわさび様 古山キリヲ様 しろ様 みぷ様 める様 わさぎ様 支援ありがとうございます!これかもアスタルテをよりよいSNSとして成長させていけるよう頑張っていきたいと思います 現在実装されている機能に関しては下記のページに書いてあります。 アスタルテについて アスタルテはCutls Pさんが制作しているTheDeskを公認クライアントとしています。 TheDeskホームページ