DekTalent.

com
24.
http://www.dektalent.com

1

1) (T) (F)

2)
()

4
p q

T
T
F
F

T
F
T
F

pq

pq

pq

pq

T
F
F
F

T
T
T
F

T
F
T
T

T
F
F
T

1)

2)

3) ...

4)

1)
2)

pq qp
pqqp
pq qp

p (q r) (p q) r
p (q r) (p q) r

p (q r) (p q) (p r)
p (q r) (p q) (p r)

(p q) p q

p q p q ( )

(p q) p q

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

1) (~)

Dektalent.com DekTalent.com

 DekTalent.com
24.
http://www.dektalent.com

(Tautology)
1)
2) 3 / /
3) ...( )

1)

... ()



1) x [P(x)] x
2) x [P(x)] x
3)
4) 2
xy [P(x, y)] (x y )
xy [P(x, y)] (x y 1 )
xy [P(x, y)] (x y )
xy [P(x, y)] (x y 1 )

1)

x [P (x)] x [P (x)]

x [P (x)] x [P (x)]
http://www.dektalent.com/le
xy [P(x,y)] xy [P(x, y)]
sson/5-logic/
xy [P(x,y)] xy [P(x, y)]
xy [P(x,y)] xy [P(x, y)]
xy [P(x,y)] xy [P(x, y)]

Dektalent.com DekTalent.com