Quiz: (Chap 1) Introduction à la logique propositionnelle et des prédicats — 21 perguntas

1. Quelle est la définition formelle de la contraposée d'une implication p ⇒ q en logique propositionnelle ?

A. La formule ¬(p ⇒ q)

B. La formule ¬p ⇒ ¬q

C. La formule p ∧ q

D. La formule ¬q ⇒ ¬p

Answer: (D)

Explicação

La contraposée d'une implication p ⇒ q est définie comme ¬q ⇒ ¬p, et elle est logiquement équivalente à l'implication initiale. Les autres options ne correspondent pas à cette définition : la première est une inversion incorrecte, la troisième est une conjonction, et la quatrième est la négation de l'implication, non sa contraposée.

2. Quelle est la définition précise d'une proposition en logique propositionalnelle ?

A. Un énoncé déclaratif qui peut être vrai ou faux, mais pas les deux.

B. Un paramètre dépendant d'une variable.

C. Une formule composée de connecteurs logiques.

D. Une règle de déduction dans un raisonnement logique.

Answer: (A)

Explicação

Une proposition est un énoncé déclaratif dont la vérité est déterminée, pouvant être vraie ou fausse, mais sans ambiguïté.

3. Quelle est la conséquence logique de nier un énoncé universel sur la propriété qu’il décrit ?

A. Cela signifie que la propriété est fausse dans tous les cas

B. Cela entraîne que la propriété est toujours vraie

C. Cela implique qu’il existe un contre-exemple à cette propriété

D. Cela indique que la propriété est indéfinie

Answer: (C)

Explicação

Nier un énoncé universel ¬(∀ x : p(x)) équivaut à dire qu’il existe au moins un x pour lequel p(x) est faux, c’est-à-dire qu’il existe un contre-exemple. Donc, la conséquence logique est qu’il existe un contre-exemple à cette propriété.

4. Dans la logique des propositions, l'implication p ⇒ q est fausse dans quel cas ?

A. Lorsque p est vrai et q est faux.

B. Lorsque p est faux et q est vrai.

C. Lorsque p et q sont tous deux vrais.

D. Lorsque p et q sont tous deux faux.

Answer: (A)

Explicação

L'implication p ⇒ q est fausse uniquement si p est vrai et q est faux, ce qui viole la condition d'implication.

5. Quelle est la caractéristique principale de l'implication logique p ⇒ q en termes de sa valeur de vérité ?

A. Elle est toujours fausse sauf si p est faux et q est vrai

B. Elle est toujours vraie sauf si p est vrai et q est faux

C. Elle est fausse si p est faux ou q est vrai

D. Elle est vraie uniquement si p et q sont tous deux vrais

Answer: (B)

Explicação

L'implication p ⇒ q est une tautologie sauf dans le cas où p est vrai et q est faux. C'est cette propriété qui définit sa nature en logique propositionnelle, ce qui en fait la caractéristique principale.

6. Quel rôle jouent les quantificateurs dans la logique des prédicats ?

A. Ils permettent de généraliser ou de limiter l'étendue d'une propriété.

B. Ils remplacent les connecteurs logiques comme ¬, ∧, ∨.

C. Ils servent à décrire des propositions simples.

D. Ils sont utilisés uniquement pour les propositions tautologiques.

Answer: (A)

Explicação

Les quantificateurs, comme ∀ et ∃, permettent d'individualiser ou d'étendre une propriété à toutes ou quelques valeurs d'une variable.

7. Quelle est la fonction principale de l'équivalence biconditionnelle en logique propositionnelle ?

A. Comparer la force de deux propositions dans un raisonnement

B. Vérifier si deux propositions ont la même valeur de vérité dans tous les cas

C. Déterminer si une proposition implique une autre

D. Simplifier une formule logique en utilisant des lois de déduction

Answer: (B)

Explicação

L'équivalence biconditionnelle (p ⇔ q) sert précisément à vérifier si deux propositions sont logiquement équivalentes, c'est-à-dire qu'elles ont la même valeur de vérité dans toutes les situations, ce qui est essentiel pour établir leur compatibilité logique.

8. Quelle est la propriété de la formule p ∨ ¬p en logique ?

A. C'est une tautologie, toujours vraie.

B. Une contradiction, toujours fausse.

C. Une formule contingente, vraie ou fausse selon le cas.

D. Une implication.

Answer: (A)

Explicação

La formule p ∨ ¬p exprime le principe du ou exclamatif, qui est une tautologie en logique bivalente.

9. Comment négationner correctement la formule ∀ x ∈ ℝ, P(x) ?

