logika 1 jpeg

Test ze Wstępu do logiki i teorii mnogości

imię i Nazwisko:.................................................................................................

nr grupy ćwiczeniowej:......................... nr kursu........................

W każdym pytaniu proszę krzyżykiem zakreślić tylko jedna, poprawna odpowiedź W razie pomyłki

postawiony krzyżyk bierzemy w kółko i zakreślamy poprawna odpowiedź w drugim rzędzie

odpowiedzi.

1.	Które ze zdań jest równoważne pc->q
•	(•pvq)v(pv~q)		U	Cl
•	(-pAq)v(pA-q)		n	n
•	(pvq)A{~pv~q)		□	□
•	(pAq)v{~pA~q)		n	a
2.	Które ze zdań me jest tautologią?
•	Vx( p(x) -> q 1 "»| Vx p(x) q |		u	n
•	l Vx p(x) -» q j »VxlpM > q J		n	u
•	| Vx p(x> V q ) -» vx| p(x} V q j		n	n
•	Vx[ p(x) v q | _> ( Vx p(xj v q j		n	□
3.	Zaprzeczeniem funkcji zadaniowej: 'Jeżeli liczby naturalne a i b są parzyste, to suma a t b jest
	parzystą' jest:
•	liczby naturalne d i b nie są parzyste oraz suma a	♦ bjest liczbą parzystą	□	□
•	liczby naturalne a i b nie są parzyste lub suma a »	b nie jest liczbą parzystą	n	n
•	liczby naturalne a i b są parzyste, natomiast suma a + b nic jest liczbą parzystą		n	u
•	liczby naturalne a i b są parzyste lub suma a » b jest liczbą nieparzystą		n	u
4.	Zapisem w języku symbolicznym udania (sformułowanego w języku naturalnym) 'Jezoli dwie
	niczcrowe liczby całkowite dzielą się wzajemnie jedna przez drugą, to różnią się co najwyżej
	znakiem' jest:
•	Va, b <- /\ {0} l(a|b a b|a) > (a = b v a --b)|		u	□
•	Va.bc ż^r\{0) ((a|b v b|a}-> (a - b v a - b)j		u	o
•	Va, b c /" \ (0) |(a|b a b|a) a (a « b a o - -b)]		□	n
•	Va, b c/ \{0}|(a|b v b|a) > (a-b a a --b)J		n	u
	Które ze zdań jest prawdziwe?
•	(A’wB)\B*A		u	u
•	(A\B)uB-A		u	n
•	(AuB)\B-A«->AnB-^>		n	n
•	(A\B)UB=A«B=0		u	n
6.	Która zależność jest prawdziwa dla dowolnej rodziny zbiorów .-f?
•			u	u
•	f(fl:/|)c-VI		a	n
•			□	n
•			□	n