dedukcyjny system

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.

System dedukcyjny może być asertoryczno-dedukcyjny, tj. taki, w którym założeniami są tezy uznane (stwierdzone; asercja) lub hipotetyczno-dedukcyjny, tj. zawierający założenia o charakterze hipotetycznym (zdanie hipotetyczne); w węższym znaczeniu przez system dedukcyjny rozumie się system dedukcyjny sformalizowany.