tutarlı önerme kümesi anlamı İng. set of satisfiable sentences Alm. erfüllbare Aussagenmenge Fr.ensemble d'énoncés satisfaisables
Birlikte doğru olabilen ya da başka bir deyişle bağdaşabilen önermeler kümesi; Doğrulayıcı yorumu (doğrulamı) olan önerme kümesi; düpedüz tutarlı bir yorumlayanı olan önerme kümesi. ||Anl. yorumsal tutarlı önerme kümesi. Krş.. dizimsel tutarlı önerme kümesi.