Algebra - pytania 3

ZESTAW 3 1. SFORMUŁOWAĆ NAJWYŻSZE PRAWA MYŚLENIA ARYSTOTELESA
Zasada tożsamości - A=A;
Zasada sprzeczności:
wersja ontologiczna - nie może być jakoś i zarazem tak nie być,
wersja logiczna - piętnuje zdania sprzeczne, nie można twierdzić i zarazem zaprzeczać,
wersja psychologiczna - nie podobne jest by ktokolwiek był przekonany, że jakoś tam jest a zarazem nie jest.
Zasada wyłączonego środka - z dwóch zdań sprzecznych min. 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ę