Aimé DIUMI DIKOLO

LOGIQUE
FORMELLE

Wissen corporation
Groupe Les Erudits et alliés
Novembre 2022
AVANT PROPOS
WISSEN CORPORATION

C’est une plateforme formée essentiellement de meilleurs étudiants de nos

groupes d’étude et d’encadrement qui se sont fixés plusieurs objectifs dont le
premier est celui du partage de la connaissance en Informatique et en
mathématique.

Ainsi, pour atteindre notre premier objectif, nous organisons des formations
essentiellement gratuites pour partager le peu que nous connaissons avec les
autres. Car la connaissance, c’est comme un chandelier, sa lumière ne
diminue pas s‘il allume un autre chandelier.

Albert Einstein a dit : « Il ne faut pas faire de l’intelligence un dieu, car si celle-
ci est douée de muscles puissants, elle n’a pas de personnalité » …Parfois, il
n’existe pas de gens plus intelligents que les autres, mais c’est le travail qui
nous différencie. Pour bâtir haut, il faut creuser profond et tu seras fort dans
ce que tu te donnes.

Il y a une naissance en toute connaissance, Thucydide a dit : « Avoir des

connaissances sans les partager, c’est se mettre au niveau de celui qui n’a pas
d’idées ». Wissen Corporation est là pour assurer votre formation, votre
encadrement suivant vos désirs.

AIME DIUMI DIKOLO 1

L’amour de la connaissance et de la réussite nous
rassembla ici, agissons en conséquence….
Connectez-vous à votre espace membre pour retrouver les batts, batts
résolus, tps et des cours en vidéos.

www.wissen-corp.com

AIME DIUMI DIKOLO 2

DEDICACE

A
Maman Daudine DIONYO
André KONGA DIKOLO
Julie APAMI DIKOLO
Chadrack SHAKO DIKOLO
Pauline TSHULU DIKOLO
Joël YOMBOLA DIKOLO
Thérèse OTAKOTSHA DIKOLO
Jérémie OMELONGA DIKOLO
Moïse ALOMBA DIKOLO
Albertine MBOHELAKA DIKOLO
Mardochée MUKANGA DIKOLO

AIME DIUMI DIKOLO 3

REMERCIEMENTS

Sincères remerciements à

BYAMUNGU AMANI Kevin

Dieu-merci KAMBA KAMBA
ILUNGA KAMUANGU Moïse
KABUASA MONGA David
KALUME KALUME Remy
LOHALO OMASUKU Jules
MANGALA MUKUTU Chadrack
MAYIZOLA MUNTUTUGU Sam
MEKA KUMA Prosper
MOINDO ASOMBE Moïse
MONGA MOLEKA Guy-Gérard
MUKEMBELE TSHITENGE Ruth
NAGINE LIKUNDE Annie
NGOKAY BIAMANGO Josué
NYAMASHI KUMAKAMBA Tina
OLONGO LOHALO Chadrack
OYEKA ALEKA Henriette
Tresyl AMANAKO

AIME DIUMI DIKOLO 4

INTRODUCTION

Ce livre vous présente plus de 40 exercices du cours de logique formelle. Les

questions sont essentiellement des interrogations, examens et tps des années
antérieures.
L’objectif poursuivi n’est pas de rendre l’étudiant faible ou paresseux mais
plutôt de mettre à sa disposition un outil d’aide pour la préparation des
évaluations. La meilleure méthode serait de faire un effort de comprendre la
logique utilisée pour la résolution de chaque problème et cela peut vous
aider devant des cas similaires et il est conseillé de ne pas bloquer les
résolutions ou utiliser ce recueil pendant les évaluations.
Il y a une naissance en toute connaissance, Thucydide a dit : « Avoir des
connaissances sans les partager, c’est se mettre au niveau de celui qui n’a pas
d’idées ». L’objectif que je poursuis n’est pas de se prévaloir supérieur à vous
qui me lisez, mais de partager le peu que je connais à ceux qui veulent. Si
vous lisez ce livre pour chercher de failles, vous les trouverez certainement
mais si vous le lisez pour apprendre, vous apprendrez surement : Vous
trouverez ce que vous cherchez. Je ne suis en compétition avec personne.
L’œuvre humaine n’est jamais parfaite et celle-ci ne fait pas exception, ainsi
vos remarques et suggestions seront les bienvenues et m’aideront à améliorer
les éditions futures.
Bonne lecture

