Tautologie:
+) (p=>q)(-q=>-p)
+) formuła p NOR p -p
+) dla zbiorów A,B,C zachodzi Au(BnC)-(AuB)n(AuC)
+) formuła ExeX:[fi(x)vY(x)]ExcX | fi(x) v ?xcX | fi(x)
Niech dla AcN prawdziwe będzie zdanie Kea->K+1eA:
+) {3,4,5) c A
+) {4,6,8,…} c A
Iniekcja jest to funkcja X->Y mająca następującą właściwość
+) dla każdego zb. skończonego X->Y liczba injekcji jest równa licz. bijekcji
+) dla skończonych zb. X i Y licz. zb. X jest nie większa niż licz. zb. Y
+) istnieje injekcja zbioru liczb nat. w zbior liczb nieparzystych dodatnich
Surjekcja jest to funkcja X->Y
+) może być bijekcją
+) istnieje surjekcja zbioru liczb parzystych w zbiór liczb naturalnych
Niech |X|=m oraz |Y|=n
+) m!{n/m} jest równe liczbie surjekcji f: Y->X
+) 2^m+n jest równe liczbie wszystkich relacji określonych na zbiorach Xi Y
+) n^m jest równe liczbie injekcji f:X->Y o ile istnieją
+) n^m(albo oo ?) jest równe liczbie wszystkich funkcji X->Y
Prawdziwe jest następujące zdanie:
+) (6 / 4 2) jest równe liczbie dwuelementowych podzbiorów zbioru 6el.
+) (8 / 4) jest równa liczbie wszystkich rozwiązań równania…
+) <5/3> jest równe liczbie permutacji zbioru pięcioelementowego zaw..
Zasada ind. mat. obejmuje warunek początkowy oraz implikację.
+) wykaz. prawdz. war. pocz. a nast. prawdz. implikacji
+) wykaz. prawdz. war. pocz. a nast. prawdz. nastę. implikacji przy
założeniu że poprzednik implikacji jest prawdziw
Niech |X|=m oraz |Y|=n to... bijekcja…
+) dla m=n liczba bijekcji wynosi n!
+) dla skończ. zb. x,y liczba el. x=y
Zadanie z potęgą malejącą:
+) licz. zb. wszystkich funkcji przekszt. zbiór n-elementowy w zb. m-el.
+) liczbę różnych rozmieszczeń n przedmiotów w m pudełkach
Liczba suriekcji
Tautologie:
+) (p=>q)(-q=>-p)
+) formuła p NOR p -p
+) dla zbiorów A,B,C zachodzi Au(BnC)-(AuB)n(AuC)
+) formuła ExeX:[fi(x)vY(x)]ExcX | fi(x) v ?xcX | fi(x)
Niech dla AcN prawdziwe będzie zdanie Kea->K+1eA:
+) {3,4,5) c A
+) {4,6,8,…} c A
Iniekcja jest to funkcja X->Y mająca następującą właściwość
+) dla każdego zb. skończonego X->Y liczba injekcji jest równa licz. bijekcji
+) dla skończonych zb. X i Y licz. zb. X jest nie większa niż licz. zb. Y
+) istnieje injekcja zbioru liczb nat. w zbior liczb nieparzystych dodatnich
Surjekcja jest to funkcja X->Y
+) może być bijekcją
+) istnieje surjekcja zbioru liczb parzystych w zbiór liczb naturalnych
Niech |X|=m oraz |Y|=n
+) m!{n/m} jest równe liczbie surjekcji f: Y->X
+) 2^m+n jest równe liczbie wszystkich relacji określonych na zbiorach Xi Y
+) n^m jest równe liczbie injekcji f:X->Y o ile istnieją
+) n^m(albo oo ?) jest równe liczbie wszystkich funkcji X->Y
Prawdziwe jest następujące zdanie:
+) (6 / 4 2) jest równe liczbie dwuelementowych podzbiorów zbioru 6el.
+) (8 / 4) jest równa liczbie wszystkich rozwiązań równania…
+) <5/3> jest równe liczbie permutacji zbioru pięcioelementowego zaw..
Zasada ind. mat. obejmuje warunek początkowy oraz implikację.
+) wykaz. prawdz. war. pocz. a nast. prawdz. implikacji
+) wykaz. prawdz. war. pocz. a nast. prawdz. nastę. implikacji przy
założeniu że poprzednik implikacji jest prawdziw
Niech |X|=m oraz |Y|=n to... bijekcja…
+) dla m=n liczba bijekcji wynosi n!
+) dla skończ. zb. x,y liczba el. x=y
Zadanie z potęgą malejącą:
+) licz. zb. wszystkich funkcji przekszt. zbiór n-elementowy w zb. m-el.
+) liczbę różnych rozmieszczeń n przedmiotów w m pudełkach
Tautologie:
+) (p=>q)(-q=>-p)
+) formuła p NOR p -p
+) dla zbiorów A,B,C zachodzi Au(BnC)-(AuB)n(AuC)
+) formuła ExeX:[fi(x)vY(x)]ExcX | fi(x) v ?xcX | fi(x)
Niech dla AcN prawdziwe będzie zdanie Kea->K+1eA:
+) {3,4,5) c A
+) {4,6,8,…} c A
Iniekcja jest to funkcja X->Y mająca następującą właściwość
+) dla każdego zb. skończonego X->Y liczba injekcji jest równa licz. bijekcji
+) dla skończonych zb. X i Y licz. zb. X jest nie większa niż licz. zb. Y
+) istnieje injekcja zbioru liczb nat. w zbior liczb nieparzystych dodatnich
Surjekcja jest to funkcja X->Y
+) może być bijekcją
+) istnieje surjekcja zbioru liczb parzystych w zbiór liczb naturalnych
Niech |X|=m oraz |Y|=n
+) m!{n/m} jest równe liczbie surjekcji f: Y->X
+) 2^m+n jest równe liczbie wszystkich relacji określonych na zbiorach Xi Y
+) n^m jest równe liczbie injekcji f:X->Y o ile istnieją
+) n^m(albo oo ?) jest równe liczbie wszystkich funkcji X->Y
Prawdziwe jest następujące zdanie:
+) (6 / 4 2) jest równe liczbie dwuelementowych podzbiorów zbioru 6el.
+) (8 / 4) jest równa liczbie wszystkich rozwiązań równania…
+) <5/3> jest równe liczbie permutacji zbioru pięcioelementowego zaw..
Zasada ind. mat. obejmuje warunek początkowy oraz implikację.
+) wykaz. prawdz. war. pocz. a nast. prawdz. implikacji
+) wykaz. prawdz. war. pocz. a nast. prawdz. nastę. implikacji przy
założeniu że poprzednik implikacji jest prawdziw
Niech |X|=m oraz |Y|=n to... bijekcja…
+) dla m=n liczba bijekcji wynosi n!
+) dla skończ. zb. x,y liczba el. x=y
Zadanie z potęgą malejącą:
+) licz. zb. wszystkich funkcji przekszt. zbiór n-elementowy w zb. m-el.
+) liczbę różnych rozmieszczeń n przedmiotów w m pudełkach
Tautologie:
+) (p=>q)(-q=>-p)
+) formuła p NOR p -p
+) dla zbiorów A,B,C zachodzi Au(BnC)-(AuB)n(AuC)
+) formuła ExeX:[fi(x)vY(x)]ExcX | fi(x) v ?xcX | fi(x)
Niech dla AcN prawdziwe będzie zdanie Kea->K+1eA:
+) {3,4,5) c A
+) {4,6,8,…} c A
Iniekcja jest to funkcja X->Y mająca następującą właściwość
+) dla każdego zb. skończonego X->Y liczba injekcji jest równa licz. bijekcji
+) dla skończonych zb. X i Y licz. zb. X jest nie większa niż licz. zb. Y
+) istnieje injekcja zbioru liczb nat. w zbior liczb nieparzystych dodatnich
Surjekcja jest to funkcja X->Y
+) może być bijekcją
+) istnieje surjekcja zbioru liczb parzystych w zbiór liczb naturalnych
Niech |X|=m oraz |Y|=n
+) m!{n/m} jest równe liczbie surjekcji f: Y->X
+) 2^m+n jest równe liczbie wszystkich relacji określonych na zbiorach Xi Y
+) n^m jest równe liczbie injekcji f:X->Y o ile istnieją
+) n^m(albo oo ?) jest równe liczbie wszystkich funkcji X->Y
Prawdziwe jest następujące zdanie:
+) (6 / 4 2) jest równe liczbie dwuelementowych podzbiorów zbioru 6el.
+) (8 / 4) jest równa liczbie wszystkich rozwiązań równania…
+) <5/3> jest równe liczbie permutacji zbioru pięcioelementowego zaw..
Zasada ind. mat. obejmuje warunek początkowy oraz implikację.
+) wykaz. prawdz. war. pocz. a nast. prawdz. implikacji
+) wykaz. prawdz. war. pocz. a nast. prawdz. nastę. implikacji przy
założeniu że poprzednik implikacji jest prawdziw
Niech |X|=m oraz |Y|=n to... bijekcja…
+) dla m=n liczba bijekcji wynosi n!
+) dla skończ. zb. x,y liczba el. x=y
Zadanie z potęgą malejącą:
+) licz. zb. wszystkich funkcji przekszt. zbiór n-elementowy w zb. m-el.
+) liczbę różnych rozmieszczeń n przedmiotów w m pudełkach
Tautologie:
+) (p=>q)(-q=>-p)
+) formuła p NOR p -p
+) dla zbiorów A,B,C zachodzi Au(BnC)-(AuB)n(AuC)
+) formuła ExeX:[fi(x)vY(x)]ExcX | fi(x) v ?xcX | fi(x)
Niech dla AcN prawdziwe będzie zdanie Kea->K+1eA:
+) {3,4,5) c A
+) {4,6,8,…} c A
Iniekcja jest to funkcja X->Y mająca następującą właściwość
+) dla każdego zb. skończonego X->Y liczba injekcji jest równa licz. bijekcji
+) dla skończonych zb. X i Y licz. zb. X jest nie większa niż licz. zb. Y
+) istnieje injekcja zbioru liczb nat. w zbior liczb nieparzystych dodatnich
Surjekcja jest to funkcja X->Y
+) może być bijekcją
+) istnieje surjekcja zbioru liczb parzystych w zbiór liczb naturalnych
Niech |X|=m oraz |Y|=n
+) m!{n/m} jest równe liczbie surjekcji f: Y->X
+) 2^m+n jest równe liczbie wszystkich relacji określonych na zbiorach Xi Y
+) n^m jest równe liczbie injekcji f:X->Y o ile istnieją
+) n^m(albo oo ?) jest równe liczbie wszystkich funkcji X->Y
Prawdziwe jest następujące zdanie:
+) (6 / 4 2) jest równe liczbie dwuelementowych podzbiorów zbioru 6el.
+) (8 / 4) jest równa liczbie wszystkich rozwiązań równania…
+) <5/3> jest równe liczbie permutacji zbioru pięcioelementowego zaw..
Zasada ind. mat. obejmuje warunek początkowy oraz implikację.
+) wykaz. prawdz. war. pocz. a nast. prawdz. implikacji
+) wykaz. prawdz. war. pocz. a nast. prawdz. nastę. implikacji przy
założeniu że poprzednik implikacji jest prawdziw
Niech |X|=m oraz |Y|=n to... bijekcja…
+) dla m=n liczba bijekcji wynosi n!
+) dla skończ. zb. x,y liczba el. x=y
Zadanie z potęgą malejącą:
+) licz. zb. wszystkich funkcji przekszt. zbiór n-elementowy w zb. m-el.
+) liczbę różnych rozmieszczeń n przedmiotów w m pudełkach
Tautologie:
+) (p=>q)(-q=>-p)
+) formuła p NOR p -p
+) dla zbiorów A,B,C zachodzi Au(BnC)-(AuB)n(AuC)
+) formuła ExeX:[fi(x)vY(x)]ExcX | fi(x) v ?xcX | fi(x)
Niech dla AcN prawdziwe będzie zdanie Kea->K+1eA:
+) {3,4,5) c A
+) {4,6,8,…} c A
Iniekcja jest to funkcja X->Y mająca następującą właściwość
+) dla każdego zb. skończonego X->Y liczba injekcji jest równa licz. bijekcji
+) dla skończonych zb. X i Y licz. zb. X jest nie większa niż licz. zb. Y
+) istnieje injekcja zbioru liczb nat. w zbior liczb nieparzystych dodatnich
Surjekcja jest to funkcja X->Y
+) może być bijekcją
+) istnieje surjekcja zbioru liczb parzystych w zbiór liczb naturalnych
Niech |X|=m oraz |Y|=n
+) m!{n/m} jest równe liczbie surjekcji f: Y->X
+) 2^m+n jest równe liczbie wszystkich relacji określonych na zbiorach Xi Y
+) n^m jest równe liczbie injekcji f:X->Y o ile istnieją
+) n^m(albo oo ?) jest równe liczbie wszystkich funkcji X->Y
Prawdziwe jest następujące zdanie:
+) (6 / 4 2) jest równe liczbie dwuelementowych podzbiorów zbioru 6el.
+) (8 / 4) jest równa liczbie wszystkich rozwiązań równania…
+) <5/3> jest równe liczbie permutacji zbioru pięcioelementowego zaw..
Zasada ind. mat. obejmuje warunek początkowy oraz implikację.
+) wykaz. prawdz. war. pocz. a nast. prawdz. implikacji
+) wykaz. prawdz. war. pocz. a nast. prawdz. nastę. implikacji przy
założeniu że poprzednik implikacji jest prawdziw
Niech |X|=m oraz |Y|=n to... bijekcja…
+) dla m=n liczba bijekcji wynosi n!
+) dla skończ. zb. x,y liczba el. x=y
Zadanie z potęgą malejącą:
+) licz. zb. wszystkich funkcji przekszt. zbiór n-elementowy w zb. m-el.
+) liczbę różnych rozmieszczeń n przedmiotów w m pudełkach