Bài giảng : Logic part 7

Slide : Ví dụ “mọi con trai của bố tôi là anh của tôi” Nó có nhiều cách để dịch, ví dụ: (bố là vị từ) cho m miêu tả “tôi”, S(x,y)=”x là con của y”, F(x,y)= “x là bố của y”, và B(x,y)= “x là anh của y”; câu trên được mô tả bằng: ∀x∀y(F(x,m)∧S(y,x)→B(y,m)) hoặc: (bố là hàm) giống như trên, nhưng f(x) miêu tả “bố của x”; câu trên được mô tả bằng: ∀x(S(x,f(m))→B(x,m)) . | Slide .công thức Trong dạng biểu diễn Backus-Naur ta có thể viết O P t . t 11 0 0 Ao O W 0 Ụ Vx0 3x0 với P là một vị từ n ngôi t là term x là các biến. Để cho tiện Vx và 3x được ưu tiên hơn sau đó đến A và V sau đó đến . 79 Slide Ví dụ mọi con trai của bố tôi là anh của tôi Nó có nhiều cách để dịch ví dụ bố là vị từ cho m miêu tả tôi S x y x là con của y F x y x là bố của y và B x y x là anh của y câu trên được mô tả bằng VxVy F x m AS y x B y m hoặc bố là hàm giống như trên nhưng f x miêu tả bố của x câu trên được mô tả bằng Vx S x f m B x m 80 Slide từ ngôn ngữ tự nhiên sang logics và ngược lại Phép tính vị từ là rõ ràng trong khi ngôn ngữ tự nhiên là mơ hồ hơn. Vì vậy - 1 việc đọc công thức từ logic sang ngôn ngữ tự nhiên là dễ dàng rõ ràng nhưng chuyển một câu trong ngôn ngữ tự nhiên sang công thức logic vị từ thì nhiều vấn đề phải bàn hơn một số sẽ trở nên khó hơn nhiều một số không tương đương nhiều khi phải loại bỏ . - 2 trong toán học một số lúc dưới những ví dụ đã cho rằng có chỉ một loại logic phép tính vị từ hoặc logic bậc nhất cổ điển trong nhiều trường hợp đóng với ngôn ngữ tự nhiên- giống khoa học máy tính hay triết học- nhưng 1 trong những vấn đề mâu thuẫn là có nhiều loại logics khác bao gồm logic trực giác logic hẹp logic hình thức logic thời gian logic tin tưởng logic động học logic Hoare logic đặc biệt logic xác định logic bậc cao logic chùm logic thay thế .một số được biết với nhiều phiên bản. .

Không thể tạo bản xem trước, hãy bấm tải xuống
TỪ KHÓA LIÊN QUAN
TÀI LIỆU MỚI ĐĂNG
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.