$ eg p$
Explication
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.
Loi de la double négation
Explication
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.
Loi de la double négation
Explication
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.
¬
Explication
Le symbole ¬ est utilisé en logique formelle pour représenter la négation, opération unaire appliquée à une seule proposition.
$ eg p ext{ ou } eg q$
Explication
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.
Expressions négatives impliquant des conjonctions et disjonctions
Explication
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.
Alfred Tarski
Explication
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.
Elle inverse la valeur
Explication
La négation inverse la valeur de vérité d'une proposition : si elle est vraie, sa négation est fausse, et vice versa.
Négation
Explication
Une porte NOT dans un circuit logique représente l'opération de négation, qui inverse la valeur de l'entrée.
Forme normale négative
Explication
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.
Mémorisez les réponses avec 10 flashcards sur Négation en logique formelle.
Négation — définition ?
Opération inversant la valeur de vérité d'une proposition.
Négation — définition?
Inverse la valeur de vérité d'une proposition.
Loi de la double négation — formule ?
$ eg ( eg p) ext{ est équivalent à } p$.
Consultez la fiche de révision complète sur Négation en logique formelle.
Voir la fiche →Importe ton cours et l'IA génère des QCM avec corrections en 30 secondes.
Générateur de QCM