Ostatnie poprawki: 27 czerwca 2008

SAMOUCZEK LOGIKI ZDAŃ I LOGIKI KWANTYFIKATORÓW

DLA HUMANISTÓW, PRAWNIKÓW I INNYCH AMATORÓW

 

 

© Katarzyna Paprzycka

 

kpaprzycka@uw.edu.pl

U podstaw Samouczka leży przekonanie, że wykład jest najgorszą możliwą formą nauczania logiki na etapie wstępnym. Nauka logiki jest jak nauka pływania. Wykład, na którym wykładowca choćby w najbardziej porywający i dowcipny sposób szczegółowo opisuje, jak się pływa – które mięśnie i w jakiej kolejności się zginają, a które rozkurczają – musi się wydać nie tylko nudny, ale też nieskuteczny – student rzucony pod koniec semestru na głębokie wody, po prostu utonie. To samo dzieje się na wykładach logiki, które wydają się studentom nudne, na dodatek większość studentów tonie na egzaminie końcowym. Pływania nie naucza się oczywiście na wykładach, lecz na basenie, gdzie uczący się ćwiczą, ćwiczą, ćwiczą pod instruktażem. – Zgadliście! Metoda Samouczka polega na ćwiczeniu, ćwiczeniu, ćwiczeniu – pod instruktażem Samouczka. Samouczek ma pełnić rolę osobistego trenera raczej niż wykładowcy.

Dla kogo jest napisany Samouczek?

Czy lubicie krzyżówki, łamigłówki lub zabawy logiczne?

Czy kiedykolwiek na wykładzie/konwersatoriach logiki lub po przeczytaniu podręcznika logiki mieliście wrażenie, że rozumiecie wszystko (lub prawie wszystko), a byliście bezradni przy rozwiązywaniu zadań lub na egzaminach?

Czy odczuwacie niechęć do symboli matematycznych?

Jeżeli odpowiedzieliście na choć jedno z powyższych pytań pozytywnie, to Samouczek może pomóc Wam w nauczeniu się logiki.

 

 

Bardzo dziękuję Beacie Kędzierskiej, Agnieszce Modelewskiej, Monice Mościńskiej, Marcie Odrzywolskiej, Markowi Pustule, Katarzynie Późniak, Magdalenie Różyckiej, Joannie Ruszczak, Grażynie Świerad, Mariuszowi Wilkowi za wychwycenie błędów w Samouczku. Z pewnością jest ich więcej i będę niezmiernie wdzięczna miłym ich poszukiwaczom za podzielenie się ze mną informacją, gdzie się znajdują. Bardzo proszę o kontakt e-mailem, lecz proszę (1) nie używać polskich liter (Eudora ich niestety nie docenia), oraz (2) używać tylko znaczków ASCII zamiast symboli logicznych:

^     zamiast symbolu koniunkcji Ů                                                    v   zamiast symbolu alternatywy  Ú

->  zamiast symbolu implikacji ®                                                      =   zamiast symbolu równoważności  ş

 

logika zdań, logika kwantyfikatorów, logika dla każdego, logika dla humanistów, logika dla prawników, logika dla filozofów, logika dla żółtodzióbów, logika dla licealistów, logika dla nielogików, logika dla opornych, wykłady z logiki, logika zdań, logika kwantyfikatorów, dedukcja naturalna, uczenie logiki, logika dla licealistów, logika dla żółtodzióbów, logika dla mas, logika dla nielogików, logika dla prawników, logika dla filozofów, uczenie dowodzenia, uczenie dedukcji naturalnej, Barbara Stanosz, Ćwiczenia z logiki, Rozwiązania ćwiczeń Bergmann, Moor, Nelson, The Logic Book,

logika zdań, logika kwantyfikatorów, logika dla każdego, logika dla humanistów, logika dla prawników, logika dla filozofów, logika dla żółtodzióbów, logika dla licealistów, logika dla nielogików, logika zdań, logika kwantyfikatorów, logika dla każdego, logika dla humanistów, logika dla prawników, logika dla filozofów, logika dla żółtodzióbów, logika dla licealistów, logika dla nielogików, logika zdań, logika kwantyfikatorów, logika dla każdego, logika dla humanistów, logika dla prawników, logika dla filozofów, logika dla żółtodzióbów, logika dla licealistów, logika dla nielogików, logika zdań, logika kwantyfikatorów, logika dla każdego, logika dla humanistów, logika dla prawników, logika dla filozofów, logika dla żółtodzióbów, logika dla licealistów, logika dla nielogików,

Temat 0. Wstęp, bez którego ani rusz

 

