Bài viết sưu tầm

Logic mệnh đề

Đây là kiểu biểu diễn tri thức đơn giản nhất và gần gũi nhất đối với chúng ta.

a) Mệnh đềlà một khẳng định, một phát biểu mà giá trị của nó chỉ có thể hoặc là đúng hoặc là sai.

Ví dụ

phát biểu "1+1=2" (có giá trị đúng)

phát biểu "Trời mưa"

(Giá trị của mệnh đề không chỉ phụ thuộc vào bản thân mệnh đề đó. Có những mệnh đề mà giá trị của nó luôn đúng hoặc sai bất chấp thời gian nhưng cũng có những mệnh đề mà giá trị của nó lại phụ thuộc vào thời gian, không gian và nhiều yếu tố khác quan khác. Chẳng hạn như mệnh đề : "Con người không thể nhảy cao hơn 5m với chân trần" là đúng khi ở trái đất , còn ở những hành tinh có lực hấp dẫn yếu thì có thể sai.)

b) Biểu thức logic

- Ta ký hiệu mệnh đề bằng những chữ cái la tinh như a, b, c, ... và các ký hiệu này được gọi là biến mệnh đề

- Biểu thức logic được định nghĩa đệ quy như sau:

·      Các hằng logic (True, False) và các biến mệnh đề là các biểu thức logic

·      Các biểu thức logic kết hợp với các toán tử logic (phép tuyển (Ú), phép  hội (Ù), phủ định (Ø, ~, ), phép kéo theo (Þ, ®), phép tương đương (Û, º)) là các biểu thức logic.

Tức là nếu E và F là các biểu thức logic thì E ÙF, E ÚF, E ®F, E ºF cũng là các biểu thức logic