Disjunktions-Eigenschaft

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine metatheoretische Eigenschaft eines deduktiven Systems, die besagt, dass immer wenn das System eine Disjunktion A ∨ B beweist, es entweder A oder B einzeln beweist; dies wird typischerweise von konstruktiven Systemen gefordert.