Zadania z logiki

1.Czy nastepujace wyrażenie jest tautologią : [(p→q)˄(q→p)]→[p˄q] ?

2. Za pomocą ˄ oraz ~ zdefiniować funktor * gdzie *(0,0)=1, *(0,1)=1, *(1,0)=0, *(1,1)=0.

3.Czy dla dowolnych zbiorów A i B : [A=B]↔[(A c B)v(B c A)]

4. Czy relacja :

1 2 3
1 X X
2 X X
3 X X

5.Niech X={1,2,3,4,5}. Funkcja f:X→X jest okreslona następująco: f(1)=3, f(2)=2, f(3)=1, f(4)=5, f(5)=4.

6.Przypisz zbiorom: Q, 2Z, RN,{1,2,3}Z,2RxR,N\Z,{1,2,3}R,R∩Z,{1,2,3}z,Z moce:

7.Dany jest zbiór uporządkowany:

…..ilość łańcuchów maksymalnych …..…..ilość łańcuchów

……ilośc antyłańcuchów maksymalnych ………ilość antyłańcuchów

8.Niech X={a,b,c,d,e,f} b edzie zbiorem częściowo uporządkowany:

…..element największy ……. element najmniejszy

……elementy maksymalne …….. elementy minimalne

…..infX(a,b) ……..supX(a,b)

9.Niech f: R→R będzie dana wzorem: f(x)= x2-2x-1. Obliczyć:

10. Czy nastepujace wyrażenie jest tautologią: [(p→q)v(q→p)]→[pvq]?

11. Za pomocą ˄ oraz ~ zdefiniować funktor * gdzie *(0,0)=0, *(0,1)=1, *(1,0)=0, *(1,1)=1.

12. Czy dla dowolnych zbiorów A i B : [A=B]↔[(A c B)˄(B c A)]

13.Czy relacja:

1 2 3
1 X
2 X X X
3 X X

14.Niech X={1,2,3,4,5}. Funkcja f:X→X jest okreslona następująco: f(1)=2, f(2)=2, f(3)=3, f(4)=3, f(5)=2

15. Dany jest zbiór uporządkowany:

…..ilość łańcuchów maksymalnych …..…..ilość łańcuchów

……ilośc antyłańcuchów maksymalnych ………ilość antyłańcuchów

16. Niech X={a,b,c,d,e,f} b edzie zbiorem częściowo uporządkowany:

…..element największy ……. element najmniejszy

……elementy maksymalne …….. elementy minimalne

…..infX(a,b) ……..supX(a,b)

17. Niech f: R→R będzie dana wzorem: f(x)=x2+2x-1Obliczyc:

18.Czy zbiory mają taką sama moc, jeśli :

19.Wiadomo, ze AuB=A, wówczas:

20. .Niech X={1,2,3,4,5}. Funkcja f:X→X jest okreslona następująco: f(1)=3, f(2)=2, f(3)=3, f(4)=3, f(5)=2

21. Jeżeli A jest zbiorem przeliczalnym a B jest mocy continuum, to:

22. . Jeżeli A jest zbiorem policzalnym a B jest mocy continuum, to:

23.Który z zbiorów jest mocy continuum?

24.Istnieją takie zbiory A-zbiór skończony, B-zbiór mocy kontinuum takie, ze

25.Niech f: X→Y oraz niech A,B c Y będą dowolnymi zbiorami. Wtedy:

26.Czy dla dowolnych niepustych zbiorów A,B,C prawdąjest ze:

27. Czy istnieje niepusty zbiór skonczony A taki ze:

28. . Czy istnieje zbiór skonczony A taki ze:

29. Czy tautologia jest wyrażenie

30. Czy relacja:

1 2 3
1 x X x
2 X
3 x x

31. Dany jest zbiór uporządkowany:

…..ilość łańcuchów maksymalnych …..…..ilość łańcuchów

……ilośc antyłańcuchów maksymalnych ………ilość antyłańcuchów

……ilość lancuchow które sa antylancuchami

32.Czy nastepujace zdania sa prawdziwe?

33. .Niech X={1,2,3,4,5}. Funkcja f:X→X jest okreslona następująco: f(1)=2, f(2)=3, f(3)=1, f(4)=4, f(5)=4

34.Niech X={1,2,3,4,5}. Funkcja f:X→X jest okreslona następująco: f(1)=1, f(2)=2, f(3)=3, f(4)=5, f(5)=4

35.Dany jest zbiór uporządkowany:

…..ilość łańcuchów maksymalnych …..…..ilość łańcuchów

……ilośc antyłańcuchów maksymalnych ………ilość antyłańcuchów

36. Niech f: R→R będzie dana wzorem: f(x)=x2+2x+3 Obliczyc:


Wyszukiwarka

Podobne podstrony:
Zadania logiki
zadania+z+logiki-rozwiązania (ze strony dla studentów), Logika
1 rok, zadania z logiki, ZDANIA:
od faceta, zadania z logiki, Tematy egzaminacyjne z logiki
92 zadania z logiki i teorii mnogości z pełnymi rozwiązaniami
Zadania z logiki
Zadania z Logiki część I, psychologia UŁ, I rok, I semestr, logika
Wieczorek K.A. - zadania z logiki, Test umiejętności
inne rozwiazane zadania z logiki
Zadania z Logiki, Studia Pedagogika, Logika
Zadania z logiki, zadania sylogistyka, Napisz sylogistyczny schemat zdania, określ co jest terminem
Zadania z logiki
zadania z logiki, Pedagogika studia magisterskie, logika
Zadania logiki
92 zadania z logiki i teorii mnogości z pełnymi rozwiązaniami
Wieczorek K A zadania z logiki z odpowiedziami
Wieczorek K A zadania z logiki

więcej podobnych podstron