Notion de Logique

(1 :
-
) ( " " ""
.
.
- :
- .

a b x , , = , .... y

(2
.1-2
Propositions, Fonction propositionnelles
:
3 5 = 8
- A1

- A2

- A3
- A4

x + 1 2 x
a + b ab a b .
2

:
A1
A2.
A3 A4 .
.
A3 x = 2

1
A3
=x
2
1
" " .
" ".
: .
2

.
: .
:

a a ) . A ( x

) A ( x x
) A ( x . x

... ,

Les Quantificateurs
.2-2
) A ( x x E .
) P : ( x E ) : A ( x

P x E x ) . A ( x

P : x E ) A ( x
: x E ) A ( x
: E ) A ( x
) A ( x

): A( x

) Q : ( x E

Q E ) A ( x
Q : x E ) A ( x
: x E ) A ( x
;

; x 2 + 3x + 1

x2 0
1
x+ = 2
x
2
x +1 = 0

: P1 :
: P2
: P3
: P4

P1
P2
P3
P4

1 .
:
2
;
y=x
: Q1
: Q2

y = x2

: Q3

y = x +1

: Q4

y x

: Q5

y = x2

) ( y ) ( x
) ( y ) ( x
) ( x ) ( y
+

) ( x ) ( y
) ( x ) ( y +

.
.

(3 .
.1-3 .
P P P
P
P.

 .
P

1
0

1
0
1 V
VRAI
FAUX
0 F

P
0
1

( A) = A

: :
;
- A1
x2 0
- A2

x2 = 1

- A3

; x2 + y2 = 1

- A4

; x + y = xy

- A5

1
x
xy 0

=y

- A6
:

( x
( x
) ( y
) ( y

)
)
)
)

( x
( x

) ( x ) ( y

) ( x ) ( y

) ( x E ) : A ( x
) ( x E ) : A ( x
) ( x E ) : A ( x
) ( x E ) : A ( x
) ( x E )( y F ) : A ( x, y ) ( x E ) ( y F ) : A ( x, y
) ( x E )( y F ) : A ( x, y ) ( x E ) ( y F ) : A ( x, y

" : "
A A.
) P : ( x E ) : A ( x
:
P : ) P : ( x E ) : A ( x

c : :
d :

x 2 3x 1 0
1
+x 2
x

x.
x.

Disjonction logique

.2-3
A B ) A ( B
A B.
) A .( B
A B
A
B
1
0
1
0
1
1
1
1
1
0
0
0
:

) x , x 2 + 1 = 0
) n ,1n = 1
) x , x 2 = x

P1

; x2 0

P1 : ( 2
P2 : ( 2
P3 : ( x

 P2
P3
Conjonction logique

.3-3
A B ) A ( B A B
.
A . B
AB
1
0
0
0

) ( x ) x 2 1 = 0
) ( n, m ) *2 , nm n
x +1
) =1
x 1
: Q1

A
1
1
0
0

B
1
0
1
0

, x2 0 ,

Q1 : ( x

, x2 0

Q2 : ( x

1
x

x 2

0 ; x+

Q3 :( x

: Q2
: Q3
Implication logique
.4-3
: A B.
:
B
1
0
1
1

0
0
1
1

B
1
0
1
0

A
1
1
0
0

) B ( A A B.
: ) B ( A A . B
A B
A . B

A . B
A . B
c ) ( A B
B . A
d ) ( A B ) ( B A .
e ) ( A B A B .
) ( A B
A B .
A . B

)(B C

)( A B

AC

.....
.
1 Lois de MORGAN .................
) A(B

B A
) A ( B

B A
2
3 .

) ( B A
:

a=0

)( A B

0) : a

4 ) (
Raisonnement par labsurde
D
: D L :
D I D//L

L
5
: 1 n n 3 . n
: 2 n3 n .
: 3 m mx 2 + 2 x + 1 = 0 : .
3

6 .