Bài giảng : Logic part 7 pdf

[...]... tự nhiên Quy tắc:  Logic vị từ là mở rộng của logic mệnh đề, nên tất cả các phép suy diễn tự nhiên trong logic mệnh đề nó sẽ được kế thừa  Ta phải có them những luật mới để phân phối với lượng từ và với kí hiệu bằng Vậy thì ta đang miêu tả ở đây là logic bậc nhất với dấu bằng Thường thì logic vị từ ban đầu bắt đầu với trường hợp đơn giản hơn với việc không có dấu bằng 90 Slide 4.2 3: Các quy tắc chứng...Slide 4.2 1: Đổi tên biến Định nghĩa: Cho một term t, một biến x, và một công thức Φ, ta nói rằng t là tự do với x trong Φ nếu không lá x tự do nào xuất hiện trong phạm vi của ∀y hoặc ∃y với mọi y xuất hiện trong t Thực s : điều kiện này là đủ để phép thế là “an toàn” Ví d : ∃yS(x,y)∧∀x(P(x)→Q(x)) thì f(z) là tự do với x trong Φ, nhưng g(z,y) là không tự do với x trong Φ 89 Slide 4.2 2: Suy diễn tự... thì logic vị từ ban đầu bắt đầu với trường hợp đơn giản hơn với việc không có dấu bằng 90 Slide 4.2 3: Các quy tắc chứng minh với dấu bằng Các quy tắc chứng minh với dấu bằng =: t t ( i ) t  t [t / x] ( e) [t / x] 1 2 1 2 Ví d : x+1=1+x, (x+1>1)→(x+1)>0 ├ (1+x>1)→(1+x>0) 1 1+x=x+1 Tiền đề 2 (x+1>1)→(x+1>0) Tiền đề 3 (1+x>1)→(1+x>0) (=e) cho 1,2 Công thức Φ sử dụng trong bước cuối là (x>1)→(x>0) 91