Искусственный интеллект

Формула 0(Dw) истинна в ситуации s, если существует хотя бы одна ситуация s', достижимая из ситуации s, в которой истинна формула Dw. Иными словами, истинность формулы 0(DH>) означает, что существует ситуация s', достижимая из ситуации s, такая, что в ситуации s' и во всех достижимых из нее истинна формула w. Формула D(0w) истинна в ситуации s, если во всех ситуациях s', достижимых из ситуации s, истинна формула 0н>. Иными словами, истинность формулы U(0w) означает, что для всех ситуаций s', достижимых из ситуации s, можно найти хотя бы одну достижимую из s' ситуацию, в которой истинна формула w.