0% ont trouvé ce document utile (0 vote)
326 vues15 pages

Logique et Calcul des Propositions

Ce document contient des exercices de logique propositionnelle et logique classique. Il présente plusieurs expressions logiques à analyser à l'aide de tables de vérité, de formes normales conjonctives et de la méthode des arbres. Le document demande également de construire des syllogismes.

Transféré par

Gora Ka
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
0% ont trouvé ce document utile (0 vote)
326 vues15 pages

Logique et Calcul des Propositions

Ce document contient des exercices de logique propositionnelle et logique classique. Il présente plusieurs expressions logiques à analyser à l'aide de tables de vérité, de formes normales conjonctives et de la méthode des arbres. Le document demande également de construire des syllogismes.

Transféré par

Gora Ka
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd

.

1I t fo DE DA1KA ANNE UNIV, 001-2002


SESS!O
DUCL
DURE:
11ey

PH 1031,1OGIQUE

CA,CUL PROPOSITIONNEL
1. Véifier par la méthode des arbres si les diductions suivantes sent légitimes,

b) p q .p v ) (r s}vql
)p.,r -[qr) (r P)

2. Soient tes expresinns

Sant pa05er pr 1able de verté, neftre A ct sous NC et E sous iND

ecntc le.CiiLuls cicctques survants

A(p r) 1 sv )(qv

i-1OGIQUE A. RISTOTELCENNE

.) figurci, FELAPTO'(isurc)
Cotftii:c des syliogsincs cu CAMESTRES (" å l'aidc des teues «avarl , .
C E G N (4 iufc), PAMANTIP (4 figurc)
trnoyen lernic, ajcur et
1)cejecH
¢l
« VolCi p1 TCSpectivement comne
minct

lCu
, Lrs iédr s 'ilya

Conveir les ropoitions s|IVatnles


nc ont pas honnêtes. %ce <ac
Ce tans maf:icicns
Ac
FACULTE DES LETTRES ESSIO113
ET 3CTENCES HTINATNES
iLLLUSUTTIU. DUREE:2H
Pii03oc.03

PH103i,J.OGIQUE

CALCUL DES PROPOSITIONS , '

A- Soit l'argument A suivant


a jeunesse de chaquè pays cst vraiment,laborieuse, hlor le taux de chömage vVa
considérablement baisser dans lc monde fom la mendicité' va, disparaitre de chaque
société.[Mais e taux de chômage iie va pas considérablement baisser dans le mond
Par conséquent sij la mendicité ne va pas disparaître de
1Cst pas laboricusë. » chaque société, la Jeunesse
I: Traduire symboliqucment l'argument A cu indiquant bicn . A
les hypothéses et la
Conclusion.
2 Etablir la table de vérité de A.
-

B-SOt l'expressIcn sulrante


A (q v r) T>[qvP vr)}|
3. Analyser A' par la méthodc des arbres.
4. Donner les formes normmales
la tabie de vériié.
conjonctives ct disjonctives de A' sans
passcr pa:

II- LOGIQUE ARISTOTELICIENNE a *a*i0

A- Endiquer la nature le
et
modus du
syllogysme suivant: « $'il y a coup d'Etat alors
armée n'est pas
républicaine*Or l'armée est
républicaine! Donc il n'y a pas coup
d'Etat. »
B Avec les termes marin et
» «
uageur », pris respectivement comme sujet et
prédicat, construire puis convertur toutes les
propositions catégoriques possibles.
C- Al'aide des temes « artiste », «
chanteur » et « africain » pris respectivement
Comne Grand, Moyen ct Petit termes, construire des
(3 ig ), CAMENES 4° fig.), FESTRNO i2" fig) et FESPACO syllogismes en DARAPTI
Réduirc chaque syllopisme s'il y a lieu (5 fig.).

.
19 pt9

u f 1fiufititi i /"

r).t) } { t v ( 5 ) A (A)}

tpat a méshod:
les arbre sí la déduction est 16gitime
, F

mble tuffisonldacomnectenr:1 {Dorner


un ezrntie)
1' y ' n t o1

uCUn rumnant1," bovidý


p ifin

