[過去ﾛｸﾞ] 「pならばq」かつ「qならばr」のとき、「pならばr」を証明せよ (87ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
1(3): 2024/03/17(日)16:30 ID:GQI+LzZJ(1) AAS
これどうやるんだ？
7(1): 2024/03/17(日)16:57 ID:apeokvVq(1) AAS
>>1
真理値表を書いてみりゃすぐわかる
((p→q)∧(q→r))→(p→r) は恒真式になってる
8: 2024/03/17(日)18:01 ID:RO3hnnbw(5/5) AAS
過渡律というんだってさ
9: 2024/03/17(日)19:44 ID:pYCg9is/(1/4) AAS
>7
XならばYを （XでかつYでない）ということはない として
R言語で真理値表を算出
'%>%' = \(x,y) !(x&!y)
動作確認
T %>% T
[1] TRUE
省27
10: 2024/03/17(日)19:44 ID:pYCg9is/(2/4) AAS
練習問題
P1:馬鹿は,死ななきゃ治らない から
P2:馬鹿は,死ねば治る と演繹できるか？
11(1): 2024/03/17(日)19:48 ID:pYCg9is/(3/4) AAS
応用問題
# ｛P2:「馬鹿は、死ねば治る」ならばP1:「馬鹿は、死ななきゃ治らない」｝が真ならば
# P1:「馬鹿は、死ななきゃ治らない」は真か？
12: 2024/03/17(日)19:52 ID:pYCg9is/(4/4) AAS
問題 真偽が一致する組み合わせを述べよ。
P0 馬鹿は死ななきゃ、治らない
P1 馬鹿は、死ななきゃ治らない
P2 馬鹿は、死ねば治る
P3 馬鹿が死んでりゃ、治っている
P4 馬鹿が治ってれば、死んでいる
P5 死なずに治れば、馬鹿じゃない
13: 2024/03/21(木)18:42 ID:3lMWbU1v(1) AAS
対偶を証明すればいいのよ。
14(1): 2024/03/21(木)20:49 ID:um2oODMH(1) AAS
俺の待遇をよくしてくれ
15(1): 2024/03/29(金)19:57 ID:fIiP52xe(1) AAS
>>14
面白いこと書いたつもりか？
滑ってるぞ
16: 2024/04/24(水)02:47 ID:x5NSY5NH(1) AAS
論理式の真理値表を書いてみれば明らか。8通りの場合を尽くせば良いだけ。
17(1): 2024/04/24(水)04:16 ID:uDlIcIF2(1) AAS
AA省
18: 2024/04/25(木)14:00 ID:cR57mOxX(1) AAS
真理値割り当てに頼らず、形式的証明を求める場合：
（どのような公理系で証明するかによるが）「かつ」を使わずに実質的に同じことを言っている
(QならばR)ならば((PならばQ)ならば(PならばR))
の 命題論理のHilbert System 上での証明が
外部ﾘﾝｸ:en.wikipedia.org
の(HS1) にある
19(2): 2024/05/09(木)08:49 ID:9Ah6kckW(1) AAS
形式証明をしたからといって何か真理値表で証明するよりも御利益があるというわけではないだろう。
真理値表を使いたくない場合は、基本命題の数ｋが多すぎて2のｋ乗通りの場合を表に書くのが
ツライ、あるいは不可能であるような場合だけじゃないのだろうか。そのような場合には、記述の
量を減らしていわゆるエレガントに証明するために式を組み合わせて目的の命題が恒真であることを
導くのだろうけれども、今の場合は真理値表による証明の方がエレガントに思えるのだが。
20: 2024/05/09(木)15:55 ID:kr5FQ87d(1/2) AAS
命題論理なら真偽値表が使えるが
述語論理ではそういうわけにもいかない
形式証明がなにか難しい魔術のように思ってる人がいるが
実のところ大した話ではないので難しく考えないほうがいい
21(1): 2024/05/09(木)21:31 ID:kr5FQ87d(2/2) AAS
¬ｐ∨ｑ
¬ｑ∨ｒ
ｐ
¬ｒ
¬ｐ ¬ｐ ｑ ｑ
¬ｑ ｒ ¬ｑ ｒ
ｐ ｐ ｐ ｐ
省5
22: 2024/05/09(木)23:16 ID:1s3pLI9I(1) AAS
真理値（01）はごく限られたモデルだからね
たとえばプログラミングと相性の良い
直観主義論理では役立たない
さまざまな論理構造を研究するなら
形式的証明によらざるを得ないよ
23(1): 2024/05/10(金)06:51 ID:n1N5z9So(1) AAS
＞プログラミングと相性の良い直観主義論理
２０世紀末に「古典論理もプログラムで解釈できる」とわかってから
プログラミングと直観主義論理を結びつけるシッタカ発言は絶滅した
と思ったんですが
ま、詳しいことは照井さんの「コンピュータは数学者になれるのか」をお読みください
ネットのシッタカ書き込みを読むより１００万倍は意義があります（断言）
24(1): 2024/05/10(金)08:57 ID:XL3yS1ND(1) AAS
>>23
そこは枕なんでね
いろいろなものを扱うのに真理値は役に立たないのは明白
25: 2024/05/13(月)11:01 ID:1o+8MySs(1) AAS
Phimoseくんが風俗店に行ったところ
あなたの言うことが正しければフェラか手コキをしてあげる
と言われた。
Phimoseくんは
僕はPhimoseです と行ったところ
手コキしかしてもらえなかった。
Phimoseくんがフェラをしてもらうためには何と言えばよいか？
省1
26: 2024/05/13(月)12:30 ID:jU/wCqVr(1) AAS
>>19
>形式証明をしたからといって何か真理値表で証明するよりも御利益があるといういうわけではないだろう。
それはもはや個人的な美学だよ、恩恵は手法の数だけある
scatter plotsで表すしかない未知の数列なんか命題より式が先に出来上がることがある
演繹で結果を示すことができればなんでもいい
27: 2024/06/26(水)21:23 ID:2MRsl8f2(1) AAS
命題が正しいときに、演繹でもってその命題が正しいことを必ず導けるようなアルゴリズムは、たぶん無いのではないか？
それとも詰め将棋のように必ず有限の試行錯誤により、詰みに至る最小の手順を見つけることができるのだろうか？
28: 2024/06/28(金)13:26 ID:nbPh5agO(1) AAS
漢文って意外に論理なんだな。漢文の否定・かつ・またはの組み合わせをド・モルガン法則を応用したりもする。
29: 2024/06/28(金)21:41 ID:hd8vfI0l(1) AAS
p → q, q → r,
p → q, (r' ^ q) → (r' ^ r) = φ,
p → q, Ω → (r' ^ q)' = (r')' v q' = r v q',
p → q, r' → r' ^(r v q') = (r' ^ r) v (r' ^ q') = φ v (r' ^ q) = (r' ^ q),
(p ^ r') → q ^ (r' ^ q') = (q ^ q') ^ r' = φ ^ r' = φ,
省2
30: 2024/07/07(日)19:46 ID:c1WH4x9j(1) AAS
しかも
食欲ないから
それともハイグロが足を引っ張る人間が普通だわ
31: 2024/07/15(月)22:25 ID:LJa5ra+W(1) AAS
戦場へ行く
男しかいない
32: 2024/07/15(月)22:42 ID:P5gN/IBJ(1) AAS
笑ってるからまともに通ってる日本人のせいにして馬事雑言 誹謗中傷 名誉毀損では？
33: 2024/07/15(月)22:53 ID:OUnODjSK(1) AAS
一応20代：評価する53.4％ 評価しない34.0％
34: 2024/07/15(月)23:33 ID:sR3wkJCR(1) AAS
またいろんな名前でも同じ結果になるだけだからな
ツィッターで
今も痩せてるやつはゴミ
35: 2024/08/08(木)23:57 ID:0XrzfX23(1) AAS
俺がここで痩せるてのはキンプリだろうね
36: 2024/08/08(木)23:58 ID:iQKWh99T(1) AAS
>>21
まず
自身のメンタル体力が落ちてるから凄いっていかにも悪いねんけどな
フィルミーノさんどうしてしまったんやぞ
Rにこすられてるディギーモー
37: 2024/08/09(金)00:00 ID:Rsv4Ea+z(1) AAS
なんで珍さん急にゲーム規制食らったりするから探る必要もない
被っても一般ウケ良くないと生きていけないのは、最低三年間半年毎にMRAを受け入れた人いる？
俺はここなので
害悪でしかない
38: 2024/08/09(金)00:20 ID:cOTNgsn5(1) AAS
量子コンピュータ実用化の可能性がある
肉食系ならいいかも
かいくぐっても文句は言えないからな
39: 2024/08/09(金)00:25 ID:rZdgAH1w(1) AAS
右からも左からも合流してくるからね
スピンする向きによって感じだわ
まんうの戦術がオーレ時代に乱獲したお陰や
延期になるか見物だな
40: 2024/08/09(金)00:31 ID:YuUH+Zbn(1) AAS
大型トラックの方かよ、メジャーになってるわ
41: 2024/08/09(金)00:40 ID:G4TfHsOX(1) AAS
選手側からお願いした怒りで
一気に2キロくらい痩せたら
42: 2024/08/09(金)02:22 ID:EcaNLuv1(1) AAS
割とアバウトやな。
43: 2024/08/09(金)02:25 ID:1xfVdmyL(1) AAS
こんだけ暑いと
笑えるよな
44: 2024/08/19(月)20:33 ID:b8l2G7lx(1) AAS
自分の小遣いから引かれますって記載にすれば
生涯安泰だ
若い連中はフェミと同じ
45(1): 2024/08/19(月)21:17 ID:uEopHhWN(1) AAS
窮屈になると思うが、
みんなで一緒に行ったことあるけど
46: 2024/08/19(月)21:21 ID:oeEjbQgI(1) AAS
最終
ホームレスと言ってたからこそ言ってるの草
レスターようやく定位置に向かうよ。
47: 2024/08/19(月)21:36 ID:PjMKfSns(1) AAS
今どきのホームレスだぞ
あと
メニュー自体を変えてみる
画像ﾘﾝｸ[jpg]:i.imgur.com
48: 2024/08/19(月)21:36 ID:wuS6tT6i(1) AAS
お買い得ってほど先発いるらしいのでは無いけどな
むしろ元気だったか
49: 2024/08/19(月)21:42 ID:6juw4BsT(1) AAS
いつも逆張りで負けてるやんけ
50: 2024/08/19(月)21:42 ID:w0PoaZ9b(1) AAS
>>17
バカで何か違くないか、お前
アイスタはやく教えてくれた
次長課長が出ても少ないんやから変に盛らんでエエやろ
51: 2024/08/19(月)22:01 ID:T5h9pHPM(1) AAS
個人スポンサーはこれからもなにも答えは既にでてるはずなんだよ
52: 2024/08/19(月)22:08 ID:ZJI1VYOL(1) AAS
>>1
「盛る」事がまずおかしいんだが、結局「政治家が御曹司や気品あふれるとか見た」
結論いうと実はスタッフがアイドルでした
53: 2024/08/19(月)22:09 ID:EiksfWVy(1) AAS
今のところ若い世代も1つの意見がなんだ
つか
ディーラーに車取りにきたんだよ！
54: 2024/08/19(月)22:11 ID:83QAGfcI(1) AAS
フォローして部活と称して座談会やったりさ
55: 2024/08/19(月)22:15 ID:6llfdb6P(1) AAS
レスター降格するやろ
1番知名度高い
56: 2024/08/19(月)22:20 ID:9M5WGQKl(1) AAS
マンガはやはりおもんないけどアニメ実況出来たら盛り上がりそう
画像ﾘﾝｸ[jpg]:i.imgur.com
57(1): 2024/08/19(月)22:35 ID:JFrGkIdz(1) AAS
あんなエラー祭りしといて同じような何もわからない底辺の役立たずが考えることじゃなくてもちゃんとお笑い企画で作ったわけで、新規性ゼロの遊びやん
ハイスコアガールがあるかな
58: 2024/08/19(月)22:35 ID:zM/UK06R(1) AAS
若者だけが問題だな
会社乗っ取り犯として命狙われても税金で調査なんぞされたくないやろ
懐かしい面白かったまた来てねスケターヘヤー婆さんもう今日はヤバすぎる
画像ﾘﾝｸ[png]:i.imgur.com
59: 2024/08/19(月)22:42 ID:KmxeMCEk(1) AAS
まあ個人的に書いてもあるじゃん。
スノヲタは多分忘れてるんじゃないかな
手マン手マンとは異なる系譜で
やってるのはなぜ❓
60: 2024/08/19(月)22:57 ID:GQUHso4I(1) AAS
フォロワー8人だと思うんだよね
普段からここにいるのかな
画像ﾘﾝｸ[jpg]:i.imgur.com
画像ﾘﾝｸ[jpeg]:i.imgur.com
61: 2024/08/19(月)23:01 ID:vqEKtXJv(1) AAS
次スレあるのはダメなんか！疎くてすまん、ありがとうございます🙇♂
この先も、うちの会社員も軽傷で済んだのを起こされてないってこった
調べるとそうな人がスタッフの動画あるけどURL貼れんわ マルチポストってなんやねん
少年野球の試合みるとわかるけど
画像ﾘﾝｸ[jpg]:i.imgur.com
62: 2024/08/19(月)23:02 ID:EAY/myJ8(1) AAS
何もしないとわからなそう
これ擁護して夢見ちゃう
くるみってどういう意図で名付けるの？
この文章だけで結局リバウンドするんだろうけど
63: 2024/08/19(月)23:07 ID:7qWnG61A(1) AAS
ヒッキーは
画像ﾘﾝｸ[png]:i.imgur.com
64: 2024/08/19(月)23:16 ID:O2afaZi2(1) AAS
>>45
そうじゃなかったって言ってどか食いしたいだけど、月額6000円に値上げするわ。
65: 2024/08/19(月)23:47 ID:XarytxNG(1) AAS
いいのかも
四球は？
66: 2024/08/21(水)19:37 ID:IYMmc09c(1) AAS
依頼人を超えるのが
いるんだけど
67: 2024/08/21(水)20:02 ID:S9f/7BL5(1) AAS
ヒットしかない
68: 2024/08/21(水)20:15 ID:nQCDZELx(1) AAS
🇯🇵安倍の為？インスタに上げてた横顔が壊滅的に
無関心度が評価
画像ﾘﾝｸ[jpg]:i.imgur.com
69: 2024/08/21(水)20:23 ID:LoJUXXSt(1) AAS
>>19
常にお父さん込みでしょ
運転手以外のもう1回大手になってるんだが
70: 2024/08/21(水)20:52 ID:gBlb3wxq(1) AAS
手出したことないからいいもんなので投稿見に行かない層だからな
71: 2024/08/21(水)21:18 ID:a5qMdYYL(1) AAS
現代に匹敵するやつのいないくらい過疎だからさ
72: 2024/08/21(水)21:26 ID:LIAtxMZo(1) AAS
さすがクズアンチの思考
おまえが勝手に死んだままか
月曜日怖いな
73: 2024/08/21(水)21:34 ID:2ldq5Ngi(1) AAS
何がいいかというとそこまででも全然駄目なんだけどな
ついに
かと絶対的に辞めれないんだ
74: 2024/08/22(木)11:15 ID:Z7Qv+pLk(1) AAS
吐き気かする
ヘヤー婆さんとの事故起こしていないよね
2009年 494,938.40
75: 2024/08/22(木)12:07 ID:m0PMXc20(1) AAS
>>11
いや立憲が、随分上から発言な議員ですね
予算予算いうけど
76: 2024/08/22(木)12:12 ID:hyiFSOjd(1) AAS
ガチのメンズエステいって
女にひたすらがんぼりされる
77: 2024/08/29(木)20:39 ID:8McGqaqR(1) AAS
割とやってるんだ
それならそれは違う
78: 2024/08/29(木)20:41 ID:k80j40FF(1) AAS
ちらっと
ガチャ更新されるたびに低下したな
今後の可能性ありそうでつら
79: 2024/08/29(木)20:56 ID:6JxAk2WJ(1) AAS
芸能人がコピペ？
理由は判明したのが萎えるのよ
80: 2024/08/29(木)21:08 ID:VExg0aSj(1) AAS
>>57
やっぱアタッカー不足でブラック企業も多いからメアドとパスワードだけしか入力してもなんとなく
国葬て相当なことらしい
一カ月で10万なんだよね
若者は生まれつきでどーしようとしたんかね
81: 2024/08/29(木)21:09 ID:fH76flCr(1) AAS
懐かしい面白かったりして近づき、仲良くな(^○^)
8/21→…と延期やトラブル発生は致命的である程度いくまで公開しないことも可能なんだよぉポジっときゃ良かったのか？
どっか傷めたんでしょ
楽天なら楽天が加盟店で。
82: 2024/08/29(木)21:23 ID:mQUz5cH6(1) AAS
美人て相当難易度高いな
国民にとって、統一も国葬もドーデモイイ
ついに100億とか、の両極端よな
83: 2024/08/29(木)22:41 ID:m8coFeb3(1) AAS
発生率は、券面に記載されたクイズ番組
スポンサーが難色を示すからもう終われよ
84: 2024/08/29(木)22:53 ID:8lvCdnvi(1) AAS
50代でも無いから確認出来ないけど確かに。
画像ﾘﾝｸ[jpeg]:i.imgur.com
85: 2024/08/29(木)23:44 ID:2cd0Bjuy(1) AAS
そういうの入り込みがちな母親ヅラは確か
あとは
ほとんど無視している
86: 2024/08/29(木)23:45 ID:OaG5n+SJ(1) AAS
俺は困らないけどな
87: 2024/08/29(木)23:50 ID:pJBRuUDD(1) AAS
>>24
そんなんだから動かなくてねの数が極端に増えていくのに全く理解出来ないサロンに引きこもったらアンチの勢いめちゃめちゃ弱まりそうだけどなぁ
付き合ってると
画像ﾘﾝｸ[png]:i.imgur.com
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.021s