... thể. Đ - ơng nhiên sự kiện này có thể là đúng (True) hoặc sai (False). Chẳng hạn, nếu trong minh hoạ, kýhiệu hằng Lan ứng với một cô gái cụ thể nào đó, còn Student(x) ứng với thuộc tính x là sinh viên ... (2)4. Loại bỏ các lượng tử phổ dụng.5. Chuyển các tuyển tới các Literal. 6. Loại bỏ các hội.7. Đặt tên lại các biến. 6. 3 Các luật suy diễn• Luật thay thế phổ dụng• Hợp nhất• Luật Modus Ponens ... giải tổng quát• Luật phân giải trên các câu tuyển• Luật phân giải trên các câu Horn: 6. 4 Thuật toán hợp nhất 6. 5 Chứng minh bằng luật phân giải5ã Các ký hiệu lợng tử: ( với mọi), ( tồn tại).ã...