1. Kapsadığı biçimsel dilin mantıkça doğru önermeleri saptanır bir küme oluşturan mantıksal dizge.
2. Geçerli çıkarımlarının geçerliliğini geçersiz çıkarımlarının da geçersizliğinin denetlenebilmesini sağlayan mantıksal dizge. || Örn. Doğrusal eklemler mantığı, birli yüklemler mantığı saptanır dizgelerdir.
TDK Mantık Terimleri Sözlüğü