低脳低学歴ID:Ag1SG5SCr

**風吹けば名無し** · 2022/04/22(金) 12:20:20.59

ワイの発言そのままオウム返してて草

**風吹けば名無し** · 2022/04/22(金) 12:29:51.32

>>11
でもその問題のない話持ち出されてボロ出ちゃいましたよね！？！！？
つまりお前の負けやでｗｗｗｗ

**風吹けば名無し** · 2022/04/22(金) 12:30:19.98

負けて悔しくてスレ立て惨め

**風吹けば名無し** · 2022/04/22(金) 12:30:44.65

まわさらし

**風吹けば名無し** · 2022/04/22(金) 12:30:55.32

呼び出しスレいいぞ
見世物としてはよ戦えよ

**風吹けば名無し** · 2022/04/22(金) 12:30:58.72

ぶりぶりうんち！💩

**風吹けば名無し** · 2022/04/22(金) 12:31:33.04

>>15
お前が「世の中の言語全部が全部型に厳密なわけではない」って言ったんやろwアホすぎて草

**風吹けば名無し** · 2022/04/22(金) 12:32:00.26

>>16
型に厳密でnulk許容じゃないならNUllにならないっていうのはそのとおりやけど
nullにならないなら型に厳密だとは言ってないで
お前が主張してんのは後者だろｗｗｗｗ低学歴ｗｗｗｗ

**風吹けば名無し** · 2022/04/22(金) 12:32:04.90

>>16
あとまってw
指プルップルで草

**風吹けば名無し** · 2022/04/22(金) 12:33:51.14

>>22
型が厳密⇒isAhoがNUllableじゃない限りNULLにならない
はどんな仮定も必要とせずにこれだけで成り立つ恒真命題なわけだが
述語論理勉強したら？