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

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

Статус гасла: Стаття потребує автора

Пишіть за адресою [email protected].