Professional Documents
Culture Documents
مبادئ في المنطق
مبادئ في المنطق
1
. 1 - - :
-
: 1 10
:
.s,r,q,p. :
:
p : 2008 p
3
q : 2 3
:
p V F
: p
V
F
:
:
s
18 > 1
r :
2
q : 0.02 = 2 10
1 1
=
1 2
5
10 = 100000 : p :
2
- :
: 2 10
:
) (
:
x x 2 + 1 2.x : (P(x n n : (q(n
(P(x) q(n (r(x ,y
- :
: x x + 1 2.x : (P(x
x (P(x
L.biranzaran
d.abdelmalek
x x < y : (r(x ,y
2
x ( x ) x + 1 2.x :
n n : (q(n
n (
(q(n n
) n=4
) ( n :
:
? ) = x D , P ( x D .
? ) = x D , P ( x D ) P ( x .
? ) = x D , P ( x D ) P ( x .
:
D ) P ( x ? ) = !x D , P ( x
) x = 3 ( 9 ? = !x : x = 3
:
:
? = x 2 x 12 = 0 : x
*
*
? x 2 7 x + 12 0 : x
? x : y
x <y
? y : x
x <y
:
.
:
24 3 4
. 2 :
- :
:
-1 q ? p =
- q q p p q p : p
- ) p p
- :
= = 5<3 ? r ? 2+2 = 4
s
-2 :
L.biranzaran
d.abdelmalek
? x x = ? q = 3
= = x : x 2 = 2 ? r ? x : x 2 + 1 > 1
:
p p p
p p
P p
:
? ) = x : P ( x
? ) = x : P ( x
? ) = x : P ( x
? ) = x : P ( x
:
p p
:
:
s
k
= 2 4 = r ? x : x 2 + x + 1 > 0
? = q
? = x : x = x ? p
= = y x : x < y ? t ? x y : x < y
- - :
:
? p : = ? q = ? r =
? s =
-1 r s
-2 r p : ) q p ( q s P : ) q
P q
p ( q p q
L.biranzaran
d.abdelmalek
P
q
Pp q q
V V
V F
F V
F F
:
p q .
* p q p : q p q
.
* p q p : q p q .
:
3 < 5 ? p = 2 + 2 4 q
r
? 1 + 1 = 2 =
? 3 < 5 = 2 + 2 4 S
? 1 + 1 2
:
p p : p
p p
- :
:
p q q p p q : P q
p q
:
-1 p q
-2 ? p : ABCD = ? q ABCD =
? r ABCD = ? s ABCD ABCD
=
? t ABCD
- s t p q ) r (
=
- r q r q r q q r
-3 p q .
L.biranzaran
d.abdelmalek
- p q
- p q
q p
qp
:
q
p
*
* p q q p q p p q
* p q p q .
p q
- :
:
p q p q q p p q : P q
p q p q
:
p q p q .
:
-1 p q
-2
) : (
p q . r :
pq
pq
* ) q
qp
pq
* ) q
( )
) p
r (qp
pr
r (qp ) p
pr
. 3 :
-1 :
* )
: A (x
( x E : A ( x ) :
) ( x E
a E ) ) A ( x ) ( A ( x
: : x 2 = x :
: :
( x : x 2 x :
: n
) ( n
- 2 :
* r s q r p q p s
1
1
<
: < 1 :
3 x 1
: :
x 2 < x < 4
b = 0 ( a,b ) 2 , a 2 + b 2 = 0 a = 0
L.biranzaran
d.abdelmalek
) ( x
- 3 :
* p q q p
n n 2
b 1 a + b ab 1 a 1
- 4 :
* - p p q q
r s q r p q p : sx + 1+ x 2
: 0 :
x
) ( x
*
) ( x
: 1+x 2 x 2 ( x * ) : 1+x 2 x
( x * ) : 1+x 2 x
( x * ) : x+ 1+x 2 0
x+ 1+x 2
0
x
( x * ) :
: 1+x 2 x 2
) ( x
*
x + 1+ x 2
0
x
( x * ) :
: a b a 2 + b 2 = 1 : a + b 2 :
- 5 :
* p p q q
q
p p .
: 5a 4a 6a
r
r r
r r
: u v a b a.u + b .v = 0 : a = 0 b = 0
- 6 :
*
q ) r ( p
L.biranzaran
d.abdelmalek
q r p r
)n ( n + 1
: :
2
: , x 2 + 1 + x > 0
n :
x
- 7 :
* - p p q q
r s q r p q p : s1
: a *+ 2 :
a
: b a c a 2 + b 2 + c 2 ab + bc + ca :
a+
- 8 :
:
) P ( n n
n 0 ) P ( n 0 )P ( n ) P ( n + 1
) ( n n 0 ) : P ( n .
) P ( n 0 n n 0 ) P ( n )
( ) P ( n + 1 ) ( n n 0 ) : P ( n
:
: 2n n + 1
) ( n
: an n a0 = 1 :
L.biranzaran
d.abdelmalek
an +1 = an + 2 n n : 0 < an 2