ALGEBRA Z GEOMETRI -lista nr 1.

1. Stwierdzić, która z następujących wypowiedzi jest zdaniem w sensie logiki. W przypadku

zdania podać jego wartość logiczną:

a. Morze jest piękne;
b. Odra wpada do Bałtyku;
c. x > 5;
d. 13 > 25.

2. Stosując metodę zerojedynkową udowodnić tautologie:
a.

p

p







)

(

b.

p

q

q

p







c.

p

q

q

p







d.

)

(

)

(

q

p

q

p













e.

)

(

)

(

q

p

q

p











f.

)

(

)]

(

)

[(

r

p

r

q

q

p











g.

)

(

)]

(

)

[(

q

p

p

q

q

p











3. Podać zaprzeczenia następujących zdań:

a. Gram na skrzypcach lub śpiewam;
b. (3< -5) ^ (3 > 0);
c. 8 jest liczbą parzystą i mniejszą od 2;
d. (4>2)



(4 > 10).

4. Określić podane zbiory jako zbiory prawdziwości odpowiednich warunków:

a. Zbiór liczb naturalnych, parzystych,
b. Zbiór liczb naturalnych nieparzystych,
c. Zbiór liczb naturalnych podzielnych przez 5.

5. Dla wszystkich poniższych przykładów określić wartość logiczną zdania. Jeżeli dziedzina

zmiennej nie jest podana, określić jej zakres domyślny. Tam gdzie to możliwe,
uzasadnić odpowiedź podając odpowiedni przykład lub kontrprzykład. Zapisać
zaprzeczenia zdania:

a.

k

N

k







0

;

, b.

k

Z

k







0

;

, c.

k

N

k







0

;

,

d.

0

9

;

2







x

x

, e.

)

0

7

(

;











u

u

Z

u

( N – zbiór liczb naturalnych , Z – zbiór liczb całkowitych)

6. Tam gdzie to możliwe, skrócić zapis, a w przypadku zapisu skróconego podać pełny zapis

z dwoma kwantyfikatorami. Określić wartość logiczną zdania i zapisać jego
zaprzeczenie:

a.

0

2

;













y

x

Z

y

Z

x

; b.

0

2

;













y

x

Z

x

Z

y

;

c.

0

2

;

,









y

x

Z

y

x

; d.

2

3

;

,

2









x

x

y

y

x

;

e.

y

x

y

x

R

y

R

x















;

.