2006-12-14 述語論理では、副作用を考えないので、例えば財布の中身のような、使うたびに変わるものが扱えない。 100円あれば みかんが買える 100円あれば りんごが買える だからといって、"100円あれば みかんが買える かつ りんごが買える" わけではない。