Professional Documents
Culture Documents
Từ C*=C* để cho tiện ta gọi tập là C. Chúng ta còn gọi C là tập được sinh ra từ B bởi F
Bây giờ, với 1 định nghĩa bất kỳ (theo tớ là 1 trong 2 định nghĩa top-down và bottom-up) chúng ta có thể
chứng minh nhiều bài toán về tập hợp, sử dụng nguyên lý sau đây.
Giờ chúng ta có thể chỉ ra rằng quy nạp toán học là 1 trường hợp đặc biệt của nguyên lý quy nạp.
21
Phép quy nạp
Ví dụ
Lại xét đến tập số tự nhiên được định nghĩa quy nạp như sau:
U = R, với R là tập số thực
B={0}
F={succ}, với succ(x)=x+1
22
Logic mệnh đề: biểu thức dạng đúng
Chúng ta có thể dùng định nghĩa quy nạp để định nghĩa tập W các biểu thức dạng đúng (well-formed
fomulas - wff ) của logic mệnh đề
U = tập tất cả các biểu thức có thể xây đựng được
B = tập các biểu thức chỉ bao gồm 1 ký hiệu mệnh đề đơn
F = tập các toán tử
o -() = (-)
o ^(,) = ( ^)
o v(,) = (v)
o (,) = ()
o (,) = ()
23
Với định nghĩa biểu thức dạng đúng mà chúng ta đã đưa ra, chúng ta có thể sử dụng nguyên lý quy nạp để
chứng minh những phát biểu khác về tập W
Ví dụ
Chứng minh rằng mọi wff đều có số ngoặc trái và số ngoặc phải bằng nhau
Chứng minh
Gọi l() là số ngoặc trái và r() là số ngoặc phải trong biểu thức , gọi S là tập các biểu thức sao cho l()
= r(). Ta cần chứng minh WS. Điều này có thể suy ra từ nguyên lý quy nạp, nếu chúng ta chỉ ra rằng S là
tập quy nạp được.
Trường hợp cơ sở
Chúng ta phải chỉ ra BS, nhắc lại rằng B là tập các biểu thức chỉ bao gồm 1 ký hiệu mệnh đề đơn, hiển
nhiên là với các biểu thức thuộc B:
l() = r() = 0
24