CẤU TRÚC RỜI RẠC
nGiảngviên:
§Cao ThanhTình (Email: tinhct@uit.edu.vn)
§BộmônToánLý–ĐHCNTT – ĐHQGTPHCM
PDF created with pdfFactory Pro trial version www.pdffactory.com
CƠ SỞ LÔGIC
Mệnh đề
Dạng mệnh đề
Qui tắc suy diễn
Vị từ, lượng từ
Quy nạp toán học
Chương 1. Cơ sở lôgic
2
PDF created with pdfFactory Pro trial version www.pdffactory.com
Mệnh đề
Địnhnghĩa: Mệnh đề làmộtkhẳng địnhcógiá
trịchânlýxác định, đúnghoặcsai.
Câu hỏi, câu cảm thán, mệnh lệnh… không là
mệnh đề.
Ví dụ:
-ĐạihọcCNTT trựcthuộcĐHQG TP.HCM.
-1+7=8.
-Hôm nay em đẹp quá! (khônglà mệnh đề)
-Hômnay ngàythứmấy?(khônglà mệnh đề)
Chương 1. Cơ sở lôgic
Chương1. Cơsởlôgic
3
PDF created with pdfFactory Pro trial version www.pdffactory.com
Mệnh đề
nKýhiệu: ngườitadùngcáckýhiệuP,Q,R…
để chỉmệnh đề.
nChântrịcủamệnh đề:Mộtmệnh đề chỉcó
thểđúnghoặcsai,khôngthểđồngthờivừa
đúngvừasai.Khimệnh đề PđúngtanóiP
cóchântrịđúng,ngượclạitanóiPcóchân
trịsai.
nChântrịđúngvàchântrịsaisẽđượckýhiệu
lầnlượtlà1(hay Đ,T)và0(hayS,F)
Chương 1. Cơ sở lôgic 4
Chương1. Cơsởlôgic
PDF created with pdfFactory Pro trial version www.pdffactory.com
Mệnh đề
Phânloại: gồm2loại
Mệnh đề phứchợp: làmệnh đềđượcxây
dựngtừcácmệnh đề khácnhờliênkếtbằng
cácliêntừ(và,hay,khivàchỉkhi,…)hoặc
trạngtừ“không”
Mệnh đề sơcấp(nguyênthủy): Làmệnh đề
khôngthểxâydựngtừcácmệnh đề khác
thôngqualiêntừhoặctrạngtừ“không”
Chương 1. Cơ sở lôgic 5
Chương1. Cơsởlôgic
PDF created with pdfFactory Pro trial version www.pdffactory.com