rlie es{ vraie tu fausse, Cnindigante typ.


' vraie
Gotrepondante/est
es, en ndiquar,l si da propo.ition
rer
les auties 'y
a
dépalj cn indiquail
elic de
pyition (Y.onbiis,
'

r atir chaqu p faussc.


1 :1o t1Or est r a ;ou
a

1niversité Cheikti Anta DIOP de Dakar Année uni:. 2016-2017

LICENCE 2
Examen Semestre i.
Faculte <des Lettres ct Sciences Huinaines Durée: 2H
DEPARTEMENT DE PHILOSOPHIE
Monsier Boubé Namaïwa

3121L Logique
Exercice 1 :.... ...6 points
SnitP'argument SiAlin'a pas rencontré Omar l'autre nuit, e est
gue Omar est le
meurtrierlou Ali est rn menteu \Si jOmar n'est pas le rneurtrier, alors) Ali n'a pas
-

rencoitréOmar l'autre nuitet le crine a eu lieu après minuit Si le crime a eu lieu


apres minuit, \alors Omar est le meurtrier ou Ali uh menteur{Donc Omar est e
0eurtrier ».
. A noycn des ieires de prpssiiens T e a r ogiestradiire.
symboliquement cet argumeni
2- Dresser sa tablede vérité;
3-Quelleconclusion en tirer ?
Exercice 2... 6 points

Dresser ie circuit électrique correspondant à l'argument precédent.


Exercice 3.... 4Ppints

Mettre sous FNC sans fair detable de vérité


A: (1g - ( f g
B: (g V b)- 1g V (fV h)]
uelles conclusions en tirez-vous ?

Exercice 4. ,..4 points


Eficctuer les operation's logiques suivantes en base 2.
13 + 4 4 ?

NB: Les erercices doivent êtreprésentés t'ansil'vrdrek

.
ACULIE DES FTTE ANNEE UNIV, 2003-2u04
D ONTPO Oi
AIRTEMENT DEH OPHIE;
.

D.UREE:: 2 II
.

103 T:OGIOU
.

!
,

TIONS
1
iicci
quecorespondant à l'expréssiói Ciú iis
1(p-q)(pe>q¢ AI .

g)v(Gp->q)!}vpv(p*-0 'i.

fe p.r ia méthode in iquée si l'expression


est une tautolog!IC.
-p-y)>(pt>g) (tabl de vérité).
Lpa(paq) (F.N.C.) néthode des
3 r-s\nil>slvr}>rt arbres)
I LOIQUE CLASSI UE
Apartir d'uic uposition
Vraic d'une de, votro.choix qu,
part ctiit il y serait
part, constmiicez pu ainon-attribution
à un sujet univcrse! ontologiquement
convcrtissez (y
compis
ftutes lcs prop)sitioica.égoriques:possibles. la d'auire
proposition de
départ)
. Soitlc
i
syllogisine unvant
on classe parmi
c dernicrs sont d:: es's0phistestous.les avoçats, et.gue certains
'..
.

parni les soplhistes ydérénscufs


a des
de.causes perdues, il est évidcutparmi
aue
défcnseurs
':
de.causes perdues ».
a) Après aviy identifié
les différcnts termes, les
maniere à Btenir des
syliogismes.en disposer, 'de
BOCARD )(3 Figure) et CAMESTRES (2 Fighrc),
ESAPO (4Figure).
b) Lesrndre arfaits s'il ya
licu.

Fous poinvez comn nr )r urties (Calcl des. popositions) o:«


i
i C'il:Sigue). i.71: .
i iraqu| alue, treitet les quésiiöiis dans'rd
.

NNEE UINI V. 2992-20)93


TCUTEISLTRES eSCSSION
ET SCINCESIIt tAINES
iUELI
DEATEMET PiLOSOPHIE OREE:21
PI1O3Lr.03

PH103-LOGIQUE
1-CALCUL DES PROPOSITIONS
a) Vérifier les exprecesicns suivantes par le moyen in.liqué :
E= (métt.ode des arbres)

(méthode des atbres)

i= (p a ) ( q -p) table de vérité)

b) Soit l'argunicit
serail pas
E n poiitique Y ublisc la ruse ou la fcrcel Si on
utilise }a rusc, cclle-ci ne
e:t ie cas. Donc on utilisc
la force. »
illégale. Cc'qui
f3isant bicn res sortir Jes hypothèses.
Vérifiez si ce: argIu7)ent cst valide en

I - L O C i Q L E ARISTOTELICIENNE

Soiei les prérnisses


il n'y a aucun voleur, ct cic lcs vole'urs soi:t de:.Crimnels,
S i parni les pl:ilosopties
aiors.. » c

de .nanière à obtenir un mode cn CELARENT.