Aimé DIUMI DIKOLO

+243 81 083 46 16

adiumi@gmail.com

AIME DIUMI DIKOLO 5

EXERCICE 1
Construisez, avec des termes tirés de l’univers du discours informatique, un syllogisme
en EIO, 4e figure. Réduisez-le
(Examen 2019-2020)
Résolution
Aucun programmeur n’est opérateur de saisie

Et quelques opérateurs de saisie sont infographistes

Donc quelques infographistes ne sont pas programmeurs

Le moyen terme est Opérateur de saisie, le petit terme : infographistes et le grand terme :
programmeur. Le syllogisme est valide, et il est de la 4e figure :

Trouvons le mode du syllogisme :

Le syllogisme est composé des propositions EIO, mode EIO, à la 4e figure, correspond au
mode Fresison

Réduction du syllogisme

Nous allons effectuer deux opérations car nous avons deux s

AIME DIUMI DIKOLO 6

Première opération : s après E : conversion simple sur E

Aucun opérateur de saisie n’est programmeur

Et quelques opérateurs de saisie sont infographistes

Donc quelques infographistes ne sont pas programmeurs

Deuxième opération : s après I : conversion simple sur I

Aucun opérateur de saisie n’est programmeur

Et quelques infographistes sont opérateurs de saisie

Donc quelques infographistes ne sont pas programmeurs

Le syllogisme réduit est de la première figure, mode Ferio

EXERCICE 2
Donnez un exemple d’une proposition disjonctive inclusive contenant ces termes :
bavarder, prier.

(Recueil logique formelle)

Résolution
Il bavarde ou il prie

Or il prie

Donc il ne bavarde pas

2e Exemple
Il bavarde ou il prie

Or il prie

Donc il bavarde

AIME DIUMI DIKOLO 7

EXERCICE 3
Construisez, avec des termes tirés de l’univers du discours informatique, un syllogisme
en EIO, 3e figure. Réduisez-le

(Examen 2019-2020)
Résolution
Aucun Opérateur de saisie n’est programmeur

Et quelques opérateurs de saisie sont infographistes

Donc quelques infographistes ne sont pas programmeurs

Le moyen terme est Opérateur de saisie, le grand terme : programmeur et infographiste

est le petit terme :

Trouvons son mode :

Le syllogisme est composé des propositions EIO, à la 3e figure, il correspond au mode

Ferison.

Réduction du syllogisme

On aura une seule opération : s après I : conversion simple sur I

Aucun Opérateur de saisie n’est programmeur

Et quelques infographistes sont opérateurs de saisie

AIME DIUMI DIKOLO 8

Donc quelques infographistes ne sont pas programmeurs

Le syllogisme réduit est de la première figure, mode Ferio

EXERCICE 4
Donnez un exemple d’une proposition disjonctive exclusive avec ces termes : tresser,
cuisine
(Recueil)
Résolution
Elle tresse ou elle cuisine

Or elle tresse

Donc elle ne cuisine pas

EXERCICE 5
Construisez, avec des termes tirés de l’univers du discours informatique, un syllogisme
en AAI, 3e figure. Réduisez-le.
(Examen S1 2019-2020)
Résolution
Tout programmeur est informaticien

Et tout programmeur est développeur

Donc quelques développeurs sont informaticiens

Programmeur est le moyen terme, développeur petit terme et informaticien est le grand
terme :

AIME DIUMI DIKOLO 9

Le syllogisme est de la 3e figure.

Il est formé des propositions AAI, à la 3e figure, il correspond au mode Darapti

Réduction du syllogisme

Une opération : p après A : conversion par accident sur le second A

Tout programmeur est informaticien

Et quelques développeurs sont programmeurs

Donc quelques développeurs sont informaticiens

Le syllogisme réduit est de la première figure, mode Darii

EXERCICE 6
Donnez un exemple contenant les dix catégories d’Aristote

