 | Pobierz cały dokument Rozmiar 80 KB |
LISTA 1.
Elementy logiki
1.1. Zdanie logiczne. Forma zdaniowa. Kwantyfikatory.
Dla zdań, będących zdaniami logicznymi, podać ich wartość logiczną.
(a)
π
3
=
3,14
3
,
(d) x
2
− 7 < 0,
(g)
^
x∈R
1
x + 2
=
1
x
+
1
2
,
(j)
_
x∈R
^
y∈R
q
x
2
+ y
2
= y,
(b)
√
5 −
√
3 =
√
2,
(e)
^
x∈R
x
2
− 7 < 0,
(h)
_
x∈R
1
x + 2
=
1
x
+
1
2
,
(k)
^
x∈R
_
y∈R
x
2
− y
2
= 0,
(c)
6
4
3
2
,
(f)
_
x∈R
x
2
− 7 < 0,
(i)
^
x∈R
^
y∈R
q
x
2
+ y
2
= x + y,
(l)
_
x∈R
^
y∈R
xy = 0.
1.2. Zdanie złożone. Koniunkcja. Alternatywa.
Egzamin składa sie z dwóch części. Ocenę pozytywną u wykładowcy A otrzyma student, który
z każdej części uzyska co najmniej 7 punktów i z obu części w sumie co najmniej 20 punktów.
Ocenę pozytywną u wykładowcy B otrzyma student, który z każdej części uzyska co najmniej 9
punktów lub z obu części w sumie co najmniej 22 punkty.
U którego wykładowcy zda egzamin student, który
(a) z pierwszej części otrzymał 7, a z drugiej - 13 punktów,
(b) z pierwszej części otrzymał 5, a z drugiej - 15 punktów,
(c) z pierwszej części otrzymał 10, a z drugiej - 11 punktów,
(d) z pierwszej części otrzymał 6, a z drugiej - 16 punktów?
1.3. Negacja. Prawa de Morgana dla koniunkcji i alternatywy. Działania na zbiorach.
Zapisać przy użyciu spójników logicznych „i”, „lub” rozwiązania równań oraz nierówności. Zazna-
czyć na płaszczyźnie zbiory punktów, których współrzędne spełniają podane warunki.
(a) (x + 3)(y − 2) = 0,
(b) (x + 3)(y − 2) 6= 0,
(c) (x + 3)(y − 2) > 0,
(d) x
2
− 4y
2
< 0,
(e)
a + b
a − b
= 0,
(f)
a + 2
a − b + 1
> 0,
(g)
2a + b
a + b
¬ 0,
(h)
a
2
+ b
a
2
+ b
2
+ 3
0.
1.4. Implikacja. Twierdzenie. Prawo kontrapozycji.
Prawdziwe jest twierdzenie:Jeśli liczba naturalna jest podzielna przez 12, to jest podzielna przez 3.
Wskazać założenie oraz tezę twierdzenia.
Na podstawie powyższego twierdzenia podać:
(a) warunek wystarczający podzielności przez 3. Dlaczego nie jest to warunek konieczny?
(b) warunek konieczny podzielności przez 12. Dlaczego nie jest to warunek wystarczający?
(c) Liczba naturalna nie jest podzielna przez 12. Czy twierdzenie pozwala wyciągnąć wniosek
o podzielnosci tej liczby przez 3?
(d) Liczba naturalna jest podzielna przez 3. Czy twierdzenie pozwala wyciągnąć wniosek o po-
dzielnosci tej liczby przez 12?
(e) Liczba naturalna nie jest podzielna przez 3. Czy twierdzenie pozwala wyciągnąć wniosek o po-
dzielnosci tej liczby przez 12?
(f) Sformułować warunek konieczny i wystarczający podzielności przez 3.
| Pobierz cały dokument Rozmiar 80 KB |