返信先:@sekiguchiminakoその命題自体、人間が誰でもしょーむないTVタレントを異性の中で上位に置いているという思い上がりが前提にある。そういうしょーむない人間感覚しかない連中とは違って、マトモな神経してたら男女問わず恋人を最も愛しているし、頭の中になんの迷いもなく恋人をえらぶのは自明だ。

なぜ上司という生き物は突然思い出したように無茶振りをしてくるのか。これはきっと永遠の命題…そして貴様が投げてきたその仕事の担当はわたしではないのだ…

返信先:@ns10110412他1人面白いですね😄 一人の行動と状態が対象になっていそうだからですかね？ あと、成績の状態が2値ではないから。 対偶は、 Bに行かない(人)なら成績は悪くない。 Aに行かない(人)なら成績上がらない。 …可能性は他にあるかな🤔命題になってない、とか？(いや、なってるよな…)

返信先:@yamaki3634他1人定義は昨日書きました。 >φがIの下で真であるとはI(φ)=1をいいます x.com/ayustate/statu… 真である（valid）は命題φと解釈Iをとる2引数述語なので「真の命題」は字句どおりで意味を成さないので「（標準解釈で）真の命題」と補って読まないといけません。 数学の文章において

返信先:@yamaki3634他1人では積分定数さんが言った「真の命題」の「真の」が proper であるかと考えると、当然そうは思えません。というのも、"proper" という「真の」は全体を決めたときにそれに対して一致はしていない、という意味なので。 次に考えられるのが数理論理学で使われる「真である（valid）」です。

（メンションを省略しているのでツリー全体を参照してください。）ここで、「命題であるのに真理値を持たない」ということがいかに特殊で有意義な例外か、ということは、命題と述語（条件）を分けて考えているからこそ、理解しやすくなっている、ということができます。 x.com/sekibunnteisuu…

返信先:@Px_of_Gt他1人エネルギーの内製化は日本の命題で核融合から再エネまで課題山積の中で最適なエネルギーミックスを模索してるようですね。石油や天然ガスもリスク分散で中東依存を減らしますし。食糧自給率はカロリーベースで低く見せてますが、野菜などは80％以上ですし、問題はむしろ米作や飼料などで。

教職には疎いのだけど、板書でなにが最も優先されるべきかという命題って、ほとんど答えが一意に定まるような類のものだっただろうかな……

（ZFC公理系に対する一般連続体仮説はゲーデル文ではありませんが、詳しい説明は省きますが独立命題といって、ZFC公理系のもとで真理値が確定しません）。自由変数を持たない述語（条件）＝命題でありながら真理値を持たない、ゲーデル文と同様に非常に特殊な例外であると考えることができます。

ともかく命題のなかに、本質的に真理値を決定し得ないものがあるということは非直感的な事実で、数学者たちに衝撃を与えました。 一般的な命題は真か偽かの判定が可能なのですが、ゲーデル文や、ZFC公理系に対する一般連続体仮説のように、証明不可能な命題というのも、存在します。

かなり簡略化した説明です。本当は、命題Gのような自己言及性のある命題がそもそも命題として成立しているのか、という説明（対角化、ゲーデル数等）とか、証明可能である命題は必ず真なのか（健全性）に関する議論、などをしなければならないですが、ここでは省略しています）。

しかし、本質的に証明も反証もできない命題というものがありえるということが、1931年にクルト・ゲーデルによって示されました。命題Gはそういう命題で、このような命題をゲーデル文といいます。 命題Gは真であるとしても偽であるとしても矛盾が生じます。（これは、ゲーデルの第一不完全性定理の

これは変数を含まない述語ですので、形式的には命題です。 20世紀初頭までは、公理系に含まれるあらゆる命題（つまり、変数を含まない述語のことですが）は（中には、例えばP=NP問題やゴールドバッハ予想のように証明が難しいものはあるにせよ、 x.com/sekibunnteisuu…

好きな命題発表ドラゴン いいネタ思い浮かばねな〜

いきなり難しい問題を考えるより、簡単な問題から確認していった方が、最終的には建設的な結果が生まれやすいと思います）。 ここではある自己言及的な命題Gを考えます。 命題G: 「ZFC公理系において、命題Gが真であると証明することは不可能である」 x.com/sekibunnteisuu…

まぁ"バタフライエフェクト"っていう命題がついてますからね 番組を作る時の始まりを決める時は多少は作成者側の恣意的な思惑も入るでしょうし

「ZFCにおいて、一般連続体仮説が成り立つ」というのが命題かどうかを考える前に、もっと簡単な例について考えてはどうかと思います（あなたは、私が自由変数と束縛変数についてきわめて簡単な例から説明した時に、かなり嫌がりましたが、特に用語の定義を考えるような場合、 x.com/sekibunnteisuu…

返信先:@onoderamasaru不適切→不都合と読み替えると、ああまた、と思ってしまうね。学説ではなく政治的な命題なんだよね、問題は。