(Examen)
Résolution

L’étudiant, passionné pour la réussite, fit sortir ses trois livres et étudia du matin jusqu’au
soir. Entretemps, son ami, ignorant, était couché dans sa chambre ayant un téléphone en
main.

1. Trois : quantité
2. Ignorant : qualité
3. Étudia, fit sortir : action
4. Passionné : passion
5. Matin, soir : temps
6. Chambre : lieu (endroit)
7. Était couché : attitude
8. Son ami : relation
9. Ayant : avoir

AIME DIUMI DIKOLO 10

EXERCICE 7
Construisez, avec des termes tirés de l’univers du discours informatique, un syllogisme
en AAI, 4e figure. Réduisez-le.
(Examen S1 2019-2020)
Résolution
Tout programmeur est développeur

Et tout développeur est informaticien

Donc quelques informaticiens sont programmeurs

Développeur est le moyen terme, programmeur le grand terme et informaticien le petit

terme :

Le syllogisme est de la 4e figure.

Il est composé des propositions AAI, à la 4e figure, il correspond au mode Bramantip ou

Bamalip
Réduction du syllogisme

Deux opérations : p après une voyelle et m entre deux voyelles

AIME DIUMI DIKOLO 11

1ere opération : p après I : conversion par accident sur I

Tout programmeur est développeur

Et tout développeur est informaticien

Donc tout programmeur est informaticien

2e opération : m entre deux A : permutation des prémisses

Tout développeur est informaticien

Et tout programmeur est développeur

Donc tout programmeur est informaticien

Le syllogisme réduit est de la première figure, mode Barbara.

EXERCICE 8
Construisez, avec des termes tirés de l’univers du discours informatique un syllogisme
en OAO et réduisez-le
(Examen S1 2020-2021)
Résolution
Quelques programmeurs ne sont pas infographistes

Et tout programmeur est développeur

Donc quelques développeurs ne sont pas infographistes

Programmeur est le moyen terme, infographiste le grand terme et développeur le petit

terme :

AIME DIUMI DIKOLO 12

Le syllogisme est de la 3e figure.

Il est composé des propositions OAO, à la 3e figure, il correspond au mode Bocardo.

Réduction du syllogisme

Une opération : c à l’intérieur du mode : remplacement d’une prémisse (0) par la

contradictoire de la conclusion :

Tout développeur est infographiste

Et tout programmeur est développeur

Donc quelques développeurs ne sont pas infographistes

Le syllogisme obtenu n’est pas valide, donc le mode OAO n’est pas réductible.

EXERCICE 9
La souris de mon ordinateur ne fonctionne pas, alors que le texte à saisir est déjà
disponible. Or le professeur Kinanga attend mon travail ce soir. Donc, le texte ne sera pas
saisi. Formalisez ce raisonnement et apprécier-le par la méthode des tables de vérité.
(Examen S1 2020-2021)
Résolution
Posons :

𝑝: La souris de mon ordinateur fonctionne

𝑞 ∶ Le texte à saisir est déjà prêt

𝑟 ∶ Le professeur Kinanga attend mon travail ce soir

𝑠 ∶ Le texte sera saisi.

Nous avons : [(~ 𝑝 ∧ 𝑞) ∧ 𝑟] → ~𝑠

AIME DIUMI DIKOLO 13

 (1) (3) (4) (5) (2)
[(~ 𝑝 ∧ 𝑞 ) ∧ 𝑟 ] → ~ 𝑠
0 1 0 1 0 1 1 0 1
0 1 0 1 0 1 1 1 0
0 1 0 1 0 0 1 0 1
0 1 0 1 0 0 1 1 0
0 1 0 0 0 1 1 0 1
0 1 0 0 0 1 1 1 0
0 1 0 0 0 0 1 0 1
0 1 0 0 0 0 1 1 0
1 0 1 1 1 1 0 0 1
1 0 1 1 1 1 1 1 0
1 0 1 1 0 0 1 0 1
1 0 1 1 0 0 1 1 0
1 0 0 0 0 1 1 0 1
1 0 0 0 0 1 1 1 0
1 0 0 0 0 0 1 0 1
1 0 0 0 0 0 1 1 0
(3) (1) (4) (3) (5) (4) (5) (2)

