ポスト

「x>1」等は「条件」で「1+1=2」や「0=0」は「条件」でないとすると（∀xなしの）「x=x」や「x+1>x」はどちらなのか、といった「不合理」（不統一、困難）が生じないでしょうか。「長方形は正方形でない」「単項式（や定数項）は多項式でない」「恒等式は方程式でない」といった問題と同様に思えます。

メニューを開く

S (ﾂｲｰﾄはｽﾚｯﾄﾞ全体をご確認ください)@esumii

1
5
7

5月21日(火) 7:08

みんなのコメント

メニューを開く

述語論理における閉論理式と閉でない論理式と同様に定義すれば、条件と命題も不合理なく定義できるのでは？

sinc@eipi42647938

5月22日(水) 4:19

メニューを開く

「不合理」（不統一）なのは、例えば「x=x」は（通常の数学や論理学では）「0=0」と同値なので前者と後者が互換でないとすると理論が（それ以外の点では不必要に）複雑になる等です。非常に基本的なことだと思いますが念のため。

S (ﾂｲｰﾄはｽﾚｯﾄﾞ全体をご確認ください)@esumii5月21日(火) 7:08

「x>1」等は「条件」で「1+1=2」や「0=0」は「条件」でないとすると（∀xなしの）「x=x」や「x+1>x」はどちらなのか、といった「不合理」（不統一、困難）が生じないでしょうか。「長方形は正方形でない」「単項式（や定数項）は多項式でない」「恒等式は方程式でない」といった問題と同様に思えます。

S (ﾂｲｰﾄはｽﾚｯﾄﾞ全体をご確認ください)@esumii

1
1

5月21日(火) 8:05

人気ポスト

あんまり言いたくないけど暑い！うちは西日が入るので夕方帰ると蒸し風呂状態 10年以上使ったクーラーをやっと買い替えて試運転しようか扇風機でガマンしようか汗をかきながら団扇で涼を取るこの頃です #金糸梅（キンシバイ）

パイナップルの生え方の「そうはならんやろ」感好きすぎるから見たことない人調べて欲しい

昨日、『赤い夢学園』の塩見理事長と山室ＰＴＡ会長が来訪されました。 cocreco.kodansha.co.jp/cocreco/genera… 濃密な学園運営の話し合い、濃密な写真撮影、濃密な流しそうめん、濃密な宴会が行われました。

もう帰ればいいのに😔

これ着てると高確率で「ワンピースどこの？」って聞かれるUNIQLO:Cのクレープジャージーワンピース👗もう暑すぎてこれかエアリズムしか着れない〜🥵☀️

隣の席の阪神ファン、球場にゴミ放置して帰ってんけどまじでマナー悪すぎ💢💢💢 これやから阪神ファンは💢💢💢

なんと、仕事先の子が、昨日道頓堀たまたまいて、凄い人だから有名人来るんちゃうーって待ってたら、なにわ男子出てきた！ってめちゃくちゃいい場所で、動画撮ってくれてた😭○○さんに、【⇽私⠀】送らなと思ってって❣️めちゃくちゃいい場所やん🤣 朝から私叫びました❣️ 近い、近すぎる🫠🫠

引越し先を探してて、いろんな物件の写真見てるんだけど、候補の物件の屋上のバルコニーがコレなんだけどもう決めちゃって良いよね？

え、マジで？

和菓子屋の包装紙、こんなに印刷の匂いが強いのに嫌な気持ちになるどころか「あ〜」ってなるの、なんでだろう。

もっと見る

トレンド7:40更新

20位まで見る

電車遅延

読み込みに失敗しました

再読み込み

Yahoo!リアルタイム検索アプリ