0% ont trouvé ce document utile (0 vote)
27 vues30 pages

QCM Complet Logique 100 Questions Avec Reponses

Le document est un questionnaire à choix multiples (QCM) sur la logique propositionnelle et la logique des prédicats, basé sur les cours N°1 à N°5 de l'USTHB - Faculté d'Informatique. Il contient 100 questions avec les réponses correctes fournies pour chaque question. Les sujets abordés incluent les propositions, les connecteurs logiques, les règles de déduction, les tables de vérité, et les quantificateurs en logique des prédicats.

Transféré par

mimkhe6
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 DOCX, PDF, TXT ou lisez en ligne sur Scribd
0% ont trouvé ce document utile (0 vote)
27 vues30 pages

QCM Complet Logique 100 Questions Avec Reponses

Le document est un questionnaire à choix multiples (QCM) sur la logique propositionnelle et la logique des prédicats, basé sur les cours N°1 à N°5 de l'USTHB - Faculté d'Informatique. Il contient 100 questions avec les réponses correctes fournies pour chaque question. Les sujets abordés incluent les propositions, les connecteurs logiques, les règles de déduction, les tables de vérité, et les quantificateurs en logique des prédicats.

Transféré par

mimkhe6
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 DOCX, PDF, TXT ou lisez en ligne sur Scribd

QCM Complet - Logique Propositionnelle et Logique des

Prédicats
Basé sur les cours N°1 à N°5
USTHB - Faculté d'Informatique
Total: 100 questions avec réponses

PARTIE 1: LOGIQUE PROPOSITIONNELLE - LE LANGAGE


1. Qu'est-ce qu'une proposition en logique propositionnelle?

 a) Un énoncé qui peut être soit vrai soit faux


 b) Un paradoxe
 c) Une question
 d) Une exclamation

✓ Réponse correcte : a

2. Quel est le principe fondamental de la logique propositionnelle?

 a) Le principe de non-contradiction
 b) Le principe du Tiers Exclus
 c) Le principe d'identité
 d) Le principe de causalité

✓ Réponse correcte : b

3. Lesquels sont des symboles logiques primitifs dans Lp(¬, ∧)?

 a) ¬ et ∧ seulement
 b) ¬, ∧, ∨, →, ↔
 c) Toutes les variables propositionnelles
 d) Les parenthèses

✓ Réponse correcte : a
4. Quelle est la définition de α ∨ β dans Lp(¬, ∧)?

 a) ¬(¬α ∧ ¬β)
 b) ¬α ∧ ¬β
 c) α ∧ β
 d) ¬(α ∧ β)

✓ Réponse correcte : a

5. Quelle est la définition de α → β dans Lp(¬, ∧)?

 a) ¬α ∨ β
 b) α ∧ β
 c) ¬(α ∧ ¬β)
 d) α ∨ β

✓ Réponse correcte : c

6. Quelle est la définition de α ↔ β?

 a) (α → β) ∧ (β → α)
 b) α ∧ β
 c) α ∨ β
 d) ¬(α ∧ β)

✓ Réponse correcte : a

7. Dans l'ordre de priorité des connecteurs, lequel est le plus prioritaire?

 a) →
 b) ∧
 c) ¬
 d) ↔

✓ Réponse correcte : c
8. Comment s'écrit (¬P ∨ Q) ∧ R sans parenthèses superflues?

 a) ¬P ∨ Q ∧ R
 b) (¬P ∨ Q) ∧ R
 c) ¬P ∨ (Q ∧ R)
 d) On ne peut pas enlever les parenthèses

✓ Réponse correcte : a

9. Qu'est-ce qu'une formule atomique?

 a) Une variable propositionnelle simple


 b) Une formule avec ∧
 c) Une formule avec ¬
 d) Une formule complexe

✓ Réponse correcte : a

10. Laquelle est une formule bien formée (ebf) de Lp(¬, ∧)?

 a) ¬(P ∧ Q)
 b) P ∧ ∧ Q
 c) (P Q)
 d) → P Q

