Home›Concepts in logic›تصمیمپذیری(منطق)🌐فارسیEnglishDeutschEspañolFrançaisItalianoPolskiPortuguêsРусскийفارسی한국어中文日本語EntityQ430001· pop 17· linked from 435 articlesتصمیمپذیری(منطق)Also known as decidableproperty of theories that have computable membershipAvailable in 17 languagesEspañolFrançais日本語РусскийPortuguêsItalianoCatalanCzechHaitian CreoleHebrewPolskiConnectionspropositional calculusEntityformal systemEntityCategoriesConcepts in logicMetalogicProof theory