ogika zdań, logika kwantyfikatorów, logika dla każdego, logika dla humanistów, logika dla prawników, logika dla filozofów, logika dla żółtodzióbów, logika dla opornych, logika dla licealistów, logika dla nielogików, logika zdań, logika kwantyfikatorów, logika dla każdego, logika dla humanistów, logika dla opornych, logika dla prawników, logika dla filozofów, logika dla żółtodzióbów, logika dla licealistów, logika dla nielogików, logika zdań, logika dla opornych, logika kwantyfikatorów, logika dla każdego, logika dla humanistów, logika dla prawników, logika dla filozofów, logika dla żółtodzióbów, logika dla opornych, logika dla licealistów, logika dla nielogików, logika zdań, logika kwantyfikatorów, logika dla każdego, logika dla humanistów, logika dla prawników, logika dla filozofów, logika dla żółtodzióbów, logika dla opornych, logika dla licealistów, logika dla nielogików, logika zdań, logika kwantyfikatorów, logika dla każdego, logika dla humanistów, logika dla prawników, logika dla filozofów, logika dla żółtodzióbów, logika dla opornych, logika dla licealistów, logika dla nielogików, logika zdań, logika kwantyfikatorów, logika dla każdego, logika dla humanistów, logika dla prawników, logika dla filozofów, logika dla żółtodzióbów, logika dla opornych, logika dla opornych, logika dla licealistów, logika dla nielogików, logika zdań, logika kwantyfikatorów, logika dla każdego, logika dla humanistów, logika dla prawników, logika dla filozofów, logika dla żółtodzióbów, logika dla opornych, logika dla licealistów, logika dla nielogików, logika zdań, logika kwantyfikatorów, logika dla każdego, logika dla humanistów, logika dla prawników, logika dla filozofów, logika dla żółtodzióbów, logika dla opornych, logika dla licealistów, logika dla nielogików, logika zdań, logika kwantyfikatorów, logika dla każdego, logika dla humanistów, logika dla prawników, logika dla filozofów, logika dla żółtodzióbów, logika dla opornych, logika dla licealistów, logika dla nielogików, logika zdań, logika kwantyfikatorów, logika dla każdego, logika dla humanistów, logika dla opornych, logika dla prawników, logika dla filozofów, logika dla żółtodzióbów, logika dla opornych, logika dla licealistów, logika dla nielogików, logika zdań, logika kwantyfikatorów, logika dla każdego, logika dla humanistów, logika dla opornych, logika dla prawników, logika dla filozofów, logika dla żółtodzióbów, logika dla opornych, logika dla licealistów, logika dla nielogików, ogika zdań, logika kwantyfikatorów, logika dla każdego, logika dla humanistów, logika dla prawników, logika dla filozofów, logika dla żółtodzióbów, logika dla opornych, logika dla licealistów, logika dla nielogików, logika zdań, logika kwantyfikatorów, logika dla każdego, logika dla humanistów, logika dla opornych, logika dla prawników, logika dla filozofów, logika dla żółtodzióbów, logika dla licealistów, logika dla nielogików, logika zdań, logika dla opornych, logika kwantyfikatorów, logika dla każdego, logika dla humanistów, logika dla prawników, logika dla filozofów, logika dla żółtodzióbów, logika dla opornych, logika dla licealistów, logika dla nielogików, logika zdań, logika kwantyfikatorów, logika dla każdego, logika dla humanistów, logika dla prawników, logika dla filozofów, logika dla żółtodzióbów, logika dla opornych, logika dla licealistów, logika dla nielogików, logika zdań, logika kwantyfikatorów, logika dla każdego, logika dla humanistów, logika dla prawników, logika dla filozofów, logika dla żółtodzióbów, logika dla opornych, logika dla licealistów, logika dla nielogików, logika zdań, logika kwantyfikatorów, logika dla każdego, logika dla humanistów, logika dla prawników, logika dla filozofów, logika dla żółtodzióbów, logika dla opornych, logika dla opornych, logika dla licealistów, logika dla nielogików, logika zdań, logika kwantyfikatorów, logika dla każdego, logika dla humanistów, logika dla prawników, logika dla filozofów, logika dla żółtodzióbów, logika dla opornych, logika dla licealistów, logika dla nielogików, logika zdań, logika kwantyfikatorów, logika dla każdego, logika dla humanistów, logika dla prawników, logika dla filozofów, logika dla żółtodzióbów, logika dla opornych, logika dla licealistów, logika dla nielogików, logika zdań, logika kwantyfikatorów, logika dla każdego, logika dla humanistów, logika dla prawników, logika dla filozofów, logika dla żółtodzióbów, logika dla opornych, logika dla licealistów, logika dla nielogików, logika zdań, logika kwantyfikatorów, logika dla każdego, logika dla humanistów, logika dla opornych, logika dla prawników, logika dla filozofów, logika dla żółtodzióbów, logika dla opornych, logika dla licealistów, logika dla nielogików, logika zdań, logika kwantyfikatorów, logika dla każdego, logika dla humanistów, logika dla opornych, logika dla prawników, logika dla filozofów, logika dla żółtodzióbów, logika dla opornych, logika dla licealistów, logika dla nielogików,

