Suy luận tự nhiên trong luận lý mệnh đề Thuật ngữ • Hệ thống F là một tập hợp các công thức {F1, , Fn}, tương đương với 1 công thức F1 ∧ ∧ Fn Do đó 1 công thức cũng là một hệ thống. • Hệ thống F còn được gọi bằng 1 tên khác là Knowledge base (KB). | II. Suy luận tự nhiên trong luận lý mệnh đề Thuật ngữ Hệ thống F là một tập hợp các công thức F1 . Fn tương đương với 1 công thức F1 A . A Fn Do đó 1 công thức cũng là một hệ thống. Hệ thống F còn được gọi bằng 1 tên khác là Knowledge base KB . Chương 2 Chứng minh Thí dụ Cho 1 tam giác có chiều dài các cạnh là 3 4 5 đơn vị. Chứng minh tam giác này vuông. Chứng minh 1 Ta có 3 cạnh có chiều dài 3 4 5. 2 Do đó 52 42 32. 3 Từ định lý Pythagore tam giác này vuông. Chuỗi 3 phát biểu này được gọi là một chứng minh . Chương