✓ Réponse correcte : a
PARTIE 2: SYSTÈME DÉDUCTIF DE LA LOGIQUE PROPOSITIONNELLE
11. Quelles sont les règles primitives du système déductif (¬, ∧)?

 a) (I∧), (E∧), (I¬), (E¬)


 b) Seulement (I∧) et (E∧)
 c) Toutes les règles des 5 connecteurs
 d) Aucune règle

✓ Réponse correcte : a

12. La règle (I∧) exprime que:

 a) Si on a α et β, on peut déduire α ∧ β
 b) Si on a α ∧ β, on peut déduire α
 c) Si on a α ∧ β, on peut déduire β
 d) Aucune de ces réponses

✓ Réponse correcte : a

13. Combien de formes possède la règle (E∧)?

 a) Une seule
 b) Deux formes
 c) Trois formes
 d) Quatre formes

✓ Réponse correcte : b

14. La règle (E¬¬) permet de:

 a) Déduire α à partir de ¬¬α


 b) Déduire ¬¬α à partir de α
 c) Déduire ¬α à partir de α
 d) Créer une contradiction

✓ Réponse correcte : a
15. Qu'est-ce qu'une contradiction dans le système déductif?

 a) Avoir β et ¬β en même temps


 b) Avoir α ∧ β
 c) Avoir α ∨ β
 d) Avoir α → β

✓ Réponse correcte : a

16. La règle (I¬) nécessite:

 a) Une contradiction pour supprimer une hypothèse supposée


 b) Seulement une hypothèse
 c) Deux formules identiques
 d) Aucune condition

✓ Réponse correcte : a

17. Que signifie Γ ⊢ α?

 a) α est déduite à partir de Γ


 b) Γ est déduit à partir de α
 c) Γ et α sont équivalents
 d) Γ implique α sémantiquement

✓ Réponse correcte : a

18. Que signifie ⊢ α?

 a) α est un théorème
 b) α est une hypothèse
 c) α est faux
 d) α est une tautologie

✓ Réponse correcte : a
19. Dans une déduction arborescente, où se trouve la conclusion?

 a) À la racine
 b) Dans les feuilles
 c) Dans les branches
 d) Partout

✓ Réponse correcte : a

20. Pour montrer α1, ..., αn ⊢ β, quelle stratégie peut-on utiliser?

 a) Supposer ¬β et chercher une contradiction


 b) Appliquer directement (I∧)
 c) Éliminer tous les connecteurs
 d) Remplacer β par sa définition

✓ Réponse correcte : a
PARTIE 3: SÉMANTIQUE - TABLES DE VÉRITÉ ET INTERPRÉTATIONS
21. Combien de lignes a la table de vérité d'une formule avec 3 variables propositionnelles?

 a) 3
 b) 6
 c) 8
 d) 9

✓ Réponse correcte : c

22. Qu'est-ce qu'une instanciation?

 a) Une ligne dans la table de vérité


 b) Une variable propositionnelle
 c) Un connecteur logique
 d) Une formule composée

✓ Réponse correcte : a

23. Une formule est satisfaisable si:

 a) Il existe au moins une instanciation qui la rend vraie


 b) Toutes les instanciations la rendent vraie
 c) Aucune instanciation ne la rend vraie
 d) Elle contient au moins 2 variables

✓ Réponse correcte : a

24. Qu'est-ce qu'un modèle pour une formule α?

 a) Une instanciation qui satisfait α


 b) La négation de α
 c) Une formule équivalente à α
 d) La table de vérité de α

✓ Réponse correcte : a
25. Une tautologie est une formule qui est:

 a) Vraie pour toutes les instanciations


 b) Fausse pour toutes les instanciations
 c) Vraie pour au moins une instanciation
 d) Fausse pour au moins une instanciation

✓ Réponse correcte : a

26. Comment note-t-on qu'une formule α est une tautologie?

 a) ⊨ α
 b) ⊢ α
 c) α ≡ β
 d) α ⊨ β

✓ Réponse correcte : a

27. Une antilogie est une formule qui est:

 a) Fausse pour toutes les instanciations


 b) Vraie pour toutes les instanciations
 c) Vraie pour au moins une instanciation
 d) Satisfaisable

