elementary logic, puzzles, deduction, semantical metohods, normal forms

Americký logik a filosof Raymond Smullyan je znám především jako autor logických hlavolamů, problémů šachové retrogonální analýzy a různých filosofických esejů. Řada Smullyanových populárních hlavolamů je přístupna českému čtenáři v překladech a jsou proto poměrně dobře dostupné jak vyučujícím logiky, tak studentům. Příspěvek se zaměřuje na Smullyanovy logické hlavolamy a na to, jak mohou pomoci při výuce logiky, přinejmenším pro její zpestření. Příspěvek se zaměřuje na tři oblasti. První oblast představuje výuka tabulkové metody, druhá problematiku přirozené dedukce, třetí oblastí je problematika sestavování normálních disjunktivních a konjunktivních forem. Ve všech těchto oblastech lze sestavovat úkoly různého stupně obtížnosti. Tyto úlohy nám tak nemusí sloužit jen jako popularizace a zpestření výuky logiky, ale podaří-li se nám je využít systematicky, můžeme s jejich pomocí sestavit zábavný a netriviální kurz elementární logiky.

American logician and philosopher Raymond Smullyan is well known as the autor of the large amount of logical puzzles, of the chess retrogade analysis problems, and of several philosophical essays. Many of the Smullyan?s logical puzzles are translated to Czech and are well accessible to both, teachers and students. The paper describes three possible areas of their use in teaching logic: firstly for practicing the truthtables; secondly for illustrating the natural deduction; and thirdly to construe normal disjunctive and conjuntive forms. In all these areas we are able to construct exercises of various degrees of complexity: from very easy up to the demanding ones. Using such exercise is therefore not only the instrument how to make teaching more popular and vivid, but also to produce amusing though nontrivial course of elementary logic.