本文作者：李顯梅 單位：湖北省旅游學校

老師該如何引導文科生攻克公式符號這一堡壘呢？首先，充分運用例證讓學生理解邏輯形式的涵義。比如，對于SAP，可以作如下講解：以“所有的烏鴉都是黑的”為例，這是一個直言命題，由四部分構成：“所有”——量項；“烏鴉”——主項；“都是”——聯項；“黑的”——謂項。其中，量項與聯項是常項，邏輯學中用“A”表示“所有是”。

主項記作S，謂項記作P，因此，上述判斷的邏輯形式就是：SAP。其次，要求學生牢記邏輯形式的公式符號。邏輯學是以推理的研究為中心的思維科學，而推理就是公式符號的運行過程，因此，要想準確地進行推理，首先必須得熟練掌握公式符號。公式符號往往是約定俗成的結果。既然如此，熟記公式符號就勢在必行。在這方面，為了更好地督促學生，老師可以不定期地檢查他們的背誦情況。

邏輯學是一門連貫性很強的學科，注重文科生觸類旁通思維習慣的培養往往能使教學達到事半功倍的效果。比如，“負復合命題及其等值命題”，這是教材中的一大難點，如何才能讓學生從根本上掌握它呢？我們可以從兩方面入手：老師深入、透徹地講解該知識點。以“負聯言命題及其等值命題”為例，首先，老師應引導學生回顧聯言命題的邏輯性質和真值表：聯言命題為真，它的所有支命題（p、q）為真；反過來，所有聯言支命題為真（p、q），則聯言命題為真；只要p、q有一個為假，那么整個聯言命題為假。一句話，聯言命題為真當且僅當所有的支命題同時為真。其次，老師要讓學生弄清“負”的含義。

“負”，否定的意思，負聯言命題就是否定一個聯言命題，亦即斷定該聯言命題為假。那么，怎樣才能使一個聯言命題為假呢？根據聯言命題的邏輯性質，只需“聯言支”（p、q）中至少有一個為假就行了，若進一步轉換即：非p、非q中至少有一個為真，不排除兩者同真的可能，顯然，非p和非q構成了相容選言關系，也就是，當非p相容析取非q（即或者非p，或者非q）時，p和q組成的聯言命題為假。最后，老師還需重申什么是“等值”。所謂命題間的等值關系，即兩個命題真假情況一致。這時候，我們要借助真值表，經列表顯示，“或者非p，或者非q”和“并非‘p并且q’”的真假一致，故它們是等值關系。這樣，我們就初步完成了對“負聯言命題及其等值命題”的邏輯闡釋。

讓學生在練習中靈活使用該知識點。比如，《1991年下半年山東省高等教育自學考試邏輯學試題》中有一個多項選擇題：當“或者非p，或者非q”取假值時，下列形式中取值為真的是（）①如果p，那么非q；②只有非p，才q；③或者p，或者q；④p并且q；⑤當且僅當p，才q解答此題，當從已知條件入手。“‘或者非p，或者非q’取假值”，也就是“并非‘或者非p，或者非q’”取真值，這是一個負相容選言命題，其等值命題是“非非p并且非非q”，即“p并且q”，該命題為真，因此，p真并且q也真。當p真并且q也真時，選項③、④、⑤取值為真。顯然，對負復合命題等值命題的熟練運用，使得該題的解答過程簡潔而又準確。

習慣譬如，“有的”這個量項，我們日常生活中常用之指稱“部分”或“僅僅有些”，因而一般講“有的是什么”往往意味著“有的不是什么”。但是，作為特稱量項的“有的”只是表示在一類事物中有對象具有或不具有某種性質，至于這一類事物中未被反映的對象的情況如何，它沒有作出明確的表示。因此，量項“有的”應是“至少有一個”的意思，客觀上可以是“有一個”，“有幾個”，乃至于可以是“所有”。當然，本文僅是就文科生邏輯教學過程中普泛化的問題進行了初步探討，而在實際教學的過程中，還會遇到許多難關，它需要我們有針對性地去解決，在此恕不一一列舉了。