「AはB」と「AならばB」って論理的には同じなん？

**風吹けば名無し** · 2022/11/05(土) 12:02:55.42

俺は人間　と　俺ならば人間　って同じ？
前者は、俺は人間という事実を語ってる感じがするが、
後者は、もしも俺ならば人間、という条件感がある

**風吹けば名無し** · 2022/11/05(土) 12:03:43.57

一本でもニンジン

**風吹けば名無し** · 2022/11/05(土) 12:04:55.28

バッタは人間ではない。
しかし、イッチならば人間である。

**風吹けば名無し** · 2022/11/05(土) 12:06:16.17

俺は17歳
俺ならば17歳

ちゃうね

**風吹けば名無し** · 2022/11/05(土) 12:07:29.49

まあ論理的には同じやろ

**風吹けば名無し** · 2022/11/05(土) 12:09:03.88

チンポは男
チンポならば男

**風吹けば名無し** · 2022/11/05(土) 12:09:19.74

もしAならばという仮定とか条件を満たしていればBになるからちょっと違うんやないか？

**風吹けば名無し** · 2022/11/05(土) 12:10:03.33

運転免許みたいなこと言ってんじゃねえよ

**風吹けば名無し** · 2022/11/05(土) 12:12:25.03

はの定義は？

**風吹けば名無し** · 2022/11/05(土) 12:12:57.26

A＝B
if A then B
Aをどうこねくり回してもBになるから意味的には一緒だな

**風吹けば名無し** · 2022/11/05(土) 12:13:11.45

逆に考えるんや
BはAは成り立つが、BならばAにはならんやろ？
前者は同等で、後者はAが前提になってるんや

**風吹けば名無し** · 2022/11/05(土) 12:13:33.11

あれ、わい間違ってるんか？

**風吹けば名無し** · 2022/11/05(土) 12:13:39.28

前者の「は」を＝のことやと思えば違うやね

**風吹けば名無し** · 2022/11/05(土) 12:14:58.72

そもそもイッチ人間か？

**風吹けば名無し** · 2022/11/05(土) 12:15:12.46

>>4
これやな
Bがある条件下で変化するなら違うわ

**風吹けば名無し** · 2022/11/05(土) 12:16:07.75

一階の述語論理なら同じ
二階の論理だともっと厳密に定義する

**風吹けば名無し** · 2022/11/05(土) 12:16:34.85

>>2
すこ

**風吹けば名無し** · 2022/11/05(土) 12:17:48.15

>>16
調べるわ
知識あってかっこええな

**風吹けば名無し** · 2022/11/05(土) 12:20:22.93

>>10
イコールはA is B かつ B is Aのことだから違う

**風吹けば名無し** · 2022/11/05(土) 12:21:00.46

>>16
ウィキペディア見たけど久しぶりにわけわからんかった