A. En la transformant en ∀ x ∈ ℝ, ¬P(x)

B. En la transformant en ∃ x ∈ ℝ, ¬P(x)

C. En la laissant telle quelle

D. En la transformant en ∃ x ∈ ℝ, P(x)

Answer: (B)

Explicação

La règle de négation des quantificateurs stipule que ¬(∀ x, P(x)) est équivalent à ∃ x, ¬P(x). Donc, pour négationner correctement la formule donnée, on doit la transformer en ∃ x ∈ ℝ, ¬P(x).

10. Comment la loi de De Morgan s'applique-t-elle à la négation d'une conjonction ?

A. ¬(p ∧ q) ≡ ¬p ∨ ¬q.

B. ¬(p ∧ q) ≡ ¬p ∧ ¬q.

C. ¬(p ∧ q) ≡ p ∨ q.

D. ¬(p ∧ q) ≡ ¬p ∧ q.

Answer: (A)

Explicação

La loi de De Morgan stipule que la négation d'une conjonction est équivalente à la disjonction des négations individuelles.

11. Qu'est-ce qu'une proposition en logique propositionnelle et quelle est sa valeur binaire associée ?

A. Un connecteur logique reliant deux propositions

B. Une formule composée de prédicats et de quantificateurs

C. Un énoncé déclaratif qui peut être vrai ou faux, avec une valeur binaire 1 ou 0

D. Une variable qui peut prendre différentes valeurs selon le contexte

Answer: (C)

Explicação

La proposition en logique propositionnelle est un énoncé déclaratif qui peut être vrai ou faux, ce qui lui attribue une valeur binaire : 1 pour vrai, 0 pour faux. Les autres options décrivent des concepts différents : variables, connecteurs ou formules, mais pas la définition précise d'une proposition et de sa valeur binaire.

12. Quelle est la différence principale entre une proposition et un prédicat en logique ?

A. Une proposition est une déclaration fermée, un prédicat dépend d’un paramètre.

B. Une proposition dépend d’un paramètre, un prédicat est une déclaration fermée.

C. Il n’y a pas de différence, ce sont des synonymes.

D. Une proposition utilise toujours des connecteurs, un prédicat ne les utilise pas.

Answer: (A)

Explicação

Une proposition est un énoncé indépendant, tandis qu’un prédicat dépend d’un paramètre, habituellement une variable.

13. En quoi une formule logique diffère-t-elle d'une combinaison logique ?

A. Une formule est toujours vraie, alors qu'une combinaison logique peut être fausse.

B. Une formule ne peut contenir que des propositions simples, alors qu'une combinaison logique ne peut contenir que des propositions composées.

C. Une formule est une proposition unique, tandis qu'une combinaison logique est une proposition composée de plusieurs propositions.

D. Une formule est une expression syntaxique construite selon des règles, tandis qu'une combinaison logique est une relation entre propositions reliées par des connecteurs.

Answer: (D)

Explicação

La bonne réponse souligne que la formule est une expression syntaxique construite selon des règles, alors que la combinaison logique concerne la relation et la structure entre propositions via connecteurs. Les autres options introduisent des confusions ou des idées incorrectes sur la nature des formules et des combinaisons.

14. Quelle caractéristique distingue la disjonction exclusive (⊕) de la disjonction inclusive (∨) ?

A. ⊕ est vraie si p ou q, mais pas les deux, contrairement à ∨.

B. ⊕ est toujours plus vraie que ∨.

C. ⊕ ne peut pas être une tautologie.

D. ⊕ est la même que ⇔.

Answer: (A)

Explicação

La disjonction exclusive (⊕) est vraie uniquement lorsque p ou q est vrai, mais pas les deux, contrairement à ∨ qui est vraie si au moins l’un est vrai.

15. En quoi la disjonction exclusive diffère-t-elle de l'ou exclusif en logique propositional?

A. La disjonction exclusive est équivalente à la conjonction, alors que l'ou exclusif est une forme de disjonction inclusive.

B. La disjonction exclusive est une opération qui ne peut jamais être vraie si les deux propositions sont fausses, alors que l'ou exclusif peut l'être dans ce cas.

C. La disjonction exclusive est vraie si l'une ou l'autre proposition est vraie, mais pas les deux, tandis que l'ou exclusif est vrai si au moins une proposition est vraie.

D. La disjonction exclusive ne concerne que les propositions négatives, tandis que l'ou exclusif concerne les propositions affirmatives.

Answer: (C)

Explicação