I. Compié.cz ce syllogisme
construire des syllogismes eo BRAMANTIP
2. Avec les mêmes termes,
DISAMIS (2 figure) et FRESISON
(4 Siggn:). CESARE (2° figurc),
(4fiurei
lieu.
3. Réduire chaquc syllogisme s'il y a
,

V 0 0 1

'PLTTRES SE SSION,
DURL

031LOGDUE

PROPOS: NNEX
u
l a riéhode d b:es si les déductions su!Vantes scn ég:tinies;
)
p ->q)nr>]-(p aT)°q]}
, i [p r)(r p)]
S xpreSsiOns

p ip -(P AG)I

p a e r par la tabie de vi iC, metire A et sous FNC et E sous FND


* * * ' * * * *** * * *
*******'**1**" **** **** *** **

',e ulir les CICUils el Iriques suivants

A y ) a
{[( r) q s)] vl(-p'v'sV + t) A(qvp)]}
t 1) v1p vg) s]}

ii0GIQUEARIST TELICIENNE

nirwire des syliogi nesen CAMESTRES( figure), FELAPTON(3"tigure),


ISON (4 igure BRAMANTIP-(4 figure). à l'aide des termes «sayar), *°T
nclecip » et evnlct » pris respectivement commemoyen termie,majeurei
UINLYERSITE CHL.A. TDIOY DE
DAKAR ANEE UNIV. 201h
ULRULA CONTINU
DEPARTEMENTE PHILOSOPHIE UEL
UREE:2!
P103Iec.05

PIH103L- LOGIQUE
,
1
(9
I-CALCULDES PROPOSITIONS
P3=
Exercicc 1:
Etablir ies tables de vérité des expressions suivantes:
. . 2 points.
. . 2 points. .

Exercice 2:
Soicntles exp. ssions Cct D ci-dessous
C(7p V)VGqAp),.$* pointsi !
D=(p g)A (P -^
)....ianeana.3:iis.
S rendrc respcctivement sous forme d'ui produit logiquc et, d'unc omme
logique (
ufilisant la distributivité de la conjonction ct
de.li. disionction l'une par rapportal'aulre.
Excrcice3:
onner Ics définitions des expressions suivantes:
******

a ) postulat de blvalence......soersss.Ipoint. ? v
b) postuiat d'ertensioualitC.....oinu1point.

i - LOGIQUE CLASSIQUE

xercice 1:.... . (4,5 points)


Soit la proposition:
«Nulle chauve-souris u'cst mainmlfère ».
Dirc si clle cst vraie ou îauss«, puis donner sa contraire ct sa, subalterne ct enlin
convertir chacune des propositions (y compris cellc de
départ).
Exercice 2:-. (45 points) G
Au moyen des tcImes Femne », «Avocite » ct « Juriste », considerés c n ordrc croissant,
«

construire puis réduire, s'il y a lieu, des syllogismes en DAROCO (2** Figure) DISAMIS
(3tFigurc)-ct FESAPO (4* Figure).

Excrcicc 3 s ( point)
Consuire une proposition hypothtiquc.
SLYaloy on bonc yre:
NB:
hrud. a ,Jo3C
O::S norrvoz co::nc /e ca!es: des piupusilioiS Ou la logiglt4C
LaSsique, mais les exércires doivent être traités dans l'ordre.

-- ** * * * ~ ** P
******
CA ULDSPROOSITIONS
ecil ( ( [oints)
Soit l'ryuwnt Idessous
Sl
évenu a tommis le vol, ést qud le vol a été minutieusement
prevenu avzit uu compliee. préparé(8uAlors le
avait uun
Si' le yola été minutieusement_préparé, alory, si le prévenu
coulice, un butiu plusimnportant
cût été
iunportant. Pii constquent, Ye prévenu i'a pas couniseiporté.0r)
le vol.
le butiu
»
n'a pas été
Taiie symboliqtenent cet angument puis analyser sa validité par la
b Analy'ser ce nmme
méthode des arbres.
angunent par une table de véité,

ercice ? (points)
Soient les
expressions suivantes
(PTq)AP >q),
Svt) {sv(rve)].
Donner la ND de 1E et la I'NC de G

-USTOIRE DE LA I.OGIQU
ercice 1.. ( poiuts)
St a
poposiion: Nul Atricain n'est éUNocrate. En constquue
les .propositions subaltenc,
tentrane ct contradictouc. Couveitir toutes ces roposit:ons Compris
y celle de déja:t.
ercice ?. (6 points)
Soient tes popositions Tout A cst B et
Quclque C est IB considérées respectivement conme
l a Majcure e la
Conclusion
d'in syllogisme de la première figure.
a) Donner la
mineure de co syliogisne. De qucl mode s'agit-il ?
b) Avee les mêmes termes préalablement
identifiés constuire puis réduire (s'il y a lieu) des
syllogisnes cn BAROCO (2" figure), DATISI (3 Tigure)

NB Vous pouvez commencer par le calcul des propositions o:u l'lhistoire.de la


logique, n:ais les exercices doiveutêtre traitésidansl'ordre
UNIVERSITE CIIA. TDIOi' DE DAKAR
E TV.20
CUiLRULE CONTINU
DEPARTEMENT DE PIILOsOPHE IHUEL
UREE: 21
PI1OSLrc.0S

PII103L-LOGIQUE

I-CALCULDES PROPOSITIONS
P31
Lzercicc I:
Etablir ies tables de vérité des cxpressions suivantes
points.
2 poiuts.

Wxercice 2:
Soient les exp. sssions Cet D ci-dessous:
PgV(19Ap),.Sz.... points,, i
*rissse*o..-: Liis.
CS rendrc respectivement sous forme d'ui produit logiquc et d'une sornme logique c
tilisant la distributivité de la conjonction ct de.l:.disionction l'une par rappottà l'autre.

Exercice 3:
Donner les définitions des expressionssuivantes:
PaA7V
a) postulatdeblivalence.. point.
b) postuiat d'extcnsioualité.... 1poiti.

