[r]
(1)Chương 1
(2)Mệnh đề
Mệnh đề khẳng định có giá trị chân lý sai
Các mệnh đề gọi có giá trị chân lý (chân trị đúng), ngược lại mệnh đề sai gọi có chân trị
sai
Mệnh đề xây dựng từ mệnh đề khác nhờ liên
từ trạng từ không gọi mệnh đề phức hợp
Các mệnh đề không xây dựng từ mệnh đề khác nhờ
(3)(4)Phép tính mệnh đề
Mục đích phép tính mệnh đề là:
nghiên cứu chân trị của một mệnh đề
(5)(6)(7)Nguyên lý quy nạp
Ví d: chứng minh rằng
1 + + + + (2k-1) = k2 (*)
Bước cơ sở: với k = ta có = 1 (*) đúng.
Bước quy nạp: Giả sử
1 + + + (2n-1) = n2
ta sẽ chứng tỏ:
1 + + + (2n-1) + (2n+1) = (n+1)2
Thật vậy, ta có