✓ Réponse correcte : a

28. Si α est une antilogie, alors ¬α est:

 a) Une tautologie
 b) Une antilogie
 c) Satisfaisable mais pas tautologie
 d) Non satisfaisable

✓ Réponse correcte : a
29. L'équivalence logique α ≡ β signifie que:

 a) α et β ont même valeur de vérité pour chaque instanciation


 b) α implique β
 c) β implique α
 d) α et β sont des tautologies

✓ Réponse correcte : a

30. Quelle est la loi de De Morgan pour la conjonction?

 a) ¬(α ∧ β) ≡ ¬α ∨ ¬β
 b) ¬(α ∧ β) ≡ ¬α ∧ ¬β
 c) ¬(α ∨ β) ≡ ¬α ∨ ¬β
 d) ¬(α ∨ β) ≡ ¬α ∧ ¬β

✓ Réponse correcte : a

31. La propriété de commutativité pour ∧ s'écrit:

 a) α ∧ β ≡ β ∧ α
 b) α ∧ (β ∧ γ) ≡ (α ∧ β) ∧ γ
 c) α ∧ α ≡ α
 d) α ∧ (β ∨ γ) ≡ (α ∧ β) ∨ (α ∧ γ)

✓ Réponse correcte : a

32. La propriété d'idempotence pour ∧ est:

 a) α ∧ α ≡ α
 b) α ∧ β ≡ β ∧ α
 c) α ∧ ¬α ≡ ⊥
 d) α ∧ ⊤ ≡ α

✓ Réponse correcte : a
33. La distributivité de ∧ sur ∨ s'écrit:

 a) α ∧ (β ∨ γ) ≡ (α ∧ β) ∨ (α ∧ γ)
 b) α ∨ (β ∧ γ) ≡ (α ∨ β) ∧ (α ∨ γ)
 c) α ∧ β ≡ β ∧ α
 d) α ∧ α ≡ α

✓ Réponse correcte : a

34. Que signifie α ⊨ β (conséquence logique)?

 a) Pour chaque instanciation, si α=V alors β=V


 b) α et β sont équivalents
 c) α est une tautologie
 d) β est une tautologie

✓ Réponse correcte : a

35. Si ⊨ (α ↔ β) alors:

 a) α ≡ β
 b) α ⊨ β seulement
 c) β ⊨ α seulement
 d) Aucune relation particulière

✓ Réponse correcte : a
PARTIE 4: LOGIQUE DES PRÉDICATS - LANGAGE
36. Pourquoi a-t-on besoin de la logique des prédicats?

 a) Pour exprimer des quantifications sur des ensembles


 b) Pour remplacer la logique propositionnelle
 c) Pour simplifier les formules
 d) Pour éviter les contradictions

✓ Réponse correcte : a

37. Qu'est-ce qu'un prédicat?

 a) Une fonction de vérité qui dépend de variables


 b) Une variable propositionnelle
 c) Un connecteur logique
 d) Une constante

✓ Réponse correcte : a

38. Que signifie l'arité d'un prédicat?

 a) Le nombre d'arguments qu'il prend


 b) Sa valeur de vérité
 c) Son ordre de priorité
 d) Son type

✓ Réponse correcte : a

39. Quels sont les symboles primitifs du langage LP(¬, ∧, ∀)?

 a) ¬, ∧, et ∀
 b) Tous les quantifieurs
 c) Toutes les variables
 d) Tous les prédicats

✓ Réponse correcte : a
40. Le symbole '=' en logique des prédicats est:

 a) Un prédicat prédéfini d'arité 2


 b) Un connecteur
 c) Un quantifieur
 d) Une fonction

✓ Réponse correcte : a

41. Qu'est-ce qu'un terme?

 a) Une variable, constante ou application de fonction


 b) Un prédicat
 c) Un quantifieur
 d) Un connecteur

✓ Réponse correcte : a

42. f(x, g(a, y)) est:

 a) Un terme
 b) Une formule atomique
 c) Un prédicat
 d) Un quantifieur

