Testez vos connaissances en Logique des Prédicats !

Question 1 sur 10 10:00

[{"id":56531,"question":"Quel symbole représente le quantificateur universel en logique des prédicats ?","option_a":"∃","option_b":"∀","option_c":"∧","option_d":"⇒","option_e":"","option_f":"","bonne_reponse":"B","explication":"Le symbole ∀ (pour tout) représente le quantificateur universel, tandis que ∃ (il existe) représente le quantificateur existentiel. ∧ est le symbole de la conjonction logique et ⇒ celui de l'implication.","points":1,"type":"qcm","actif":1,"section_id":null,"ordre":0},{"id":56532,"question":"Dans la formule ∃x (P(x) ∧ Q(x)), la variable x est :","option_a":"Vrai","option_b":"Faux","option_c":"","option_d":"","option_e":"","option_f":"","bonne_reponse":"A","explication":"La variable x est liée car elle est quantifiée par le symbole ∃ (il existe). Une variable est libre si elle n'est pas quantifiée dans la formule.","points":1,"type":"qcm","actif":1,"section_id":null,"ordre":0},{"id":56533,"question":"Quelle est la négation de la formule ∀x P(x) ?","option_a":"∃x ¬P(x)","option_b":"∀x ¬P(x)","option_c":"¬∀x P(x)","option_d":"P(x) ∧ ¬Q(x)","option_e":"","option_f":"","bonne_reponse":"A","explication":"La négation d'une formule quantifiée universellement (∀x P(x)) est équivalente à l'existence d'un contre-exemple (∃x ¬P(x)), d'après les lois de De Morgan généralisées.","points":1,"type":"qcm","actif":1,"section_id":null,"ordre":0},{"id":56534,"question":"La formule P(a) ∧ ∀x (Q(x) ⇒ R(x)) signifie :","option_a":"P est vraie pour a et pour tout x, si Q(x) est vraie alors R(x) est vraie","option_b":"P est vraie pour tout x et Q implique R pour tout x","option_c":"Il existe un x tel que P(a) et Q(x) implique R(x)","option_d":"P est vraie pour a et Q est vraie pour tout x","option_e":"","option_f":"","bonne_reponse":"A","explication":"La formule se lit : 'P est vraie pour l'élément a' ET 'pour tout x, si Q(x) est vraie alors R(x) est vraie'. Les quantificateurs s'appliquent uniquement à la partie qui les suit.","points":1,"type":"qcm","actif":1,"section_id":null,"ordre":0},{"id":56535,"question":"La formule ∀x (P(x) ⇒ Q(x)) est équivalente à :","option_a":"Vrai","option_b":"Faux","option_c":"","option_d":"","option_e":"","option_f":"","bonne_reponse":"A","explication":"Vrai. Cette formule se lit 'pour tout x, si P(x) est vraie alors Q(x) est vraie', ce qui est équivalent à 'il n'existe pas de x tel que P(x) soit vraie et Q(x) soit fausse' (¬∃x (P(x) ∧ ¬Q(x))).","points":1,"type":"qcm","actif":1,"section_id":null,"ordre":0},{"id":56536,"question":"Quel est le résultat de la substitution de y par b dans la formule ∀x (P(x,y) ⇒ Q(y)) ?","option_a":"∀x (P(x,b) ⇒ Q(b))","option_b":"∀x (P(x,y) ⇒ Q(b))","option_c":"∀x (P(b,y) ⇒ Q(y))","option_d":"∀x (P(x,b) ⇒ Q(y))","option_e":"","option_f":"","bonne_reponse":"A","explication":"Lors d'une substitution, on remplace toutes les occurrences de la variable y par b dans la formule. Ici, y apparaît dans P(x,y) et Q(y), donc les deux occurrences sont remplacées par b.","points":1,"type":"qcm","actif":1,"section_id":null,"ordre":0},{"id":56537,"question":"La formule ∃x P(x) ∧ ∃y Q(y) est équivalente à :","option_a":"∃x ∃y (P(x) ∧ Q(y))","option_b":"∃x (P(x) ∧ Q(x))","option_c":"∀x (P(x) ∨ Q(x))","option_d":"∃x P(x) ⇒ ∃y Q(y)","option_e":"","option_f":"","bonne_reponse":"A","explication":"Les deux formules sont équivalentes car l'existence d'un x vérifiant P(x) et d'un y vérifiant Q(y) est la même chose que l'existence de x et y (pas nécessairement les mêmes) vérifiant P(x) et Q(y).","points":1,"type":"qcm","actif":1,"section_id":null,"ordre":0},{"id":56538,"question":"Dans la formule ∀x (P(x) ∨ Q(x)), la disjonction ∨ s'applique :","option_a":"Vrai","option_b":"Faux","option_c":"","option_d":"","option_e":"","option_f":"","bonne_reponse":"A","explication":"Vrai. Dans une formule quantifiée, les opérateurs logiques (comme ∨) s'appliquent à la sous-formule qui les suit immédiatement. Ici, ∨ s'applique à P(x) et Q(x) pour chaque x.","points":1,"type":"qcm","actif":1,"section_id":null,"ordre":0},{"id":56539,"question":"Quelle est la forme normale conjonctive de la formule ¬(∀x P(x) ⇒ ∃y Q(y)) ?","option_a":"∃x P(x) ∧ ∀y ¬Q(y)","option_b":"∀x ¬P(x) ∧ ∃y Q(y)","option_c":"∃x ¬P(x) ∨ ∀y ¬Q(y)","option_d":"∀x P(x) ∧ ∃y ¬Q(y)","option_e":"","option_f":"","bonne_reponse":"A","explication":"La formule ¬(A ⇒ B) est équivalente à A ∧ ¬B. Ici, A = ∀x P(x) et B = ∃y Q(y), donc ¬B = ∀y ¬Q(y). Ainsi, la forme normale conjonctive est ∃x P(x) ∧ ∀y ¬Q(y).","points":1,"type":"qcm","actif":1,"section_id":null,"ordre":0},{"id":56540,"question":"La formule ∀x (P(x) ⇒ Q(x)) implique :","option_a":"∀x P(x) ⇒ ∀x Q(x)","option_b":"∃x P(x) ⇒ ∃x Q(x)","option_c":"∀x (Q(x) ⇒ P(x))","option_d":"∃x (P(x) ∧ ¬Q(x))","option_e":"","option_f":"","bonne_reponse":"B","explication":"Si pour tout x, P(x) implique Q(x), alors l'existence d'un x vérifiant P(x) implique l'existence d'un x vérifiant Q(x). Les autres options ne sont pas nécessairement vraies.","points":1,"type":"qcm","actif":1,"section_id":null,"ordre":0}]