通过海量题库、编程比赛和实时排名,系统化提升您的编程能力。
假设有下列例子: Whoever can read is literate.形式化为:(▽x)[R(x)=>L(x)] Dolphins are not literate. 形式化为:(▽x)[D(x)=>~L(x)] Some dolphins are intelligent.形式化为:(彐 x)[D(x) ∧~I(x)]那么,Some who are intelligent cannot read.应该形式化为: ( )