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

формулам р;л Zp Р,л Zj з р^, заключая, согласно этому правилу, что формула 2« 35 2. Логические рассуждения Таблица 2.6 Исключение конъюнкта а,ла2л... лапи. -,Z|A-,Z2AZ}I-ZJ Введение конъюнкта а,, сс2,..., а, 1-а,ла2л... ла„ ХкЛХлЛЛ:п.531-ЛкЛЛлЛХпЛ53 Модус поненс а, а з (3 t-P \ЛХЯ*ХП*Ъ>\Л\ЛХПЛ^ хкл^хялхп\-хкл^хплхп Исключение конъюнкта а,лсс2л... лссп1-а. Введение конъюнкта а,, а2,.... а„1-а,ло:2л... ла \*Х»*Хп>^Х^^Хп^\**2 Модус поненс а,азр1-р \ А -1 *л А *пА *Р \Л ~> *л А *„А ^ => Модус поненс а, аз PI-P тХЛ-,ХЛХЛ1,-1ХЛпХ ЛХЛ2.Э К Л П J К Л П J —t X А—, X Л—iX 1 1 X Л —1 X Л —1 X К л п к л п