intTypePromotion=1
zunia.vn Tuyển sinh 2024 dành cho Gen-Z zunia.vn zunia.vn
ADSENSE

Chuyên đề logic học

Chia sẻ: Nguyen Nhi | Ngày: | Loại File: PDF | Số trang:8

138
lượt xem
48
download
 
  Download Vui lòng tải xuống để xem tài liệu đầy đủ

Tham khảo tài liệu 'chuyên đề logic học', tài liệu phổ thông, ôn thi đh-cđ phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả

Chủ đề:
Lưu

Nội dung Text: Chuyên đề logic học

  1. Chuyên đề logic học . Chuyên đề logic học I) Các phép toán lô gic : 1) phép kéo theo : A  B , đọc là A kéo theo B . Mệnh đề này chỉ sai khi A đúng , B sai . Bảng giá trị chân lý : A B AB 1 1 1 1 0 0 o 1 1 0 0 1 2) phép tương đương : A  B , đọc là A tương đương với B . Mệnh đề đúng khi A và B đều có tính đúng sai . Bảng giá trị chân lý : N guyễn Văn Nho 1
  2. Chuyên đề logic học . A B A  B. 1 1 1 1 0 0 0 1 1 0 0 1 3) phép hội : A  B : Đọc là A hội B. Chỉ đúng khi cả A và B đều đúng. Bảng giá trị chân lý : A B A  B. 1 1 1 1 0 0 0 1 0 0 0 0 N guyễn Văn Nho 2
  3. Chuyên đề logic học . 4) Phép tuyển : A  B . đọc A tuyển B Mệnh đề chỉ sai khi cả A và B đều sai . A B A  B. 1 1 1 1 0 1 0 1 1 0 0 0 5) Phép phủ định : A . đọc là phủ định của A . Có giá trị chân lý trái ngược với A . Bảng giá trị chân lý : A A. 1 o 0 1 N guyễn Văn Nho 3
  4. Chuyên đề logic học . Các ví dụ : VD1 : a) lập bảng giá trị chân lý của mệnh đề B  A b) Rối chứng tỏ ( A  B)  ( B  A ). Giải : A B AB B A B A 1 1 o 0 1 1 1 0 1 0 0 0 0 1 0 1 1 1 0 0 1 1 1 1 b) tư bảng trên ta thấy giá trị chân lý của hai mệnh đề trong mỗi trường hợp là như nhau nên chúng tương đương vơi nhau . chẳng hạn : hai mệnh đề sau là tương đương vơi nhau . a) Nếu trời mưa thì tôi không đi học . b) Nếu tôi đi học th ì trời không mưa . VD2 : a) Chứng tỏ : (A  B)  ( A  B ). b)chứng tỏ : ( A  B )  ( A  B ). c) Ch ứng tỏ : ( A  B )  ( A  B ). N guyễn Văn Nho 4
  5. Chuyên đề logic học . Áp dụng : a  0 Ta sẽ có :( a  0  a2 >0. )  (  . ). 2 a  0 . II) Hệ tiên đề ( công thức đúng nguyên thủy ) Có 4 nhóm ; Nhóm I : có 2 tiên đề : I1 : A  ( B  A) I2 : ( A  ( B  C )  (( A  B)  ( A  C )). Nhóm II : có 3 tiên đ ề : II 1 : A  B  A II 2 : A  B  B . II3: ( A  B)  (( A  C )  ( A  B  C )) Nhóm III: có 3 tiên đề : III1: A  A  B . III2 : B  A  B . III3: ( A  B)  (( B  C )  (( A  B  c)) . Nhóm IV : có 3 tiên đ ề : IV1 : ( A  B)  ( B  A) N guyễn Văn Nho 5
  6. Chuyên đề logic học . IV2 : A  A . IV3: A  A . III)Áp dụng hệ tiên vào suy lu ận : VD1 :a) Cm : A  B  B  A b)Cm ├ ( A  B)  (( B  C )  ( A  C )) .   = { A  B; B  C ; A }. Rồi c tỏ : ├ A B. Xét c)cm : ├ ( A  ( B  C ))  ( B  ( A  C )) . d)Cm : ├ A  ( B  A  B) e)CM ├ (A  ( B  C ))  ( A  B  C ) f)Cm ├ ( A  B  C )  ( A  ( B  C )). g)Cm ├ A  A  A . Làm thêm : 1) Giải PT lo gic : X  A  X  A  B . 2) Đưa các công thức sau về dạng chuẩn hội , chuẩn tuyển : a) A = x  y  x. y b) B = xy  ( x  y ) c) C = ( x  y ) z  x  z d) D = x ( x  y )  y . N guyễn Văn Nho 6
  7. Chuyên đề logic học . e) E = ( x  y )  ( x  z ) . h) H= ( x  y )  (( z  y )  ( x  z  y ) . VD2: : a) Hãy tìm hệ quả lô gic từ các tiên đề sau : A  ( B  C ) và A  B . b) Cho hệ tiên đề F = {A  B, C  D; A  C } . Chứng tỏ F  B  D . VD3 : viết các mệnh đề sau d ưới dang chuẩn tắc : a) ( A  ( B  C ) )( C  D) ( A  B ). b) ( A  B) (C  A). IV)Áp dụng logic vào dạy và h ọc toán : Vd1 : hãy chỉ các sai lầm phổ biên khi học sinh giải bất phương trình sau : 2 1. 2 x x Hãy phân tích sai lầm đó . VD2 :hãy giải pt mũ sau : 8 + 22-x =x + x 2x Hãy phân tích cáu trúc bài toán . VD3 : Hãy giải PT : 3x +4x + 5 x =6x . Hãy nêu bài toán dạng tổng quát . VD 4 : N guyễn Văn Nho 7
  8. Chuyên đề logic học . Cho 0 < a
ADSENSE

CÓ THỂ BẠN MUỐN DOWNLOAD

 

Đồng bộ tài khoản
3=>0