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) 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) 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 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 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 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 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.. 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 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 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 Liczba suriekcji 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 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) 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) 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 Niech dla AcN prawdziwe będzie zdanie Kea->K+1eA: +) {3,4,5) c A +) {4,6,8,…} c A 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 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 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 Surjekcja jest to funkcja X->Y +) może być bijekcją +) istnieje surjekcja zbioru liczb parzystych w zbiór liczb naturalnych 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 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 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.. 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.. 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 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 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 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 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 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 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 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