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

Исключение конъюнкта. Из истинности конъюнкции следует истинность любого ее конъюнкта: а, ла2 л ... лая hoc,- Введение конъюнкции. Из списка истинных формул следует истинность их конъюнкции: а,, а,, ..., С1л h а, л ctj л ... л ал. 31 2 Логические рассуждения Введение дизъюнкции. Из истинности формулы следует истинность ее дизъюнкции с любыми другими формулами: а,Ь а, v а2 v... v^v... v аи. Исключение двойного отрицания. Из истинности двойного отрицания формулы следует истинность ее самой: -1 -1 a h а. Простая резолюция (удаление дизъюнкта). Из истинности дизъюнкции и отрицания одного из ее дизъюнктов следует истинность формулы, получающейся из дизъюнкции удалением этого дизъюнкта: avp, -,pha. Резолюция. Из истинности двух дизъюнкций, одна из которых содержит дизъюнкт, а другая — его отрицание, следует формула, являющаяся дизъюнкцией исходных формул без упомянутого дизъюнкта и его отрицания: