A/Suy luận và chứng minh 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. | Á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 luận Suy luận là rút ra một mệnh đề mới từ một hay nhiều 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ậnn 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 Vx e X p x a e X p a Vx G X Có nghĩa là nếu p x đúng với và a e X thì p a là mệnh đề đúng Có. nghĩa là Nếu P x - Q x đúng với mọi x G 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 .
