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

Начальное условие имеет вид Ь (в_месте (/0) л Начать л х2 > 0. (9.4) Используя программную аксиому Мо и подставляя вместо у, ее значение, равное 1, получаем Ь (в_месте (10) л у — и л и = (х,,л^, 1) л х'г= 1- у*г, (9.5) т.е. имеем истинную формулу 216 9.9. Доказательство свойств корректности = [в_месте (/0) л у = и л « = (х,,х2,1) л х{г = 1- >^]. Используя программную аксиому Л/,, начальное условие (9.1), формулу (9.5) и правило модус поненс, имеем Ь в_месте (/,)л у = и ли = (хрх2,1) л х,^ = 1- у>г. (9.6) Начальное условие х2 > 0 представляем в виде /*(/,) = в_месте {1х)л у = и ли = (XpXj, 1) л х,^ = 1- у*г. Имеем bx^OsEX^OvXjX). (9.7) Используя формулы (9.6)—(9.7) и правило введения конъюнкции, получаем Ь в_месте (/,)л _у = ил и — (х,,х2,1) л х,*2=1- у*г л х2 = 0 v х2 > 0). (9.8)