część PIERWSZA: LOGIKA ZDAŃ

 

Temat 1. O wnioskowaniu

            Rozwiązania

 

Temat 2. Pięć spójników zdaniowych

            Rozwiązania

 

Temat 3. Symbolizacje I

            Rozwiązania

 

Temat 4. Symbolizacje II

            Rozwiązania

 

Temat 5. Określanie wartości logicznej zdań

            Rozwiązania

 

            Pomoce do ćwiczeń w Tematach 6-8:

                                matryce 2-rzędowe

                                matryce 4-rzędowe

                                matryce 8-rzędowe

 

Temat 6. Równoważność logiczna zdań

            Rozwiązania

 

Temat 7. Tautologie, kontrtautologie i schematy logicznie niezdeterminowane

            Rozwiązania

 

Temat 8. Skrócona metoda zerojedynkowa

            Rozwiązania

 

Temat 9. Inne zastosowania metody zerojedynkowej: logiczna prawidłowość wnioskowań; logiczne wynikanie; wzajemna niezgodność, wzajemne dopełnianie się, wzajemna sprzeczność, logiczna niezależność

            Rozwiązania

 

Temat 10. Dowodzenie I: Reguły ·Wpr, ·Elim, ®Elim

Rozwiązania 

 

Temat 11. Dowodzenie II: Reguły şElim, ÚWpr, MTP

            Rozwiązania

 

Temat 12. Dowodzenie III: Konstrukcyjne reguły inferencji, ®Wpr, R

            Rozwiązania

 

Temat 13. Dowodzenie IV: Konstrukcyjne reguły şWpr, ÚElim, ~Wpr, ~Elim

            Rozwiązania

 

Temat 14. Dowodzenie V: Wynikanie logiczne, równoważność logiczna, dowodzenie tautologii

            Rozwiązania

 

Temat 15. Dowodzenie VI: Wtórne reguły inferencji i reguły podstawiania

            Rozwiązania

 

Zakończenie: Ograniczenia logiki zdań

 

część DRUGA: LOGIKA KWANTYFIKATORÓW

 

I. LOGIKA PREDYKATÓW

 

Temat 16. Podstawowe pojęcia logiki kwantyfikatorów

            Rozwiązania

 

Temat 17. Symbolizacja zdań języka naturalnego I (nowy 25.04.2008)

            Rozwiązania

 

Temat 18. Dowodzenie I: Reguły "Elim oraz $Wpr

            Rozwiązania

 

Temat 19. Dowodzenie II: Reguła "Wpr

            Rozwiązania

 

Temat 20. Dowodzenie III: Reguła $Elim

            Rozwiązania

 

Temat 21. Dowodzenie IV: Tautologie logiki predykatów

            Rozwiązania

 

Temat 22. Symbolizacja zdań języka naturalnego II

            Rozwiązania

 

II. LOGIKA RELACJI

 

Temat 23. Symbolizacja zdań języka naturalnego I

            Rozwiązania

 

Temat 24. Dowodzenie

            Rozwiązania

 

Temat 25. Symbolizacja zdań języka naturalnego II

            Rozwiązania

 

III. FUNKTOR IDENTYCZNOśCI

 

Temat 26. Symbolizacja zdań języka naturalnego I

            Rozwiązania

 

Temat 27. Dowodzenie

            Rozwiązania

 

Wersja wstępna Części II

 

LOGIKA KWANTYFIKATORÓW I: LOGIKA PREDYKATÓW

 

Temat 16. Podstawowe pojęcia logiki kwantyfikatorów

            Rozwiązania

 

Temat 17. Symbolizacja zdań języka naturalnego I

            Rozwiązania

 

Temat 18. Dowodzenie I: Reguły "Elim oraz $Wpr

            Rozwiązania

 

Temat 19. Dowodzenie II: Reguła "Wpr

            Rozwiązania

 

Temat 20. Dowodzenie III: Reguła $Elim

            Rozwiązania

 

Temat 21. Dowodzenie IV: Tautologie logiki predykatów

            Rozwiązania

 

Temat 22. Symbolizacja zdań języka naturalnego II

            Rozwiązania

 

 LOGIKA KWANTYFIKATORÓW II: LOGIKA RELACJI

 

Temat 23. Symbolizacja zdań języka naturalnego I

            Rozwiązania

 

Temat 24. Dowodzenie

            Rozwiązania

 

Temat 25. Symbolizacja zdań języka naturalnego II

            Rozwiązania

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

statystyka