Algebra - pytania 15

ZESTAW 15 1. SCHARAKTERYZOWAĆ ZWIĘŹLE HIERARCHICZNĄ BUDOWĘ WIEDZY ARYSTOTELESA. Wiedza dzieli się na pojęcia i sądy. Poprawne posługiwanie się pojęciami to definiowanie, sądami to dowodzenie. Aby określić jakiekolwiek pojęcie, należy odnieść je do rodzaju bliższego: Definicja = rodzaj bliższy + różnica struktur, np. człowiek = istota żywa + rozumna. Hierarchia pojęć zmierza do tzw. absolutu lub pierwszej przyczyny.
Dowód sądu polega na odnalezieniu dla niego racji, np. Sokrates to człowiek i każdy człowiek jest śmiertelny. Wniosek: Sokrates jest śmiertelny.
Hierarchie
Pojęcia Sądy .............. ..............
.............. ..............
.............. ..............
.............. .............. 2. SFORMUŁOWAĆ PRAWO ROZDZIELNOŚCI DUŻEGO KWANTYFIKATORA WZGLĘDEM ALTERNATYWY I PODAĆ KONTRPRZYKŁAD NA ODWROTNĄ IMPLIKACJĘ. Kontrprzykład: prawda
fałsz
czyli: taka implikacja jest fałszywa, z prawdy nie może wynikać fałsz.
3. PODAJ DEFINICJĘ FUNKCJI KONSEKWENCJI ORAZ WYKAŻ, ŻE „IM WIĘCEJ ZAŁOŻYMY, TYM WIĘCEJ UDOWODNIMY”.
n - długość dowodu
A i - kroki dowodowe
A 1 , A 2 , ..., A n - dowód zdania A
- Im więcej założymy, tym więcej udowodnimy
Dowód: 4. UDOWODNIĆ, ŻE FORMUŁA JEST TWIERDZENIEM KRZ, ORAZ SFORMUŁOWAĆ ZASTOSOWANE TWIERDZENIE O DEDUKCJI.
1. (zał) 2. (zał) 3. (zał niewprost) 4. (XXII', RO) ( ) 5. (A3) 6. (A4) 7. (2, 3, RO) 8. (2, 4, RO) 9. (A5) 10. (7, 9, RO) 11. (4, 10, RO) 12. (1, 11, RO) 13. 8 i 12 sprzeczne 14. (1-13, TDN)
Twierdzenie o dedukcji niewprost: ogólność
... zobacz całą notatkę