Broschiertes Buch

Decidability (logic)

Versandkostenfrei!

Versandfertig in 6-10 Tagen

26,99 €

inkl. MwSt.

Jetzt bewerten

PAYBACK Punkte

13 °P sammeln!

High Quality Content by WIKIPEDIA articles! In logic, the term decidable refers to the existence of an effective method for determining membership in a set of formulas. Logical systems such as propositional logic are decidable if membership in their set of logically valid formulas (or theorems) can be effectively determined. A theory in a fixed logical system is decidable if there is an effective method for determining whether arbitrary formulas are included in the theory.