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.
TDK Mantık Terimleri Sözlüğü