II-OGKQUE CLASSIQUE
xcrcice 1:... .(4,5 points)
Soit la proposition:
«Nulle chauve-souris u'est mainmilerc ».
Dire si clie cst vraie ou faussc, puis doaner sa contraire ct sa subalterne ct enfin
convcrtir chacune des propositions (y compris cellc de départ.
.

Exercice 2 : . .. (4,5 points) G.


Au moyen des tcmes « Femine », «Avocdte » et « Juriste », considerés en ordre croissant,
construire puis réduire, s'il y a licu, des syllogismes cn DAROCO (2* Figurej DISAMIS
(3 m Figurc) ct FESAPO ( 4 * Figure).

Excrcicc 3: .. . ( 1 point)
Consuire unc proposition bypothétiquc.

NB: Vo:!s noryoz co:cic i r fo vaic::' i s pi upusitio1s ou la logique


LlaSsiquc, mais les exérci:rcs doivent étre traités dans l'ordre.
Universide Cheikh Anta
DIOr de Dakar
lnnee univ. 2011-2012

L.CENCE 2
iulte sis
Lettues et Sciences Session de rattrapage
titumanes
DEPARTEMENT DE PHILOsUPIE Duree
Moasievr Roubè Namaa

3121-ogique
EXercice l:, Oints
eritier par
ne tabie de vérité si
ac. H3 : lersqu'o1
[lea{avb)}. on peut déduire la
a les
hypothèses suivantes: Hi: (an lc),
Exercice2:. ***
5 points
conclusion C: lc-b H2:

Traduire sy mboliquement les


expressions suivantes au moyen des
Le
développement du continernt africain
opérateurs logiques
Jean n'est pas terroriste, mais Ali suppose une ardeur au travail
Omar l'est,
Cn ne
peut ètre au stade et en ciasse à la
ou
EA.; Y) '
S i les éleveurs ont fois;
que les citoyens sont
vendu leurs moutons c'est parce que les prix sont modérés
n'y a aucune riches;
raison d'etie
tandis
epicier ou bijoutierr
xercice 3:. . . pOits
Donner les règies de constitution d'une EBF
celles qui le sont puis identifier parmi les expression suirantes
E:pfp>q)v(qop)]-[pe-fqlp)qj: gK
F:pvg(r>s)}!tq}{rp}} A
G! n) ( i-k)i{vk)n(ma}}EB

Exercice f
.pots
tfectuer es operafjons suivanes *n base
2417 4237
D 1
ET KCATENCIES IIUMAINES
DUREE: 2.1.
C3Lce.DS

P 031,L QUE

1-CALCULDJES PROPOSITIONS
,

