数学がAIの仕事になるのは時間の問題

[0045 １３２人目の素数さん 2023/03/26(日) 20:25:17.63 ID:ugAJTfFu]

>>42
∃x∀y.P(x,y)⇔￢P(y,y)　さて、この命題は正しいか？

日常文で書くならこう
「自分の顔を直に見られない人すべての顔を直に見ることができる人がいる」