Professional Documents
Culture Documents
01 Час Логика Скупови 2022
01 Час Логика Скупови 2022
Čas 1.
1 Matematička logika
2 Skupovi
3 Matematička indukcija
4 Binnomna formula
Binarne operacije:
∧ - konjunkcija, p ∧ q (čita se: p i q),
∨ - disjunkcija, p ∨ q (čita se: p ili q),
⇒ - implikacija, p ⇒ q (čita se: ako je p onda je q, iz p sledi q, p je dovoljan
uslov za q, q je potreban uslov za p),
⇔ - ekvivalencija, p ⇔ q (čita se: p je ekvivalentno sa q, p je ako i samo ako
je q, p je potreban i dovoljan uslov za q),
Y - isključna disjunkcija p Y q (čita se: ili p ili q) .
τ (p) τ (q) τ (p ∧ q) τ (p ∨ q) τ (p ⇒ q) τ (p ⇔ q) τ (p Y q)
> > > > > > ⊥
> ⊥ ⊥ > ⊥ ⊥ >
⊥ > ⊥ > > ⊥ >
⊥ ⊥ ⊥ ⊥ > > ⊥
τ (p) τ (¬p)
> ⊥
⊥ >
Zadatak 1.
Dati su prosti iskazi
1
p : ”(−2)(−3) = −(−6)”, q: = 0.2, r : −32 = (−3)2
5
Ispitati tačnost složenog iskaza
F : ¬p ⇒ (q ∨ r).
Tautologije:
p ∧ (p ⇒ q) ⇒ q modus ponens
Kontradikcija (apsurd): p ∧ ¬p
Zadatak 2.
Dokazati da je
p ∧ (p ⇒ q) ⇒ q (modus ponens)
tautologija.
τ (p ∧ (p ⇒ q) ⇒ q) = ⊥.
Med̄utim, kako je
Zadatak 3*.
Kog dana u nedelji je sledeći iskaz tačan:
Pretpostavimo da je τ (p) = >, tj. neka je danas utorak. Tada je sutra sreda i
važi τ (q) = >, odakle je
τ (p ⇒ q) = >, jer važi τ (> ⇒ >) = >.
Neka je sada τ (p) = ⊥, tj. danas nije utorak, a onda ni sutra nije sreda,
τ (q) = ⊥. I u ovom slučaju implikacija će biti tačna
τ (p ⇒ q) = >, jer važi τ (⊥ ⇒ ⊥) = >.
Prema tome dati iskaz je tačan svakog dana u nedelji.
Zadatak 4.
Neka je x ∈ R. Da li su sledeće rečenice iskazi
Zadatak 5.
Ispitati tačnost iskaza
√ √ 2
p : (∀x ∈ R) ( x2 = x), q : (∀x ∈ R+
0 ) ( ( x) = x).
√
Rešenje: 1) Važi x2 = |x| za svako x ∈ R. Takod̄e, |x| =
6 x, za x < 0.
Zaključak: τ (p) = ⊥.
2) τ (q) = >.
Rešenje: Svaki prirodan broj ima neki prirodan broj koji je veći. Važi τ (p) = >.
Zadatak 7.
Odrediti rečenicu koja odgovara sledećem iskazu
Zadatak 8.
Koristeći kvantifikatore zapisati sledeće rečenice
1) Svako x ima svojstvo P . (npr. Svaki student ima uslov za drugu godinu)
(∀x)P (x)
2) Neko x ima svojstvo P (npr. Neki student ima uslov za drugu godinu)
(∃x)P (x)
¬(∀x)P (x)
ili
(∃x)¬P (x)
Važi: ¬(∀x)P (x) ⇔ (∃x)¬P (x).
Zadatak 9.
Dat je skup M = {−1, 0, 1}. Koji od sledećih iskaza su tačni
1) (∀x ∈ M )(∀y ∈ M ) (x + y ∈ M ),
2) (∀x ∈ M )(∃y ∈ M ) (x + y ∈ M ),
3) (∃x ∈ M )(∀y ∈ M ) (x + y ∈ M ),
4) (∃x ∈ M )(∃y ∈ M ) (x + y ∈ M )?
Zadatak 10.
Ispitati tačnost iskaza:
1) (∀x, y ∈ R) xy 6= 0 ⇔ (x 6= 0 ∧ y 6= 0) ,
2) (∀x, y ∈ R) xy > 0 ⇔ (x > 0 ∧ y > 0) ,
3) (∀x, y ∈ R) xy > 0 ⇔ (x > 0 ∧ y > 0) ∨ (x < 0 ∧ y < 0) ,
4) (∀n ∈ N) 15 | n ⇔ (5 | n ∧ 3 | n)
Oznake: A, B, C, . . .
∅, { } - prazan skup
a ∈ A, a∈
/A
Operacije sa skupovima: A ∪ B, A ∩ B, A \ B, A ÷ B, Ac ,
A∩B =∅ - A, B disjunktni
Odred̄ujemo
Zadatak 1
Odrediti odnos izmed̄u skupova P = (A \ B) ∪ C i Q = (A ∪ C) \ B.
(A \ B) ∪ C ⊃ (A ∪ C) \ B
y y=-x+1 y
A
2
y=32
M Hx,yL
x
-1 0 1 x
x=-2
-1 y=x-2
B
(x − a)2 + (y − b)2 = r2
CHa,bL
CH0,0L
1 x
Zadatak 2.
Odrediti skup tačaka (x, y) za koje važi
x 1
<−
y−5 2
y=-2x+5
I slučaj:
5
y < −2x + 5, y > 5.
II slučaj:
52 x
xy < 0
I slučaj:
x < 0, y > 0.
II slučaj: 0
x
x > 0, y < 0.
( √ 1
(x − 2)2 + (y + 1)2 < ( 5)2 , x
CH2,-1L
x < 1.
Definicija
Neka je T (n) tvrd̄enje koje se odnosi na promenljivu n, n ∈ N = {1, 2, . . . , n}.
Da bi T (n) bilo tačno za sve prirodne brojeve n, dovoljno je da je:
1 T (1) tačno,
2 Za sve prirodne brojeve k je implikacija T (k) ⇒ T (k + 1) tačna, odnosno
⇒ (∀n ∈ N) T (n).
T (n) : 1 + 21 + 22 + . . . + 2n = 2n+1
1 + 21 + 22 + . . . + 2k + 2k+1 = (1 + 21 + 22 + . . . + 2k ) + 2k+1
= 2k+1 + 2k+1 = 2 · 2k+1 = 2k+2 = 2(k+1)+1 .
(k + 1)((k + 1) + 1)
T (k + 1) : 1 + 2 + 3 + . . . + k + (k + 1) = .
2
Računamo sumu od k + 1 sabirka i koristimo induktivnu pretpostavku T (k)
1 + 2 + 3 + . . . + k + (k + 1) = (1 + 2 + 3 + . . . + k) + (k + 1)
k(k + 1) (k + 1)((k + 1) + 1)
= + (k + 1) = .
2 2
Dakle, važiČasT1.(k + 1). Prvi čas 1.–2. oktobar 2020. 30 / 31
Binomna formula
Definicija
n n
n
X n k n−k
X n n−k k
(a + b) = a b = a b
k k
k=0 k=0
Definicija
n def n n(n − 1) . . . (n − k + 1)
= 1, =
0 k k!
Paskalov trougao:
1
1 1
1 2 1
1 3 3 1
1 4 6 4 1