将时序逻辑表达式转换为一阶逻辑：G(command_issued -> F evr_success)

将时序逻辑表达式转换为一阶逻辑：G(command_issued -> F evr_success)/n/n时序逻辑表达式 'G(command_issued -> F evr_success)' 可以表示为：/n/n$//forall t //geq 0, (command/_issued(t) //rightarrow //exists t' //geq t, evr/_success(t'))$/n/n解释：/n/n* G: 表示“全局地”（Globally），即对于所有时间点都成立。/n* F: 表示“最终地”（Finally），即在某个未来时间点成立。/n* command_issued(t): 表示在时间点 t 发生了命令发出事件。/n* evr_success(t'): 表示在时间点 t' 发生了事件成功事件。/n/n上述一阶逻辑表达式的意思是：对于所有时间点 t，如果在时间点 t 发生了命令发出事件，那么在某个未来时间点 t' (t' 大于等于 t) 就会发生事件成功事件。/n/n总结：/n/n该表达式描述了这样一种情况：只要命令发出，就一定能在未来某个时刻成功。