1

o

.
o .
o ,
,
, .
o , ()
,
.
www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

, :
(, , ,
) (, )

.
?
.

.
( )
o !!!
www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

(
)

.

.
(,
)
.
www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

a .

, ,
.

, ,
..


.
www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

.
, , ,
( )
.


.
www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

()
.

.
(, ) -
. (
.)

.
www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

o .
o ,
.
o .

()

.

www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

10

o
.
o ,

, ,
.
o ,
pI, p2, , pnq ,
pI, p2, . , pn q ,

(pI p2 pn) q .
www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

11

a :
, .
.
,
.


p q


p

q

pq, p q

www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

12

o (p (pq)) q,
p

pq p(pq)) (p(pq)) q

p, pq q
www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

13

.

, .

.

www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

14

,

,
.
1
2

www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

15

.

1
2


:
((. 1) (. 2) )

www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

16

p


pq ( )
q


q
pq
p

www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

17

o
:
.
, .
p: .
q: .

,
.
www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

18

- 2

o :
.
, .
p: .
q: .
,
.
www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

19

!!!

o

.
Moodle,
Moodle.
Moodle
-----------------------------------------------------------------------
... Moodle."

www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

20

p
pq

pq
p

p
q
pq

pq
pr
qr

www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

21

pq
qr
pr

p q
p
q

www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

22

C,
p1, p2,,pn ,

,
().
,
.

www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

23

o :
.
.
, .
, .
.

p = . q = .
r = .
s = .
t = .

((p q) (r p) ( r s) (s t)) t ?

www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

24

1.
2.
3.
4.
5.
6.
7.
8.

p q
p
r p
r
r s
s
s t
t

1 ()
1
2
2 3
3
4 5
4
6 7

www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

25

,
.
( r f) (s d)
.
s t
.
t
: .?
www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

26
1.
2.
3.
4.
5.
6.
7.
8.
9.

t

3
s t

2
s

2 3
(rf)(sd) 1
(sd)(rf) 4
(sd)(rf) . .
sd
3
rf

6 7
r

8
www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

27

o :
.
. .
:
p: .
q: .
r : .
: p q q r .
: r p.

, ,
,
!!!
, r ,
p ,
((p q) (q r)) (r p)
, .

www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

28

o
.
.!
o :
pq , q , p . (,
T .)
o :
pq p , q
. (, T .)

www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

29
x P(x)
P(o)

( o)

P(g)
( g )

x P(x)

x P(x)
P(c)

( c)

P(o)
( o)
x P(x)

www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

30

o :
, ,
.



o :

C()
F()
x (F(x)T(x))

x (C(x)T(x))

www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

31

1.
2.
3.
4.
5.
6.
7.

x (F(x)T(x))
F() T()
F()

T()

C()

C() T()
x (C(x)T(x))

3
1
2
2 3
1
4 5
6

.
www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

32

o :
. .

S(x) : x
D(x) : x
P(x) : x .
: x[S(x) P(x)] x[S(x) D(x)]
o :
x[D(x) P(x)].

www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu

33

1. x[S(x) D(x)]
2. S(a) D(a)


3. x[S(x) P(x)]
4. S(a) P(a)

5. S(a)


6. P(a)


7. D(a)


8. D(a) P(a)

9. x[D(x) P(x)]

2
4 5
2

6 7

www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu


34


x(P(x) Q(x))
P(a),
:. Q(a)


x(P(x) Q(x))
Q(a),
:. P(a)

www.nki.ukim.mk www.facebook.com/FINKI.ukim.mk www.twi6er.com/FINKIedu