How will this expression look like in temporal logic?

Question

Mathematics

How will this expression look in the language of temporal logic?

Всегда, если в текущем состоянии свойство p ложно, а в следующем истинно, то оно будет истинным 2 шага

Answer 1

Strictly two steps:
!p _i & p _{i + 1} => p _{i + 2} & !p _{i + 3}
At least two steps:
!p _i & p _{i + 1} => p _{i + 2}