Bài giảng : Logic part 9 potx
Bài giảng : Logic part 2 potx
... vi: tp F miêu t
c nhng phn t mi t nhng phn t p C là tp ca tt c các phn t
hoc là thuc B hoc có th c t B s dng nhng hàm trong F.
Ví d :
... 15
Trang 1 5: quy nạp
Cho U là t s chúng ta munh tp con C a tp ... thc, B={0} và F={succ} vi succ là hàm phn t tip theo xác
nh succ(x)=x...
Bài giảng : Logic part 1 pot
...
Lesson 4
69
Lesson 5
99
Phụ Lục
1 19
8
Trang 8: logic mệnh đ : cú pháp
Bảng chữ cái:
(
Ngoặc trái
Khởi đầu nhóm
)
Ngoặc phải
Kết thúc nhóm
Kí hiệu phủ định
Tiếng Việt : không ...
Trường hợp cơ s :
Chứng minh P thoả mãn 0.
Trường hợp quy nạp:
Chứng minh với P thoả mãn n thì P thoả mãn n+1.
9
Trang 9: logic mệnh đề : cú phá...