C’est une expression neutre

EXERCICE 10
Construisez, avec des termes tirés de l’univers du discours informatique, un syllogisme
en EAO et réduisez-le.
(Examen S1 2020-2021)
Résolution
Aucun infographiste n’est programmeur

Et tout programmeur est développeur

Donc quelques développeurs ne sont pas infographistes

Programmeur est le moyen terme, infographiste le grand terme et développeur le petit

terme :

AIME DIUMI DIKOLO 14

Le syllogisme est de la 4e figure.

Il est composé des propositions EAO, à la 4e figure, il correspond au mode Fesapo

Réduction du syllogisme

Deux opérations : s après une voyelle et p après une voyelle

Première opération : s après E : conversion simple sur E

Aucun programmeur n’est infographiste

Et tout programmeur est développeur

Donc quelques développeurs ne sont pas infographistes

Deuxième opération : p après A : conversion par accident sur A
Aucun programmeur n’est infographiste

Et quelques développeurs sont programmeurs.

Donc quelques développeurs ne sont pas infographistes

Le syllogisme réduit est de la première figure, mode Ferio.

AIME DIUMI DIKOLO 15

EXERCICE 11
[L’écran n’affiche que s’il y a la charge dans le téléphone, or la batterie est complément
déchargé. Donc l’écran de mon téléphone ne va pas afficher.] Formalisez ce raisonnement
et appréciez-le par la méthode des tables de vérité.
(Examen S1 2020-2021)
Résolution
Posons

𝑝 ∶ L’écran affiche

𝑞 ∶ Il y a la charge dans le téléphone

Nous avons : [ (𝑝 ↔ 𝑞) ∧ ∼ 𝑞] → ~𝑝

(3) (4) (1) (5) (2)

[(𝑝 ↔ 𝑞) ∧ ∼ 𝑞] → ~ 𝑝
1 1 1 0 0 1 1 0 1
1 0 0 0 1 0 1 0 1
0 0 1 0 0 1 1 1 0
0 1 0 1 1 0 1 1 0
(3) (4) (3) (5) (4) (1) (5) (2)

L’expression est une tautologie.

EXERCICE 12
Construisez, avec des termes tirés de l’univers du discours informatique un syllogisme
en EAE et réduisez-le
(Examen S1 2020-2021)
Résolution
Aucun développeur n’est infographiste

Et tout programmeur est développeur

Donc Aucun programmeur n’est infographiste

AIME DIUMI DIKOLO 16

Développeur est le moyen terme, infographiste le grand terme et programmeur le petit
terme :

Le syllogisme est de la première figure.

Il est composé des propositions EAE, il correspond au mode Celarent.

Le syllogisme est irréductible car il est de la première figure.

EXERCICE 13
[L’écran n’affiche que s’il y a la charge dans le téléphone, or la batterie est complément
déchargé. Donc l’écran de mon téléphone ne va pas afficher.] Formalisez ce raisonnement
et appréciez-le par la méthode de décision indirecte.
(Examen S1 2020-2021)
Résolution
Posons

𝑝 ∶ L’écran affiche

𝑞 ∶ Il y a la charge dans le téléphone

Nous avons : [ (𝑝 ↔ 𝑞) ∧ ∼ 𝑞] → ~𝑝

AIME DIUMI DIKOLO 17

 [(𝑝 ↔ 𝑞) ∧ ∼ 𝑞] → ~ 𝑝
1 1 1 0 0 0 1
(3) (1) (3) (4) (1) (1) (2)
Etape 2
1 1 1 1 1 0 0 0 1
0 1 0 1 1 0 0 0 1
(5) (3) (5) (1) (3) (4) (1) (1) (2)

Sur la première ligne, il y a une contradiction sur q et sur la deuxième ligne, il y a une
contradiction sur p. Comme il y a au moins une contradiction sur chaque ligne,
l’expression est une tautologie.

EXERCICE 14
« Je n’achète votre produit que s’il est bon et moins cher. Donc si j’achète votre produit
alors il est bon et moins cher et si je ne l’achète pas il n’est pas bon et moins cher »

