【急募】数学や論理学に自信ニキ

■ このスレッドは過去ログ倉庫に格納されています
0001風吹けば名無し2022/10/02(日) 23:59:24.82ID:65qJwfWaa
真理値表が全然分からん
∧と∨と¬はええんやが⇒の真理値表はなんでこんなことなるんや?

https://i.imgur.com/pfSonXW.jpg

0002風吹けば名無し2022/10/02(日) 23:59:49.66ID:+VTmQOs20
うむ

0003風吹けば名無し2022/10/03(月) 00:00:06.90ID:zk8ucqt+M
絵を描け

0004風吹けば名無し2022/10/03(月) 00:00:31.61ID:swCpP3Y+0
テキトーに実例当てはめて考えりゃええやん

0005風吹けば名無し2022/10/03(月) 00:00:35.60ID:Losr4XD30
^^

0006風吹けば名無し2022/10/03(月) 00:01:07.55ID:Ph4RJXea0
😄

0007風吹けば名無し2022/10/03(月) 00:01:09.17ID:nod7Sk1Va
>>4
なるほど

0008風吹けば名無し2022/10/03(月) 00:01:15.90ID:NgQdlzhF0
そういうふうに定義したから

0009風吹けば名無し2022/10/03(月) 00:02:11.45ID:F/82/E+g0
これってこういう決まりなんやないの?

0010風吹けば名無し2022/10/03(月) 00:02:27.23ID:LrRKsvdd0
⇒は分かりにくいよなちょっと待っとれ

0011風吹けば名無し2022/10/03(月) 00:02:44.14ID:nod7Sk1Va
いやわからんわ
具体例挙げてや

0012風吹けば名無し2022/10/03(月) 00:03:25.09ID:nod7Sk1Va
これは定義なんか

0013風吹けば名無し2022/10/03(月) 00:03:32.13ID:EP6BhbIi0
述語論理で同値変形すればええで

0014風吹けば名無し2022/10/03(月) 00:03:35.29ID:oKQ7AWpL0
TはTRUEでFはFalseや😤

0015風吹けば名無し2022/10/03(月) 00:03:56.68ID:zzGzPcI70
>>1
根拠はないぞ
慣習でそうすることが多いだけで
そうしない様式もある

0016風吹けば名無し2022/10/03(月) 00:04:02.87ID:KF7h20ZH0
喧嘩して左が買ったらFやねん
矢印の意味考えろ

0017風吹けば名無し2022/10/03(月) 00:04:12.95ID:fOAVdDJqH
前提が誤ってるからや

0018風吹けば名無し2022/10/03(月) 00:04:56.94ID:FLYo5tAX0
空虚な真がいっちゃん混乱する

0019風吹けば名無し2022/10/03(月) 00:04:58.66ID:ZIcJL0Vq0
そういうもんなんや
Aが偽である場合、Bの真偽に依らずA→Bは真なんや

0020風吹けば名無し2022/10/03(月) 00:05:26.01ID:zzGzPcI70
2個の命題の真偽から合成命題の真偽を決める規則を何かしら考えて
自然言語で近似したと考えるのが良いかもしれない
かつ
または
ならば
は2引数1返り値の命題関数やと割り切る

0021風吹けば名無し2022/10/03(月) 00:05:43.26ID:LrRKsvdd0
スマリヤンの解説
https://i.imgur.com/xrwOezM.jpg

0022風吹けば名無し2022/10/03(月) 00:05:48.77ID:55nzeXlT0
「ワイの彼女が浜辺美波」が正しいならば「ワイの妹が橋本環奈」も正しい

0023風吹けば名無し2022/10/03(月) 00:05:51.37ID:EP6BhbIi0
A⇒Bは¬A∪Bと同値や

0024風吹けば名無し2022/10/03(月) 00:06:57.25ID:ZIcJL0Vq0
1+1=10ならば1*1=1 は真だし
1+1=10ならば1*1=10 も真なんや

0025風吹けば名無し2022/10/03(月) 00:08:09.77ID:7kV3nzhp0
排中律がクソってことや
「ナンチャンが面白かったら安倍晋三は死ななかった」が真なのは直感に反するよな

0026風吹けば名無し2022/10/03(月) 00:08:25.37ID:LrRKsvdd0
>>21
三番目の例が抜けとったがqが真やからpが真かに関係なくp⇒qが真となるはずなので(F⇒T)=Tや

0027風吹けば名無し2022/10/03(月) 00:12:43.15ID:LrRKsvdd0
いけそうか?

0028風吹けば名無し2022/10/03(月) 00:15:24.25ID:nod7Sk1Va
真の命題が偽の命題を含意することはないってのが分からない

■ このスレッドは過去ログ倉庫に格納されています