ในการเขียนโปรแกรมคอมพิวเตอร์ข้อผิดพลาดเชิงตรรกะ คือบั๊กหรือความผิดพลาดอย่างเป็นทางการในโปรแกรมที่ทำให้โปรแกรมทำงานไม่ถูกต้อง แต่ไม่ถึงกับหยุดทำงานอย่างผิดปกติ (หรือเกิดข้อผิดพลาด ) ^{[ 1 ]}ข้อผิดพลาดเชิงตรรกะทำให้เกิดผลลัพธ์หรือพฤติกรรมอื่นที่ไม่ตั้งใจหรือไม่พึงประสงค์ แม้ว่าจะไม่สามารถรับรู้ได้ทันทีก็ตาม

ข้อผิดพลาดเชิงตรรกะเกิดขึ้นได้ทั้งใน ภาษาโปรแกรม แบบคอมไพล์และแบบอินเตอร์พรีเตอร์ต่างจากโปรแกรมที่มีข้อผิดพลาดทางไวยากรณ์โปรแกรมที่มีข้อผิดพลาดเชิงตรรกะยังคงเป็นโปรแกรมที่ถูกต้องตามภาษาโปรแกรม แม้ว่าจะไม่ได้ทำงานตามที่ตั้งใจไว้ก็ตาม บ่อยครั้งที่เบาะแสเดียวที่บ่งชี้ถึงการมีอยู่ของข้อผิดพลาดเชิงตรรกะคือการสร้างคำตอบที่ผิดพลาด แม้ว่าการวิเคราะห์แบบสถิตอาจช่วยตรวจพบได้ในบางครั้ง

วิธีหนึ่งในการค้นหาข้อผิดพลาดประเภทนี้คือ การบันทึกค่าตัวแปร ของโปรแกรม ลงในไฟล์หรือแสดงบนหน้าจอ เพื่อระบุตำแหน่งของข้อผิดพลาดในโค้ด แม้ว่าวิธีนี้จะไม่ได้ผลในทุกกรณี เช่น เมื่อเรียกใช้ซับรูทีน ผิด แต่ก็เป็นวิธีที่ง่ายที่สุดในการค้นหาปัญหาหากโปรแกรมใช้ผลลัพธ์ที่ไม่ถูกต้องจาก การคำนวณทางคณิตศาสตร์ที่ ผิดพลาด

ฟังก์ชันตัวอย่างในภาษาซี นี้ สำหรับคำนวณค่าเฉลี่ยของตัวเลขสองจำนวน มีข้อผิดพลาดทางตรรกะ เนื่องจากขาดวงเล็บในการคำนวณ ทำให้คอมไพล์และรันได้ แต่ไม่ให้คำตอบที่คาดหวังไว้ เพราะลำดับความสำคัญของตัวดำเนินการ (การหารจะถูกประเมินก่อนการบวก)

float average ( float a , float b ) { return a + b / 2 ; // ควรจะเป็น (a + b) / 2 }

• ข้อผิดพลาดทางไวยากรณ์
• ข้อผิดพลาดคลาดเคลื่อนไปหนึ่งตำแหน่ง