✓ Réponse correcte : a

43. P(x, f(y)) est:

 a) Une formule atomique


 b) Un terme
 c) Une formule composée
 d) Une constante

✓ Réponse correcte : a
44. Comment définit-on ∃x α dans LP(¬, ∧, ∀)?

 a) ¬∀x ¬α
 b) ∀x ¬α
 c) ¬∀x α
 d) ∀x α

✓ Réponse correcte : a

45. Dans ∀x P(x), quel est le champ de x?

 a) P(x)
 b) ∀x
 c) x
 d) Toute la formule

✓ Réponse correcte : a

46. Dans la formule ∀x P(x) ∧ Q(x), x est:

 a) Liée dans P(x) et libre dans Q(x)


 b) Libre partout
 c) Liée partout
 d) Ni libre ni liée

✓ Réponse correcte : a

47. Une formule est fermée si:

 a) Toutes ses variables sont liées


 b) Elle n'a pas de variables
 c) Elle contient un quantifieur
 d) Elle est vraie

✓ Réponse correcte : a
48. ∀x ∃y P(x, y) est:

 a) Une formule fermée


 b) Une formule avec variables libres
 c) Un terme
 d) Un prédicat

✓ Réponse correcte : a

49. La fermeture de P(x, y) est:

 a) ∀x ∀y P(x, y)
 b) ∃x ∃y P(x, y)
 c) P(x, y)
 d) ∀x P(x, y)

✓ Réponse correcte : a

50. Dans ∀y P(x, y), le terme f(y) est-il libre pour x?

 a) Non, car y apparaît dans le champ de ∀y


 b) Oui, car f est une fonction
 c) Oui, car x est libre
 d) Non, car x n'apparaît pas

✓ Réponse correcte : a
PARTIE 5: SYSTÈME DÉDUCTIF DE LA LOGIQUE DES PRÉDICATS
51. Quel est l'axiome du système LP(¬, ∧, ∀)?

 a) ∀x (x = x)
 b) ∀x P(x)
 c) x = x
 d) P(x) → P(x)

✓ Réponse correcte : a

52. La règle (E∀) permet de déduire:

 a) α[t/x] à partir de ∀x α(x) si t est libre pour x


 b) ∀x α(x) à partir de α(x)
 c) ∃x α(x) à partir de α(x)
 d) Aucune déduction

✓ Réponse correcte : a

53. La règle (E∀) est aussi appelée:

 a) Règle de Particularisation
 b) Règle de Généralisation
 c) Règle de Substitution
 d) Règle d'Élimination

✓ Réponse correcte : a

54. Dans la règle (I∀), quelle est la condition sur x?

 a) x ne doit pas être libre dans les prémisses non éliminées


 b) x doit être une constante
 c) x doit être liée partout
 d) Aucune condition

✓ Réponse correcte : a
55. La règle (I∀) est aussi appelée:

 a) Règle de Généralisation
 b) Règle de Particularisation
 c) Règle de Remplacement
 d) Règle de Substitution

✓ Réponse correcte : a

56. À partir de ∀x P(x), peut-on déduire P(a) où a est une constante?

 a) Oui, par (E∀)


 b) Non, jamais
 c) Seulement si a=x
 d) Seulement avec (I∀)

✓ Réponse correcte : a

57. À partir de ∀x P(x), peut-on déduire P(x)?

 a) Oui, par (E∀) car x est libre pour x


 b) Non, car x est liée
 c) Seulement si P est vraie
 d) Jamais

✓ Réponse correcte : a

58. La règle de Remplacement (R) nécessite:

 a) Que t1 = t2 et que t1, t2 soient libres pour x


 b) Seulement t1 = t2
 c) Seulement que t1 soit libre
 d) Aucune condition

✓ Réponse correcte : a
59. Combien de règles a le système déductif LP(¬, ∧, ∀)?

 a) 7 règles
 b) 4 règles
 c) 5 règles
 d) 10 règles

✓ Réponse correcte : a

