Download luận văn thạc sĩ ngành toán học với đề tài: Nghiên cứu Didactic về phép kéo theo và phép tương đương trong dạy và học toán Ở Trung Học Phổ Thông
SÁNG KIẾN “THIẾT KẾ VÀ SỬ DỤNG INFOGRAPHIC TRONG DẠY HỌC ĐỊA LÍ 11 (BỘ SÁCH K...
Luận văn: Nghiên cứu Didactic về phép kéo theo và phép tương đương trong dạy và học toán Ở Trung Học Phổ Thông
1. BỘ GIÁO DỤC VÀ ĐÀO TẠO
TRƯỜNG ĐẠI HỌC SƯ PHẠM THÀNH PHỐ HỒ CHÍ MINH
ĐỖ TẤT THẮNG
NGHIÊN CỨU DIDACTIC
VỀ PHÉP KÉO THEO VÀ PHÉP TƯƠNG
ĐƯƠNG TRONG DẠY VÀ HỌC TOÁN Ở
TRUNG HỌC PHỔ THÔNG
Chuyên ngành: Lý luận và phương pháp dạy học môn Toán
Mã số: 60 14 10
LUẬN VĂN THẠC SĨ KHOA HỌC
NGƯỜI HƯỚNG DẪN KHOA HỌC:
TS. TRẦN LƯƠNG CÔNG KHANH
Thành phố Hồ Chí Minh - 2009
2. LỜI CẢM ƠN
Đầu tiên, tôi xin trân trọng cảm ơn TS. TRẦN LƯƠNG CÔNG KHANH đã hết lòng nhiệt tình
giúp đỡ tôi nghiên cứu khoa học. Thầy đã tận tình hướng dẫn, dìu dắt để tôi hoàn tất luận văn.
Tôi xin trân trọng cảm ơn sự tận tâm và nhiệt tình của PGS.TS. LÊ VĂN TIẾN, PGS.TS. LÊ
THỊ HOÀI CHÂU, TS. ĐOÀN HỮU HẢI, TS. LÊ VĂN PHÚC, TS. LÊ THÁI BẢO THIÊN TRUNG,
TS. NGUYỄN CHÍ THÀNH, TS. NGUYỄN ÁI QUỐC và các quý thầy cô tham gia giảng dạy cho lớp
cao học chuyên ngành Didactic Toán.
Xin trân trọng cảm ơn Ban gíam hiệu và các thầy cô Tổ toán Trường THPT Ngô Quyền đã giúp
đỡ và tạo điều kiện cho tôi tham gia khóa học này.
Cảm ơn các bạn lớp Didactic Toán khóa 17 đã cùng tôi kề vai sát cánh trong suốt thời gian học
tập.
Và cuối cùng, tôi xin chân thành cảm ơn gia đình, bạn bè và những người thân đã động viên,
khuyến khích, tạo điều kiện cho tôi hoàn tất khóa học này.
3. CHƯƠNG 0: MỞ ĐẦU
1. Những ghi nhận ban đầu và câu hỏi xuất phát
Kiến thức về logic và lý thuyết tập hợp là hai nền tảng cơ bản của lâu đài toán học. Nhắc đến
lôgic Toán, không thể không nói tới phép kéo theo và phép tương đương. Cung cấp kiến thức ban đầu
về logic hình thức, phép kéo theo và phép tương đương tạo cơ sở để học sinh hình thành các khả năng
suy luận có lí, khả năng tiếp nhận, biểu đạt vấn đề một cách chính xác cũng như việc áp dụng đại số
mệnh đề vào suy luận toán học (phát biểu định lí, điều kiện cần, điều kiện đủ, xác định mệnh đề đúng
sai...). Như thế, hai khái niệm này không những đóng vai trò nền tảng trong việc dạy và học Toán mà
còn là một kiến thức không thể thiếu trong các ngành khoa học khác.
Chương trình giảng dạy ở Việt Nam còn thể hiện sự lưỡng lự trong việc lựa chọn giảng dạy khái
niệm mệnh đề. Giai đoạn 1975-1990, mệnh đề và các phép suy luận toán học là một chương trong
chương trình Toán lớp 10. Tuy nhiên, giai đoạn 1990-2000, chương này bị lọai bỏ hoàn toàn. Sau đó,
nội dung này xuất hiện lại và chiếm vị trí quan trọng cho tới nay.
Vì vậy, việc nghiên cứu thực tế dạy và học phép kéo theo và phép tương đương ở trung học phổ
thông là rất cần thiết.
Từ những ghi nhận trên, chúng tôi tự đặt ra những câu hỏi ban đầu dưới đây:
1. Trong lịch sử toán học, các khái niệm phép kéo theo và phép tương đương đã nảy sinh và tiến
triển như thế nào?
2. Phép kéo theo và phép tương đương đã được sách giáo khoa đưa vào ở thời điểm nào, bằng cách
nào, và nhằm mục đích gì?
3. Những ràng buộc của hệ thống dạy học có ảnh hưởng như thế nào đối với hiểu biết của giáo viên
và học sinh về các khái niệm này? Cách trình bày của sách giáo khoa đã ảnh hưởng thế nào đến việc
tiếp thu của học sinh? Tri thức này được học sinh vận dụng vào các bài toán cụ thể ra sao?
2. Phạm vi lí thuyết tham chiếu
2.1 Lí thuyết nhân chủng học didactic
2.1.1 Quan hệ cá nhân với một đối tượng tri thức
Một đối tượng là một cái gì đó tồn tại ít nhất đối với một cá nhân. Quan hệ cá nhân X đối với một
đối tượng tri thức O, kí hiệu R(X, O), là tập hợp tất cả những tác động qua lại mà X có thể có với O. R(
X, O) cho biết X nghĩ gì về O, X hiểu như thế nào về O, X có thể thao tác O ra sao.
4. Theo quan điểm này thì việc học tập của cá nhân X về đối tượng tri thức O là sự điều chỉnh mối
quan hệ của X đối với O. Cụ thể, việc học tập xảy ra nếu quan hệ R(X, O) được thiết lập hoặc bị biến
đổi.
Trên cơ sở lí luận này, khi phân tích mối quan hệ cá nhân của học sinh đối với đối tượng tri thức
là phép kéo theo, phép tương đương ta có thể tìm được những yếu tố trả lời cho câu hỏi thứ ba.
2.1.2 Mối quan hệ thể chế với đối tượng tri thức. Cách tiếp cận sinh thái
Một cá nhân không thể tồn tại độc lập mà luôn luôn phải ở trong ít nhất một thể chế. Do đó, mối
quan hệ R( X, O) phải được đặt trong một thể chế I nào đó có sự tồn tại của X.
Một đối tượng O cũng không thể tồn tại độc lập trong bất cứ thể chế nào. Nói cách khác, O sống
trong một mối quan hệ chằng chịt với các đối tượng khác. O sinh ra, tồn tại và phát triển trong mối
quan hệ ấy. Theo cách tiếp cận sinh thái thì O chỉ có thể phát triển nếu có một lí do tồn tại, nếu nó được
nuôi dưỡng trong những quan hệ và ràng buộc ấy.
Theo Chevallard, quan hệ thể chế I với tri thức O, R(I, O) là tập hợp các mối quan hệ, ràng buộc
mà thể chế I có với O, nó cho biết O xuất hiện ở đâu, bằng cách nào, tồn tại ra sao, có vai trò gì trong
I…
Như vậy, phân tích mối quan hệ thể chế với đối tượng tri thức O là phép kéo theo, phép tương đương
giúp ta tìm được những yếu tố trả lời cho các câu hỏi thứ hai.
2.1.3 Tổ chức toán học
Hoạt động toán học là một bộ phận của hoạt động xã hội. Xây dựng mô hình cho phép mô tả và
nghiên cứu thực tế của hoạt động đó là cần thiết. Xuất phát từ lí luận này, Chevallard đưa ra khái niệm
praxéologie là một bộ phận gồm 4 thành phần (T, , , ) trong đó, T là kiểu nhiệm vụ, là kĩ thuật
cho phép giải quyết T, là công nghệ giải thích và biện minh cho , là lí thuyết giải thích cho công
nghệ đó.
Một praxéologie mà các thành phần mang bản chất toán học được gọi là một tổ chức toán học
(organisation mathématique).
Theo Bosch và Chevallard (1999):
“ Mối quan hệ thể chế với một đối tượng, đối với một vị trí thể chế xác định, được định hình và biến
đổi bởi một tập hợp những nhiệm vụ mà cá nhân chiếm vị trí này phải thực hiện nhờ vào những kĩ
thuật xác định. Chính việc thực hiện những nhiệm vụ khác nhau mà cá nhân phải làm trong suốt cuộc
đời mình trong những thể chế khác nhau ở đó nó là một chủ thể, dẫn tới làm nảy sinh mối quan hệ cá
nhân của nó đối với đối tượng nói trên”.
5. Theo quan điểm này thì việc nghiên cứu mối quan hệ thể chế và mối quan hệ cá nhân đối với
cùng một đối tượng tri thức O có thể được tiến hành thông qua việc phân tích các tổ chức toán học. Nói
cách khác, cách tiếp cận theo các tổ chức toán học là công cụ tiếp cận mối quan hệ thể chế và công cụ
phân tích thực tế dạy học.
2.2 Khái niệm chuyển đổi didactic
Dưới đây, chúng tôi trình bày vắn tắt khái niệm chuyển đổi didactique, một khái niệm phổ biến
trong ngành didactique.
“Mọi tri thức S đều gắn với ít nhất một thể chế I mà trong đó tri thức được vận dụng vào một lĩnh
vực thực tiễn D nào đó. Điều chủ yếu là một tri thức không tồn tại một cách riêng lẻ bên lề xã hội:
mọi tri thức đều xuất hiện vào một thời điểm nhất định, trong một xã hội nhất định như đã ăn sâu
vào một hoặc nhiều thể chế.” (Chevallard 1989)1
Để có thể tồn tại trong một thể chế, mọi tri thức đều phải chịu một số điều kiện ràng buộc nhất
định mà chúng tôi cho rằng không đồng nhất giữa các thể chế khác nhau. Chevallard chấp nhận tiên đề
về sự tồn tại của các thể chế chuyển đổi cho phép một tri thức chuyển từ thể chế này sang thể chế khác:
thể chế chuyển đổi là một thể chế vô hình mà Chevallard gọi là noosphère (1985).
Khi thể chế đích là thể chế dạy học, sự chuyển đổi tri thức sẽ được gọi là chuyển đổi didactique.
Đối với tri thức toán học, chúng tôi sẽ sử dụng thuật ngữ tri thức bác học để chỉ tri thức tham chiếu
(savoir de référence) được huy động để hợp thức hoá một tri thức nào đó trong thể chế dạy học.
Sự chuyển đổi didactique có thể tóm tắt theo sơ đồ dưới đây:
Tri thức bác học
(Thể chế sản sinh)
↓
Đối tượng cần dạy
(Thể chế chuyển đổi)
↓
Đối tượng được dạy
(Thể chế dạy học)
2.3 Khái niệm hợp đồng didactic
Theo Brousseau, “hợp đồng didactic là tập hợp các cách ứng xử (chuyên biệt) của thầy được
học sinh mong đợi và tập hợp những ứng xử của học sinh mà thầy mong đợi… Đó là tập hợp các qui
tắc phân chia và hạn chế trách nhiệm của mỗi bên, học sinh và giáo viên, đối với một tri thức toán học
6. được giảng dạy. Nói cách khác, hợp đống chi phối mối quan hệ giữa thầy và trò về các kế hoạch, các
mục tiêu, các quyết định, các hoạt động và đánh giá sư phạm”.
Như vậy, việc xác định các qui tắc của hợp đồng didactic sẽ cho phép chúng tôi lý giải được một phần
những ứng xử của giáo viên và học sinh trong thực tế dạy và học liên quan đến phép kéo theo và phép
tương đương.
3. Mục đích nghiên cứu
Mục đích tổng quát của luận văn này là tìm những yếu tố trả lời cho các câu hỏi trên. Để làm được
điều đó, chúng tôi đặt nghiên cứu của mình trong phạm vi khung lý thuyết tham chiếu Chúng tôi trình
bày lại các câu hỏi như sau:
Q1. Những đặc trưng khoa học luận của phép kéo theo, phép tương đương?
Q2. Sự tiến triển của chuyển đổi didactic các khái niệm phép kéo theo, phép tương đương qua các
thời kỳ? Những yếu tố không thay đổi? Những yếu tố mất đi? Những yếu tố mới xuất hiện? Những yếu
tố được biến đổi?
Q3. Trong hệ thống dạy học toán ở THPT, mối quan hệ thể chế với đối tượng phép kéo theo và
tương đương đã được xây dựng và tiến triển ra sao? Nó phải chịu những điều kiện và ràng buộc nào?
Q4. Những qui tắc nào của hợp đồng didactic có thể được hình hành giữa giáo viên và học sinh
trong sự vận hành tri thức PKT và PBĐTĐ với các kiểu nhiệm vụ cụ thể?
4. Phương pháp nghiên cứu
Để hoàn thành luận văn trên, chúng tôi tiến hành nghiên cứu gồm các bước như sau:
- Phân tích tổng hợp các nghiên cứu khoa học luận về lịch sử hình thành khái niệm phép kéo theo
và phép tương đương để từ đó nắm rõ đặc trưng khoa học luận.
- Phân tích các chương trình sách giáo khoa qua các giai đọan, sách tham khảo để làm sáng tỏ
mối quan hệ thể chế với đối tượng phép kéo theo và phép tương đương, đặc biệt là các ràng
buộc thể chế của các khái niệm này.
- Nghiên cứu sự vận hành của phép kéo theo và phép tương đương trong thực hành giải toán (2
kiểu nhiệm vụ T11,T12 và đặc biệt tìm m để hai phương trình tương đương. . .).
- Xây dựng phiếu thực nghiệm để kiểm định giả thuyết đặt ra và bổ sung thêm những giả thuyết
mới.
5. Tổ chức của luận văn
Luận văn gồm có phần mở đầu, phần kết luận và 4 chương sau:
Mở đầu
Chương 1: Nghiên cứu khoa học luận
7. - Nghiên cứu sự ra đời và phát triển của phép kéo theo, phép tương đương các kí hiệu , .
- Rút ra đặc điểm khoa học luận của PKT, PTĐ.
Chương 2: Mối quan hệ thể chế với khái niệm phép kéo theo và phép tương đương.
- Phân tích PKT, PTĐ trong chương trình SGK Việt Nam
o Giai đoạn 1975 - 1990 (M1)
o Giai đoạn 2006 - 2008 Nâng cao (M3)
- Rút ra mối quan hệ thể chế với khái niệm PKT,PTĐ.
Chương 3: Sự vận hành của phép kéo theo, phép tương đương trong 2 kiểu nhiệm vụ T11, T12
và T13
- Nghiên cứu sự vận hành của PKT,PBĐTĐ trong kiểu nhiệm vụ T11, T12, T13.
- Kết luận, đưa ra giả thuyết nghiên cứu
Chương 4: Thực nghiệm
- Bài tập dành cho HS.
8. CHƯƠNG I:
ĐẶC TRƯNG KHOA HỌC LUẬN CỦA KHÁI NIỆM PHÉP KÉO THEO,
PHÉP TƯƠNG ĐƯƠNG TRONG LỊCH SỬ.
1. Mục đích phân tích
Như đã làm rõ trong phần mở đầu, mục đích của chương này là tiến hành phân tích, tổng hợp
một số công trình lịch sử hay khoa học luận về các khái niệm phép kéo theo, phép tương đương để làm
rõ đặc trưng cơ bản của đối tượng này trong quá trình phát sinh và phát triển của nó. Cụ thể, nó nhắm
tới trả lời các câu hỏi sau:
Khái niệm PKT, PTĐ đã hình thành và phát triển qua những giai đoạn lịch sử nào, trong những
phạm vi nào, dùng để giải quyết các bài toán nào? Những quan niệm về khái niệm PKT, PTĐ đã xuất
hiện? Những quan niệm này có những đặc trưng cơ bản nào?
2. Phép kéo theo
Lịch sử phát triển của phép kéo theo có thể chia làm 3 giai đoạn với các quan niệm khác nhau.
2.1 Giai đoạn 1: Từ thời Hy Lạp cổ đại đến đầu thế kỷ 17
2.1.1 Quan niệm của Aristotle (QNA) về suy luận lôgic
Theo Michal Walicki [10, tr.2], thông qua các cuộc thảo luận về chính trị và triết học, các nhà tư
tưởng dần dần nâng cao các con đường lý luận khác nhau. Các nhà triết học nghiêm túc không tin
tưởng vào các nhà ngụy biện . Lo lắng về nguy cơ trái đạo đức từ các cuộc tranh cãi của các nhà ngụy
biện, Plato đã cố gắng chống lại chúng bằng cách lao vào các cuộc thảo luận về đạo đức và tuyên bố
rằng đã có một logic mạnh mẽ là phép biện chứng. Tuy nhiên, gần như không có gì có thể học hỏi từ
đó. Sự phát triển của "lý luận chính xác" lên đến đỉnh điểm tại Hy Lạp cổ đại với Aristotle (384-322
trước Thiên Chúa), người đưa vào giảng dạy các categorical forms (hình thức rõ ràng) và Syllogisms
(tam đoạn luận) một cách hệ thống và khá đầy đủ trong bộ Organon.
Theo ông, một mệnh đề là đúng khi nó là một phát biểu đúng. Trong toàn bộ học thuyết của
mình, hầu hết ông đều sử dụng mệnh đề đúng và các mệnh đề này có kiểu là mệnh đề triết học hoặc đời
sống.
Aristotle đã định nghĩa “Tam đoạn luận là ngôn ngữ mà trong đó, nếu một cái gì đó được giả
định, thì tất yếu rút ra một cái gì đó khác hẳn với cái đã cho....” Được Aristotle hình thức hóa đầu tiên,
tam đoạn luận là một phương thức lập luận lôgic đi từ hai mệnh đề (còn gọi là tiền đề) đến một kết
luận. Ví dụ: Mọi người đều phải chết, Socrates là người, vậy Socrates phải chết là một tam đoạn luận.
9. Trong tam đoạn luận, hai tiền đề (còn gọi là đại tiền đề và tiểu tiền đề) là những mệnh đề cho trước và
được giả định là đúng. Tam đoạn luận cho phép hợp thức hóa tính xác thực hình thức của kết luận. Tam
đoạn luận học không chỉ thu hút sự quan tâm của các nhà triết học kinh viện trung cổ mà còn cả
Antoine Arnauld, Gottfried Leibniz và Emmanuel Kant. Nó được xem là tiền thân của lôgic toán hiện
đại và được giảng dạy đến tận cuối thế kỷ 19.
Có thể sơ đồ hóa tam đoạn luận của Aristotle bằng ngôn ngữ của phép kéo theo hiện đại như
sau:
(P Q) = 1
(A P) = 1
(A Q) = 1
Dù chưa thể hiện một cách toàn diện và chính xác các ý tưởng của phép kéo theo, tam đoạn luận
của Aristotle là cố gắng đầu tiên trong việc xây dựng một cơ sở của lôgic hình thức cho phép suy diễn
một mệnh đề thứ ba từ hai tiền đề ban đầu.
Phép kéo theo được sử dụng như một công cụ, phương pháp của các nhà triết học.
2.1.2 Quan niệm của Euclide (QNE) (330 275 TCN) về phép kéo theo
Trong lịch sử toán học, người đầu tiên đưa ra phương pháp tiên đề là nhà toán học Hy Lạp
Euclide. Ông đưa ra một hệ tiên đề dựa trên cơ sở công nhận, không cần chứng minh sau:
1. Hai điểm bất kỳ không trùng nhau xác định một đường thẳng và chỉ duy nhất một đường thẳng
đó.
2. Ba điểm bất kỳ không thẳng hàng xác định một và chỉ duy nhất một mặt phẳng.
3. Nếu có ít nhất hai điểm khác nhau của một đường thẳng mà cùng thuộc về một mặt phẳng thì
mọi điểm của đường thẳng đó đều thuộc về mặt phẳng đó.
4. Nếu hai mặt phẳng có một điểm chung thì chúng có một giao tuyến chung.
5. Từ một điểm ngoài một đường thẳng, có thể kẻ được một và duy nhất chỉ một đường thẳng song
song với đường thẳng đó. (Tiên đề song song)
Từ hệ tiên đề trên, Euclide chỉ dùng suy diễn toán học để xây dựng bộ môn hình học mang tên
ông. Tác phẩm Nguyên lý (hoặc Cơ bản, tiếng anh là Elements) là minh chứng rõ ràng nhất. Ngày nay
người ta vẫn khẳng định rằng: Tác phẩm Nguyên lý của Euclide, chứng tỏ ông đã thành công ở mức độ
cao trong việc cố gắng tìm cách xây dựng hình học theo một lý luận chặt chẽ. Tác phẩm Nguyên lý
gồm 13 quyển.
10. Quyển I nói về các trường hợp bằng nhau của tam giác, sự so sánh về cạnh và góc trong một tam giác,
sự vuông góc và sự song song của các đường thẳng. Trong quyển này cũng đề cập tới các tính chất của
hình bình hành, diện tích một số hình phẳng và định lí Pitago.
Quyển II nói về sự đẳng hợp của các hình phẳng.
Quyển III nói về đường tròn và một số vấn đề có liên quan trực tiếp tới đường tròn, chẳng hạn như các
tính chất của tiếp tuyến, dây cung của đường tròn. Ðặc biệt, ở đây có định lí về phương tích của một
điểm đối với một đường tròn.
Quyển IV nói về phép dựng các đa giác đều nội tiếp, ngoại tiếp đường tròn với số cạnh bằng 3, 4, 5, 10,
15.
Quyển V nói về lí thuyết tỉ lệ thức thông qua nội dung hình học, với lí luận khá chặt chẽ và chính xác.
Quyển VI nói về lí thuyết đồng dạng của các hình phẳng.
Các quyển VII, VIII, IX có nội dung số học, nhưng được trình bày dưới dạng hình học.
Quyển X nói về các phép dựng hình để tìm căn bậc hai của các số tự nhiên.
Quyển XI nói về vị trí tương đối của các đường thẳng và mặt phẳng, về góc đa diện và các hình chóp
có cùng chiều cao và cùng diện tích đáy.
Quyển XII nói về diện tích hình tròn, thể tích các hình khối đồng dạng, thể tích các hình lăng trụ, chóp,
trụ, nón.
Quyển XIII nói về hình cầu, diện tích mặt cầu, tính thể tích hình cầu. Quyển này cũng nói về khối đa
diện đều và đã khẳng định được rằng chỉ có năm loại khối đa diện đều mà thôi.
Tác phẩm Nguyên lý là một thành công nổi bật để sắp xếp lại toàn bộ các kiến thức toán học vào
trong một hệ thống diễn dịch logic trên nền tảng tiên đề đơn giản. Hầu hết các tiên đề, hay định đề đều
được Euclide phát biểu dưới dạng “Nếu P thì Q”. Trong đó P, Q cùng kiểu mệnh đề (Số học, đại số và
hình học) và có mối quan hệ nhân quả với nhau. Nói cách khác khi xét giá trị chân lí của mệnh đề Nếu
P thì Q, Euclide quan tâm đến mối quan hệ về nội dung của hai mệnh đề P, Q. Xem P là nguyên nhân
(giả thuyết) để suy luận ra Q.
Như vậy, Euclide đã dùng phép kéo theo như một công cụ để giải toán. Quan niệm về phép kéo
theo của Euclide gồm những đặc trưng cơ bản sau:
Hình thức thể hiện “Nếu P thì Q”.
Chân trị của P luôn đúng.
Chân trị của P và Q đều là đúng.
P và Q cùng kiểu mệnh đề hình học, số học (được thể hiện dưới dạng hình học).
P và Q có mối quan hệ nhân quả.
11. 2.1.3 Quan niệm của Philo (QNP) về phép kéo theo
Theo Wiliam Kneale-Martha Kneale [11, tr.129-131], Philo là người đầu tiên đưa ra bảng chân
trị của mệnh đề “Nếu P thì Q” trong cả 4 trường hợp. Tuy nhiên, ông chỉ dùng phương pháp qui nạp
thử một số trường hợp rồi suy luận bằng trực giác để thu được kết quả mà chưa chứng minh được
chúng.
P Q Nếu P thì Q
Đúng Đúng Đúng
Đúng Sai Sai
Sai Đúng Đúng
Sai Sai Đúng
Trước đó trong mệnh đề “Nếu P thì Q” theo quan niệm Euclide thì P và Q phải cùng kiểu mệnh
đề và có mối quan hệ nhân quả. Từ bảng chân trị trên ta thấy rõ ràng, đối với Philo 2 mệnh đề P và Q
có thể không cùng kiểu mệnh đề, không có mối quan hệ nhân quả. Nói cách khác khi xét giá trị chân lí
của mệnh đề Nếu P thì Q người ta không quan tâm đến mối quan hệ về nội dung của hai mệnh đề P, Q.
Không phân biệt trường hợp P có phải là nguyên nhân để có Q hay không, mà chỉ quan tâm đến tính
đúng, sai của chúng.
Như vậy, bảng chân trị của mệnh đề “Nếu P thì Q”của Philo đánh dấu một bước ngoặt về
quan niệm của phép kéo theo. Quan niệm về phép kéo theo của Philo gồm những đặc trưng cơ bản
sau:
Hình thức thể hiện “Nếu P thì Q”.
Chân trị của P có thể là đúng hoặc sai.
Chân trị của P và Q có thể đúng hoặc sai.
P và Q có thể có hoặc không cùng kiểu mệnh đề .
P và Q có thể có hoặc không cùng mối quan hệ nhân quả.
2.2 Giai đoạn 2: Thế kỷ 17-18
Theo Michal Walicki [10, tr.8]
“Lingua universalis characteristica” là ý tưởng của Gottfried Leibniz (1646-1716), Leibniz
nghiên cứu và đã rất ấn tượng theo phương pháp của người Ai Cập và Trung Quốc trong việc sử dụng
hình ảnh, kí hiệu để diễn tả cho khái niệm. Ông là người đầu tiên có ý tưởng đưa ra hệ thống các kí
hiệu các phép toán logic trong toán học. Chẳng hạn, Leibniz đã dùng kí hiệu phép kéo theo để diễn
đạt tam đoạn luận của Aristotle .
12. Tam đoạn luận của Aristotle Kí hiệu của Leibniz
Tất cả A là B
Tất cả B là C
---------------
Thì Tất cả A là C
A = AB;
B = BC;
----------
A = AC
Leibniz là người tiên phong trong việc sử dụng kí hiệu cho phép kéo theo vào toán học. Hệ
thống kí hiệu của Leibniz đánh dấu sự xuất hiện của ngôn ngữ hình thức hoá.
Trong tác phẩm Formal Logic và The Calculus of Inferrence xuất bản năm 1847 của De
Morgan(1806-1871). Khi phát biểu công thức De Morgan
Kí hiệu của De Morgan Kí hiệu ngày nay
A B A B A B A B
( )( )A B A B A B A B
Để chứng minh chúng, De Morgan phải liên tục dùng tới bảng chân trị Phép kéo theo, phép tương
đương để chứng minh các công thức của mình.
Phép kéo theo đã được thể hiện bằng kí hiệu. Thực tế nó là sự kết hợp giữa quan niệm của
Euclide và Philo. Nó được dùng như một công cụ để giải toán và đã có tên.
2.3 Giai đoạn 3: Từ thế kỷ thứ 19
2.3.1 Quan niệm Gottlob Frege cho tới Whitehead và Russell (QNFR) về phép kéo theo
Theo Michal Walicki [10, tr. 12-14 ]. Năm 1879 các nhà toán học Đức trẻ Gottlob Frege (1848 –
1925) đã xuất bản cuốn sách tốt nhất , duy nhất trên logic biểu tượng trong thế kỷ 19, Begriffsschrift
( "Ý tưởng Ký hiệu"). Tiêu đề này được lấy từ bản dịch Trendelenburg của Leibniz.
Hệ thống kí hiệu của Frege rất chính xác và đầy đủ . Ông là người đầu tiên bao hàm toàn diện lý
thuyết hệ thống hoá logic hình thức. Có công lớn trong việc hệ thống hóa toàn bộ logic về mặt lý
thuyết. Tuy nhiên, nó chỉ ở mức độ lý thuyết và vẫn còn khó hiểu nên còn ít người biết tới.
Russell (1872 -1970 là nhà toán học có bổ sung và hoàn thiện thêm hệ thống hoá logic hình thức
của Frege trong giải toán . Thì Begriffsschrift của Frege mới được nhiều người biết tới.
Theo Wiliam Kneale-Martha Kneale [11, tr.530-531] Whitehead và Russell đã định nghĩa Phép kéo
theo như sau:
13. P kéo theo Q là một mệnh đề, kí hiệu là P Q, chỉ sai khi P đúng và Q sai và đúng trong các
trường hợp còn lại.
Bảng chân trị của phép kéo theo
P Q P Q
Đúng Đúng Đúng
Đúng Sai Sai
Sai Đúng Đúng
Sai Sai Đúng
Trải qua hơn 2000 năm phát triển, cuối cùng phép kéo theo đã được định nghĩa tường minh, được xem
như là đối tượng và công cụ để giải toán.
Do đó, phép kéo theo đã xuất hiện tường minh, có tên, được định nghĩa, là đối tượng và công
cụ để giải toán. Quan niệm về phép kéo theo của Frege và Russell gồm những đặc trưng cơ bản
sau:
Hình thức thể hiện “P Q”.
Chân trị của P có thể là đúng hoặc sai.
Chân trị của P và Q có thể là đúng hoặc sai.
P và Q có thể có hoặc không cùng kiểu mệnh đề .
P và Q có thể có hoặc không cùng mối quan hệ nhân quả.
2.3.2 Quan niệm của Alfred David Hilbert (QNH) về phép kéo theo
Theo Wiliam Kneale-Martha Kneale [11, tr.699-700] Hilbert (1862-1943) định nghĩa Phép kéo theo
như sau:
P kéo theo Q là một mệnh đề, kí hiệu là P Q, chỉ sai khi P đúng và Q sai và đúng trong các
trường hợp còn lại.
Bảng chân trị của phép kéo theo
P Q P Q
Đúng Đúng Đúng
Đúng Sai Sai
Sai Đúng Đúng
Sai Sai Đúng
14. Định nghĩa về phép kéo theo của Hilbert là định nghĩa hoàn chỉnh nhất tính đến thời điểm hiện
tại. Là sự kết hợp các quan niệm của Euclide, Philo, Frege và Russell và ý tưởng hình thức hóa của
riêng ông.
Phép kéo theo đã xuất hiện tường minh, có tên, được định nghĩa, là đối tượng và công cụ để
giải toán. Nó có cơ chế toán học.
Hình thức thể hiện “P Q”.
Chân trị của P có thể là đúng hoặc sai.
P và Q có thể có hoặc không cùng kiểu mệnh đề .
P và Q có thể có hoặc không cùng mối quan hệ nhân quả.
2.4 Kết luận về Phép kéo theo
Các phân tích và tổng hợp trên về lịch sử tiến triển của khái niệm phép kéo theo đã cho những câu
trả lời đặt ra ban đầu. Sau đây là tóm tắt một số đặc trưng khoa học luận cơ bản của phép kéo theo.
Cũng như các khái niệm toán học khác, khái niệm phép kéo theo đã trải qua 3 giai đoạn phát triển.
Ở giai đoạn đầu tiên từ Hy lạp cổ đại đến giữa thế kỷ 17, khái niệm phép kéo theo có những đặc
trưng sau:
QNE:
Hình thức thể hiện “Nếu P thì Q”.
Chân trị của P là đúng.
P và Q có cùng kiểu mệnh đề (hình học, số học).
P và Q có mối quan hệ nhân quả.
QNP:
Hình thức thể hiện “Nếu P thì Q”.
Chân trị của P có thể là đúng hoặc sai.
P và Q có thể có hoặc không cùng kiểu mệnh đề (hình học, số học).
P và Q có thể có hoặc không cùng mối quan hệ nhân quả.
Giai đoạn thứ hai, từ thế kỷ thứ 17 đến thế kỷ 18, khái niệm phép kéo theo có những đặc trưng
cơ bản sau:
QNL :
Hình thức thể hiện “P=PQ”.
Chân trị của P có thể là đúng hoặc sai.
P và Q có thể có hoặc không cùng kiểu mệnh đề (hình học, số học, giải tích).
15. P và Q có thể có hoặc không cùng mối quan hệ nhân quả.
Giai đoạn thứ ba, từ thế kỷ 19 đến thế kỷ 20, khái niệm phép kéo theo với các quan niệm sau:
QNFR
Hình thức thể hiện “PQ”.
Chân trị của P có thể là đúng hoặc sai.
P và Q có thể có hoặc không cùng kiểu mệnh đề (hình học, số học, giải tích, đại số).
P và Q có thể có hoặc không cùng mối quan hệ nhân quả.
QNH
Hình thức thể hiện “PQ”.
Chân trị của P có thể là đúng hoặc sai.
P và Q có thể có hoặc không cùng kiểu mệnh đề (hình học, số học, giải tích, đại số).
P và Q có thể có hoặc không cùng mối quan hệ nhân quả.
2.5 Bảng tóm tắt sự phát triển của phép kéo theo trong lịch sử toán học
Giai đoạn
Thời kỳ Hy lạp cổ đại TK 17-18 TK 19-20
Quan niệm QNE QNP QNL QNFR QNH
Đại diện Euclide Philo Leibniz
Frege
Russell
Hilbert
Kiểu mệnh đề
P,Q
Hình học,
Số học
Hình học,
Số học
Gỉai tích
Đại số
Đại số, Gỉai tích,
Hình học và Số học
P và Q có cùng
kiểu mệnh đề?
Có Có thể có hoặc không
P và Q có mqh
nhân qủa ?
Có Có thể có hoặc không
Chân trị của P Đúng Có thể Đúng hoặc Sai
Kí hiệu P kéo
theo Q
Nếu P thì Q P=PQ PQ PQ
16. 3. Phép tương đương
3.1 Giai đoạn 1:Thời Hy Lạp cổ đại đến đầu thế kỷ 19.
3.1.1 Quan niệm của Aristotle (QNA1
Theo Michal Walicki [10, tr.03]. Aristotle tự đặt câu hỏi làm thế nào để thay thế một phát biểu
dưới hình thức khác mà không ảnh hưởng đến việc đề xuất? Chẳng hạn, Aristotle cho rằng:
Phát biểu “Mọi β là α “ tương đương với phát biểu “α thuộc về mọi β” .
Từ đó ông đi đến thừa nhận rằng:
Hai phát biểu tương đương với nhau nếu chúng có cùng chân trị đúng.
Những phát biểu của ông ở đây chỉ là trong lĩnh học triêt học và cuộc sống chứ không phải toán học.
Như vậy, phép tương đương được dùng như một công cụ, phương pháp của các nhà triết
học, nó đã có tên. Các đặc trưng cơ bản của phép tương đương:
Hình thức thể hiện “P is equivalent to Q”.
Chân trị của P và Q đều đúng.
P và Q cùng kiểu mệnh đề (cuộc sống, triết học) .
P và Q có mối quan hệ nhân quả.
3.1.2 Quan niệm của De Morgan (QNM1) về phép tương đương
Trong tác phẩm Formal Logic và The Calculus of Inferrence xuất bản năm 1847 của De
Morgan(1806-1871). Khi phát biểu công thức De Morgan
Kí hiệu của De Morgan Kí hiệu ngày nay
A B A B A B A B
( )( )A B A B A B A B
Để chứng minh chúng, De Morgan phải liên tục dùng tới bảng chân trị Phép kéo theo, phép tương
đương để chứng minh các công thức của mình.
Phép tương đương đã được dùng như một công cụ để giải toán và đã có tên. Các đặc trưng cơ
bản của phép tương đương:
Hình thức thể hiện “P is equivalent to Q”.
Chân trị của P và Q đều đúng.
P và Q cùng kiểu mệnh đề (cuộc sống, triết học) .
P và Q có mối quan hệ nhân quả.
17. 3.1Giai đoạn 2:Từ thế kỷ 19.
Theo Michal Walicki [10, tr. 12-14 ]. Năm 1879 các nhà toán học Đức trẻ Gottlob Frege (1848 –
1925) đã xuất bản cuốn sách tốt nhất , duy nhất trên logic biểu tượng trong thế kỷ 19, Begriffsschrift
( "Ý tưởng Ký hiệu").
Hệ thống kí hiệu của Frege rất chính xác và đầy đủ . Ông là người đầu tiên bao hàm toàn diện lý
thuyết hệ thống hoá logic hình thức. Có công lớn trong việc hệ thống hóa toàn bộ logic về mặt lý
thuyết. Tuy nhiên, nó chỉ ở mức độ lý thuyết và vẫn còn khó hiểu nên còn ít người biết tới.
Quan niệm của Russell (QNR1) về phép tương đương
Theo Wiliam Kneale-Martha Kneale [11, tr.530-531] Russell (1872 -1970) có đưa ra định nghĩa về
phép tương đương như sau.
Cho P, Q là 2 mệnh đề cho trước. mệnh đề P tương đương Q kí hiệu là P Q, Chân trị của mệnh đề P
Q được xác định bởi Bảng chân trị
P Q P Q
Đúng Đúng Đúng
Đúng Sai Sai
Sai Đúng Sai
Sai Sai Đúng
Phép tương đương đã được thể hiện bằng kí hiệu, nó được dùng như một công cụ để giải toán,
đã có tên và được định nghĩa.
Các đặc trưng cơ bản của phép tương đương:
Hình thức thể hiện “P Q”.
Chân trị của P và Q có thể đúng hoặc sai.
P và Q có thể có hoặc không cùng kiểu mệnh đề (cuộc sống, triết học) .
P và Q có thể có hoặc không có mối quan hệ nhân quả.
Năm 1920 Hilbert đề nghị một dự án nghiên cứu rõ ràng (về metamathematics, như là nó được
gọi) mà sau đó được biết đến như là chương trình Hilbert. Ông muốn toán học phải được hệ
thống hóa trên một nền tảng logic vững chắc và đầy đủ. Chương trình này vẫn được công nhận
18. là nổi tiếng nhất về triết học của toán học, nơi mà nó thường được gọi là hình thức hóa. Toàn bộ
Logic học được viết và xây dựng lại trên cơ sở tiên đề.
3.2 Kết luận về Phép tương đương
Các phân tích và tổng hợp trên về lịch sử tiến triển của khái niệm phép tương đương đã cho những
câu trả lời đặt ra ban đầu. Sau đây là tóm tắt một số đặc trưng khoa học luận cơ bản của phép tương
đương.
Khái niệm phép tương đương đã trải qua 2 giai đoạn phát triển.
Ở giai đoạn đầu tiên Hy lạp cổ đại, khái niệm phép tương đương với quan niệm QNA1 với các
đặc trưng cơ bản sau:
Hình thức thể hiện “P tương đương với Q”.
Chân trị của P, Q đều đúng.
P và Q có cùng kiểu mệnh đề (hình học, số học).
P và Q có mối quan hệ nhân quả.
Giai đoạn thứ ba, từ thế kỷ 19 đến thế kỷ 20, khái niệm phép kéo theo có những đặc trưng sau:
QNM
Hình thức thể hiện “P tương đương với Q”.
Chân trị của P, Q là đúng hoặc sai.
P và Q có thể có hoặc không cùng kiểu mệnh đề (hình học, số học, giải tích, đại số).
P và Q có thể có hoặc không cùng mối quan hệ nhân quả.
QNFR1
Hình thức thể hiện “PQ”.
Chân trị của P, Q là đúng hoặc sai.
P và Q có thể có hoặc không cùng kiểu mệnh đề (hình học, số học, giải tích, đại số).
P và Q có thể có hoặc không cùng mối quan hệ nhân quả.
3.3 Bảng tóm tắt sự phát triển của phép tương đương trong lịch sử toán học
Giai đoạn Thời kỳ Hy lạp
cổ
TK 19-20
Quan niệm QNA1 QNM QNR1
Đại diện Aristotle De Morgan
Frege
Russell
19. Kiểu mệnh đề
Triết học,
Cuộc sống Đại số
Đại số, Gỉai tích,
Hình học và Số học
P và Q có mqh
nhân qủa
Có Có thể có hoặc không
Chân trị của P
Đúng Đúng, Sai
Chân trị của Q
khi P đúng
Đúng Đúng, Sai
Kí hiệu P tương
đương Q
equipvelent equipvelent
4. Các kí hiệu phép kéo theo, phép tương đương từ thế kỉ 20
Các kí hiệu phép kéo theo, phép tương đương đã được các nhà toán học sử dụng trong lịch sử. Sau
đây là một số ký hiệu thông dụng.
Kí hiệu Năm Bởi nhà toán học Tài liệu, trang, tác giả
→
(Implication)
1922 David Hilbert The symbol is found on p.
166. [Wilfried Neumaier]
(Implication)
1954 Nicholas Bourbaki The symbol appears on p. 14.
[Wilfried Neumaier]
↔
(Equivalence)
1936 Wilhelm Ackermann. The symbol appears on p.
306. [Wilfried Neumaier]
(Equivalence)
1954 Nicholas Bourbaki The symbol appears on p. 32.
[Wilfried Neumaier]
20. CHƯƠNG II:
NGHIÊN CỨU MỐI QUAN HỆ THỂ CHẾ VỚI CÁC KHÁI NIỆM PHÉP
KÉO THEO, PHÉP TƯƠNG ĐƯƠNG
1. Mục tiêu của chương
Chương này có mục đích thực hiện một nghiên cứu về quan hệ thể chế với các khái niệm phép
kéo theo, phép tương đương. Cụ thể hơn, chương này nhằm trả lời các câu hỏi sau:
- Các khái niệm phép kéo theo, phép tương đương đã được đưa vào chương trình, sách giáo khoa
THPT như thế nào? Những tổ chức toán học nào được xây dựng xung quanh các khái niệm này?
Những đặc trưng của chúng?
- Những đặc trưng khoa học luận nào của các khái niệm phép kéo theo, phép tương đương được hiện
diện trong chương trình THPT?
- Những điều kiện và ràng buộc của thể chế lên việc dạy học các khái niệm này?
Để nghiên cứu, chúng tôi chọn chương trình và sách giáo khoa ban nâng cao hiện hành vì chúng tôi cho
rằng các yêu cầu thể chế trong ban nâng cao sẽ được thể hiện rõ hơn so với ban cơ bản. Một cách cụ
thể, chúng tôi đã phân tích chương trình, sách giáo viên, sách giáo khoa và sách bài tập Đại số lớp 10
ban nâng cao.
2. Mối quan hệ thể chế với khái niệm phép kéo theo, phép tương đương
2.1 Tình huống định nghĩa phép kéo theo, phép tương đương
Ngay bài đầu tiên của SGK Đại số 10, Bài 1 Mệnh đề và mệnh đề chứa biến, chương 1 sách giáo
khoa có đưa vào định nghĩa mệnh đề kéo theo ở trang 5.
Tiến trình này vẫn theo cách định nghĩa truyền thống, nghĩa là theo tuần tự có thể sơ đồ hoá như
sau:
Trong đó, từ liên hệ với ví dụ của thực tế cuộc sống, noosphèere dẫn dắt vào định nghĩa mệnh đề.
Mệnh đề kéo theo được định nghĩa thông qua định nghĩa mệnh đề. Sau đó, mệnh đề và mệnh đề kéo
theo là cơ sở để định nghĩa mệnh đề tương đương.
Định nghĩa Mệnh đề kéo theo (SGK, trang 5)
Cho 2 mệnh đề P và Q. Mệnh đề “Nếu P thì Q” được gọi là mệnh đề kéo theo và kí hiệu là
P Q. Mệnh đề P Q sai khi P đúng, Q sai và đúng trong các trường hợp còn lại.
ĐN mệnh đề ĐN mệnh đề kéo theo ĐN mệnh đề tương đương
21. DOWNLOAD ĐỂ XEM ĐẦY ĐỦ NỘI DUNG
MÃ TÀI LIỆU: 54132
DOWNLOAD: + Link tải: tailieumau.vn
Hoặc : + ZALO: 0932091562