ポスト

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

メニューを開く

ayustate@ayustate

5月22日(水) 16:42

みんなのコメント

メニューを開く

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

ayustate@ayustate5月21日(火) 20:34

返信先:@yamaki3634他1人φがIの下で真であるとはI(φ)=1をいいます。φが恒真であるとは任意のIの下でI(φ)=1をいいます。個体定項集合を所与としその元をcと書くことにします。個体変項集合を所与としその元をxと書くことにします。項を t ::= c | x で定義します。

ayustate@ayustate

5月22日(水) 16:43

もっと見る

人気ポスト

兄が神妙な顔をして荷物を詰める姿を見かけた。また母と喧嘩をして家出かと思い話を聞くと「友達を救いに行く」と兄がどこに行くのかはわからない。しかしその目は嘘偽りのない至極真面目な目だった「気をつけてねお兄ちゃん」今度はどんな話が聞けるのだろうクリスチーネ剛田エッセイより抜粋

いま市内の47歳女性でこんなに連打してるの私だけだろうな…と思いながら連打してますてかスターラスターめちゃくちゃ面白いわ

イスタンブールあるある‥ 散歩しているだけなのに、なぜかネコに追いかけられる。そしてネコが増えていく😺😅🇹🇷

この後ろ姿に期待した自分を殴りたい

小学生の頃このガキにめちゃくちゃ虐められてた

一平wwwww #sdt #月曜から夜ふかし

1番クソダサい服で来た奴優勝飲み会開催したら終わった

旦那が撮るより娘（2歳）が撮った写真の方が…上手だと…？？？？？

夕飯の支度とゴー⭐︎ジャスのメイクを終えて旦那の帰りを待っていたのに帰るや否や高熱で倒れ込んだため本当に一切リアクションなしで人生で一番のドスベリだったし夕飯も無駄になって心がヤバかった

仮説「洗濯物に混入したトイレットペーパーは柔軟剤で除去可能」を検証したところ、「どの柔軟剤でも、キレイにできる」という中間結果に。すごいぞ柔軟剤！ただ、なんなら水だけでもキレイにできており、ティッシュとは対応が異なっているのやも。

もっと見る

トレンド14:39更新

20位まで見る

電車遅延（在来線、私鉄、地下鉄）

北海道東北関東中部近畿中国四国九州

全国の運行情報（Yahoo!路線情報）

よく使う路線を登録すると遅延情報をお知らせ　Yahoo!リアルタイム検索アプリ

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