Bez tytułu

Logika - Egzamin

4 ćwiczenia - program wykłady - program 4 Jan Przybyłowski

Z. Zimióski „Logika praktyczna¹'

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