†一姫当千†くろきゃっと: "存在Xが存在して、存在Xが傲慢ならば、ターニャはかわいい 傲慢きわまりない存在Xが存在すれば、タ…" - アスタルテ
∀A(∃E[A∈E] →φ)と∀A(∃E[A∈E]) →φって同値だったっけ?
ターンエーのところはどうでもよくて、
∃x[P(x)→Q(y)]と∃xP(x)]→Q(y)が同値かどうかわかりません
Follow
存在Xが存在して、存在Xが傲慢ならば、ターニャはかわいい
 
傲慢きわまりない存在Xが存在すれば、ターニャはかわいい
· · Web · 1 · 0 · 0
これ同値じゃないな。下から上は導けない(存在を言えない)
 
上からは下はたぶん正しい。
Sign in to participate in the conversation
アスタルテ

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