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

Таким образом, общезначимость формул вида ау => а2, называемых ымпликативными формулами, является важным свойством для получения заключения об истинности ар называемого заключением, при истинности аг называемого посылкой. Для простоты импликативные формулы a, z> a2 будем называть так же, как и связку э, импликацией. В логике высказываний известно много общезначимых формул, называемых обычно законами логики высказываний. Наиболее известными являются следующие законы: коммутативные сс,&а2 a] va2 дистрибутивные а, &(а2 va3) = (a, &a2)v(a] &a3), a, v(a2&a3) = (a, va2)&(a, va3); ассоциативные a, &(a2 &a3) = (a, &a2)&a3, a, v(a2 vaj)=(a, va2)va3; законы Де Моргана -,(a,&a2)?(-,a,)v(-,a2), закон двойного отрицания -¦(-.a,) HE a,. 28 ' 2.2. Логика высказываний В этих законах а обозначает любую правильно построенную формулу логики высказываний.