最近 (82 年12 月) 我看到了高中數學課程標準修訂草案 (教材綱要), 其中高一上第一章的章題是「基礎概念」, 之中的第一節在介紹「簡單的邏輯概念」。 之所以提這件事, 是因為在現行的高中數學裡並未把「簡單的邏輯」當作教材的一部份。 如果時光往後倒退十多年, 我們看到當時使用的高中數學實驗教材的第一冊第一章在介紹「數學方法」時, 有特別提到「簡易邏輯」在數學中所扮演的角色, 甚至在第二章裡還以不少的篇幅介紹「簡易邏輯」。這樣前後的比較, 難免教人疑惑, 究竟在教材課程的制定中, 專家們是以什麼樣的標準作取捨? 不只是「簡易邏輯」, 對其他一些素材也仍然存有同樣的疑惑。
另外一個令我困惑的是, 每次新的課程或是新的教本所呈現的都是整個的大翻修。 雖然改變可能帶來進步, 但也可能導致退步, 關鍵在於改變的是否合理合宜。難道, 我們就不能以已有的課程及教材作籃本, 大家集思廣義, 以開放的胸襟, 謙虛地肯定它的優點而加以保持, 並且審慎地找出它的缺點而加以修改? 使修訂能夠成為是一件有明確目標而朝盡善盡美的境界推進的工作。
研究課程並非是我的專業, 我只是想依個人的教學經驗, 談談有關「簡易邏輯」在高中的教學上的個人看法。
回顧二十幾年前使用SMSG 教材的時代, 當時盛行形式數學, 課本的「邏輯」單元裡一出現真值表這種素材, 坊間的參考書或是教師自編的補充教材裡便像走火入魔似的, 一大堆莫名其妙的「形式命題」應運而生, 使得數學看來像是邏輯遊戲或是符號魔術, 搞得教學的目標模糊了, 教學的內容本末倒置了。
關於「邏輯」在教學中所扮演的角色, 及其在教學上的定位, 十多年前採用的高中數學實驗教材在引言中說的好: 邏輯學乃是討論思考法則的學問, 在一般數學或其他學科中, 「簡易的邏輯」是一個基本的工具, 同學並不需要先熟讀「邏輯學」, 再來學習數學或其他學科如物理、化學、經濟學等等, 但是對於邏輯的最簡易基本部分卻一定要弄得清清楚楚, 並逐漸熟習其用法。又說: 在幾何學中我們研究空間的性質, 但是空間的性質何止千萬? 而且不斷地研究還會不斷地發現新的性質, 假如我們不設法加以整理, 只是把空間的無數性質, 拉拉雜雜地收集著, 最後勢必成了猴子撿果子, 隨撿隨丟, 所以我們必須要把空間的種種性質加以整理, 而「邏輯推理」就是我們的工具, 我們的不二法門。$\cdots$, 數學的目的是要瞭解如數、函數、空間等等的有關性質, 一個有用的性質 (或定理) 好比一部有用的機器, 而那些整理出來的基本性質就好比構成機器所需的各種零件, 邏輯推理便好比適當地連接那些零件的螺絲釘。一個造機器的人一定得會安裝螺絲釘。 數學雖然有效而廣泛地應用簡易邏輯, 但是數學絕非邏輯遊戲。
「邏輯推理」既然是必要的工具, 甚且是不二法門, 可見得「簡易邏輯」這種素材在數學上是絕對必要的。問題是, 當它被作為課程的一個獨立單元時, 如何能不重蹈覆轍被當作是一種邏輯遊戲而致迷失了教與學的目標? 這才是我們真正應該特別留意關心的, 就如剛才提到的, 對於邏輯的最簡易部分一定要弄得清清楚楚, 並逐漸熟習其用法, 這句話其實已經指出, 對於像「推演」、「充分、必要條件」等基本數學語句以及「基集」這些名稱及概念所表 示的意義要先弄清楚, 而且也要在往後的教與學進程中不斷的適時適地彰顯他們的內涵, 這樣才能使學習者「逐漸」「熟習」其用法, 也就是說「簡易邏輯」在教學上不能把它當成只是一個獨立的素材教過就算, 因為它是普遍出現在數學的各個素材及問題之中, 因此我們在教學上務必掌握它的這個特性, 適時適地的顯明出它的作用, 「邏輯」的教學才可能落實。
現在, 我要舉一些例子來說明上述的觀點。
例1. 設橢圓的兩焦點是 $F_1(c,0)$, $F_2(-c,0)$, 而橢圓上的點到這兩焦點的距離和是$2a$,$a\gt c\gt 0$,則橢圓的方程式是 $${x^2\over a^2}+{y^2\over b^2}=1,\quad b=\sqrt{a^2-c^2}$$ (註: 本問題及下面的證明出自牛頓版的高中基礎數學第三冊)
證明: 點 $P(x,y)$ 在橢圓上的充分必要條件是 $${\overline{PF_1}}+{\overline{PF_2}}=2a$$
即$\,\sqrt{(x\!-\!c)^2\!+\!y^2}\!+\!\sqrt{(x\!+\!c)^2\!+\!y^2}\!=\!2a\tag*{(1)}$
$\Rightarrow\,\sqrt{(x\!+\!c)^2\!+\!y^2}\!=\!2a\!-\!\sqrt{(x\!-\!c)^2 \!+\!y^2}\tag*{(2)}$
平方得
$(x\!+\!c)^2\!+\!y^2\!=\!4a^2\!-\!4a\sqrt{(x\!-\!c)^2\!+\!y^2}\!+\! (x\!-\!c)^2\!+\!y^2\tag*{(3)}$
化簡得
$a\sqrt{(x-c)^2+y^2}=a^2-cx\tag*{(4)}$
再平方得
$(a^2\!-\!c^2)x^2\!+\!a^2y^2\!=\!a^2(a^2\!-\!c^2)\tag*{(5)}$
取 $b=\sqrt{a^2-c^2}$
得方程式為 $\displaystyle{x^2\over a^2}+\displaystyle{y^2\over b^2} =1$
一個勝任的教師在講授這個證明的同時就應該提醒並引導他的學生對底下這個疑問 作出思考與回答: 由 (2) 推導到 (3) 及由 (4) 推導到 (5), 因為使用平方操作, 會不會因此產生增根? 也就是 (2) 與 (3), 及 (4) 與 (5), 它們是彼此互為充分必要嗎? 或者說它們在邏輯上是等值嗎?
例2. 當一元二次方程式 $x^2+ax+b=0$ 的兩實根, 其一介於 $-2$ 與 $-1$ 之間, 另一介於1 與2 之間, 求 $(a,b)$ 的範圍。
解(一): 取 $f(x)=x^2+ax+b$
因為一根介於 $-2$ 與 $-1$ 之間, 而另一根介於1 與2 之間$\tag*{(1)}$
所以
$\cases{f(-2)\cdot f(-1)\lt 0\cr f(2)\cdot f(1)\lt 0\cr}\tag*{(2)}$
即
$\cases{(2a-b-4)(a-b-1)\lt 0\cr (2a+b+4)(a+b+1)\lt 0\cr}$
因此點 $(a,b)$ 落在下圖所示之四邊形 $ABCD$ 內。
我們不妨看看對上面例2同樣問題, 學生的解法
解(二): 設 $x^2+ax+b=0$ 的兩實根為 $\alpha$ 與 $\beta$
因此有 $\cases{-2\lt \alpha\lt -1\cr 1\lt \beta\lt 2\cr} \tag*{(1)}$
隨之
$\cases{-1\lt \alpha+\beta\lt 1\cr -4\lt \alpha\beta\lt -1\cr}\tag*{(2)}$
由根與係數關係: $\alpha+\beta=-a$ 及 $\alpha\beta=b$
故得 $\cases{-1\lt a\lt 1\cr -4\lt b\lt -1\cr}$
上面這個解法正確嗎? 我們取滿足答案 $-1\lt a\lt 1$ 及 $-4\lt b\lt -1$ 的一組 $a=-0.6$, $b=-3.15$ 來檢驗看看, 此時方程式為 $x^2-0.6x-3.15=0$, 而它的兩個根中, 一個是 $-1.5$, 另一個是 $2.1$, 其中的 $2.1$ 並未滿足已知的條件, 可見這個解法是有問題, 但是大部份學生因為並未建立省察因果之間關係的思維習慣, 他們看不出錯誤所在, 即使知道可能的錯誤步驟, 也不明白錯誤的原因。其實, 教師稍作引導, 學生將不難發現問題是出在由 (1) 推導到 (2) 這一步驟, 也就是要問: (1) 與 (2) 是邏輯等值嗎? 利用座標平面圖來解 (1) 及 (2) 式, 就能清楚地看出 (2) 只是 (1) 的必要而非充分條件, 換句話說, 滿足 (1) 的固能滿足 (2), 但是滿足 (2) 的不一定能滿足 (1), 因此由 (2) 所導出的結論 $-1\lt a\lt 1$ 及 $-4\lt b\lt -1$ 對原問題的已知部分就不是充分的了。
我常鼓勵學生到黑板上去寫出他們的想法或解法, 供大家評論, 一來我可以清楚學生的思維, 對他們的錯誤給予適時的指正; 一來透過討論, 常常能激盪學生的想像而迸出創造的火花, 另一層意義是我不希望學生只是光會抄襲教師的東西而完全沒有自己的想法。 教師應當多提供機會開發學生自己的潛能, 建立他們對自己的思維的信心。
例3. 設 $abc\not=0$, ${b+c\over a}={c+a\over b}={a+b\over c}=k$, 當 $a+b+c=0$ 時, $k$ 的值是多少?
一位學生拿了他的解法來問我說對不對? 他的解法是這樣子: 由 $$\cases{b+c=ak\cr c+a=bk\cr a+b=ck\cr}\tag*{(1)}$$
以上三式相加得 $$\eqalignno{&2(a+b+c)=(a+b+c)k&(2)\cr &\therefore\qquad 0=0\cdot k\cr}$$
故 $k$ 為任意實數。
我要他把這個解法寫在黑板上讓大家討論看看。
首先我指出說如果答案是正確的話, 那麼取 $k=2$ 檢驗看看會有什麼結果? 此時 $b+c=2a$, 又因為 $a+b+c=0$, 便得到 $a=0$, 這就與問題的假設 $abc\not=0$ 相矛盾, 可知這個解法是有問題。問題出在哪裡? 雖然多數的學生知道一定是由 (1) 推導到 (2) 這個步驟, 但不明白真正的原因。我提醒他們說, 如果取 $\cases{b+3c=ak\cr -c+a=bk\cr a+b=ck\cr}$, 仍然可以導得 $2(a+b+c)=(a+b+c)k$, 可見 (2) 式只是 (1) 式的必要而非充分條件, 兩者並非邏輯等值。因此由 (2) 所推得的結論: $k$ 為任意實數, 其範圍是要比真正的答案大得多。下面是一個正確的解法:
由 $b+c=-a$, 知 ${b+c\over a}=-1$, 同理可得 ${c+a\over b}=-1$ 及 ${a+b\over c}=-1$。
例4. 設 ${\root 4\of x} +{1\over{\root 4 \of x}}=\sqrt 2$, 求 $x$ 的值。
(註: 本題出自牛頓版高中基礎數學第一冊第五章的隨堂練習) 所有的學生都是同一個樣子的解法:
由 ${\root 4\of x}+{1\over{\root 4\of x}}=\sqrt 2$
兩邊平方得 $${\sqrt x}+{1\over {\sqrt x}}+2=2$$ 因此 $${\sqrt x}+{1\over {\sqrt x}}=0$$ $$({\sqrt x})^2+1=0$$ 故 $x=-1$。
得到唯一的解 $-1$, 看來這個解法該沒什麼問題才對吧, 不然的話原問題就會成為無解。 可是問題絕非如此表面的簡單。首先, 我們可以斷定 $\root 4\of x$ 一定不是實數, 否則 $\root 4\of x$ 將會滿足 $|{\root 4\of x}+{1\over{\root 4\of x}}|\ge 2$, 因此 $\root 4\of x$ 是一個虛數, 從而推知 $x$ 應該是一個負實數或是一個虛數, 那麼接著的問題便是: 對於是負實數或是虛數的 $x$, $\root 4\of x$ 的意義是什麼? 當然, 它是 $x$ 的四次方根, 可是四次方根一共有四個, 它指的究竟是哪一個? 這一問題的答案雖已超出高中數學的範圍, 但這並非是重點。如果參考一般的複變書籍, 他們都是以多值函數的觀點來定義 $n$ 次方根, 也就是, 如果 $z$ 是一個負實數或是虛數, 則 ${\root n\of z}=\{\alpha\in{\Bbb C}|\alpha^n=z\}$, 根據這樣的定義, 那麼就有 ${\root 4\of -1} =\{\cos{2k-1\over 4}\pi+i\sin{2k-1\over 4}\pi|\ k=1,2,3,4\}$, 換句話說, $\root 4\of -1$ 指的可以是下列四個虛數中的任何一個: $z_k=\cos{2k-1\over 4}\pi+i\sin{2k-1\over 4}\pi$, $k=1,2,3,4$, 但是 $${1\over z_k}=\cos{2k-1\over 4}\pi-i\sin{2k-1\over 4}\pi$$ 因此 $$z_k+{1\over z_k}=2\cos{2k-1\over 4}\pi,\ k=1,2,3,4$$ 然而, 只有當 $k=1$ 及 $4$ 時, $z_k+{1\over z_k}$ 才會等於 $\sqrt 2$。所以, 對學生們的解法, 教師還是應該向他們指出, 過程之中使用了平方的操作是有可能帶出原方程式的增根, 也就是要提醒他們經由平方的操作把一式推導到另一式時, 要留意兩個式子是否彼此有邏輯等值。
上面所舉的雖然只是幾個例子, 但是從課堂中我們可以瞭解到學生在解題過程中, 往往隨意的使用變換而沒有去留意變換所可能影響到式子與式子之間的因果關係, 這種思維上的盲點也正暴露了他們的邏輯思考的缺乏訓練。 邏輯思考的訓練必須要達到成為思考的習慣, 才能在思維的運用中自然地流露, 而這種訓練絕不是光把「簡易邏輯」當作一項獨立的素材拿來教學就能竟其功, 唯有在平常教師的講課及學生的演習中適時適地的提示, 使學生熟習而在潛移默化之中, 成為他們思維的一種習慣。
---本文作者任教於新竹科學園區實驗高中---