Как данное выражение будет выглядеть в темпоральной логике?

Question

[Karkes]

Как данное выражение будет выглядеть на языке темпоральной логики?

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

Answer 1

[Rsa97]

Строго два шага:
!p_i & p_{i + 1} => p_{i + 2} & !p_{i + 3}

Минимум два шага:
!p_i & p_{i + 1} => p_{i + 2}