 |
négation logique
| Wikipédia en français - L'encyclopédie libre | Download this dictionary |
Négation logique
En logique et en mathématiques, la négation est un opérateur logique unaire, on dit aussi connecteur logique unaire. Il sert à créer une proposition à partir d'une autre en en inversant la signification, de « vrai » en « faux » ou de « démontrable » en « non démontrable ».
| Pour la suite, voir Wikipédia.org… |
© Cet article se sert du contenu de Wikipédia® et est autorisé sous les termes de la Licence de Documentation libre GNU et est distribué sous les termes de la licence Creative Commons Paternité-Partage des Conditions Initiales à l'Identique 3.0 non transposé.
