1 LÔØI NOÙI ÑAÀU (Baûn in löu haønh noäi boä naêm 2004) Giaùo trình naøy ñöôïc bieân soaïn cho sinh vieân baäc ñaïi hoïc thuoäc caùc ngaønh khoa hoïc xaõ hoäi vaø nhaân vaên − laø ñoái töôïng giaûng daïy cuûa taùc giaû taïi Tröôøng Ñaïi hoïc Sö phaïm TP Hoà Chí Minh. Noäi dung kieán thöùc ñöôïc trình baøy ôû ñaây laø logic hoïc hình thöùc (logic löôõng trò), nhaèm cung caáp cho sinh vieân nhöõng kieán thöùc cô baûn ban ñaàu veà logic hoïc, laøm cô sôû ñeå töø ñoù sinh vieân, neáu quan taâm, coù theå ñi saâu nghieân cöùu caùc khuynh höôùng khaùc nhau cuûa logic hoïc hieän ñaïi. Bieân soaïn giaùo trình naøy, chuùng toâi coá gaéng baùm saùt Chöông trình giaùo duïc ñaïi hoïc ñaïi cöông do Boä Giaùo duïc vaø Ñaøo taïo ban haønh naêm 1995, hoïc phaàn Nhaäp moân Logic hoïc, maõ soá 051 (TR) 201 vaø Chöông trình thi tuyeån nghieân cöùu sinh vaø cao hoïc, moân thi Logic hoïc (moân cô baûn cho caùc ngaønh Quaûn lí coâng taùc vaên hoùa, giaùo duïc) cuûa Tieåu ban xaây döïng vaø bieân soaïn ñeà cöông moân thi tuyeån sau ñaïi hoïc – Boä Giaùo duïc vaø Ñaøo taïo ban haønh naêm 1998. Nhö vaäy, nhöõng kieán thöùc logic hoïc ñöôïc trình baøy trong giaùo trình nhaäp moân naøy chuû yeáu laø cuûa logic hoïc truyeàn thoáng. Ñeå vieäc trình baøy vaø lónh hoäi ñöôïc roõ raøng, chaët cheõ, giaùo trình naøy cuõng vaän duïng moät ít kí hieäu cuûa logic toaùn hoïc. Tuy nhieân, nhö ñaõ noùi, do ñoái töôïng laø sinh vieân thuoäc caùc ngaønh khoa hoïc xaõ hoäi vaø nhaân vaên neân nhöõng kí hieäu toaùn hoïc ñöôïc duøng ôû ñaây chæ laø nhöõng kí hieäu töông ñoái quen thuoäc maø baát cöù sinh vieân naøo cuõng ñaõ töøng ñöôïc laøm quen ôû chöông trình toaùn hoïc baäc phoå thoâng. Vaø vôùi muïc ñích giuùp sinh vieân thuaän lôïi khi tham khaûo caùc taøi lieäu khaùc nhau, trong giaùo trình, beân caïnh thuaät ngöõ ñöôïc choïn duøng, khi caàn thieát, chuùng toâi seõ chuù thích theâm nhöõng thuaät ngöõ khaùc töông öùng. Trong laàn taùi baûn naøy, giaùo trình ñaõ coù moät soá chænh lí so vôùi laàn in ñaà