Giảng viên: ThS. Trần Quang Khải
TOÁN RỜI RẠC
Chương 01
Logic
Toán rời rạc
Nội dung
1. Propositional Logic.
2. Predicate Logic.
2
Chương 1: Logic
Toán rời rạc
What is LOGIC?
Chương 1: Logic 3
Logic is the study of arguments.
Toán rời rạc
What is LOGIC?
Chương 1: Logic 4
Logic is the study of arguments.
In philosophy
Logic (from the Greek) is the formal systematic
study (
s
ự
nghiên c
ứ
u có tính h
ệ
th
ố
ng
) of the
principles (
quy t
ắ
c)
of valid inference and
correct reasoning
(l
ậ
p lu
ậ
n có căn c
ứ
và suy lu
ậ
n
đúng).
Toán rời rạc
What is LOGIC?
Chương 1: Logic 5
Trong toán học:
các quy luậtLogic giúp xác định ý nghĩa
chính xác của các phát biểu toán học.
Logic toán học là một nhánh của toán học có quan
hệchặt chẽvới khoa học máy tính và logic triết học.
Phân biệt các suy luận đúng (valid) và không đúng
(invalid)