2022.07.29
https://www.youtube.com/watch?v=KjIzJZGrz1c
いいね
https://www.youtube.com/watch?v=KjIzJZGrz1c
https://www.youtube.com/watch?v=Pfv6t91J67w
https://www.youtube.com/watch?v=Jc3XkNPJpPg
10月か〜
読んだ
キタ━━━━(゚∀゚)━━━━!!
キタ━━━━(゚∀゚)━━━━!!
キタ━━━━(゚∀゚)━━━━!!
来た
観た
アキラ いい人すぎる
萌え殺される!!
これいつ観たのかわからないので(書きそびれた)のでここに書いておいてください
思った
逆のほうが分かりやすいんじゃないかと思った
述語論理に関してはタブローの規則を当てる順番を考慮しないと破綻するらしい めんどくさすぎる…
知った
console.dir(obj, { depth: Number.MAX_SAFE_INTEGER });でネストされたすべてを展開して表示できることを知らなかった
読んだ
そういえばこの間読んだのに下記忘れてた
古典述語論理は「決定不可能 (妥当性の判定問題は計算不能)」なので、どのような推論に対してもタブローによる手続きで有限ステップ内で答えが出せるわけではありません
質問についてまどろっこしい書き方だからよくなさすぎる
述語論理$ Lで論理式$ Xが妥当 $ \iff $ Xのタブローが$ Lで構成できる
やった
https://gyazo.com/ca941af5df8b0a562f8a428f78c8f5f6
泣いてます
$ \vDash (\phi \land (\psi \land \xi)) \leftrightarrow ((\phi \land \psi) \land \xi)
$ \vDash (\phi \lor (\psi \land \xi)) \leftrightarrow ((\phi \lor \psi) \land \xi)
選言三段論法: $ \vDash (\phi \lor \psi) \land \lnot\phi \to \psi 構成的ジレンマ: $ \vDash (\phi \to \xi) \to (\psi \to \xi) \to (\phi \land \psi \to \xi) 移入律: $ \vDash (\phi \to \psi \to \xi) \to (\phi \land \psi \to \xi) 移出律: $ \vDash (\phi \land \psi \to \xi) \to (\phi \to \psi \to \xi) https://gyazo.com/404abcd03f30cbfcd3cc24f73e5fb605
後件肯定: $ \not\vDash ((\phi \to \psi) \land \psi) \to \phi 前件否定: $ \not\vDash ((\phi \to \psi) \land \lnot\phi) \to \lnot\psi 選言肯定: $ \not\vDash ((\phi \lor \psi) \land \phi) \to \lnot\psi 誤謬の誤謬: $ \not\vDash ((\phi \to \psi) \land \lnot \phi) \to \lnot \psi