60. Que signifie Γ ⊢ α en logique des prédicats?

 a) α est déduite de Γ en utilisant les règles du système


 b) α implique Γ
 c) α et Γ sont équivalents
 d) α est satisfaisable

✓ Réponse correcte : a
PARTIE 6: SÉMANTIQUE ET INTERPRÉTATIONS - LOGIQUE DES PRÉDICATS
61. Qu'est-ce qu'un domaine d'interprétation D?

 a) Un ensemble non vide sur lequel portent les variables


 b) Une fonction de vérité
 c) Un prédicat
 d) Une formule

✓ Réponse correcte : a

62. Une interprétation I associe à une constante:

 a) Un élément du domaine D
 b) Une fonction
 c) Un prédicat
 d) Un quantifieur

✓ Réponse correcte : a

63. Une interprétation I associe à un symbole de fonction f d'arité n:

 a) Une fonction φ: Dⁿ → D
 b) Un élément de D
 c) Une relation
 d) Un prédicat

✓ Réponse correcte : a

64. Une interprétation I associe à un prédicat P d'arité m:

 a) Une relation R ⊆ Dᵐ
 b) Une fonction
 c) Un élément de D
 d) Un quantifieur

✓ Réponse correcte : a
65. Le prédicat '=' est interprété comme:

 a) DiagD = {(d,d) : d ∈ D}
 b) D × D
 c) Une fonction
 d) Un ensemble quelconque

✓ Réponse correcte : a

66. Qu'est-ce qu'une valuation V?

 a) Une fonction de l'ensemble des variables libres dans D


 b) Une interprétation
 c) Un domaine
 d) Une formule

✓ Réponse correcte : a

67. Que note-t-on I ⊨ α[V]?

 a) α est satisfaite par V pour I


 b) α est une tautologie
 c) α est déduite de I
 d) V est un domaine

✓ Réponse correcte : a

68. Que signifie Vₓ,ₐ?

 a) La valuation V où x prend la valeur d


 b) Une fonction de x
 c) Un domaine
 d) Une constante

✓ Réponse correcte : a
69. I ⊨ ∀x α(x)[V] signifie:

 a) Pour tout d ∈ D, I ⊨ α[Vₓ,ₐ]


 b) Il existe d ∈ D tel que I ⊨ α[Vₓ,ₐ]
 c) α est vraie
 d) V est constante

✓ Réponse correcte : a

70. I ⊨ ∃x α(x)[V] signifie:

 a) Il existe d ∈ D tel que I ⊨ α[Vₓ,ₐ]


 b) Pour tout d ∈ D, I ⊨ α[Vₓ,ₐ]
 c) α est fausse
 d) x est libre

✓ Réponse correcte : a

71. Une formule α est satisfaisable pour I si:

 a) Il existe une valuation V telle que I ⊨ α[V]


 b) Pour toute valuation V, I ⊨ α[V]
 c) I ⊭ α[V] pour toute V
 d) α est fermée

✓ Réponse correcte : a

72. Une formule α est valide pour I (I ⊨ α) si:

 a) Pour toute valuation V, I ⊨ α[V]


 b) Il existe V telle que I ⊨ α[V]
 c) α est une tautologie
 d) I est vide

✓ Réponse correcte : a
73. Une formule α est universellement valide (⊨ α) si:

 a) Pour toute interprétation I, I ⊨ α


 b) Pour une seule interprétation I, I ⊨ α
 c) α est satisfaisable
 d) α contient ∀

✓ Réponse correcte : a

74. Si α contient x₁, ..., xₙ comme variables libres, alors:

 a) I ⊨ α ssi I ⊨ ∀x₁...∀xₙ α
 b) I ⊨ α ssi I ⊨ ∃x₁...∃xₙ α
 c) I ⊨ α toujours
 d) I ⊭ α toujours

✓ Réponse correcte : a

75. Une formule fermée pour une interprétation I est:

 a) Soit valide soit non valide (pas d'entre-deux)


 b) Toujours valide
 c) Toujours non valide
 d) Parfois valide

