Chương 1: Cơ Sở Logic
Chương 1: Cơ Sở Logic
Biên soạn: Nguyễn Viết Hưng
http://kinhhoa.violet.vn
Tài liệu tham khảo
Toán rời rạc, Gs.Ts Nguyễn Hữu Anh Michael P.Frank ‘s slides Nguyễn Minh Trung ‘s slides Toán rời rạc, Ts. Trần Ngọc Hội
http://kinhhoa.violet.vn
CƠ SỞ LOGIC
mạo
hay
giả
của
Logic toán học là một công cụ để làm việc với báo cáo hợp chất phức tạp. Nó bao gồm: Một ngôn ngữ để thể hiện chúng. Một ký hiệu viết ngắn gọn cho họ. Một phương pháp khách quan lý luận về sự họ. thật Nó là nền tảng cho thể hiện bằng chứng chính thức trong tất cả các chi nhánh của toán học.
Logic toán học là một công cụ để làm
việc với những phát biểu tổng hợp
phức tạp. Nó bao gồm : Một ngôn
ngữ để thể hiện Một ký hiệu ngắn
gọn để viết Một phương pháp luận
giải thích khách quan vì sao chúng
đúng hay sai. Nó là cơ sở để thể
hiện có những chứng minh hình thúc
trong tất cả các ngành của toán học.
We normally attribute propositional
logic to George Boole, who first
formalized it. Actually the particular
formal notation we will present is not
precisely Boole’s; he originally spoke
of logic in terms of sets, not
propositions, and he also used
Boolean algebra notation such as
AB, A+B, rather than the A /\ B, A \/ B
notation we will use. But, he was the
first to mathematically formalize
these kinds of concepts in preserved
writings. Boole’s formalization of
logic was developed further by the
philosopher Frege. However, even
though logic was not formalized as
such until the 1800’s, the basic ideas
of it go all the way back to the ancient
Greeks. Aristotle (ca. 384-322 B.C.)
developed a detailed system of logic
(though one that was not quite as
convenient and powerful as the
modern one), and Chrysippus of Soli
(ca. 281-205 B.C.) introduced a logic
centered around logic AND, inclusive
and exclusive OR, NOT, and
implication, similarly to Boole’s.
Chrysippus’ logic apparently included
all of the key rules that Boole’s logic
had. However, his original works
were unfortunately lost; we only have
fragments quoted by other authors.
Logic mệnh đề
kế mạch
tử kỹ
thuật
George Boole (1815-1864)
Logic là mệnh đề logic của báo cáo hợp chất được xây dựng từ báo cáo đơn giản bằng cách là connectives Boolean. sử dụng cái gọi Một số ứng dụng trong khoa học máy tính: Thiết số. điện Điều kiện thể hiện trong các chương trình. Truy vấn đến cơ sở dữ liệu & công cụ tìm kiếm.
Chrysippus of Soli
(ca. 281 B.C. – 205 B.C.)
Mệnh đề và chân trị
Khái niệm về mệnh đề:
Mệnh đề toán học là khái niệm cơ bản của toán học không được định nghĩa mà chỉ được mô tả. Mệnh đề toán học(gọi tắt là mệnh đề) là một khẳng định có giá trị chân lý xác định(đúng hoặc sai, nhưng không thể vừa đúng vừa sai).
