Chương 1: Đại số mệnh đề

Thông thường chúng ta thành lập các mệnh đề phức hợp từ các mệnh đề đơn giản. Trong chương này, chúng ta sẽ đi sâu nghiên cứu đầy đủ bản chất của đại số mệnh đề và tư duy suy diễn của nó một cách chặt chẽ, logic và mang tính thực tiễn.
Nội dung trích xuất từ tài liệu:
Chương 1: Đại số mệnh đềChương 1. Đại số mệnh đề Trần Thọ Châu Logic Toán. NXB Đại học quốc gia Hà Nội 2007. Tr 7-38.Từ khoá: Logic toán, Đại số mệnh đề, Hàm đại số logic.Tài liệu trong Thư viện điện tử ĐH Khoa học Tự nhiên có thể sử dụng cho mụcđích học tập và nghiên cứu cá nhân. Nghiêm cấm mọi hình thức sao chép, in ấnphục vụ các mục đích khác nếu không được sự chấp thuận của nhà xuất bản vàtác giả.Chu.o.ng 1 ´. `Dai sˆ mˆnh dˆ .oe e a’ 1.1 C´c ph´p to´n v` bang chˆn l´ . . . . . . . . . . a e a ay 8 ’. 1.1.1 Ph´p phu dinh (¬, not) . . . . . . . . . . . . . . . 10 e 1.1.2 Ph´p v` (∧, and, hˆi) . . . . . . . . . . . . . . . . 10 ea o. ’ 1.1.3 Ph´p hay l` (∨, or, tuyˆ n) . . . . . . . . . . . . . . 10 e a e 1.1.4 Ph´p k´o theo (→) . . . . . . . . . . . . . . . . . . 11 ee Ph´p tu.o.ng du.o.ng (↔ ) . . . . . . . . . . . . . . . 12 1.1.5 e Cˆng th´.c mˆnh dˆ . . . . . . . . . . . . . . . . . ` 1.2 o u e e 12 . ´ 1.3 Mˆt sˆ dinh ngh˜ . . . . . . . . . . . . . . . . . . oo. ıa 16 . ´ 1.3.1 H`m dai sˆ logic . . . . . . . . . . . . . . . . . . . 16 a .o Su. dˆ ng nhˆ t d´ng - dˆ ng nhˆ t sai . . . . . . . . . 18 ` ` ´ ´ 1.3.2 .o au o a ´ ´ 1.4 Mˆt sˆ t´ o o ınh chˆt . . . . . . . . . . . . . . . . . . . a 22 . Dang chuˆn t˘c cua cˆng th´.c mˆnh dˆ . . . . . ’´ ` ’ 1.5 aa o u e e 23 . . ’´ ’ ’´. 1.5.1 Dang chuˆ n t˘c tuyˆ n v` chuˆ n t˘c hˆi . . . . . . 23 aa ea aao . ’´ 1.5.2 Dang chuˆ n t˘c ho`n to`n . . . . . . . . . . . . . . 24 aa a a . e` ’’ 1.6 C´c hˆ dˆy du cua c´c ph´p to´n . . . . . . . . . a .a a e a 25 B`i tˆp chu.o.ng 1 . . . . . . . . . . . . . . . . . . 1.7 aa 34 . Chu.o.ng 1. Dai sˆ mˆnh dˆ ´. `8 .oe e Thˆng thu.`.ng ch´ng ta th`nh lˆp c´c mˆnh dˆ ph´.c ho.p t`. c´c mˆnh ` o o u a aa e eu . ua e . . . ` do.n gian. Trong chu.o.ng n`y, ch´ng ta s˜ di sˆu nghiˆn c´.u dˆy du ban ` ’ ’’dˆ e a u e a eua . duy suy diˆn cua n´ mˆt c´ch ch˘t ch˜, logic ˜’ooa ´ ´. `a a’chˆ t cua dai sˆ mˆnh dˆ v` tu .oe e e a e . . .c tiˆn.v` mang t´nh thu ˜ a ı e . a’1.1 C´c ph´p to´n v` bang chˆn l´ a e a ayCh´ng ta dˆu biˆt con ngu.`.i c´ kha n˘ng phan ´nh mˆi quan hˆ hiˆn thu.c ` ´ ´ ’a ’a u e e oo o ee ...