✓ Réponse correcte : a
PARTIE 7: MODÈLES ET RELATION SYNTAXE-SÉMANTIQUE
76. Un modèle M pour un ensemble Γ de formules est:

 a) Une interprétation telle que M ⊨ α pour tout α ∈ Γ


 b) Un domaine D
 c) Une valuation
 d) Une formule

✓ Réponse correcte : a

77. Que signifie Γ ⊨ α (implication sémantique)?

 a) Pour toute I et V, si I ⊨ β[V] pour tout β ∈ Γ, alors I ⊨ α[V]


 b) Γ ⊢ α
 c) α ∈ Γ
 d) α est valide

✓ Réponse correcte : a

78. Si ⊨ α alors:

 a) α est universellement valide


 b) α est satisfaisable
 c) ⊢ α
 d) Toutes ces réponses

✓ Réponse correcte : a

79. Deux formules α et β sont sémantiquement équivalentes (α ≡ β) si:

 a) Pour toute I et V, I ⊨ α[V] ssi I ⊨ β[V]


 b) α ⊢ β
 c) α = β
 d) α et β sont valides

✓ Réponse correcte : a
80. Le théorème de Complétude énonce que:

 a) Γ ⊨ α ssi Γ ⊢ α
 b) ⊨ α implique α est satisfaisable
 c) Γ ⊢ α implique Γ est vide
 d) Toute formule est valide

✓ Réponse correcte : a

81. Le théorème de Consistance énonce que:

 a) Si Γ ⊢ α alors Γ ⊨ α
 b) Si Γ ⊨ α alors Γ est vide
 c) ⊢ α implique α fausse
 d) Γ est toujours consistant

✓ Réponse correcte : a

82. Si ⊨ α alors par complétude:

 a) ⊢ α (α est un théorème)
 b) α est fausse
 c) α est satisfaisable mais pas valide
 d) Rien ne peut être déduit

✓ Réponse correcte : a

83. Si α ≡ β (équivalence sémantique) alors:

 a) α et β sont déductibles l'une de l'autre


 b) α = β
 c) α ⊨ β seulement
 d) Aucune relation

✓ Réponse correcte : a
84. ⊨ α ↔ β équivaut à:

 a) α ≡ β
 b) α ⊨ β
 c) β ⊨ α
 d) α et β sont valides

✓ Réponse correcte : a

85. Si Γ est vide, alors Γ ⊨ α signifie:

 a) ⊨ α (α est universellement valide)


 b) α est satisfaisable
 c) α est fausse
 d) Rien

✓ Réponse correcte : a
PARTIE 8: APPLICATIONS ET MODÉLISATION
86. Comment formaliser 'Ali est le fils de Aicha' avec F(x,y): 'x fils de y'?

 a) F(Ali, Aicha)
 b) F(Aicha, Ali)
 c) ∀x F(x, Aicha)
 d) ∃x F(Ali, x)

✓ Réponse correcte : a

87. 'Tout le monde a un père' avec P(x,y): 'x père de y' s'écrit:

 a) ∀x ∃y P(y, x)
 b) ∃x ∀y P(x, y)
 c) ∀x ∀y P(x, y)
 d) ∃x ∃y P(x, y)

✓ Réponse correcte : a

88. 'Kader aime tout le monde' avec M(x,y): 'x aime y', a='Kader' s'écrit:

 a) ∀x M(a, x)
 b) ∃x M(a, x)
 c) ∀x M(x, a)
 d) M(a, a)

✓ Réponse correcte : a

89. 'Kader n'aime pas tout le monde' s'écrit:

 a) ∃x ¬M(a, x)
 b) ∀x ¬M(a, x)
 c) ¬∃x M(a, x)
 d) ∀x M(a, x)

✓ Réponse correcte : a
90. 'Personne n'aime Kader' s'écrit:

 a) ∀x ¬M(x, a)
 b) ∃x ¬M(x, a)
 c) ¬∀x M(x, a)
 d) ∃x M(x, a)

✓ Réponse correcte : a

