Числення, Дедуктивна система — система, яка задає множину, зазначаючи первісні елементи й правила виведення. Правила виведення застосовуються до скінченного числа елементів, які називають засновками (ними можуть бути як первісні елементи, так і утворені попередніми застосуваннями правил), і утворюють елемент який називають висновком.
Правила виведення також називають породжувальними правилами.
Див. також
- Формальна система
- Числення висловлень
- Диференціальне та інтегральне числення
вікіпедія, вікі, енциклопедія, книга, бібліотека, стаття, читати, безкоштовне завантаження, Інформація про Числення, Що таке Числення? Що означає Числення?