Université de Bretagne Sud
UFR Sciences et Sciences Pour l’Ingénieur

TRAVAUX DIRIGES

Introduction à la logique
! "

Exercice 1 — Les profs de maths de lycée sont-ils de fieffés menteurs ? (contrôle continu 2001-2002) ! ) # $ # $ " *+ # # ,) ! $ % $ & # ! % " $ '( # . / $ % . / ! "

Logique des propositions (LP)
!
Exercice 2 — Foules Sentimentales... 1 ! 4 3 ' ! 2 2∧ 2∨ + 3 ∧ 3 # # & # % * # # !% 4 4 " 3 #% $# $& ' ! & 5 3 2∧ 2∨ 2" " 3 5 4 4 6 !% ! # # # ! . 2 2⇔3 # ! ! $ # 7 4 4 3 ' 5 4 "

"

Exercice 3 — Météorologie logique & & & 0 + ) # * , * % # # ' ( * " ! ( # % ) # * ! ! *

Exercice 4 — Nécessaire ou suffisant ? (contrôle continu 2001-2002 ; 5’) 1 ! * ! ! ! ! # ! ! * * * 0. '1 " / ! &8 = ! & # ! # ! # # / $ pause 8 $ $ %: ! " ' 3 # " > ! !# & ; 8 ' 3 $# " 9 "9 , ! " #' < -. / ) 0 5 ! # - # # ! ! # / !

. / .

/ / conclusive'

"
Exercice 5 — Petit précis de géométrie euclidienne # 5 ! .$ $ & # # ! , ! , ! ( ! ! !

#$ %

""

%

$

$

-

. %

& , $ , ! , 1 " $ ! , 2 $ , 1 * 3 %* ! 3 1 ! ( %* * 3 ( %* * 3 %* # 2

* ,

! ,

!

0

Exercice 6 — Rencontres logiques (examen 1999-2000 ; contrôle de Septembre ; environ 10’) !% ! 5 ! 4 6 7 ' #% ! * , # * ' " ( ! " ' " ! ' * .$ ' " 5 ! 5 ! 5 ! # # -

Exercice 7 — Un peu de gastronomie... 1 ! & ! & ! + # !* # @ $5 ! ! " / @ $# 5 5 ! @! * 1 # %A ', ' * #

! * * * * # # # *( # ,! .$

* " ( ! ! , * 1 ! ! ( ! * 2 ! ( # 8* ' ! * ( * , * # , * * ' ! #! .$ @ $5 .$ &

# #

'

Exercice 8 — Le diplômé motivé (examen 1997-98 ; contrôle de Novembre) # ! @2 " #% $$ 15 ! @$# " # $ ! # # # # # "( F " # 5 & # ! . $ ' = 5 !" ; " I ! & ' !% $ " . ! & ! ) ) & ! #% $ 15 & ' .! . .$ $ " ! % $ " # !# ! B # =

@ C 6 1 ) "

( !" * # ( !" * ( ! * 1 * ## ! # & ! $# % * "" 2 " # N " = #

, * O !% " " * ## ! $# / # # 5 $ ''' # ! . & ' , . ! . ! # * (1 ! #

: ! ": ! 3 $ " @ " 5 5 3 $ " @ & ! ( ': & # $# ' 2 $J $ # 2 $ !% "

@ $ = ( # ! $# / ! ! $# "# &

! #

5

$ & $