Lesson 05 — Logic vị từ (Predicate Logic)
Logic mệnh đề xử lý câu như khối đặc. Logic vị từ nhìn vào bên trong: ∀x (với mọi x) và ∃x (tồn tại x) cho phép nói về lớp đối tượng. Ba công cụ dưới đây giúp bạn nhìn thấy cách lượng từ hoạt động.
1. Thế giới nhỏ — đánh giá ∀ và ∃ trực tiếp
Miền (domain) — chọn tập đối tượng
Chọn miền, rồi chọn công thức bên dưới — hệ thống sẽ đánh giá và tô màu từng phần tử.
Phần tử trong miền
Thỏa mãn điều kiện P(x)
Không thỏa P(x)
Chưa đánh giá
Chọn công thức để đánh giá
—
Chọn công thức để xem kết quả đánh giá.
2. Phủ định lượng từ — đẩy ¬ vào trong
Chọn câu để xem phủ định đúng
Câu gốc
—
—
⇓
Phủ định đúng
—
—
Các bước biến đổi
3. Quiz — dịch câu tiếng Việt sang ký hiệu
Chọn ký hiệu logic vị từ đúng cho mỗi câu. Sau khi chọn xong tất cả, nhấn "Kiểm tra kết quả".