Toán rời rạc - Discrete mathematics: Cơ sở Logic

7 5 0
Toán rời rạc - Discrete mathematics: Cơ sở Logic

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

Thông tin tài liệu

[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 cu chân trca mt mnh đề

(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ó

Ngày đăng: 09/03/2021, 06:35

Tài liệu cùng người dùng

Tài liệu liên quan