Quiz: Négation en logique formelle — 10 questions

1. Quelle est la notation standard de la négation d'une proposition p ?

A. $p$ inversé

B. $p$ faux

C. $p$ négatif

D. $ eg p$

Answer: (D)

Explanation

La notation standard pour la négation d'une proposition p est $ eg p$, ce qui indique que l'on inverse la valeur de vérité de p.

2. Quelle loi affirme que la double négation d'une proposition revient à la proposition initiale ?

A. Loi de De Morgan

B. Loi de la double négation

C. Loi de distributivité

D. Loi de Contraposée

Answer: (B)

Explanation

La loi de la double négation indique que appliquer deux négations à une proposition revient à l'annuler, c'est-à-dire revenir à la proposition initiale.

3. Quelle loi affirme que la négation d'une négation d'une proposition p est équivalente à p elle-même ?

A. Loi de la contradiction

B. Loi de la double négation

C. Loi de De Morgan

D. Loi de l'identité

Answer: (B)

Explanation

La loi de la double négation stipule que $ eg ( eg p)$ est équivalent à p, ce qui signifie que nier deux fois une proposition revient à retrouver la proposition initiale.

4. Quel est le symbole utilisé pour la négation en logique formelle ?

A. ∧

B. ∨

C. ~

D. ¬

Answer: (D)

Explanation

Le symbole ¬ est utilisé en logique formelle pour représenter la négation, opération unaire appliquée à une seule proposition.

5. Selon les lois de De Morgan, comment peut-on transformer la négation de la conjonction p et q ?

A. $ eg p ext{ ou } eg q$

B. $ eg p ext{ et } eg q$

C. $ eg p imes eg q$

D. $ eg p ightarrow eg q$

Answer: (A)

Explanation

Les lois de De Morgan indiquent que $ eg (p imes q)$ (ou $ eg (p ext{ et } q)$) est équivalent à $ eg p ext{ ou } eg q$, permettant de transformer une négation d'une conjonction en une disjonction de négations.

6. Les lois de De Morgan permettent de transformer quelle forme d'expressions ?

A. Expressions avec double négation

B. Expressions négatives impliquant des conjonctions et disjonctions

C. Expressions en forme normale

D. Formules en logique temporelle

Answer: (B)

Explanation

Les lois de De Morgan facilitent la transformation d'expressions négatives contenant des conjonctions ou disjonctions en expressions équivalentes en inversant les connecteurs et en négant chaque composant.

7. Qui a introduit formellement la négation en logique à travers un ouvrage célèbre en 1930 ?

A. Gottlob Frege

B. Alan Turing

C. George Boole

D. Alfred Tarski

Answer: (D)

Explanation

Alfred Tarski a formalement étudié la négation et sa sémantique dans le contexte de la logique, notamment dans ses travaux sur la vérité et la sémantique.

8. Quel est l'effet de la négation sur la valeur de vérité d'une proposition ?

A. Elle ne change pas la valeur

B. Elle inverse la valeur

C. Elle simplifie la proposition

D. Elle double la valeur de vérité

Answer: (B)

Explanation

La négation inverse la valeur de vérité d'une proposition : si elle est vraie, sa négation est fausse, et vice versa.

9. Quelle opération logique est représentée par un circuit avec une porte NOT ?

A. Conjonction

B. Disjonction

C. Négation

D. Implication

Answer: (C)

Explanation

Une porte NOT dans un circuit logique représente l'opération de négation, qui inverse la valeur de l'entrée.

10. Quelle forme normale utilise la négation pour simplifier les expressions logiques ?

A. Forme disjonctive

B. Forme conjonctive

C. Forme norme

D. Forme normale négative

Answer: (D)

Explanation

Les formes normales, comme la forme normale négative, utilisent la négation pour simplifier ou transformer les expressions logiques en formes équivalentes et plus faciles à analyser.