Áp dụng các luật lôgic vào phép chứng minh và giải toán

Chia sẻ: Thi Marc | Ngày: | Loại File: PDF | Số trang:4

Thêm vào BST

Báo xấu

70
lượt xem 5
download

Download Vui lòng tải xuống để xem tài liệu đầy đủ

A/Suy luận và chứng minh 1.Suy luận: Suy luận là rút ra một mệnh đề mới từ một hay nhiều mệnh đề đã biết. Những mệnh đề đã có gọi là tiền đề. Một mệnh đề mới được rút ra gọi là kết luận của suy luận.

Chủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

Nội dung Text: Áp dụng các luật lôgic vào phép chứng minh và giải toán

Áp dụng các luật lôgic vào phép chứng minh và giải toán Áp dụng các luật lôgic vào phép chứng minh và giải toán Tiết 27 A/Suy luận và chứng minh 1.Suy luận: Suy luận là rút ra một mệnh đề mới từ một hay nhiều mệnh đề đã biết. Những mệnh đề đã có gọi là tiền đề. Một mệnh đề mới được rút ra gọi là kết luận của suy luận.
Hai kiểu suy luận thường gặp là: Suy luận diễn dịch (hay còn gọi là suy diễn) và suy luận nghe có lí (hay suy luận có lí). a) Suy luận diễn dịch: Là suy luận theo những quy tắc suy luận tổng quát (của lôgíc mệnh đề). Trong suy luận diễn dịch, nếu các tiền đề đúng thì kết luận rút ra cũng phải đúng. Trong lôgíc vị từ, ngoài những quy tắc suy luận của lôgíc mệnh đề ta thường gặp và vận dụng hai quy tắc suy luận dưới đây: (x  X ) p ( x ), a  X 1) p ( a) Có nghĩa là nếu p(x) đúng với x  X và a  X thì p(a) là mệnh đề đúng.
(x  X ) p ( x), a  X 2) p(a ) Có nghĩa là : Nếu P(x)  Q(x) đúng với mọi x  X và P(a) đúng thì Q(a) cũng là mệnh đề đúng. Ví dụ 1 : Mọi số tự nhiên có tổng các chữ số chia hết cho 3 thì nó chia hết cho 3. Số 4323 có tổng các chữ số chia hết cho 3 Vậy 4323 chia hết cho 3.
Ví dụ 2 : Nếu tứ giác là hình thoi thì hai đường chéo của nó vuông góc với nhau. Tứ giác ABCD là hình thoi. Vậy AC  BD. Ví dụ 3 : 672 chia hết cho 3. 672 chia hết cho 4 Vậy 672 chia hết cho 3 và 4.

CÓ THỂ BẠN MUỐN DOWNLOAD

THÔNG TIN

TRỢ GIÚP

HỖ TRỢ KHÁCH HÀNG

Theo dõi chúng tôi

Chịu trách nhiệm nội dung:

Nguyễn Công Hà - Giám đốc Công ty TNHH TÀI LIỆU TRỰC TUYẾN VI NA

LIÊN HỆ

Địa chỉ: P402, 54A Nơ Trang Long, Phường 14, Q.Bình Thạnh, TP.HCM

Hotline: 093 303 0098

Email: support@tailieu.vn