Mantık hatası, bilgisayarın programlama kodunda, kod yazıldığında veya derlendiğinde kolayca tanımlanmayan bir sorundur. Bazen anlamsal hata adı verilen bir mantık hatası genellikle programcının hatasıdır; Kodlama doğru olsa bile, ortaya çıkan cevap henüz yanlış olabilir. Programlama dili derleyicisine bir mantık hatası verilirse, verilen kodu başarılı bir şekilde yorumlar ve hatalı verileri geri getirebilecek bir çalışma programına neden olur.
Programlama dili tercümanı bu hatayı problem olarak tanımlayamadığından, mantık hatalarını programlayıcı tarafından yakalamak zordur. Kod başarıyla yürütüldükten sonra, kasıtlı inceleme olmadan sonuçlar başlangıçta doğru görünebilir. Bu tür hataları tanımlamak için, beklenen sonuçlar ve programın işlevi hakkında bilgili olan bir kişi bu programın çıktısını ve çalışmasını gözden geçirmelidir.
Kodda bir mantık hatası bulmak için, hatanın kaynağını düzenli olarak izleyebilmek gerekir. Hata, yanlış kodlanmış bir sözdiziminin sonucu olabilir. Kod sözdizimi doğru görünebilir ancak mantıksal bir hataya neden olabilir. Bu tür hatalar, zamanında düzeltilmezlerse çok maliyetli problemler olabilir.
Mantıksal hatalar ayrıca, kendi içsel mantık hataları olmadan doğru yazılmış bir program tarafından kullanılan hatalı verilerden de kaynaklanabilir. Bu, "çöp içeri, çöp dışarı" ortak ifadesine eşdeğerdir. Veriler programa yanlış girildiyse, program doğru çalıştırılsa bile sonuç beklenenden daha yüksek bir hatadır.
Başka türden bir mantık hatası örneği olarak, bir sürücü bir dur işaretindeyken sağa veya sola dönmeyi seçebilir. Amaçlanan hedef sola iken sürücü sağa dönerse, bu mantıklı bir hata olarak kabul edilir. Teknik olarak, sürücü aracı doğru bir şekilde çalıştırdı, ancak son sonuç beklendiği gibi olmadı. Bu örnekte gösterildiği gibi, mantıktaki hatalar bilgisayar programlama alanıyla sınırlı değildir. Mantıksal bir hata, iletişim açısından bir yanlışlık olarak da sınıflandırılabilir.
Mantık hatalarının olduğu başka bir örnekte, kelime işlemciler bazen otomatik bir yazım denetleyicisi kullanabilir; Bu yazım denetleyicileri, mantık hatalarının eksikliğinden dolayı ünlüdür. Örneğin, “satış” ismi, “yelken” ismi ile bir cümleyle yanlış tanıtılabilir. Her kelime doğru yazıldığından, doğru sesler ve cümle içinde gramer olarak doğru olabilir, ancak bir kelimenin tanımı belirli cümlenin bağlamına uymuyor olabilir.
