0001以下、5ちゃんねるからVIPがお送りします垢版 | 大砲2022/04/20(水) 23:08:55.112ID:45z9qFsi0 一階述語論理の論理式に真理値を割り当てる手続きが、集合論に基づいたものになってるから、って理解でいいのか?