Cette manière de raisonner est-elle correcte ? Montrez-le à partir de la méthode de

décision indirecte et des arbres logiques
(Examen S2 2018-2019)
Résolution
Analyse

Pour la proposition « Je n’achète votre produit que s’il est bon et moins cher », nous
pouvons la reformuler comme suit : Seulement si votre produit est bon et moins cher,
alors je l’achète. Cela signifie aussi que de cette proposition, nous pouvons aussi déduire
que si j’achète votre produit alors il est bon et moins cher : il s’agit donc de la double
implication. Car en d’autres termes, nous pouvons dire que « j’achète votre produit si et
seulement s’il est bon et moins cher. »

En bref, ne… que se traduit par une double implication

Résolvons maintenant l’exercice :

Posons

𝑝: " 𝐿𝑒 𝑝𝑟𝑜𝑑𝑢𝑖𝑡 𝑒𝑠𝑡 𝑏𝑜𝑛"

AIME DIUMI DIKOLO 18

 𝑞 ∶ "𝐿𝑒 𝑝𝑟𝑜𝑑𝑢𝑖𝑡 𝑒𝑠𝑡 𝑚𝑜𝑖𝑛𝑠 𝑐ℎ𝑒𝑟"
𝑟: "𝐽′𝑎𝑐ℎè𝑡𝑒 𝑙𝑒 𝑝𝑟𝑜𝑑𝑢𝑖𝑡"
La proposition composée est :

[𝑟 ↔ (𝑝 ∧ 𝑞)] → [(𝑟 → (𝑝 ∧ 𝑞)) ∧ (∽ 𝑟 →∽ (𝑝 ∧ 𝑞))]

Utilisons la méthode indirecte pour déterminer sa validité

EXERCICE 15
Trouvez l’obverse de la contraposition de l’inverse des propositions ci-après :

a) Tout homme est mortel

b) Certains mathématiciens sont physiciens
c) Aucun philosophe n’est imbécile
d) Certains informaticiens ne sont pas intelligents
(Recueil)
Résolution
𝑎) Tout homme est mortel

Inverse : Tout non-homme est non-mortel

Contraposition de l’inverse : Tout mortel est homme

Obverse de la contraposition de l’inverse : Aucun mortel n’est non-homme

𝑏) Certains mathématiciens sont physiciens

Inverse : Certains non-mathématiciens sont non-physiciens

Contraposition de l’inverse : Impossible

𝑐) Aucun philosophe n’est imbécile

Inverse : Aucun non-philosophe n’est non-imbécile

Contraposition de l’inverse : Impossible

𝑑) Certains informaticiens ne sont pas intelligents

Inverse : Certains non-informaticiens ne sont pas non-intelligents

Contraposition de l’inverse : Certains intelligents ne sont pas informaticiens

Obverse de la contraposition de l’inverse : Certains intelligents sont non-informaticiens

AIME DIUMI DIKOLO 19

EXERCICE 16
Construire un syllogisme en mode aee 4e figure. Réduisez-le

(Interro)
Résolution
Tout homme est mortel

Et Aucun mortel n’est saint

Donc Aucun saint n’est homme

Mortel est le moyen terme, saint est le petit terme et homme le grand terme

Le syllogisme est de la 4e figure

Réduisons-le à la première figure :

Le syllogisme est de mode AEE soit Calemes ou Camenes

Première opération

s après une voyelle : conversion simple sur la voyelle qui précède s

Tout homme est mortel

Et Aucun mortel n’est saint

Donc Aucun homme n’est saint

Deuxième opération

m entre deux voyelles : permutation des prémisses :

Aucun mortel n’est saint
Et tout homme est mortel
Donc Aucun homme n’est saint.

AIME DIUMI DIKOLO 20

Dans ce dernier syllogisme :

Homme est le petit terme, saint le grand terme et mortel le moyen terme

Le dernier syllogisme est de la première figure, mode Celarent.

EXERCICE 17
Donnez l’obvserve de la contraposée de l’inverse de la converse de :

𝑎) Aucun informaticien n’est mathématicien

𝑏) Quelques informaticiens sont mathématiciens

