Za nami pierwszy etap XII Konkursu Logicznego. Mamy nadzieję, że przygotowanie się do tego etapu przysporzyło Wam wiele przyjemności intelektualnej i rozszerzyło Waszą wiedzę oraz, przede wszystkim, pomogło ćwiczyć Wasze sprawności logiczne. Niektórzy z Was przeszli ten etap konkursu, kwalifikując się do finału. Innych z Was, choć tym razem się nie udało, zapraszamy już dziś do udziału w konkursie w przyszłym roku.
Niniejszym prezentujemy II część materiałów konkursowych. Stanowi ona rozszerzenie tematyki poruszonej w części I. Tam, jak pamiętacie, zajmowaliśmy się zadaniami w zakresie klasycznego rachunku zdań i elementarnego rachunku nazw. Jest to podstawa całej logiki klasycznej. Jednak nie każde poprawne rozumowanie da się uzasadni¢ wyłącznie w oparciu o klasyczny rachunek zdań. Dlatego zaprezentujemy tu odrobinę wiedzy na temat węższego rachunku predykatów – systemu logiki nabudowanego nad rachunkiem zdań. Oczywiście wszystko, czego wcześniej nauczyliście się z logiki, nadal obowiązuje. Podczas testu finałowego możecie więc spodziewać się zadań z zakresu materiału, którego dotyczył etap szkolny wzbogaconego o kilka zadań z zakresu omówionego w niniejszej części.
Kliknij w okładkę, aby pobrać skrypt w pliku pdf.