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

**風吹けば名無し** · 2022/10/02(日) 23:59:24.82

真理値表が全然分からん
∧と∨と￢はええんやが⇒の真理値表はなんでこんなことなるんや？

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

**風吹けば名無し** · 2022/10/02(日) 23:59:49.66

うむ

**風吹けば名無し** · 2022/10/03(月) 00:00:06.90

絵を描け

**風吹けば名無し** · 2022/10/03(月) 00:00:31.61

テキトーに実例当てはめて考えりゃええやん

**風吹けば名無し** · 2022/10/03(月) 00:00:35.60

**風吹けば名無し** · 2022/10/03(月) 00:01:07.55

😄

**風吹けば名無し** · 2022/10/03(月) 00:01:09.17

>>4
なるほど

**風吹けば名無し** · 2022/10/03(月) 00:01:15.90

そういうふうに定義したから

**風吹けば名無し** · 2022/10/03(月) 00:02:11.45

これってこういう決まりなんやないの？

**風吹けば名無し** · 2022/10/03(月) 00:02:27.23

⇒は分かりにくいよなちょっと待っとれ

**風吹けば名無し** · 2022/10/03(月) 00:02:44.14

いやわからんわ
具体例挙げてや

**風吹けば名無し** · 2022/10/03(月) 00:03:25.09

これは定義なんか

**風吹けば名無し** · 2022/10/03(月) 00:03:32.13

述語論理で同値変形すればええで

**風吹けば名無し** · 2022/10/03(月) 00:03:35.29

TはTRUEでFはFalseや😤

**風吹けば名無し** · 2022/10/03(月) 00:03:56.68

>>1
根拠はないぞ
慣習でそうすることが多いだけで
そうしない様式もある

**風吹けば名無し** · 2022/10/03(月) 00:04:02.87

喧嘩して左が買ったらFやねん
矢印の意味考えろ

**風吹けば名無し** · 2022/10/03(月) 00:04:12.95

前提が誤ってるからや

**風吹けば名無し** · 2022/10/03(月) 00:04:56.94

空虚な真がいっちゃん混乱する

**風吹けば名無し** · 2022/10/03(月) 00:04:58.66

そういうもんなんや
Aが偽である場合、Bの真偽に依らずA→Bは真なんや

**風吹けば名無し** · 2022/10/03(月) 00:05:26.01

2個の命題の真偽から合成命題の真偽を決める規則を何かしら考えて
自然言語で近似したと考えるのが良いかもしれない
かつ
または
ならば
は2引数1返り値の命題関数やと割り切る

**風吹けば名無し** · 2022/10/03(月) 00:05:43.26

**風吹けば名無し** · 2022/10/03(月) 00:05:48.77

「ワイの彼女が浜辺美波」が正しいならば「ワイの妹が橋本環奈」も正しい

**風吹けば名無し** · 2022/10/03(月) 00:05:51.37

A⇒Bは￢A∪Bと同値や

**風吹けば名無し** · 2022/10/03(月) 00:06:57.25

1+1=10ならば1*1=1　は真だし
1+1=10ならば1*1=10 も真なんや

**風吹けば名無し** · 2022/10/03(月) 00:08:09.77

排中律がクソってことや
「ナンチャンが面白かったら安倍晋三は死ななかった」が真なのは直感に反するよな

**風吹けば名無し** · 2022/10/03(月) 00:08:25.37

>>21
三番目の例が抜けとったがqが真やからpが真かに関係なくp⇒qが真となるはずなので(F⇒T)=Tや

**風吹けば名無し** · 2022/10/03(月) 00:12:43.15

いけそうか？

**風吹けば名無し** · 2022/10/03(月) 00:15:24.25

真の命題が偽の命題を含意することはないってのが分からない