Résolution
𝑎) Aucun informaticien n’est mathématicien

Inverse : Aucun non-informaticien n’est non-mathématicien

Contraposée de l’inverse : Impossible

𝑏) Quelques informaticiens sont mathématiciens

Inverse : Quelques non-informaticiens sont non-mathématiciens

Contraposée de l’inverse : Impossible

EXERCICE 18
« Il n’y a cours que si les étudiants, l’auditoire est libre et le professeur sont dans la salle.
Or le professeur n’est pas présent. Donc il n’y a pas examen. » Selon la méthode de table
de vérité, la manière ci-dessus de raisonner est-elle correcte ? Sinon, corrigez
(Examen S2 2018-2019)

AIME DIUMI DIKOLO 21

EXERCICE 19
Soit les termes : opérateurs de saisie, physiciens, mineurs, médecins, citoyens.

Construisez, avec ces termes :

a) Un sorite et donnez l’extension et la compréhension des termes des propositions

du raisonnement ainsi construit (indiquez cela en dessous de chaque terme)
b) Un syllogisme en mode eio de la 1ere figure et réduisez-le

(Examen S2 2018-2019)

EXERCICE 20
Définissez et illustrez la différence entre ambiguïté et amphibologie

(Examen 2013-2014)

EXERCICE 21
Soit le syllogisme :

Tous les informaticiens sont mathématiciens

Et tous les mathématiciens sont physiciens

Donc quelques physiciens sont informaticiens

𝑎) Appréciez-le

𝑏) Transformez-le en épichérème

𝑐) Transformez-le en enthymème

𝑑) Réduisez-le
(Examen 2013-2014)

AIME DIUMI DIKOLO 22

EXERCICE 22
« Les riches sont ce qu’ils sont par la ruse et par leur esprit perspicace. Le travail rend
grand nombre de gens heureux, cependant, il faut un effort personnel de la part de chacun
pour construire le Congo ».

𝑎) En lisant le texte ci-dessus, dégagez 9 termes dont 3 équivoques, 3 analogiques et 3

univoques.

𝑏) Avec trois termes univoques :

𝑏1) Construisez un syllogisme correct de la troisième figure

𝑏2) Réduisez-le
(Examen 2016-2017)

EXERCICE 23
Traduisez le raisonnement ci-dessous en langage naturel :

∼ ((⋃ 𝑥 (𝑎𝑥 → 𝑏𝑥)) ∧ (𝐸𝑥(𝑐𝑥 ∧ 𝑏𝑦))) → (𝐸𝑥(𝑐𝑥 ∧ 𝑏𝑥)). ((𝑝 → 𝑞) ∧∼ 𝑞) → ~𝑝

(Examen 2016-2017)

EXERCICE 24
« Il n’y a examen que si le prof est présent ou s’il fait beau. Or le prof n’est pas présent,
mais il fait beau. Donc il y a examen. » Selon la méthode de table de vérité, cette manière
de raisonner est
(Examen 2016-2017)

EXERCICE 25
« Le problème essentiel dans les crises de l’Afrique en général et de l’Afrique central en
particulier est d’ordre culturel. C’est ce que beaucoup d’hommes politiques ne
comprennent pas. Les conflits qu’on observe sont la conséquence de l’hétérogénéité
culturelle des Etats-nations due au découpage arbitraire de l’Afrique qui a séparé des
peuples. La problématique ethnique est au centre de la plupart des conflits qui se
produisent dans les pays de l’Afrique centrale. Il est avéré que les contradictions intra-
ethniques sont moins antagoniques que les contradictions interethniques. En effet, les
problèmes qui peuvent exister au sein d’une même ethnie ne dégénèrent en affrontements

AIME DIUMI DIKOLO 23

