20/04/26 16:22:32 lYMvbA3z.net
>>433
東大の数学科では数理論理は教えない 情報科学科の領分だな
s0*ss0
=(s0*s0)+s0
=((s0*0)+s0)+s0
=(0+s0)+s0
=s((0+s0)+0)
=s(0+s0)
=ss(0+0)
=ss0
ふう、めんどくさｗ
やり方はわかっただろ？
じゃ、君、ss0*sss0を計算してみてｗ
20/04/26 16:22:32 lYMvbA3z.net
>>433
東大の数学科では数理論理は教えない 情報科学科の領分だな
s0*ss0
=(s0*s0)+s0
=((s0*0)+s0)+s0
=(0+s0)+s0
=s((0+s0)+0)
=s(0+s0)
=ss(0+0)
=ss0
ふう、めんどくさｗ
やり方はわかっただろ？
じゃ、君、ss0*sss0を計算してみてｗ