LUẬN LÝ TOÁN HỌC - CHƯƠNG 3 (phần 2)

Cây phân tích • Cây phân tích của công thức : ∀x ((p(x) → q(x)) ∧ r(x, y)) ∀x [3’] ∧ → p x Chương 3 ntsơn r q x x y Hiện hữu [3’] • Hiện hữu là ràng buộc nếu có một lượng từ cùng tên ở trên con đường từ nó hướng về gốc. Ngược lại là tự do. Thí dụ : (∀x (p(x) ∧ q(x))) → (¬p(x) ∨ q(y)) →