1. Trang chủ
  2. » Giáo án - Bài giảng

chuyên đề lô gic hoc

4 2,8K 54

Đang tải... (xem toàn văn)

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 4
Dung lượng 163 KB

Nội dung

Mệnh đề đúng khi A và B đều có tính đúng sai.. đọc là phủ định của A.. Có giá trị chân lý trái ngược với A... Giải : b tư bảng trên ta thấy giá trị chân lý của hai mệnh đề trong mỗi trườ

Trang 1

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ý :

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ý :

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ý :

4) Phép tuyển :

A∨ B đọc A tuyển B

Mệnh đề chỉ sai khi cả A và B đều sai

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

Trang 2

Bảng giá trị chân lý :

Các ví dụ :

VD1 : a) lập bảng giá trị chân lý của mệnh đề BA

b) Rối chứng tỏ ( A ⇒ B) ⇔(BA)

Giải :

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) ⇔( AB).

b)chứng tỏ : (AB)⇔(AB).

c) Chứng tỏ : (AB)⇔(AB).

Áp dụng :

Ta sẽ có :( a ≠ 0 ⇒a2 >0 ) ⇔( .

0

0

2

>

=

a

a

)

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⇒ (BA)

I2 : (A⇒ (BC) ⇒ ((AB) ⇒ (AC)).

Nhóm II : có 3 tiên đề :

II1 : ABA

II2 : ABB

II3: (AB) ⇒ ((AC) ⇒ (ABC))

Nhóm III: có 3 tiên đề :

III1: AAB

III2 : BAB

III3: (AB) ⇒ ((BC) ⇒ ((ABc)).

Nhóm IV : có 3 tiên đề :

Trang 3

IV1 : (AB) ⇒ (BA)

IV2 : A⇒ A

IV3:AA

III)Áp dụng hệ tiên vào suy luận :

VD1 :a) Cm : ABBA

b)Cm ├(AB) ⇒ ((BC) ⇒ (AC)).

Xét τ = { AB;BC;A} Rồi c tỏ : τ ├ AB

c)cm : ├ (A⇒ (BC)) ⇒ (B⇒ (AC)).

d)Cm : ├ A⇒ (BAB)

e)CM ├ (A⇒ (BC)) ⇒ (ABC)

f)Cm ├ (ABC) ⇒ (A⇒ (BC)).

g)Cm ├ A⇒ AA

Làm thêm :

1) Giải PT lo gic :XAXA=B

2) Đưa các công thức sau về dạng chuẩn hội , chuẩn tuyển :

a) A = xyx.y

b) B = xy∨ (xy)

c) C =(xy)zxz

d) D =x(xy) ⇒ y

e) E =(xy) ⇔ (xz).

h) H= (xy) ⇒ ((zy) ⇒ (xzy).

VD2: : a) Hãy tìm hệ quả lô gic từ các tiên đề sau :

A⇒ (BC)và A⇒B

b) Cho hệ tiên đề F = {A⇒ B,CD;AC} Chứng tỏ F ⇒BD VD3 : viết các mệnh đề sau dưới dang chuẩn tắc :

a) ( A⇒ (BC))( C∨D) ( AB).

b) (AB)(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 : 22  1

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 + 5x =6x

Hãy nêu bài toán dạng tổng quát

VD 4 :

Cho 0 < a <1 Hãy giải PT sau :

Trang 4

1 ) 2

1 ( )

2

1

(

2 2

=

a

a a

a

Hãy chỉ ra các khó khăn mà học sinh gặp phải

VD5 : Hãy chỉ ra các sai lầm mà học sinh thường gặp phải khi giải PT sau :

2 4 2

log 3 log

VD 6 : hãy phân tích cấu trúc của phép chứng minh phản chứng

Ngày đăng: 11/07/2014, 16:00

HÌNH ẢNH LIÊN QUAN

Bảng giá trị chân lý : - chuyên đề lô gic hoc
Bảng gi á trị chân lý : (Trang 1)
Bảng giá trị chân lý : - chuyên đề lô gic hoc
Bảng gi á trị chân lý : (Trang 2)

TỪ KHÓA LIÊN QUAN

w