数学Aに入りました。 数学Ⅰは数と式と命題と論証が終わりましたが、みんなで楽しくやっています！ 高校数学、興味ある方はぜひ！ #小倉のすべりそうですべらない話に興味がある方もぜひ

カリー=ハワード同型対応があるから「プログラミング経験はありますか？」に「はい」と答えた(直観主義命題論理の自然演繹をいじっただけ)。

子の世代、次の世代にも今現在の生きる上での命題はある。今それが言葉になっていなくても確かにある。それは誰も知らない好きなひとのことだっていいし、それは大切な誰も汚してはいけない部分です。それもひとつの大切な尊厳のひとつ。

一応別々に結婚して合流すれば命題は成立する…のか…？

ひとついえるのは、世代が違うと、生きる上での命題が違うので結果見ているところが全然違ういわゆるどうしようもなく価値観が遠い、ということが起きがちで。なので子の世代が親の世代の誰か（あるいはRも親世代かもですが）に相談すると、予想外に返り討ちに遭うみたいなことはまあまあありえます。

返信先:@top_bonjin他4人このスレッドの論点はそんな禅問答ではなく、純粋に数学的な問題です。 A: 右辺が足し算であること B: 右辺の1変数を増やせば左辺が増える 「AならB」が成立するか、それが論点。成立しません。なぜなら「AならB」は全称命題であり、全称命題は反例があれば否定されるからです。

返信先:@nameko18_定理は命題の内の真であるもの 命題は真偽関係なく推論する物 なはず

返信先:@nameko18_真偽問わないのが命題で、既に証明された大事な命題が定理みたいな感じらしい

返信先:@nek0jitaZFCにおいて、一般連続体仮説が成り立つ これは、命題ですか？条件ですか？

返信先:@sekibunnteisuu「命題の集合」を考えた場合、こうせざるを得ないのでは？（この教科書を擁護するつもりはありません） 高校では、 命題を「真か偽かが明確に決めてよい文や式」 とすればどうですか？ 公理は「真と決めてよい」し「偽と決めてよい」 ので命題。 また、偽命題(1=2は真 とか）も真と決めていい ので命題

勝義諦がもし勝義有の事態を写像した「命題そのもの」を指すのだとすれば, 「世俗」と名付けられるべきゆえんである名称が勝義諦にもはじめから組み込まれていることになる. 二諦一般を言説だけの次元から捉えるというのは少々中国三論的なバイアスが強すぎる.

【広告】 ふじいあきらのクラシックパス カードマジックのテクニックの中で最も難しいとされているこの命題に取り組み辿り着いたひとつの答えを発表しました。リリースは数年前ですが内容は最新です。ご興味のある方はトレイラーだけでも是非😊 gin-magic.com/shop/shopdetai…

返信先:@nanatubosi424創価公明の秘めた至上命題は、この島国をUSAネオコンにとって都合のよい国にすることでしょう。沖縄南西諸島に、大陸中国本土を標的にしたミサイル基地を建設整備している。戦争時、自衛隊を指揮する権限はUSA軍にある。USA軍が大陸中国軍のミサイルが発射された（デッチ上げ）迎撃せよと命令されたら

「地球の平均気温上昇幅は2030年代前半に1.5℃を超え、2050年頃に2.0℃を超える見込み」という命題が「真」だとしたら、「だから何？」です。 気温の上昇を抑えるために、何百兆円もの税金を投入？ 冗談じゃない。もうこんなことコロナ禍でこりごり

一般連続体仮説って、ZFCと独立なんですよね？ ならば、ZFCにおいて、一般連続体仮説は成り立つとも成り立たないとも決められないから、命題ではないのでは？

小沼さん「自民党案が可決成立すれば問題事象は発生しないという命題は正しいのか」若いのにいつも渋いね。 #国会中継

#国会中継 小沼巧 自民党案が可決すれば問題事象は発生しないのかという命題 岸田 さまざまな点から現実的な対応。実効的な案 小沼巧 問題事象が発生しないとは言い切られない。

【初音ミク】灯火の命題【オリジナル曲】 nicovideo.jp/watch/sm280151… #sm28015114 #nowplaying #ボカコレ

返信先:@sakutan__luv417対偶、”イケメンなので心がきれい”を考える。 反例が挙げられるの、元の命題は偽である。

返信先:@u_dzz_大変申し訳ありません 寝ぼけた頭で、スクロールの際に誤ってタップしてしまったようです 待っているというより、読んでみたいなぁと思うもので良いのであれば1日1デザの中にあった「証明不能命題」ですね 表紙のデザインもですが、タイトルとのギャップが好きです

返信先:@morningdietapp他2人「過剰なダイエット」である、16時間断食は。この命題の医学的根拠を示してもらいたい。16時間断食は、胆石症の原因となると貴方は言いたいようですが、一度でもその医学的根拠を示した事があったでしょうか？また、僕は16時間断食によって2ヶ月余で体重を8kg減らしました。プラマイゼロでは？

高校の教科書によると、正しいか正しくないかが明確に決まる文や式を「命題」と言うらしい。 ZFCにおいて、一般連続体仮説が成り立つ ↑これは命題ですか？