La disjonction exclusive (⊕) est définie comme étant vraie uniquement lorsque l'une des propositions est vraie et l'autre fausse, ce qui la distingue de l'ou exclusif (souvent noté 'ou' en logique), qui est généralement la disjonction inclusive (∨), vraie si au moins une proposition est vraie, y compris si les deux le sont. La réponse 0 précise cette différence essentielle, ce qui en fait la bonne réponse.

16. Comment peut-on vérifier qu'une formule est une tautologie en logique propositionnelle ?

A. En s'assurant que la formule ne contient pas de négation

B. En appliquant la loi de De Morgan à la formule

C. En vérifiant si la formule est vraie dans au moins une valuation

D. En testant sa valeur de vérité pour toutes les combinaisons possibles de ses variables

Answer: (D)

Explicação

La méthode correcte pour vérifier qu'une formule est une tautologie est de tester toutes les combinaisons possibles de valeurs de ses variables (table de vérité). Si la formule est vraie dans toutes ces valuations, elle est une tautologie. Les autres options ne garantissent pas cette propriété : se baser sur une seule valuation ou utiliser des propriétés qui ne suffisent pas à établir la caractère toujours vrai de la formule.

17. Que définit la loi de De Morgan en logique propositionnelle ?

A. Une règle qui permet d'éliminer les parenthèses dans une formule logique

B. Une propriété qui stipule que la négation d'une disjonction est équivalente à la conjonction des négations

C. Une propriété qui affirme que la double négation d'une proposition est équivalente à la proposition elle-même

D. Une règle permettant de transformer la négation d'une conjonction en une disjonction de négations

Answer: (D)

Explicação

La loi de De Morgan stipule que la négation d'une conjonction (¬(p ∧ q)) est équivalente à la disjonction des négations (¬p ∨ ¬q), et vice versa pour la négation d'une disjonction. La réponse 0 correspond précisément à cette définition. Les autres options évoquent des propriétés ou règles différentes, comme la double négation ou la simplification de formules, mais ne décrivent pas la loi de De Morgan.

18. Quel est le rôle principal d'un prédicat dans la logique des prédicats ?

A. Définir une proposition simple qui ne dépend pas d'aucun paramètre

B. Représenter une variable propositionnelle sans contexte spécifique

C. Servir uniquement à la négation de propositions complexes

D. Exprimer une propriété ou une relation dépendant d'un paramètre

Answer: (D)

Explicação

Le prédicat p(x) est conçu pour exprimer une propriété ou une relation qui dépend d'un paramètre x, ce qui permet de faire des assertions sur des éléments d'un domaine. Les autres options ne reflètent pas la fonction principale du prédicat : une proposition simple ne dépend pas d'un paramètre, une variable propositionnelle est indépendante d'un contexte spécifique, et le prédicat n'est pas uniquement utilisé pour la négation.

19. Quelle est la caractéristique principale du nombre de lignes dans une table de vérité pour n variables ?

A. Elle a 2^n lignes

B. Elle a n! lignes

C. Elle a n^2 lignes

D. Elle a n lignes

Answer: (A)

Explicação

La propriété fondamentale des tables de vérité est qu'elles comportent 2^n lignes pour n variables, représentant toutes les combinaisons possibles de valeurs de vérité.

20. Quelle est la conséquence logique si une implication p ⇒ q est fausse dans un raisonnement ?

A. p est faux et q est faux

B. p est vrai et q est vrai

C. p est faux ou q est vrai

D. p est vrai et q est faux

Answer: (D)

Explicação

L'implication p ⇒ q est fausse uniquement lorsque p est vrai et q est faux. Cela montre que la conséquence logique de cette propriété est que, pour qu'une implication soit fausse, le 'si' doit être vrai et le 'alors' faux, ce qui a des implications directes sur la structure du raisonnement logique.

21. Quel est le rôle principal des quantificateurs en logique des prédicats ?

A. Établir la validité d'un raisonnement mathématique

B. Définir la syntaxe des formules logiques

C. Préciser la portée des propriétés ou relations sur un ensemble

D. Exprimer la vérité ou la fausseté d'une proposition spécifique

Answer: (C)

Explicação

Les quantificateurs comme ∀ (universel) et ∃ (existe) servent à indiquer si une propriété ou relation est vraie pour tous les éléments d'un ensemble ou existe au moins un élément vérifiant cette propriété. Leur rôle n'est pas de définir la syntaxe, de vérifier la vérité d'une proposition spécifique ou d'établir la validité d'un raisonnement, mais de préciser la portée des propriétés dans la formalisation logique.