1. Trang chủ
  2. » Giáo Dục - Đào Tạo

Bài giảng : Logic part 6 pot

13 311 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 13
Dung lượng 0,9 MB

Nội dung

[...]...Slide 4. 8: Các Term Các term được xác định như sau:  Mọi biến là term  Mọi hằng trong C là term  Nếu t1, t2,…,tn là các term và f∈F là một hàm n ngôi, thì f(t1,t2, ,tn) là một term  Không gì nữa là một term Trong dạng biểu diễn Backus-Naur ta có thể viết: t :: = x|c|f(t,t,…t) với x là biến, c∈C, f∈F là hàm n ngôi 76 Slide 4. 9: Cây cú pháp: 77 Trang 4.1 0: Những công thức: Những công thức... với x là biến, c∈C, f∈F là hàm n ngôi 76 Slide 4. 9: Cây cú pháp: 77 Trang 4.1 0: Những công thức: Những công thức trên (F,P) được xác định một cách quy nạp bằng việc sử dụng tập các term trên F như sau:  Nếu P là một vị từ trong P với n ngôi (n≥1) và t1, t2,…, tn là các term trên F, thì P( t1, t2,…, tn) là một công thức  Nếu Φ là một công thức, thì ( Φ) cũng vậy   Nếu Φ và Ψ là các công thức, thì

Ngày đăng: 27/07/2014, 15:20

TỪ KHÓA LIÊN QUAN