system w logice, w którym z założeń wywodzi się twierdzenia (zdania pochodne) przy zastosowaniu dedukcyjnych reguł wynikania logicznego. Rozróżnia się: d.s. asertoryczno-dedukcyjny, oparty na założeniach uznanych (twierdzeniach udowodnionych), oraz d.s. hipotetyczno-dedukcyjny, w którym założenia mają charakter hipotez.
SOBOCIŃSKI, AKSJOMATYKA, AKSJOMAT
- dedukcyjnie, rozwiązać problem dedukcyjnie...
- SYSTEM, (log.)
- SFORMALIZOWANY SYSTEM, system aksjomatów i...