91. 'Tous les oiseaux volent' avec O(x): 'x oiseau', V(x): 'x vole' s'écrit:

 a) ∀x (O(x) → V(x))
 b) ∀x (O(x) ∧ V(x))
 c) ∃x (O(x) → V(x))
 d) ∀x (O(x) ∨ V(x))

✓ Réponse correcte : a

92. 'Il existe des oiseaux qui ne volent pas' s'écrit:

 a) ∃x (O(x) ∧ ¬V(x))
 b) ∀x (O(x) → ¬V(x))
 c) ∃x (O(x) → ¬V(x))
 d) ∀x (O(x) ∧ ¬V(x))

✓ Réponse correcte : a

93. 'Kader aime une personne qui ne l'aime pas' s'écrit:

 a) ∃x (M(a,x) ∧ ¬M(x,a))
 b) ∀x (M(a,x) → ¬M(x,a))
 c) ∃x (M(a,x) → ¬M(x,a))
 d) ∀x (M(a,x) ∧ M(x,a))

✓ Réponse correcte : a
94. 'L'ami de mon ami est mon ami' avec A(x,y): 'x ami de y', a='moi' s'écrit:

 a) ∀x ∀y ((A(x,y) ∧ A(y,a)) → A(x,a))


 b) ∃x ∃y ((A(x,y) ∧ A(y,a)) → A(x,a))
 c) ∀x ∀y (A(x,y) → A(x,a))
 d) ∀x (A(x,a) → A(a,x))

✓ Réponse correcte : a

95. Dans une déduction, les feuilles de l'arbre représentent:

 a) Les hypothèses ou axiomes


 b) La conclusion
 c) Les règles
 d) Les contradictions

✓ Réponse correcte : a
PARTIE 9: SYNTHÈSE ET APPROFONDISSEMENT
96. La principale différence entre logique propositionnelle et logique des prédicats est:

 a) La possibilité de quantifier sur des variables


 b) L'utilisation de connecteurs
 c) La notion de vérité
 d) Les tables de vérité

✓ Réponse correcte : a

97. Un système déductif est dit complet si:

 a) Toute formule valide est démontrable


 b) Toute formule est démontrable
 c) Aucune formule n'est démontrable
 d) Les règles sont nombreuses

✓ Réponse correcte : a

98. Un système déductif est dit correct (consistent) si:

 a) Toute formule démontrable est valide


 b) Toute formule est démontrable
 c) On peut déduire des contradictions
 d) Il n'a pas de règles

✓ Réponse correcte : a

99. Quelle propriété garantit que si Γ ⊢ α alors Γ ⊨ α?

 a) La correction (consistance) du système


 b) La complétude du système
 c) La décidabilité
 d) La satisfaisabilité

✓ Réponse correcte : a
100. Quelle propriété garantit que si Γ ⊨ α alors Γ ⊢ α?

 a) La complétude du système
 b) La correction du système
 c) La décidabilité
 d) L'axiome

✓ Réponse correcte : a
À PROPOS DE CE QCM
Ce QCM couvre l'intégralité des 5 cours de logique:

📚 Cours 1: Langage de la logique propositionnelle (Q1-Q10)


• Propositions, symboles, connecteurs, formules

🔧 Cours 2: Système déductif de la logique propositionnelle (Q11-Q20)


• Règles de déduction, théorèmes, démonstrations

✓ Cours 3: Sémantique et tables de vérité (Q21-Q35)


• Interprétations, satisfaisabilité, tautologies, équivalences

🎯 Cours 4: Langage et système déductif de la logique des prédicats (Q36-Q60)


• Prédicats, termes, quantificateurs, substitution, règles

🌐 Cours 5: Sémantique de la logique des prédicats (Q61-Q85)


• Domaines, interprétations, valuations, validité, modèles

🚀 Applications et Synthèse (Q86-Q100)


• Modélisation, théorèmes de complétude et consistance

💡 Conseil: Chaque question est suivie immédiatement de sa réponse correcte en vert. Utilisez ce
QCM pour vous entraîner et vérifier votre compréhension des concepts.

📖 Source: USTHB - Faculté d'Informatique - L. KADDOURI

Vous aimerez peut-être aussi