Умовивід дедуктивний

логічне перетворення, що дозволяє із даних тверджень за допомогою логічних правил виводу отримувати інші твердження