是否可以将逻辑“and”替换为 if 语句并仍然具有相同的大步语义？
Can logical `and` be replaced by an if-statement and still have the same big-step semantics?
在下面的系统中，我可以将某些语句 T（其中 T ⇓ v）中的所有 and t1 t2 子语句替换为 if t1 then t2 else false 并仍然得到相同的结果，这意味着有 T ⇓ v？
不，因为 and err false 减少到 false 但 if err then false else false 卡住了。
在下面的系统中，我可以将某些语句 T（其中 T ⇓ v）中的所有 and t1 t2 子语句替换为 if t1 then t2 else false 并仍然得到相同的结果，这意味着有 T ⇓ v？
不，因为 and err false 减少到 false 但 if err then false else false 卡住了。