armés que très rarement. Par contre, les problèmes qui surgissent entre les ethnies
différentes peuvent se transformer facilement en guerres civiles voire en guerre
interétatiques. Il y a donc nécessité de repenser le découpage des Etats de l’Afrique
centrale qui, il faut dire, ne concerne pas que les Africains. La responsabilité des pays
occidentaux dans les crises intermittentes de l’Afrique centrale est indiscutable et c’est
pourquoi il leur incombe de participer activement à la recherche des voies et moyens pour
ramener la paix dans cette partie du monde. L’Afrique centrale est une contrée hautement
stratégique et nul n’aurait intérêt à la voir en ébullition permanente. Car les conséquences
de ses crises sont ressenties non seulement en Afrique mais également partout dans le
monde. Dans cette perspective, l’O.N.U. a un rôle prépondérant à jouer puisqu’elle est
l’inspiratrice éclairée des peuples dans leur lutte pour le progrès et le bien être (Jean
NSONSA)

1) Relevez 5 termes univoques contenus dans ce texte

2) En utilisant trois de ces termes, construisez un syllogisme réductible de la figure 2 et

réduisez-le

3) Relevez 5 termes susceptibles d’être équivoques contenus dans ce texte.

4) Quel type de raisonnement l’auteur utilise-t-il ? Définissez-le

5) Construisez avec des mots contenus dans ce texte, un raisonnement à 3 variables et

appréciez-le par la méthode de décision indirecte.
(Examen 2017-2018)

EXERCICE 26
Construisez, avec des termes tirés de l’univers du discours informatique, un syllogisme
en EIO, 1ère figure. Réduisez-le
(Examen 2019-2020)

EXERCICE 27
Comment le raisonnement par analogie peut-il s’appliquer en informatique ? en
mathématique ?
(Examen 2019-2020)

AIME DIUMI DIKOLO 24

EXERCICE 28
Donnez une maxime du « coopérative principale »
(Examen 2019-2020)

EXERCICE 29
Construisez, en utilisant des termes du domaine de l’informatique et 3 connecteurs
argumentatifs au moins, un raisonnement. Formalisez-le et vérifiez sa validité par la
méthode de table de vérité.
(Examen 2019-2020)

EXERCICE 30
Construisez, avec des termes tirés de l’univers du discours informatique, un syllogisme
en EIO, 2e figure. Réduisez-le
(Examen 2019-2020)

EXERCICE 31
Comment le raisonnement déductif peut-il s’appliquer en informatique ? mathématique ?
(Examen 2019-2020)

EXERCICE 32
Enoncez l’argument ad hominem et illustrez-le par la construction d’un bref
raisonnement utilisant des termes tirés du domaine informatique.
(Examen S1 2020-2021)

EXERCICE 33
Construisez, en utilisant des termes du domaine de l’informatique et 3
connecteurs argumentatifs au moins, un raisonnement. Formalisez-le et vérifiez
sa validité par la méthode de décision indirecte.
(Examen 2019-2020)

AIME DIUMI DIKOLO 25

EXERCICE 34
Construisez, en utilisant des termes du domaine de l’informatique et 3 connecteurs
argumentatifs au moins, un raisonnement. Formalisez-le et vérifiez sa validité par la
méthode de tableaux sémantiques.
(Examen 2019-2020)

EXERCICE 35
Enoncez l’argument ad populum et illustrez-le par la construction d’un bref raisonnement
en utilisant des termes tirés du domaine informatique.
(Examen S1 2020-2021)

EXERCICE 36
On sait que l’homme naturellement raisonne. A quoi sert alors le cours de logique
particulièrement pour un ingénieur informaticien.
(Examen S1 2020-2021)

EXERCICE 37
Faites la conversion, l’obversion, la contraposition et l’inversion de chaque des
propositions suivantes :

Il y a des gens qui agissent par ignorance

EXERCICE 38
Quelle est la place de l’induction dans votre domaine de formation ? Illustrez.
(Examen S2 2018-2019)

AIME DIUMI DIKOLO 26

EXERCICE 39
Quelle est la place du raisonnement par l’absurde en Sciences ?
(Examen S2 2018-2019)

EXERCICE 40
Quelle est la différence entre vérité et validité ? Donnez un exemple
(Examen S2 2018-2019)

EXERCICE 41
Le matin, je me lave, je prends mon sac et dis : « Je vais au cours ». De quel raisonnement
logique s’agit-il ? Définissez-le. Quel rôle joue-t-il en science ?
(Examen S2 2018-2019)

AIME DIUMI DIKOLO 27