Logika - Egzamin
4 ćwiczenia - program wykłady - program 4 Jan Przybyłowski
Z. Zimióski „Logika praktyczna1'
1. Logika formalna: (Przybyłowski)
- zdanie w sensie logicznym (co to jest) - prawda, fałsz
- nazwy = co to jest + nazwy + typy (zakresy wg Podręcznika)
- podstawowe typy zdań -> negacja, koniunkcja, implikacja, alternatywa (zwykła, rozłączna), równoważność, dysfunkcje
!!- tabele wartości logicznych
!!- reguły logiczne (kwantyfikatory) bez kwanty, [sorki ale tak jest napisane.....]
- sprawdzanie prawdziwości wyrażeń (metoda „0,1" i skrócona)
- sprawdzanie poprawności metodą Venna (? © ) i strukturalną
- metoda - co to jest i jak przebiega
2. Teoria
- dowodzenie - co to jest?
-jak dowodzi się wprost?
-jak dowodzi się nie wprost? (napisać i wyjaśnić)
- co to jest sprawdzanie? => schematy logiczne (weryfikacji i falsyflkacji)
3. Co to jest wyjaśnianie? Podać schemat
4. Formułowanie hipotez (podać wiadomości ogólne - co to hipoteza? Podać i wyjaśnić schemat procesu formułow-ania hipotezy?)
5. Spraw-dzanie hipotez - 3 odpowiednie wzory oraz je wyjaśnić
6. Klasyfikacja rozumow*ań wg Przybyło w- ski eg o (redukcja i dedukcja)
7. Teoria pytań i odpowiedzi
8. Teoria dyskusji i zasady dyskutow^ania (dyskusja i jej rodzaje, zasady prowadzenia i uczestnictwa w dyskusji, problemy teoretyczne i praktyczne, dowidzenie i argument owianie, umiejętność przekonywania, techniki argumentacji, zarzuty w dyskusji, nielojalne fortele/chwyty ery styczne (? © )
Bez rachunku relacji i kwantyfikatorow, bez metody „0, 1", i skrócona (bez tautologii) , spr. Prawdziwości
Będzie: 2 przykłady wprost i nie wprost, argumentacja + techniki argumentacji