キーワード排中律を含む動画:6件 ページ目を表示
2024年6月1日 06時23分に生成された05時00分のデータです
2016-04-24 10:55:48
わし(53歳)以外わし(53歳)じゃないの.gsnkwmotm先駆者いたのか… 動揺するところ別にあるだろ 普通だな!(大嘘) ゲリの極み親父で草生え散らかした はしゃぎすぎた腹の中で 当たり前やん ここすき センス感じる 普通だと言ってほしいようだがそれは無理な相談だ 何をもって普通とするのか もっとえげつな...
- 7,106
- 731.0
- 20.0
- 240.3
2020-08-17 20:09:02
野獣先輩は今も生きている、または死んでいる説BLEACH面白い https://youtu.be/7WoT4Z--YZM
Twitter:https://twitter.com/SS31245850
YouTube:https://www.youtube.com/channel/UCj4G32183Nr82evRFUzfgIw/about?view_as=subscriber
LINE動画:sm36142886
ノベマス:mylist/66576434
野獣先輩新説:mylist/66774770まじかよw 量子力学 シュレーディンガーの猫 相変わらずのガバガバ説 たし蟹 一理ある それっぽい画像で草 詰んでるんだよ どっちだよ どっちだよ どっちだよ どっちだよ どっちだよ どっちだよ どっちだよ どっちだよ BB後輩劇場 あっそっかあ… ...
- 2,734
- 682.5
- 140.5
- 40.1
2024-03-01 01:28:02
やあ、アLeanアルさんだよ #1アリアルさんが排中律と二重否定除去の同値性を示す動画!
【合成音声】
アリアル : Voiced by https://CoeFont.cloud
【使用素材】
解説枠 浅井麻 様 (@asaiasa0)
BGM OYKT 様 (https://linktr.ee/oykt)たすかる アリアルさん(カワイイ∨カワイクナイ)↔︎(カワイクナクナイ→カワイイ)ヤッター! やっぱりタクティクでやるのか〜 難しかったやつだ 証明ゲーム…人狼みたいなんやろなあ(棒) あっこれ専用IDEじゃなくてVSCodeなのか、モダンだあ おつ...
- 612
- 122.0
- 172.8
- 20.3
2022-12-23 20:02:02
ふにょうにょ / 可不Music, Movie - 雨果 https://twitter.com/_amek_a
Vocal - 可不
イラストはMidjourney, Stable Diffusionを用いて作成しています.(サードパーティ製のmodelは使用しておりません.)
Inst - https://drive.google.com/drive/u/3/folders/1vW5iM7av3cnIhhnWlBKrK7G5CyvxaGTI
ふにょうにょ
期待しないでいいからさ
誤解しないでいて
咔咔(ろうろう) 飽きだす頃に
懐中 誘い込むの
命中 つつがないね
全部 忘れちゃえ
纏啾(てんしゅう) 雑魚の雑魚交じり
異常な白い夜に
ねぇ もっと雑にさ
ねぇ 分かってよ
ねぇ あぁ そっちうざい
あぁ ねぇ それじゃ黄色くさぁ
はぁ まただめかぁ
不滅な哀楽籠り
一切活塞(がっさい) 違う
あぁ もういいや
愛劣感情要らないの
概括勘定うるさいの
大抵の代償は残念ながら化けの皮
門前ワントリックな打鍵でも
排中律を認めないで!
だって 廃材な私の頭じゃ分からないわ
再生 ブルーな明滅
穆(ぼく)と忘れてよ
透かし空と深夜犯
言い条な白い余に
ねぇ ここ黄色くなってるの
撫でてみてよ ねぇ
可怜(かれい)でかわいいでしょ
ねぇ だからぁそれじゃあさ
はぁ 興味ないか
あぁ 跳ね返した方が良いですか
それじゃぁ蝶蝶
糾纏落果(きゅうてんらっか) かもね
ねぇ もうどれくらい
その次は
ねぇ もう あとどれくらい
滌蕩(てきとう)に 滴滴答(てきてきとう)に
愛裂管状入らないの
骸骨感情売る際の
大抵の代償は残念逆さま雨の中
面前ワントリックな駄犬でも
排中律を認めないで!
リズムマシンもPFCも気にせず生きていたいわ
劣と愛の深呼吸
不滅な視界が揺れてく
劣と愛の深呼吸
余熱にはロゼ味の血液を
愛劣感情要らないの
概括勘定うるさいの
大抵の代償は残念ながら化けの皮
門前ワントリックな打鍵でも
排中律を認めないで!
だって 廃材な私の頭じゃ分からないわ
私じゃ分かんないし
不安にさせなきゃ懐いてくんないじゃん映画音楽みたい ウェット うぽつです 急に来るの好き サビの重たい音めちゃ好き GJ 待ってた
- 305
- 82.6
- 165.2
- 41.3
2024-02-13 12:55:02
【VOICEPEAK解説】ずんずん命題論理(6)証明の3いろんな証明体系を見るのだ。なにこれ、え、無理。
※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。
実際、論理学はずぶの素人なので……。
(20240213_応答)
コメントありがとうございます!
(1) 8:27周辺
Q. 1行目が「0:¬(P∨Q)」となっている。が、正しくは「¬¬(P∨Q)」では?
A. たぶん、どちらでも大丈夫です。というか、お示しの後者の方がより正統派だとおもいます。
タブローは意味論と密接に語られることがあり、その際に前者のように真理値が併せて表記されることがあります(cf. 丹治2014、戸次2012)。
今回は、そのような意味論寄りのタブローを取り上げて、「タブローに意味が入ったとき、これは意味論なのか統語論なのか」という問題に繋げたかったので、真理値を併記するよう表記しました。
ただ、枝を閉じる条件について、前者は同形式の命題が異なる真理値を持つ、後者は肯定と否定のリテラルが同時に出る、という異なりがあるため、動画内の表現はやや混在しております(お見逃しを〜〜〜!!!)。
(2) 13:28周辺
C. 古典論理の完全性と算術の完全性は異なりますよ。
A. ばれちった……! ごまかしが露呈しましたね、へへへ。第9回か第10回で盛り込みます。
私の現在の理解をお話しします。Pを証明体系、Aを命題としましょう。
・(意味論的完全性)古典論理の完全性は、概略「Aが恒真であるならば、Pで証明可能である」です。換言、論理体系が不完全であるとすれば、それは「Aが恒真であるからといって、Pで証明可能であるわけではない」となります。
・(統語論的完全性)たいして、Goedel的な不完全性(第一不完全性定理における)は、概略「Pにおいて、Aも¬Aも証明できない、そのようなAが存在する」です。ここには、Aの恒真性の概念が含まれません。
(3) 投稿者から
Q. ここで、統語論的完全性に①二値原理、②排中律を加えると、意味論的完全性との関連はどうなるでしょうか? また、これらを加えることは可能でしょうか? もしお考えのことがあれば、コメントお願いします。
(20240216_追記)
15:43 議論ありがとうございます! たすかります。
まえ……https://www.nicovideo.jp/watch/sm43183004
つぎ……https://www.nicovideo.jp/watch/sm43402491
ずんずん命題論理……https://www.nicovideo.jp/series/397548入門じゃないだと 理論の完全性は理論(=公理系)の性質。意味論・統語論のどちらの観点からも説明できる。> 20240213_応答(2) そもそもGödelの不完全性定理は二値原理・排中律を許す証明体系を採用したうえでの主張である。> 20240213...
- 149
- 2315.4
- 149.4
- 10.7
1970-01-01 09:00:00
- 0
- 0nan
- 0nan
- 0nan