Vous êtes sur la page 1sur 3

TD de programmation fonctionnelle et logique

Corrige du TD 7 : logique

Analyse de verite
Au moyen dune analyse de verite, prouver les e galites suivantes :
 
   
1.




  



$%&
$



 ! 

 


2.

 &*

.

(cest la formule du raisonnement par contrapos


ee).

-


/
)*+  01

&*

)*+  01

21

13*+  4

&*%6

)*+  %

3.

4.

 

 

)'


*+,
-

"#

 "&'(

 5*

"1

13*+  4

 5*'

13*+  4

 5*'

,


!
-

$
/

)*' %

)*%" %

7%

7%

80 3*'2

7)*+

)'

3

 3*+ 4

,

5*'

13*%6 01

"&*'2

3 9:
-3:;<: 




-

17 9: 47=:>:4

115 9: 115:9>:1

=:? : >:4

>: 15>:1

:: (@:4

>:&;>=:?

:: (@:4

,


$
A

:: (:1

:$0:@ 5=:1

:: :

:: (6

:':

:$+:

3 9:
-3:;<: 

B




47 : 4:;<:4

115 9: 4 5=:>:4

;>=:? >:4

1&=:? : (@:4

;<: 0@=:

::@@=:4

::@@=:4
,


,


:: #7:1

:$0:@ &:1

:: 

:: C:?

:+:

:$+:

Remarque : prouvez legalite D

E

'E

est e quivalent a` montrer que D

est une tautologie.

Mise sous Forme Normale Conjonctive


Mettre sous Forme Normale Conjonctive les formules suivantes (on pourra se servir des formules demontrees a` la
section precedente) :
1GF=*H$=IJ1K#4HL65*NM9=OP41
M
Q FC*H,=IJSRT(QUH,L" *M9=O9SR2Q
FC*H$=IJ&
H$VIJK
HWXL6*
NM

HJ(NM

F=
H$CI$

M5O9=
%NM&YOP5
L"NO]

HJNO

MSR

H)ZL"
%NM&[O9&\

H)

L"
M&\

H)

L645\O

H)

L"4=

L"

Do`u :
4^F*0H$VIJ4_1H,L" *M9=O914

M&
-H$=I,

4^F=*H,=IJ1K#4HL"&*NM9=OP41

F`_(MP

M
-H$VI

1GF*H,=IJ1_4H$L6 *0NM=OP419

F`

M&
H$=I$

1GF*H!=IJ1K(4H$L" *NM=OP419

HJM9
H$NM9

FP

4^F=*H,=IJ1_(4H$L" *NM=OP41

L!NO]

F`

H$

M
-H!=I$

4^F=*H$CIJ4_(1H$L"&*MP=O911_

L"O]

H,

M&
H,=I$

M
NI$

L"(NO

HJNO]
HJNO

L!NO]

F`
FP

H$
H$

L!

Montrer par refutation que :


4a>

>b

k d>c2d@gih



a=:@

>b

g k d>f2d&gih



 

hTgJclh

 *':

gJf

ced>f.d@gih

f2d@gJh

f
j

2.

14^F*H$VIJ1K1H$L" *NM=O911_

L"

L&

Methode de resolution
1.

HJK#O

M1&*0^F=*mIJ

L6_
L"

L"
M

oTd@rTd@g"s

q"d gio

q6d gep

n d gio

n d gep

gJq

gJrts

oTd@r
o
q
j

Transcription dun e nonce


Une association est regie par le r`eglement interieur suivant :
1. Les membres de la direction financi`ere doivent e tre choisis parmi ceux de la direction generale.

*lv
u

2. Nul ne peut e tre a` la fois membre


de la direction generale et de la direction de la biblioth`eque sil nest membre
Nv  *
de la direction financi`ere.
u
3. Aucun membre de la direction de la bibioth`eque ne peut e tre membre de la direction financi`ere.
v

,*

On designe par les lettre u , et les proposition atomiques w e tre membre de la direction financi`ere x , w e tre
membre de la direction generale x , w e tre membre de la direction de la bibioth`eque x .

Ecrire
sous forme decomposee lensemble des trois articles du r`eglement.
Montrer, par une*l
analyse
de v
erite, que cet ensemble est semantiquement e quivalent a` lensemble de deux propovPzv*
"{
sitions suivant : y"u
. *'
Rev
diger
un nouveau r`
eglement. 4&4 *lv _#Nv*
1
91Nv  *
9$*
 4
u
u
u
On veut e tablir la formule : u
Nouveau r`eglement :
1. Les membres de la direction financi`ere doivent e tre choisis parmi ceux de la direction generale.
2. Aucun membre de la direction generale ne peut e tre membre de la direction de la biblioth`eque.

|}!~
GU<G^T ~ J=4< ~ "1Ue=UGKC6_^P ~ U
GU_=?_ ~ 1?  J=UG<^P  U
UG=?   JUG=? 
G9JG


|2}
UG<GGT  J16_  "4GJGU=?<^P=  G
GG_=6_G`4K"4J=UGKC6KG` ~ U
GU_=?<^P=4?K"1JGU=?<?
GU_=?<^P=4?K"1JGU=?<?
GU_=?<^P=4?K"1JGU=?<?
},~
}
U ~ <^P ~ < ~ JG ~ <?
G  <^P  <  JG  ?_6
 K6  J  _6
G  K  J=GTK6
6P=6
^T ~ J ~

~ ~