E-crcice I:
Eiablir ics tables dc vcrité dcs exprcssions suivanies
A ( i (1+1) P::.... p01nts.
I-{{-([VI} A(GE-1).. poits. .

IExercice2:
Soicnt ics c*pressións C ct D ci-dessous
(7 VDV GT\p)..I2s.
Cs rcndrc respcctivément
.. sous fomc d'ri produit logique ct d'unç somme logique n
utilisaat ia distributivité de 1a conjonction t de l, onction l'unc par rapport àl'autre.
cot seass
ftamse
Exercicc 3:
Donncr les définitions des cxpressions suivantcs
) 1ostulut deblvaiencc.... Cwen
****

****"*
b ) postulatd'ertensionnlité. polat.
******

I1- LOGIQUE CLASSIQUE


1
points) oloe est Seuve Ji
xercice 1:... .(4,5
Soit Iaptoposition
Nulle clhaur-souris u'est mammifèrc »t
1Dirc i cllc cst vraic ou fausse, puis donner sà contreire ct sa subalterne et cnfin.
convcrtii chacuncdes propositions (y co:npriscellede dépar+).
** *****

Exercice 2:.. ... (4,5 points). G.


Au moyen des tcrmcs « Feuine », «Avoåte » ct « Juriste », considerés cn ordrc croissant,
construire puis réduire, s'ily a licu, des syllogismcs cn BAROco (2 Figure), DISAMTS
(3 Figurc) ct FESAPO (4* Figurc).

Dxcrcicc 3: (1 point)
Constuirc unc proposition bypothétique.
SYalovy oi bonic Lra: { r t i l e ho»C
NB: Vous por:vet commencer par le calcul des propositions on la logique

classlque, i:ais les exércices doivent ëtre traités dans l'ordrc.


24943-24A4

iCENCE2

Duree

EFAREMEN DË FEiDADSDPHIE
onsicnr Bosbé Namaiwa

232A Logigne
Ercie 1.
r . Validiie de ls déiiction sutvartte

, i :, "j } 3

KCCice 2... ... 3 poinis


CConsire piia sttptriier ie circuit électt ique corespondsnt à l'expression

Exerri63,..
ints
Aettre sois la fone indiquée ics expressiOns F*tivar tes

ii-*g} A ip - ?p (FNC
r t 4...

ii iugiqi
Daiar Année univ. 2914-2915

LICENCEE2

Session de rattrapage
ic cilp: e. 1Gi1 1nes Durée 2H

onsi y}h: Pinsi*a

EXeriCe_ .
8.points
Déimir Ic:
expressions suivant Tautologie, Antilogie, Forme Normale Conjonctîv2,
Normale Disjonctive. Forme

Lercice 2....
2 points
Dorier les différents type:s de ropositions en logique mathématique et proposer un exemple
pour chacaun

. ''
6 points
Demonler-les équiyale1ces lo ques suivantes

TAn) logiqnemenqaivalent à hp
:

) logiquement quivaleintàllap)

..... 2points

Parune lbe de vérité vérisie la validité de lä déduction suivante

(),(hyp), ilp (pay)} l (p-1) (1lp)


...4points

des valens de vérité.


Soent , f 2 , f'3, Fa, Hi,
s Jeitres de propositions et 0, , i et
de
vérité à partir ces
lc listributior de yérilé:on Obtjent sur unei table de
Dire combicn
clonnées
iaversité Cineikh Anta ibIOP de Dakau n
eufiy. 2017;2018
CENCE 2
Sesion de ratirapage
C e sles et Seieinees
tlunmanes
EPRTEENT 1E PHILOSOPIHE Durce: 211

312- 0gique

xereice . points
Soit l'arument A CI-après
St les denrées de première nécessité coñtent cher, les commerçants ont da augmenter te
Prir ou a campagne ugricole a ité mauvaise. Or, il n'est ni question d'avgmentation de
r L par : s connmerçant ni de mauvaise cumpagne. Par conséquent, les denrées de
prennière nécessité ne coîtent pas cher.

1Traduire symboliquement cet argument ;


2-Etablir la table de véritéy correspondant;
3 Analyser cet arzument par la méthode de arbres.

Exercice 2.. points


à l'expression E ci-dessous.
Etabiir le circuit électrique correspondant
E:lp(4 p)}| q

Exercice 3..... .... points


suivantes
Mettre sous la forme indiquée les expressions
A :a b ) -(1b>a)] (FNC)
B:1{lp A (p>q}>q} (FND)

...2 points
Exercice 4...
Définir les expressions suivantes
Produit logique
Ensemble suffisant de
connecteurs

l'ordre et l'usuge du blunco est


: s e e r e i e s doiven1 êtro présentésiians

Vous aimerez peut-être aussi