ся імплікацією, і визначається як:
А Г‰ В Вє Г№ А Гљ В,
де А і В - довільні формули алгебри предикатів,
Вє - операція, що позначає тотожне рівність правої і лівої частини.
Читається так: В«А тягне В В», де А - посилка, В - висновок. br/>
Розглянемо властивості імплікації:
1. Рефлективне імплікації:.
2. Транзитивність імплікації:. p> Доведемо дане тотожність:
В
3. Властивості логічних констант для імплікації
,. p>. br/>
4.Закон дедукції:
.
5. Закон контрапозиции:
В
6. Закон Внесення:
.
7. Закон експортаціі:
.
8. Закон приведення до абсурду:
.
9. Закони дистрибутивности:
.
