ZESTAW 3 1. SFORMUŁOWAĆ NAJWYŻSZE PRAWA MYŚLENIA ARYSTOTELESA Zasada tożsamości - wszelkie A jest A (A=A); Zasada sprzeczności: wersja ontologiczna (dotycząca bytu) - nie może być jakoś i zarazem tak nie być, wersja logiczna (dot. sądów, zdań) - wypowiedzi, które piętnują zdania sprzeczne. Nie jest możliwe zgodnie z prawdą mówić sprzecznie o tym samym. wersja psychologiczna (dot. uczuć, przekonań, emocji) - Niemożliwe, że ktoś jest o czymś przekonany i nie żywi tego przekonania jednocześnie. Zasada wyłączonego środka - nie ma nic pomiędzy prawdą, a fałszem; Każdy sąd jest prawdziwy lub fałszywy. To samo ale inaczej napisane… niewielkie różnice: Najwyższe prawa myślenia Arystotelesa to tzw. hierarchia sądów (część hierarchii wiedzy). Zasada tożsamości: „ Wszelkie A jest A” (A=A) lub „cokolwiek jest prawdziwe, musi zgadzać się z sobą samym”. Zasada sprzeczności: Wersja ontologiczna (dot. bytu) - nie może być jakoś i zarazem tak nie być, Wersja logiczna (dot. sądów) - wszelkie wypowiedzi piętnujące zdania sprzeczne ~(p ^ ~p), nie można twierdzić i zarazem zaprzeczać, niemożliwe jest zgodnie z prawdą mówić o czymś sprzecznym, Wersja psychologiczna (dot. uczuć, przekonań) - niepodobne, by ktoś był jednocześnie o czymś przekonany i nie przekonany. Zasada wyłączonego środka: Nie ma nic pomiędzy prawdą a fałszem p v ~p (dwuwartościowość logiki), z dwóch zdań sprzecznych minimum jedno jest prawdziwe. 2. PODAĆ DEFINICJĘ FUNKCJI KONSEKWENCJI, WYMIENIĆ ZNANE WŁASNOŚCI ORAZ UDOWODNIĆ WYBRANĄ. n - długość dowodu
A i - kroki dowodowe
A 1 , A 2 , ..., A n - dowód zdania A
Własności Cn:
Dowód wybranej:
3. W ALGEBRZE ZBIORÓW SFORMUŁOWAĆ PRAWA DE MORGANA ORAZ SPRAWDZIĆ JEDNO.
Dowieść jednego:
4. KORZYSTAJĄĆ Z TW. O DEDUKCJI, PODAĆ DOWÓD FORMUŁY. [za rozwiązanie dziękuję Marcinowi Wątorkowi]
1. (zał) 2. (zał) 3. (tw. pomocnicze)
4. (2, 3, RO)
5. (1, 4, RO)
6. (1-5, TDW)
... zobacz całą notatkę
Komentarze użytkowników (0)