Logic jan2009 1s

ntsơn

LUẬN LÝ TOÁN HỌC

(Mathematical Logic)

Nguyễn Thanh Sơn

Khoa KHMT&CN ĐH Bách Khoa TpHCM

email : [email protected]

http:\\www.cse.hcmut.edu.vn\~ntson

ntsơn

Chương 1

NỘI DUNG

Chương 1. Tổng quan

Chương 2. Luận lý mệnh đề (propositional logic)

Chương 3. Luận lý vị từ (predicates logic)

ntsơn

Chương 1. Tổng quan

ntsơn

Chương 1

Nhất quán & Mâu thuẫn

Một người phát biểu rằng :

”Thật sai lầm khi kiểm duyệt các chương trình

truyền hình có tính chất bạo lực, vì hành vi con

người không bị ảnh hưởng từ những điều họ

nhìn thấy trên truyền hình. Tuy nhiên sẽ có ích

khi trình chiếu trên truyền hình những hình ảnh

tốt đẹp về đất nước, vì nó sẽ làm cho những

người chống đối chính quyền thấy được hành

vi chống đối của mình là vô nghĩa”.

ntsơn

Chương 1

Nhất quán & Mâu thuẫn

Nếu tín lý thứ nhất là hành vi con người không bị

ảnh hưởng bởi truyền hình là đúng,

thì tín lý thứ hai là nội dung trên truyền hình không

thể làm thay đổi hành vi của người chống đối.

Do đó người ta gọi hệ thống tín lý này là không

nhất quán hay mâu thuẫn vì có hai tín lý không

đồng thời cùng đúng trong mọi tình huống.