LOGIC trong khoa học máy tính

Mình cũng như các bạn, khi học môn logic này đã gặp phải những khó khăn khi tiếp cận nó. Mình được biết rằng, nhiều bạn cũng vì khi mở nó ra toàn bằng tiếng Anh, mở từ điển ra để dịch thì vẫn rất khó hiểu nhiều lúc ghép lại cũng không nhìn ra được vấn đề nên việc học nhiều lúc cũng bí. Nên mình xin mạn phép được dịch nó ra, cũng coi như là một tài liệu để các bạn dùng song song với tài liệu của thầy phát để tham khảo thêm, cũng như giúp cho các bạn trình độ tiếng...