dedukcyjny system
 
Encyklopedia PWN
dedukcyjny system,
log. system zdań składający się z założeń oraz twierdzeń (zdań) pochodnych, które wywodzi się z tych założeń na podstawie wyraźnie sformułowanych, dedukcyjnych reguł wynikania logicznego.
Przeglądaj encyklopedię
Przeglądaj tabele i zestawienia
Przeglądaj ilustracje i multimedia