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

Для дополнительного оператора предшествования Р выражение и^Ри^ эквивалентно -i ((-> w{) U w2). Выражение wtPwt читается как "V, предшествует w2" и является истинным, если w2 станет истинной в какой-либо ситуации, будучи до этого ложной, а ситуация, в которой стала истинной wr наступила ранее. Несколько очевидных свойств дополнительного оператора предшествования Р можно получить из соответствующих свойств оператора U и определения оператора Р: 1) wPw = ? -1 w; 2) wtPw2 л и^Ри^гэ wiPwi; 3) wtPw2 =-i w2 л (и'|ло(и'|Ри'2)]; 4) ?-. w2 z> WjPvi'j; 5) wJPw2 v w2Pw{ v 0(w| л w2). Выражение 1 свидетельствует о том, что w всегда предшествует себе, если w является всегда ложной: w не может предшествовать самой себе. Выражение 2 означает транзитивность отношения предшествования: если w, предшествует w2, а последняя предшествует w3, то wf предшествует wy