Ostatnie
poprawki: 27 czerwca 2008
|
SAMOUCZEK LOGIKI ZDAŃ I LOGIKI
KWANTYFIKATORÓW DLA HUMANISTÓW,
PRAWNIKÓW I INNYCH AMATORÓ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
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 Temat 2. Pięć
spójników zdaniowych Temat 3. Symbolizacje
I Temat 4. Symbolizacje
II Temat 5. Określanie
wartości logicznej zdań
Pomoce do
ćwiczeń w Tematach 6-8: Temat 6. Równoważność
logiczna zdań Temat 7. Tautologie,
kontrtautologie i schematy logicznie
niezdeterminowane Temat 8. Skrócona metoda zerojedynkowa Temat 9. Inne
zastosowania metody zerojedynkowej: logiczna prawidłowość
wnioskowań; logiczne wynikanie; wzajemna niezgodność, wzajemne
dopełnianie się, wzajemna sprzeczność, logiczna
niezależność Temat 10. Dowodzenie I: Reguły ·Wpr, ·Elim, ®Elim Temat 11. Dowodzenie II: Reguły şElim, ÚWpr, MTP Temat 12. Dowodzenie III: Konstrukcyjne reguły inferencji, ®Wpr, R Temat 13. Dowodzenie IV: Konstrukcyjne reguły şWpr, ÚElim, ~Wpr, ~Elim Temat 14. Dowodzenie V: Wynikanie logiczne, równoważność logiczna, dowodzenie tautologii Temat 15. Dowodzenie VI: Wtórne reguły inferencji i reguły podstawiania Zakończenie: Ograniczenia logiki zdań |
część DRUGA: LOGIKA
KWANTYFIKATORÓW I. LOGIKA PREDYKATÓW Temat 16. Podstawowe pojęcia logiki kwantyfikatorów Temat 17. Symbolizacja zdań języka naturalnego I (nowy 25.04.2008) 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 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 Temat 17. Symbolizacja zdań języka naturalnego I Temat 18. Dowodzenie I: Reguły "Elim oraz $Wpr Temat 19. Dowodzenie II: Reguła "Wpr Temat 20. Dowodzenie III: Reguła $Elim 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 Temat 24. Dowodzenie Rozwiązania Temat 25. Symbolizacja zdań języka naturalnego II
Rozwiązania |
|
|